Koszulity conjecture for the locally finite endomorphism algebra of a projective generator

Let B\mathcal B be a chosen block, let P=λΛ(B)P(λ)P=\bigoplus_{\lambda\in\Lambda(\mathcal B)}P(\lambda) be a minimal projective generator of B\mathcal B, and let

EndFfin(P)=λΛ(B)HomF(P(λ),P)\operatorname{End}^{\operatorname{fin}}_{\mathcal F}(P)=\bigoplus_{\lambda\in\Lambda(\mathcal B)}\operatorname{Hom}_{\mathcal F}(P(\lambda),P)

denote its locally finite endomorphism algebra. Koszulity conjecture. The algebra EndFfin(P)\operatorname{End}^{\operatorname{fin}}_{\mathcal F}(P) is Koszul. This would establish that the grading arising from the diagrammatic algebra is a Koszul grading, extending the known analogy with the general linear supergroup case; the context states that the expectation is readily verified for OSp(32)\operatorname{OSp}(3|2), but gives no general resolution.

Sources & referencesView supporting material

Primary source

Michael Ehrig and Catharina Stroppel, “On the category of finite-dimensional representations of : Part I”, arXiv:1607.04034 (2016).

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.