English

Factoriality of normal projective varieties

Algebraic Geometry 2026-03-24 v5

Abstract

For a normal projective variety XX, the Q\bf Q-factoriality defect σ(X)\sigma(X) is defined to be the rank of the quotient of the group of Weil divisors by the subgroup of Cartier ones. We prove a slight improvement of a topological formula of S.G. Park and M. Popa asserting that σ(X)=h2n2(X)h2(X)\sigma(X)=h^{2n-2}(X)-h^2(X) by assuming only 2-semi-rationality, that is, RkπOX~=0R^k\pi_*{\mathcal O}_{\widetilde{X}}=0 for k=1,2k=1,2, instead of rational singularities for XX, where π:X~X\pi:\widetilde{X}\to X is a desingularization with hk(X):=dimHk(X,Q)h^k(X):=\dim H^k(X,{\bf Q}) and n:=dimX>2n:=\dim X>2. Our proof generalizes the one by Y. Namikawa and J.H.M. Steenbrink for the case n=3n=3 with isolated hypersurface singularities. We also give a proof of (a slight generalization of) the assertion that Q\bf Q-factoriality implies factoriality if XX is a local complete intersection whose singular locus has at least codimension three. These imply a slight improvement of Grothendieck's theorem in the projective case asserting that XX is factorial if it is a local complete intersection whose singular locus has at least codimension three and at general points of its components of codimension three, XX has rational singularities and is a Q\bf Q-homology manifold.

Keywords

Cite

@article{arxiv.2601.13151,
  title  = {Factoriality of normal projective varieties},
  author = {Seung-Jo Jung and Morihiko Saito},
  journal= {arXiv preprint arXiv:2601.13151},
  year   = {2026}
}

Comments

This is an extended version of arXiv:2512.23522v1, Section 4

R2 v1 2026-07-01T09:10:47.553Z