An official website of the United States government
Abstract The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two approaches leading to the notion of Poisson trace orders. It is proved that all regular and reduced traces are always compatible with any Poisson order structure. The modified discriminant ideals of all Poisson trace orders are proved to be Poisson ideals and the zero loci of discriminant ideals are shown to be unions of symplectic cores, under natural assumptions (maximal orders and Cayley–Hamilton algebras). A base change theorem for Poisson trace orders is proved. A broad range of Poisson trace orders are constructed based on the proved theorems: quantized universal enveloping algebras, quantum Schubert cell algebras and quantum function algebras at roots of unity, symplectic reflection algebras, 3D and 4D Sklyanin algebras, Drinfeld doubles of pre-Nichols algebras of diagonal type, and root of unity quantum cluster algebras.
more »
« less
Root of unity quantum cluster algebras and Cayley–Hamilton algebras
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
- PAR ID:
- 10465422
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society
- Volume:
- 376
- Issue:
- 10
- ISSN:
- 0002-9947
- Page Range / eLocation ID:
- 6767–6798
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Various coordinate rings of varieties appearing in the theory of Poisson Lie groups and Poisson homogeneous spaces belong to the large, axiomatically defined class of symmetric Poisson nilpotent algebras, e.g. coordinate rings of Schubert cells for symmetrizable Kac–Moody groups, affine charts of Bott-Samelson varieties, coordinate rings of double Bruhat cells (in the last case after a localization). We prove that every symmetric Poisson nilpotent algebra satisfying a mild condition on certain scalars is canonically isomorphic to a cluster algebra which coincides with the corresponding upper cluster algebra, without additional localizations by frozen variables. The constructed cluster structure is compatible with the Poisson structure in the sense of Gekhtman, Shapiro and Vainshtein. All Poisson nilpotent algebras are proved to be equivariant Poisson Unique Factorization Domains. Their seeds are constructed from sequences of Poisson-prime elements for chains of Poisson UFDs; mutation matrices are effectively determined from linear systems in terms of the underlying Poisson structure. Uniqueness, existence, mutation, and other properties are established for these sequences of Poisson-prime elements.more » « less
-
We introduce the notion of a Tsirelson pair of C*-algebras, which is a pair of C*-algebras for which the space of quantum strategies obtained by using states on the minimal tensor product of the pair is dense in the space of quantum strategies obtained by using states on the maximal tensor product. We exhibit a number of examples of such pairs that are “nontrivial” in the sense that the minimal tensor product and the maximal tensor product of the pair are not isomorphic. For example, we prove that any pair containing a C*-algebra with Kirchberg’s QWEP property is a Tsirelson pair. We then introduce the notion of a C*-algebra with the Tsirelson property (TP) and establish a number of closure properties for this class. We also show that the class of C*-algebras with the TP forms an elementary class (in the sense of model theory), but that this class does not admit an effective axiomatization.more » « less
-
In pursuit of a noncommutative spectrum functor, we argue that the Heyneman-Sweedler finite dual coalgebra can be viewed as a quantization of the maximal spectrum of a commutative affine algebra, integrating prior perspectives of Takeuchi, Batchelor, Kontsevich-Soibelman, and Le Bruyn. We introduce fully residually finite-dimensional algebras A as those with enough finite-dimensional representations to let A^o act as an appropriate depiction of the noncommutative maximal spectrum of A; importantly, this class includes affine noetherian PI algebras. In the case of prime affine algebras that are module-finite over their center, we describe how the Azumaya locus is represented in the finite dual. This is used to describe the finite dual of quantum planes at roots of unity as an endeavor to visualize the noncommutative space on which these algebras act as functions. Finally, we discuss how a similar analysis can be carried out for other maximal orders over surfaces.more » « less
-
Abstract We investigate maximal tori in the Hochschild cohomology Lie algebra $${\operatorname {HH}}^1(A)$$ of a finite dimensional algebra $$A$$, and their connection with the fundamental groups associated to presentations of $$A$$. We prove that every maximal torus in $${\operatorname {HH}}^1(A)$$ arises as the dual of some fundamental group of $$A$$, extending the work by Farkas, Green, and Marcos; de la Peña and Saorín; and Le Meur. Combining this with known invariance results for Hochschild cohomology, we deduce that (in rough terms) the largest rank of a fundamental group of $$A$$ is a derived invariant quantity, and among self-injective algebras, an invariant under stable equivalences of Morita type. Using this we prove that there are only finitely many monomial algebras in any derived equivalence class of finite dimensional algebras; hitherto this was known only for very restricted classes of monomial algebras.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/tran/8904
