On the spectrum and support theory of a finite tensor category
Finite tensor categories (FTCs) are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomo...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Springer Berlin Heidelberg
2024
|
| Online Access: | https://hdl.handle.net/1721.1/157402 |
| _version_ | 1824458086435258368 |
|---|---|
| author | Nakano, Daniel K. Vashaw, Kent B. Yakimov, Milen T. |
| author2 | Massachusetts Institute of Technology. Department of Mathematics |
| author_facet | Massachusetts Institute of Technology. Department of Mathematics Nakano, Daniel K. Vashaw, Kent B. Yakimov, Milen T. |
| author_sort | Nakano, Daniel K. |
| collection | MIT |
| description | Finite tensor categories (FTCs)
are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories
. In this paper we introduce the key notion of the categorical center
of the cohomology ring
of an FTC,
. This enables us to put forward a complete and detailed program to investigate the relationship between the two support theories, based on
of the cohomology ring
of an FTC,
. Our main result is the construction of a continuous map from the noncommutative Balmer spectrum of an arbitrary FTC,
, to the
of the categorical center
and a theorem that this map is surjective under a weaker finite generation assumption for
than the one conjectured by Etingof–Ostrik. We conjecture that, for all FTCs, (i) the map is a homeomorphism and (ii) the two-sided thick ideals of
are classified by the specialization closed subsets of
. We verify parts of the conjecture under stronger assumptions on the category
. Many examples are presented that demonstrate how in important cases
arises as a fixed point subring of
and how the two-sided thick ideals of
are determined in a uniform fashion (while previous methods dealt on a case-by-case basis with case specific methods). The majority of our results are proved in the greater generality of monoidal triangulated categories and versions of them for Tate cohomology are also presented. |
| first_indexed | 2025-02-19T04:20:18Z |
| format | Article |
| id | mit-1721.1/157402 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2025-02-19T04:20:18Z |
| publishDate | 2024 |
| publisher | Springer Berlin Heidelberg |
| record_format | dspace |
| spelling | mit-1721.1/1574022025-01-07T04:50:51Z On the spectrum and support theory of a finite tensor category Nakano, Daniel K. Vashaw, Kent B. Yakimov, Milen T. Massachusetts Institute of Technology. Department of Mathematics Finite tensor categories (FTCs) are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories . In this paper we introduce the key notion of the categorical center of the cohomology ring of an FTC, . This enables us to put forward a complete and detailed program to investigate the relationship between the two support theories, based on of the cohomology ring of an FTC, . Our main result is the construction of a continuous map from the noncommutative Balmer spectrum of an arbitrary FTC, , to the of the categorical center and a theorem that this map is surjective under a weaker finite generation assumption for than the one conjectured by Etingof–Ostrik. We conjecture that, for all FTCs, (i) the map is a homeomorphism and (ii) the two-sided thick ideals of are classified by the specialization closed subsets of . We verify parts of the conjecture under stronger assumptions on the category . Many examples are presented that demonstrate how in important cases arises as a fixed point subring of and how the two-sided thick ideals of are determined in a uniform fashion (while previous methods dealt on a case-by-case basis with case specific methods). The majority of our results are proved in the greater generality of monoidal triangulated categories and versions of them for Tate cohomology are also presented. 2024-10-22T16:23:24Z 2024-10-22T16:23:24Z 2023-11-24 2024-09-26T03:32:31Z Article http://purl.org/eprint/type/JournalArticle https://hdl.handle.net/1721.1/157402 Nakano, D.K., Vashaw, K.B. & Yakimov, M.T. On the spectrum and support theory of a finite tensor category. Math. Ann. 390, 205–254 (2024). en https://doi.org/10.1007/s00208-023-02759-8 Mathematische Annalen Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature application/pdf Springer Berlin Heidelberg Springer Berlin Heidelberg |
| spellingShingle | Nakano, Daniel K. Vashaw, Kent B. Yakimov, Milen T. On the spectrum and support theory of a finite tensor category |
| title | On the spectrum and support theory of a finite tensor category |
| title_full | On the spectrum and support theory of a finite tensor category |
| title_fullStr | On the spectrum and support theory of a finite tensor category |
| title_full_unstemmed | On the spectrum and support theory of a finite tensor category |
| title_short | On the spectrum and support theory of a finite tensor category |
| title_sort | on the spectrum and support theory of a finite tensor category |
| url | https://hdl.handle.net/1721.1/157402 |
| work_keys_str_mv | AT nakanodanielk onthespectrumandsupporttheoryofafinitetensorcategory AT vashawkentb onthespectrumandsupporttheoryofafinitetensorcategory AT yakimovmilent onthespectrumandsupporttheoryofafinitetensorcategory |