skip to main content

Attention:

The NSF Public Access Repository (PAR) system and access will be unavailable from 8:00 PM ET on Friday, March 21 until 8:00 AM ET on Saturday, March 22 due to maintenance. We apologize for the inconvenience.


This content will become publicly available on January 1, 2026

Title: Semisimplification of contragredient Lie algebras
We describe the structure and different features of Lie algebras in the Verlinde category, obtained as semisimplification of contragredient Lie algebras in characteristic p with respect to the adjoint action of a Chevalley generator. In particular, we construct a root system for these algebras that arises as a parabolic restriction of the known root system for the classical Lie algebra. This gives a lattice grading with simple homogeneous components and a triangular decomposition for the semisimplified Lie algebra. We also obtain a non-degenerate invariant form that behaves well with the lattice grading. As an application, we exhibit concrete new examples of Lie algebras in the Verlinde category.  more » « less
Award ID(s):
2146392
PAR ID:
10518486
Author(s) / Creator(s):
; ;
Publisher / Repository:
MSP (Mathematical Sciences Publishers).
Date Published:
Journal Name:
Orbita Mathematicae
Volume:
2
Issue:
1
ISSN:
2993-6144
Page Range / eLocation ID:
1 to 32
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. For a given weight of a complex simple Lie algebra, the q-analog of Kostant’s partition function is a polynomial valued function in the variable q, where the coefficient of qk is the number of ways the weight can be written as a nonnegative integral sum of exactly k positive roots. In this paper we determine generating functions for the q-analog of Kostant’s partition function when the weight in question is the highest root of the classical Lie algebras of types B, C, and D, and the exceptional Lie algebras of type G2, F4, E6, E7, and E8. 
    more » « less
  2. Abstract

    Zesting of braided fusion categories is a procedure that can be used to obtain new modular categories from a modular category with non-trivial invertible objects. In this paper, we classify and construct all possible braided zesting data for modular categories associated with quantum groups at roots of unity. We produce closed formulas, based on the root system of the associated Lie algebra, for the modular data of these new modular categories.

     
    more » « less
  3. We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley–Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley–Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster A \mathcal {A} -variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley–Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley–Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras. 
    more » « less
  4. Abstract

    In this article, we continue the study of a certain family of 2-Calabi–Yau tilted algebras, called dimer tree algebras. The terminology comes from the fact that these algebras can also be realized as quotients of dimer algebras on a disk. They are defined by a quiver with potential whose dual graph is a tree, and they are generally of wild representation type. Given such an algebra $B$, we construct a polygon $\mathcal {S}$ with a checkerboard pattern in its interior, which defines a category $\text {Diag}(\mathcal {S})$. The indecomposable objects of $\text {Diag}(\mathcal {S})$ are the 2-diagonals in $\mathcal {S}$, and its morphisms are certain pivoting moves between the 2-diagonals. We prove that the category $\text {Diag}(\mathcal {S})$ is equivalent to the stable syzygy category of the algebra $B$. This result was conjectured by the authors in an earlier paper, where it was proved in the special case where every chordless cycle is of length three. As a consequence, we conclude that the number of indecomposable syzygies is finite, and moreover the syzygy category is equivalent to the 2-cluster category of type $\mathbb {A}$. In addition, we obtain an explicit description of the projective resolutions, which are periodic. Finally, the number of vertices of the polygon $\mathcal {S}$ is a derived invariant and a singular invariant for dimer tree algebras, which can be easily computed form the quiver.

     
    more » « less
  5. Abstract

    The purpose of this paper and its sequel is to develop the geometry built from the commutative algebras that naturally appear as the homology of differential graded algebras and, more generally, as the homotopy of algebras in spectra. The commutative algebras in question are those in the symmetric monoidal category of graded abelian groups, and, being commutative, they form the affine building blocks of a geometry, as commutative rings form the affine building blocks of algebraic geometry. We name this geometry Dirac geometry, because the grading exhibits the hallmarks of spin in that it is a remnant of the internal structure encoded byanima, it distinguishes symmetric and anti-symmetric behavior, and the coherent cohomology of Dirac schemes and Dirac stacks, which we develop in the sequel, admits half-integer Serre twists. Thus, informally, Dirac geometry constitutes a “square root” of$$\mathbb {G}_m$$Gm-equivariant algebraic geometry.

     
    more » « less