Building on work of Gerstenhaber, we show that the space of integrable derivations on an Artin algebra forms a Lie algebra, and a restricted Lie algebra if contains a field of characteristic . We deduce that the space of integrable classes in forms a (restricted) Lie algebra that is invariant under derived equivalences, and under stable equivalences of Morita type between self‐injective algebras. We also provide negative answers to questions about integrable derivations posed by Linckelmann and by Farkas, Geiss and Marcos. Along the way, we compute the first Hochschild cohomology of the group algebra of any symmetric group.
Maximal Tori in HH 1 and the Fundamental Group
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 selfinjective 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
 Award ID(s):
 1928930
 NSFPAR ID:
 10427538
 Date Published:
 Journal Name:
 International Mathematics Research Notices
 Volume:
 2023
 Issue:
 7
 ISSN:
 10737928
 Page Range / eLocation ID:
 5538 to 5568
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Abstract 
We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the selfextension algebra of the unit \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},\mathbf {1}) is a finitely generated algebra and that, for each object V V in C \mathscr {C} , the graded extension group \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C \mathscr {C} . For example, the stated result holds when C \mathscr {C} is a braided tensor category of odd FrobeniusPerron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0 0 , we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes.more » « less

Abstract We prove a 1979 conjecture of Lusztig on the cohomology of semiinfinite Deligne–Lusztig varieties attached to division algebras over local fields. We also prove the two conjectures of Boyarchenko on these varieties. It is known that in this setting, the semiinfinite Deligne–Lusztig varieties are indschemes comprised of limits of certain finitetype schemes X h {X_{h}} . Boyarchenko’s two conjectures are on the maximality of X h {X_{h}} and on the behavior of the toruseigenspaces of their cohomology. Both of these conjectures were known in full generality only for division algebras with Hasse invariant 1 / n {1/n} in the case h = 2 {h=2} (the “lowest level”) by the work of Boyarchenko–Weinstein on the cohomology of a special affinoid in the Lubin–Tate tower. We prove that the number of rational points of X h {X_{h}} attains its Weil–Deligne bound, so that the cohomology of X h {X_{h}} is pure in a very strong sense. We prove that the toruseigenspaces of the cohomology group H c i ( X h ) {H_{c}^{i}(X_{h})} are irreducible representations and are supported in exactly one cohomological degree. Finally, we give a complete description of the homology groups of the semiinfinite Deligne–Lusztig varieties attached to any division algebra, thus giving a geometric realization of a large class of supercuspidal representations of these groups. Moreover, the correspondence θ ↦ H c i ( X h ) [ θ ] {\theta\mapsto H_{c}^{i}(X_{h})[\theta]} agrees with local Langlands and Jacquet–Langlands correspondences. The techniques developed in this paper should be useful in studying these constructions for p adic groups in general.more » « less

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

The Hochschild cohomology of a tensor product of algebras is isomorphic to a graded tensor product of Hochschild cohomology algebras, as a Gerstenhaber algebra. A similar result holds when the tensor product is twisted by a bicharacter. We present new proofs of these isomorphisms, using Volkov’s homotopy liftings that were introduced for handling Gerstenhaber brackets expressed on arbitrary bimodule resolutions. Our results illustrate the utility of homotopy liftings for theoretical purposes.more » « less