Etingof–Ostrik finite generation conjecture for finite tensor categories

About 3 years old · traced to

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

H⁡∗(C)=Ext⁡C∗(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 Ext⁡C∗(X,X)\operatorname{Ext}_{{\mathcal C}}^*(X,X) is a finitely generated H⁡∗(C)\operatorname{H}^*({\mathcal C})-module for every object X∈CX\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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.