The category $\bcalNT:$ Isomorphism criteria and applications to diagrammatic Soergel Calculus

Diego Lobos

2024-10-21

Abstract:The category $\bcalNT$ was introduced in \cite{Lobos2} in order to provide a structural setting to the study of the many Gelfand-Tsetlin subalgebras appearing in the context of the diagrammatic Soergel category of Elias and Williamson \cite{EW}. The category $\bcalNT$ have as objects, all that we called \emph{nil graded algebras associated to a triangular matrix} and as morphisms, all the \emph{preserving degree} homomorphisms of graded algebras between them. In this article we develop a series of \emph{isomorphism criteria} on $\bcalNT$ that we used later to find out relevant information on the Gelfand-Tsetlin subalgebras of the diagrammatic Soergel category.

Representation Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to determine when two objects are isomorphic in the category NT, and to apply these results to the study of Gelfand - Tsetlin subalgebras in the diagrammatic Soergel category. Specifically:

1. **Definition and study of the category NT**: The paper introduces the category NT, whose objects are all nilpotent graded algebras associated with triangular matrices, and morphisms are degree - preserving graded algebra homomorphisms. This category provides a structured framework for studying many Gelfand - Tsetlin subalgebras in the diagrammatic Soergel category.

2. **Development of isomorphism criteria**: The paper develops a series of isomorphism criteria for judging whether two objects in the category NT are isomorphic. The main results include:
- **Theorem 2.2**: It gives an absolute (but not necessarily easy to apply) matrix criterion to determine whether two objects are isomorphic.
- **Theorem 2.9**: It provides an explicit and easy - to - apply criterion for judging whether a given n - SLTM is isomorphic to the zero matrix 0n.
- **Theorem 2.39**: It describes another absolute criterion, stating that two objects A(T) and A(S) are isomorphic if and only if there is a series of elementary triangular operations that gradually transform the matrix T into the matrix S.

3. **Analysis of small - scale cases**: The paper analyzes in detail the cases when n = 2 and n = 3, proves that in these cases, the number of isomorphism classes is finite, and gives a specific classification.

4. **Application to the Soergel category**: Using the above isomorphism criteria, the paper further explores the invariance problem of Gelfand - Tsetlin subalgebras from the diagrammatic Soergel category. In particular, the paper proves that for any Coxeter system type, the algebra Au is invariant under commutative moves, and verifies through specific examples that Au is not always invariant under other braid moves.

### Summary

The core objective of the paper is to deeply understand the relationships between objects in the category NT by developing and applying a series of isomorphism criteria, and to apply these results to the study of Gelfand - Tsetlin subalgebras in the diagrammatic Soergel category. This not only helps to understand the internal properties of these algebraic structures but also provides a theoretical basis for further research.