Flatness and Koszulity conjecture for preprojective algebras of non-ADET graphs

About 21 years old · traced to

Let Γ\Gamma be a connected graph with adjacency matrix AA, and let P(Γ)P({\bf \Gamma}) be the associated preprojective algebra, constructed from a choice of field kk and a modulating space with nondegenerate pairing EE. The flatness and Koszulity conjecture. (i) The family of preprojective algebras P(Γ)P({\bf \Gamma}) is flat: for every choice of kk and EE, its matrix Hilbert series is constant. If Γ\Gamma is not of ADET type, this Hilbert series is

(1−At+t2)−1.(1-At+t^2)^{-1}.

(ii) If Γ\Gamma is not of ADET type, then the algebras P(Γ)P({\bf \Gamma}) are Koszul.

The claim concerns deformation-invariance of the graded structure of these preprojective algebras and their homological properties outside the ADET cases. The source records no resolution or counterexample, so the conjecture remains open.

References

Primary source

Victor Ostrik, “Module categories over representations of SL_q(2) in the non-semisimple case”, arXiv:math/0509530 (2006).

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.