An official website of the United States government
We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the self-extension 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 Frobenius-Perron 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
Hypersurface support and prime ideal spectra for stable categories.
We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in type A, Drinfeld doubles of height 1 Borels in finite characteristic, and rings of functions on finite group schemes over a perfect field. We then identify the prime ideal (Balmer) spectra for these stable categories. In the curious case of functions on a finite group scheme G, the spectrum of the category is identified not with the spectrum of cohomology, but with the quotient of the spectrum of cohomology by the adjoint action of the subgroup of connected components in G.
more »
« less
- Award ID(s):
- 1901854
- PAR ID:
- 10341251
- Date Published:
- Journal Name:
- Annals of Ktheory
- ISSN:
- 2379-1691
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $$r\geq ~2$$ we associate to an annular link $$L$$ a naive $$\mathbb {Z}/r\mathbb {Z}$$ -equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $$L$$ as modules over $$\mathbb {Z}[\mathbb {Z}/r\mathbb {Z}]$$ . The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology.more » « less
-
Greenlees, John (Ed.)Let G be a finite group. We give Quillen equivalent models for the category of G–spectra as categories of spectrally enriched functors from explicitly described domain categories to nonequivariant spectra. Our preferred model is based on equivariant infinite loop space theory applied to elementary categorical data. It recasts equivariant stable homotopy theory in terms of point–set-level categories of G–spans and nonequivariant spectra. We also give a more topologically grounded model based on equivariant Atiyah duality.more » « less
-
Abstract We consider finite-dimensional Hopf algebras $$u$$ that admit a smooth deformation $$U\to u$$ by a Noetherian Hopf algebra $$U$$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted enveloping algebras in finite characteristic, and Drinfeld doubles of height $$1$$ group schemes. We provide a means of analyzing (cohomological) support for representations over such $$u$$, via the singularity categories of the hypersurfaces $U/(f)$ associated with functions $$f$$ on the corresponding parametrization space. We use this hypersurface approach to establish the tensor product property for cohomological support, for the following examples: functions on a finite group scheme, Drinfeld doubles of certain height 1 solvable finite group schemes, bosonized quantum complete intersections, and the small quantum Borel in type $$A$$.more » « less
-
Abstract The Torelli group of $$W_g = \#^g S^n \times S^n$$ is the group of diffeomorphisms of $$W_g$$ fixing a disc that act trivially on $$H_n(W_g;\mathbb{Z} )$$ . The rational cohomology groups of the Torelli group are representations of an arithmetic subgroup of $$\text{Sp}_{2g}(\mathbb{Z} )$$ or $$\text{O}_{g,g}(\mathbb{Z} )$$ . In this article we prove that for $$2n \geq 6$$ and $$g \geq 2$$ , they are in fact algebraic representations. Combined with previous work, this determines the rational cohomology of the Torelli group in a stable range. We further prove that the classifying space of the Torelli group is nilpotent.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
