Koszulness conjecture for De Concini–Procesi wonderful models

A De Concini–Procesi wonderful model is the smooth projective model associated with a building set of a subspace arrangement. Consider a subspace arrangement in P(V)\mathbb{P}(V) that refines a hyperplane arrangement. Let G\mathcal{G} be a building set of the corresponding lattice of subspaces, and let YG\overline{Y}_{\mathcal{G}} be the associated De Concini–Procesi projective wonderful model.

Wonderful-model Koszulness conjecture. The ring

H(YG,Z)H^\bullet(\overline{Y}_{\mathcal{G}},\mathbb{Z})

is Koszul if and only if it is quadratic.

This conjecture proposes that, for this broad class of wonderful models, failure of quadraticity is the only obstruction to Koszulness. The paper also conjectures Koszulness for De Concini–Procesi models in a wide range of cases, while the general assertion remains open.

Sources & referencesView supporting material

Primary source

Vladimir Dotsenko, “Homotopy invariants for M_0,n via Koszul duality”, arXiv:1902.06318 (2020).

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.