Support varieties for finite tensor categories: complexity, realization, and connectedness (Q2031611)

The main motivation of this paper is to obtain advances in support variety theory for finite tensor categories. In the third section of the paper under review, the authors define support varieties for objects of a finite tensor category \({\mathcal C}\), and conclude some standard properties. They also state the finite generation condition (assumed in most of the results of this paper) on the cohomology of \({\mathcal C}\). In Section 4, we find the definition of complexity of an object (the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension) and the proof that guarantees that it agrees with the dimension of the support variety. As a consequence, the authors show that an object is projective if and only if its support variety is zero-dimensional. In Section 5, for each homogeneous positive degree element \(\zeta\) of the cohomology ring of the finite tensor category \({\mathcal C}\), the authors define an object \(L\zeta\) whose variety is the zero set of the ideal generated by \(\zeta\). Then, as a standard consequence of the definition of \(L\zeta\), they obtain both a tensor product property and a realization result: any conical subvariety of the support variety of the unit object \(1\) can be realized as the support variety of some object. Finally, in the last section of the paper, the authors show that the variety of an indecomposable object is connected.