(Co)torsion of exterior powers of differentials over complete intersections

Journal of Singularities
volume 19 (2019), 131-162

Received: 27 July 2018. Received in revised form: 16 September 2019.

DOI: 10.5427/jsing.2019.19h

Add a reference to this article to your citeulike library.

Abstract:

The main goal of this paper is to establish a generalized Lipman-Zariski result in characteristic zero for complete intersection germs whose singular locus has codimension at least three, generalizing the corresponding result of Graf for hypersurfaces. More precisely, we prove that the condition that the sheaf of reflexive Kähler differential p-forms is free implies smoothness. The proof given here rests on recognizing the torsion, as was known previously, and the cotorsion as homologies of the generalized Koszul complexes constructed by Kirby, Buchsbaum-Eisenbud, Lebelt, and Bruns-Vetter and applying certain rigidity and symmetry results based on work of Lebelt and Rodicio, yielding also a different proof of Graf's result. To make the paper accessible to both complex analysts and algebraic geometers we include full descriptions of the necessary background.

Keywords:

singularity, resolution, differentials, homology groups, torsion

Mathematical Subject Classification (2010):

13D02, 13H10, 13N05, 14B05, 14F10, 32S05

Author(s) information: