The Rational Conjecture for non-Gorenstein normal surface singularities

At least 12 years old · documented by

Let (X,E)→(V,0)(X,E)\rightarrow (V,0) be the minimal good resolution (MGR) of a complex normal surface singularity, and define SX=(ΩX1(log⁡E))∗S_X=(\Omega^1_X(\operatorname{log} E))^*. Assume that (V,0)(V,0) is not Gorenstein. The Rational Conjecture. One has

h1(OX)−h1(SX)+h1(−(KX+E))≥0,h^1(\mathcal O_X)-h^1(S_X)+h^1(-(K_X+E))\geq 0,

with equality if and only if (V,0)(V,0) is quasihomogeneous. This formulation relates the geometric genus, equisingular deformation dimension, and second plurigenus. The source presents it as the broader conjectural inequality from which the rational-singularity formulation is a special case; its general status is not resolved in the supplied text.

References

Primary source

Jonathan Wahl, “The number of equisingular moduli of a rational surface singularity”, arXiv:1603.07935 (2016).

Additional references

2 papers in this index state this conjecture (2013–2016). The statement above is taken from the most recent of them; the others are arXiv:1307.6491.

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.