skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Homomorphisms between standard modules over finite-type KLR algebras
Khovanov–Lauda–Rouquier (KLR) algebras of finite Lie type come with families of standard modules, which under the Khovanov–Lauda–Rouquier categorification correspond to PBW bases of the positive part of the corresponding quantized enveloping algebra. We show that there are no non-zero homomorphisms between distinct standard modules and that all non-zero endomorphisms of a standard module are injective. We present applications to the extensions between standard modules and modular representation theory of KLR algebras.  more » « less
Award ID(s):
1700905
PAR ID:
10155020
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Compositio Mathematica
Volume:
153
Issue:
3
ISSN:
0010-437X
Page Range / eLocation ID:
621 to 646
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We describe the universal target of annular Khovanov–Rozansky link homology functors as the homotopy category of a free symmetric monoidal linear category generated by one object and one endomorphism. This categorifies the ring of symmetric functions and admits categorical analogues of plethystic transformations, which we use to characterize the annular invariants of Coxeter braids. Further, we prove the existence of symmetric group actions on the Khovanov–Rozansky invariants of cabled tangles and we introduce spectral sequences that aid in computing the homologies of generalized Hopf links. Finally, we conjecture a characterization of the horizontal traces of Rouquier complexes of Coxeter braids in other types. 
    more » « less
  2. We associate to a sufficiently generic oriented matroid program and choice of linear system of parameters a finite-dimensional algebra, whose representation theory is analogous to blocks of Bernstein—Gelfand—Gelfand category\mathcal{O}. When the data above comes from a generic linear program for a hyperplane arrangement, we recover the algebra defined by Braden—Licata—Proudfoot—Webster. Applying our construction to non-linear oriented matroid programs provides a large new class of algebras. For Euclidean oriented matroid programs, the resulting algebras are quasi-hereditary and Koszul, as in the linear setting. In the non-Euclidean case, we obtain algebras that are not quasi-hereditary and not known to be Koszul, but still have a natural class of standard modules and satisfy numerical analogues of quasi-heredity and Koszulity on the level of graded Grothendieck groups. 
    more » « less
  3. Discriminant ideals of noncommutative algebras A A , which are module finite over a central subalgebra C C , are key invariants that carry important information about A A , such as the sum of the squares of the dimensions of its irreducible modules with a given central character. There has been substantial research on the computation of discriminants, but very little is known about the computation of discriminant ideals. In this paper we carry out a detailed investigation of the lowest discriminant ideals of Cayley–Hamilton Hopf algebras in the sense of De Concini, Reshetikhin, Rosso and Procesi, whose identity fiber algebras are basic. The lowest discriminant ideals are the most complicated ones, because they capture the most degenerate behaviour of the fibers in the exact opposite spectrum of the picture from the Azumaya locus. We provide a description of the zero sets of the lowest discriminant ideals of Cayley–Hamilton Hopf algebras in terms of maximally stable modules of Hopf algebras, irreducible modules that are stable under tensoring with the maximal possible number of irreducible modules with trivial central character. In important situations, this is shown to be governed by the actions of the winding automorphism groups. The results are illustrated with applications to the group algebras of central extensions of abelian groups, big quantum Borel subalgebras at roots of unity and quantum coordinate rings at roots of unity. 
    more » « less
  4. We study the realization of acyclic cluster algebras as coordinate rings of Coxeter double Bruhat cells in Kac–Moody groups. We prove that all cluster monomials with $$\mathbf{g}$$ -vector lying in the doubled Cambrian fan are restrictions of principal generalized minors. As a corollary, cluster algebras of finite and affine type admit a complete and non-recursive description via (ind-)algebraic group representations, in a way similar in spirit to the Caldero–Chapoton description via quiver representations. In type $$A_{1}^{(1)}$$ , we further show that elements of several canonical bases (generic, triangular, and theta) which complete the partial basis of cluster monomials are composed entirely of restrictions of minors. The discrepancy among these bases is accounted for by continuous parameters appearing in the classification of irreducible level-zero representations of affine Lie groups. We discuss how our results illuminate certain parallels between the classification of representations of finite-dimensional algebras and of integrable weight representations of Kac–Moody algebras. 
    more » « less
  5. Abstract Khovanov homology has been the subject of much study in knot theory and low dimensional topology since 2000. This work introduces a Khovanov Laplacian and a Khovanov Dirac to study knot and link diagrams. The harmonic spectrum of the Khovanov Laplacian or the Khovanov Dirac retains the topological invariants of Khovanov homology, while their non-harmonic spectra reveal additional information that is distinct from Khovanov homology. 
    more » « less