English

Defect of projective hypersurfaces with isolated singularities

Algebraic Geometry 2026-01-19 v2

Abstract

Let XX be a hypersurface with isolated singularities defined by ff in Pn+1{\bf P^{n+1}} with n>1n>1. The difference def(X):=hn+1(X)hn1(X){\rm def}(X):=h^{n+1}(X)-h^{n-1}(X) is called the defect of XX (for self-duality of the cohomology of XX). It is known that its vanishing is closely related to Q{\bf Q}-factoriality of XX in the rational singularity case with n=3n=3. This number coincides with the dimension of the cokernel of the inclusion Hn1(X)IHn1(X)H^{n-1}(X)\to{\rm IH}^{n-1}(X), the rank of the morphism from the vanishing cohomologies of XX to Hn+1(X)H^{n+1}(X) for a one-parameter smoothing of XX with total space smooth, and also with the dimension of the unipotent monodromy part of the Milnor fiber cohomology of ff with degree nn. In the case XX has only weighted homogeneous isolated singularities, the defect def(X){\rm def}(X) is then given by the E2E_2-term of the spectral sequence of the double complex with differentials df{\rm d}f\wedge and d\rm d by the E2E_2-degeneration of the pole order spectral sequence. It can be calculated explicitly using a computer even for analogues of the Hirzebruch quintic threefold with more than one hundred ordinary double points found by B.\ van Geemen and J.\ Werner in a compatible way with their computation. We give also an example with def(X)>0{\rm def}(X)>0 and SingX=1|{\rm Sing}\,X|=1 where n=3n=3.

Keywords

Cite

@article{arxiv.2512.23522,
  title  = {Defect of projective hypersurfaces with isolated singularities},
  author = {Seung-Jo Jung and Morihiko Saito},
  journal= {arXiv preprint arXiv:2512.23522},
  year   = {2026}
}

Comments

Section 4 became an independent paper

R2 v1 2026-07-01T08:44:28.415Z