Skip to content
DraconiticResearch
Search Sources API
203,203 studies31 sourcesUpdated 7 min ago
PreprintCC BY 4.0arXiv

Positivity of Wahl defects and specialization of reflexive powers of the canonical sheaf

  • Heesang Park
  • Dongsoo Shin
Open at sourcePDFDOICite

Abstract

Let (X,E) β†’ (V,0) be the minimal good resolution of a normal complex surface singularity, with E reduced. The Wahl defect is Ξ”(V,0) :=h1(π’ͺX)βˆ’h1(SX)+h1(bigwedge2 SX), where SX=ΘX(βˆ’log E). For non-Gorenstein β„š-Gorenstein singularities (V,0), we prove that Ξ”(V,0)β‰₯0, with equality precisely in the quasi-homogeneous case. This proves Wahl's Main Conjecture in this class and his β„š-Gorenstein and Rational Conjectures. The proof expresses Ξ” as the multiplicity of the canonical character in a representation constructed from differential forms and residues. We also prove Ξ”+4pgβ‰₯0 for arbitrary normal surface singularities, with equality precisely for rational quasi-homogeneous singularities. For smoothings of rational surface singularities, we give a Riemann--Roch formula for the lengths of the cokernels of the restriction maps to the central fiber for all reflexive canonical powers, in terms of the Milnor number and periodic local Riemann--Roch corrections. This yields numerical and representation-theoretic criteria for β„š-Gorenstein smoothings, defined as quotients of equivariant smoothings of the index-one cover with trivial group action on the base. If a rational singularity admits a β„š-Gorenstein smoothing, such smoothings are precisely those with minimal Milnor number, or equivalently those whose smoothing components have minimal dimension. Combining these results, we prove that every rational homology disk smoothing is β„š-Gorenstein, has a rational weighted homogeneous central fiber, and occurs over a one-dimensional smoothing component. Together with the known weighted homogeneous classification, this completes the analytic classification of normal surface singularities admitting rational homology disk smoothings.

Related

  1. Powers, Roots, and Positivity
    Charles R Johnson, Samir Mondal, Michael J. Tsatsomeros
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  2. Positivity of the canonical bundle and Hermitian metrics with quasi-negative holomorphic sectional curvature
    Xueyuan Wan
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. Traces of powers of canonical ideals
    Le Truong Hoang, Naoyuki Matsuoka
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. Thickening realization and positivity properties of canonical bases
    Jiepeng Fang, Xuhua He
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. The 2-Norm Distance on the Reflexive Lattice Generated by a Double Triangle Lattice of Projections
    Wei Yuan
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv

Cite

BibTeXRIS
BibTeX
@misc{park2026positivity,
  title = {{Positivity of Wahl defects and specialization of reflexive powers of the canonical sheaf}},
  author = {Heesang Park and Dongsoo Shin},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.21092},
  eprint = {2610.21092},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.21092},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Positivity of Wahl defects and specialization of reflexive powers of the canonical sheaf
AU  - Heesang Park
AU  - Dongsoo Shin
PY  - 2026
DA  - 2026/10/18
PB  - arXiv
DO  - 10.48550/arxiv.2610.21092
UR  - https://arxiv.org/abs/2610.21092
AB  - Let (X,E) β†’ (V,0) be the minimal good resolution of a normal complex surface singularity, with E reduced. The Wahl defect is Ξ”(V,0) :=h^1(π’ͺ_X)βˆ’h^1(S_X)+h^1(bigwedge^2 S_X), where S_X=Θ_X(βˆ’log E). For non-Gorenstein β„š-Gorenstein singularities (V,0), we prove that Ξ”(V,0)β‰₯0, with equality precisely in the quasi-homogeneous case. This proves Wahl's Main Conjecture in this class and his β„š-Gorenstein and Rational Conjectures. The proof expresses Ξ” as the multiplicity of the canonical character in a representation constructed from differential forms and residues. We also prove Ξ”+4p_gβ‰₯0 for arbitrary normal surface singularities, with equality precisely for rational quasi-homogeneous singularities. For smoothings of rational surface singularities, we give a Riemann--Roch formula for the lengths of the cokernels of the restriction maps to the central fiber for all reflexive canonical powers, in terms of the Milnor number and periodic local Riemann--Roch corrections. This yields numerical and representation-theoretic criteria for β„š-Gorenstein smoothings, defined as quotients of equivariant smoothings of the index-one cover with trivial group action on the base. If a rational singularity admits a β„š-Gorenstein smoothing, such smoothings are precisely those with minimal Milnor number, or equivalently those whose smoothing components have minimal dimension. Combining these results, we prove that every rational homology disk smoothing is β„š-Gorenstein, has a rational weighted homogeneous central fiber, and occurs over a one-dimensional smoothing component. Together with the known weighted homogeneous classification, this completes the analytic classification of normal surface singularities admitting rational homology disk smoothings.
ER  -