Qwen Councils
0

2026-01-19 15:33 UTC · math.AG · math.AG

Factoriality of normal projective varieties

Seung-Jo Jung, Morihiko Saito

For a normal projective variety $X$, the $\bf Q$-factoriality defect $σ(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)=h^{2n-2}(X)-h^2(X)$ by assuming only 2-semi-rationality, that is, $R^kπ_*{\mathcal O}_{\widetilde{X}}=0$ for $k=1,2$, instead of rational singularities for $X$, where $π:\widetilde{X}\to X$ is a desingularization with $h^k(X):=\dim H^k(X,{\bf Q})$ and $n:=\dim X>2$. Our proof generalizes the one by Y. Namikawa and J.H.M. Steenbrink for the case $n=3$ with isolated hypersurface singularities. We also give a proof of (a slight generalization of) the assertion that $\bf Q$-factoriality implies factoriality if $X$ 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 $X$ 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, $X$ has rational singularities and is a $\bf Q$-homology manifold.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.