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.

生成讲解博客的中文版本

生成AI智能校验的中文版本