Factoriality of normal projective varieties
Abstract
For a normal projective variety , the -factoriality defect 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 by assuming only 2-semi-rationality, that is, for , instead of rational singularities for , where is a desingularization with and . Our proof generalizes the one by Y. Namikawa and J.H.M. Steenbrink for the case with isolated hypersurface singularities. We also give a proof of (a slight generalization of) the assertion that -factoriality implies factoriality if 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 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, has rational singularities and is a -homology manifold.
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