Separable equivalences, finitely generated cohomology and finite tensor categories (Q6115063)

The author previously published several papers exploring the transfer of finitely generation of cohomology under various equivalences: \textit{P. A. Bergh} and \textit{K. Erdmann} [Adv. Math. 228, No. 4, 2503--2521 (2011; Zbl 1264.16007)] showed that finitely generation of cohomology is invariant under separable equivalences for symmetric algebras. This was applied to Hecke algebras. Then [\textit{P. A. Bergh} and \textit{D. A. Jorgensen}, J. Noncommut. Geom. 7, No. 4, 907--937 (2013; Zbl 1305.16007)] showed that Tate-Hochschild cohomology satisfies a similar invariance for Frobenius algebras. The main result of the current paper is an extension of Bergh's earlier work with Erdmann to show that finitely generation of cohomology is invariant under separable equivalences for all algebras, not just symmetric algebras. This strengthens the technique of using separable equivalence to transfer finite generation between related algebras. Separable equivalence is a relationship between two algebras \(A\) and \(B\), defined using bimodules \(U\) and \(V\) that are projective on both sides. The invariance under separable equivalence is proven using an Eckmann-Shapiro style lemma for abelian categories. This is used to show that the cohomology of finite symmetric tensor categories over fields of characteristic zero is finitely generated, thus resolving a conjecture of Etingof-Ostrik. This, in turn, establishes relationships between the Krull dimension, the representation dimension, and the Rouquier dimension of the associated stable category. The proof relies on a result by \textit{P. Deligne} [Mosc. Math. J. 2, No. 2, 227--248 (2002; Zbl 1005.18009)] linking them to skew group algebras in characteristic zero. Finite generation for skew group algebras is established using separable equivalence. Overall, the author demonstrates that separable equivalence is a useful tool for transferring finite generation of cohomology between algebras and related categories. The bibliography traces the development of this technique through a series of papers by the author, and others. This paper represents a culmination of a research program by the author using separable equivalence to relate the cohomology of algebras, built on his previous work in this area.