Support varieties: an ideal approach (Q858572)

Support varieties originated in the work of Carlson on group cohomology. A support variety is a geometric object which associates a variety to a module, encoding cohomological information. In recent years various attempts were made to generalise this approach to more general situations and more general cohomology theories. In the present paper the authors start with a partial ordered set \(L\) equipped with a multiplication satisfying natural axioms. This structure is called an ideal lattice in the sequel. From that point a prime spectrum is constructed on \(L\) and the most essential constructions of algebraic geometry is imitated in this setting. The authors prove that the so-constructed topological space is spectral in the sense of \textit{M. Hochster} [``Prime ideal structure in commutative rings'', Trans. Am. Math. Soc. 142, 43--60 (1969; Zbl 0184.29401)]. Then, in a subsequent step an adjoint is constructed to the mapping assigning to \(L\) its `Zariski topological space'. Then, a support datum on an ideal lattice is defined to be a topological space together with a mapping assigning to each compact object \(a\) in \(L\) a closed subset in the topological space, subject to natural compatibility conditions. A support datum is constructed for each ideal lattice. The support datum is called `classifying' if it basically induces bijections between the relevant objects. In a subsequent section the construction is applied to abelian or triangulated tensor categories. Sublattices come along with thick subcategories. On noetherian schemes \(X\) a classifying support datum is constructed on the category of coherent \({\mathcal O}_X\)-modules. The scheme is then reconstructed by this support datum. Finally, as main result, for a triangulated tensor category \(\mathcal C\) so that the endomorphism ring \(H\) of the identity is concentrated in nonnegative degrees a thick tensor ideal is constructed by support data and a natural morphism from the projective space on \(H\) to the spectrum of the quotient category \(\overline{\mathcal C}\) modulo this thick subcategory is constructed. \(\overline{\mathcal C}\) gives a classifying support data if and only if this morphism to the projective space on \(H\) is an isomorphism. Interesting examples for group cohomology and for Hochschild cohomology of finite-dimensional algebras are given.