The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916446451269632 |
|---|---|
| author | Mi, Zhongkai Wu, Quanshui Yakimov, Milen |
| author_facet | Mi, Zhongkai Wu, Quanshui Yakimov, Milen |
| contents | Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2307_15477 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra Mi, Zhongkai Wu, Quanshui Yakimov, Milen Representation Theory Quantum Algebra Rings and Algebras Primary 16G30, Secondary 16T05, 17B37, 16D60, 16W20, 16E10 Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $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. |
| title | The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra |
| topic | Representation Theory Quantum Algebra Rings and Algebras Primary 16G30, Secondary 16T05, 17B37, 16D60, 16W20, 16E10 |
| url | https://arxiv.org/abs/2307.15477 |