The generic smoothness and Euler-number conjecture for the McKay polyhedra

About 30 years old · traced to

Let CζC_\zeta be the polyhedra associated with the parameter ζ\zeta, let nn denote the ambient dimension, and let Sk\mathcal{S}^k be the configurations of codimension kk whose associated tangent cones are singular. Let Sspan⁡0\mathcal{S}_{\operatorname{span}}^0 denote the configurations of codimension zero occurring for generic parameters, and let Tζ0/ ⁣ ⁣∼\mathcal{T}_\zeta^0/\!\!\sim denote the corresponding equivalence classes of zero-dimensional trees. Generic smoothness and Euler-number conjecture. The polyhedra CζC_\zeta are nonsingular in codimension n−1n-1, equivalently S1=∅\mathcal{S}^1=\varnothing. If Γ⊂SU⁡(3)\Gamma\subset\operatorname{SU}(3), then CζC_\zeta is nonsingular for generic values of ζ\zeta, equivalently Sspan⁡0=∅\mathcal{S}_{\operatorname{span}}^0=\varnothing. Furthermore, for generic ζ\zeta its Euler number is the order of Γ\Gamma:

♯ Tζ0/ ⁣ ⁣∼=♯ Γ.\sharp\,\mathcal{T}_\zeta^0/\!\!\sim=\sharp\,\Gamma.

These assertions record the expected smoothness properties of the slices and the count of their zero-dimensional strata; the source gives no evidence that they have been proved or disproved.

References

Primary source

Alexander V Sardo-Infirri, “Resolutions of Orbifold Singularities and Flows on the McKay Quiver”, arXiv:alg-geom/9610005 (1996).

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.