Etingof–Ostrik finite generation conjecture for finite tensor categories

From papers

Let C{\mathcal C} be a finite tensor category, and write

H(C)=ExtC(1,1)\operatorname{H}^*({\mathcal C})=\operatorname{Ext}_{{\mathcal C}}^*(\mathbf{1},\mathbf{1})

for its cohomology ring. Etingof–Ostrik finite generation conjecture. The cohomology ring H(C)\operatorname{H}^*({\mathcal C}) is finitely generated, and ExtC(X,X)\operatorname{Ext}_{{\mathcal C}}^*(X,X) is a finitely generated H(C)\operatorname{H}^*({\mathcal C})-module for every object XCX\in {\mathcal C}. This conjecture predicts finite generation of cohomology and of the associated self-extension modules for all objects in a finite tensor category; it remains open in the stated generality.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Petter Andreas Bergh, Julia Yael Plavnik and Sarah Witherspoon, “Support varieties for finite tensor categories: the tensor product property”, arXiv:2306.16082 (2024).

Solutions 0

No solutions have been posted yet.