Stratification and the comparison between homological and tensor triangular support
Abstract We compare the homological support and tensor triangular support for ‘big’ objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular spectrum is a bijection and that the two notions of support coincide whenever the category is stratified, extending the work of Balmer. Moreover, we clarify the relations between salient properties of support functions and exhibit counter-examples highlighting the differences between homological and tensor triangular support.
more »
« less
- Award ID(s):
- 1903429
- PAR ID:
- 10438225
- Date Published:
- Journal Name:
- The Quarterly Journal of Mathematics
- Volume:
- 74
- Issue:
- 2
- ISSN:
- 0033-5606
- Page Range / eLocation ID:
- 747 to 766
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focused on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings. As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras.more » « less
-
null (Ed.)Abstract We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least $2$ whose Chern character represents a nonzero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank $1$ local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included.more » « less
-
Abstract In this paper, we prove homological stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category
OrI (R ) and prove a local Noetherianity theorem for the category ofOrI (R )-modules. This implies an asymptotic structure theorem for orthogonal groups. In addition, we show general homological stability theorems for orthogonal groups, with both untwisted and twisted coefficients. -
We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.more » « less