Smoothness conjecture for iterated orbit-closure blow-ups

Let (G,V)(\mathrm{G},V) be a strongly prehomogeneous vector space, meaning an algebraic group G\mathrm{G} acts linearly on a finite-dimensional vector space VV with finitely many orbits. Suppose its linear orbit diagram consists of orbits VG0,,VGmV_{\mathrm{G}}^0,\ldots,V_{\mathrm{G}}^m, with VG0={0}V_{\mathrm{G}}^0=\{0\} and, after reordering, VGiVGi+1V_{\mathrm{G}}^i\subset\overline{V_{\mathrm{G}}^{i+1}} for all i0i\geq 0. Let

X=P(VGi)X=\mathbb{P}(\overline{V_{\mathrm{G}}^i})

be the projectivization of the closure of any orbit, and consider

XiπiXi1X2π2X1=X,X_i\stackrel{\pi_i}{\longrightarrow}X_{i-1}\longrightarrow\cdots\longrightarrow X_2\stackrel{\pi_2}{\longrightarrow}X_1=X,

where πk:XkXk1\pi_k:X_k\rightarrow X_{k-1} blows up the strict transform of P(VGk1)\mathbb{P}(\overline{V_{\mathrm{G}}^{k-1}}) through π1πk1\pi_1\circ\cdots\circ\pi_{k-1}. Smoothness conjecture for iterated orbit-closure blow-ups. The variety XiX_i is smooth.

This conjecture proposes a uniform smoothness result for resolutions constructed from linear orbit diagrams of strongly prehomogeneous vector spaces. The supplied text states the conjecture but gives no evidence that it has been proved or disproved.

Sources & referencesView supporting material

Primary source

Roland Abuaf, “Categorical crepant resolutions of singularities and the Tits-Freudenthal magic square”, arXiv:1307.1675 (2013).

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.