Torsion and cotorsion in the sheaf of Kähler differentials on some mild singularities

DOI10.4310/MRL.2011.V18.N6.A14MaRDI QIDQ2391573zbMATH OpenFDO

Authors Daniel Greb, Sönke Rollenske

Publication date 5 August 2013

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1012.5940

zbMATH Keywords

Gorensteinsheaf of Kähler differentialssmooth projective varietytorsionfree

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Singularities in algebraic geometry (14B05) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10)

Abstract: We give a criterion for the sheaf of K"ahler differentials on a cone over a smooth projective variety to be torsion-free. Applying this to Veronese embeddings of projective space and using known results on differentials on quotient singularities we show that even for mild, e.g. Gorenstein terminal, singularities the sheaf of K"ahler differentials will in general have torsion and cotorsion.

Review text

Let \(X|k\) be an algebraic variety over a field \(k\) of characteristic \(0\). The question is studied whether the sheaf of Kähler differentials \(\Omega_X\) is reflexive or torsionfree if \(X\) has ``mild singularities. As an example, if \(X\) is a normal local complete intersection, then \(\Omega_X\) is torsionfree. It is reflexive if and only if \(X\) is non-singular in codimensin \(2\). The following theorem is proved: Let \(Z\subset \mathbb{P}^n_k\) be a smooth projective variety and \(I\) the ideal sheaf defining \(Z\). Let \(X\subseteq \mathbb{A}^{n+1}\) be the affine cone over \(Z\). If \(H^1(\mathbb{P}^n, I^2(d))=0\) for all \(d\geq 0\) then \(\Omega_X\) is torsionfree. If in addition \(Z\) is projectively normal, then \(\Omega_X\) is torsionfree if and only if also the first infinitesimal neighbourhood of \(Z\) in \(\mathbb{P}^n_k\) is projectively normal. As an application it is proved that Gorenstein terminal singularities will have in general a sheaf of Kähler differential with torsion and cotorsion.

Recommendations

• On torsion Kähler differential forms
• (Co)torsion of exterior powers of differentials over complete intersections
• Differential forms in positive characteristic avoiding resolution of singularities
• Torsion of differentials of affine quasi-homogeneous hypersurfaces
• Torsion of differentials on toric varieties

Cited in

(11)

• On torsion Kähler differential forms
• Torsion of differentials on toric varieties
• An algorithm for computing torsion differential forms associated with an isolated hypersurface singularity
• Differentials of Cox rings: Jaczewski's theorem revisited
• The generalized Lipman-Zariski problem
• Pull-back morphisms for reflexive differential forms
• On deformations of \(\mathbb{Q}\)-Fano \(3\)-folds
• The Noether-Lefschetz locus of surfaces in toric threefolds
• Notes on Kebekus' lectures on differential forms on singular spaces
• On torsion-freeness of Kähler differential sheaves
• Logarithmic differentials on discretely ringed adic spaces

This page was built for publication: Torsion and cotorsion in the sheaf of Kähler differentials on some mild singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391573)