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

Claudia Miller, Sophia Vassiliadou

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)131-162
Number of pages32
JournalJournal of Singularities
Volume19
DOIs
StatePublished - Jan 1 2019

Fingerprint

Complete Intersection
Rigidity
Torsional stress
Torsion
Koszul Complex
Geometer
Sheaves
Codimension
Hypersurface
Locus
Homology
Smoothness
Symmetry
Imply
Necessary
Zero

Keywords

  • Differentials
  • Homology groups
  • Resolution
  • Singularity
  • Torsion

ASJC Scopus subject areas

  • Geometry and Topology
  • Applied Mathematics

Cite this

(Co)torsion of exterior powers of differentials over complete intersections. / Miller, Claudia; Vassiliadou, Sophia.

In: Journal of Singularities, Vol. 19, 01.01.2019, p. 131-162.

Research output: Contribution to journalArticle

@article{994205e688304a32badd88155804724e,
title = "(Co)torsion of exterior powers of differentials over complete intersections",
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{\"a}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 = "Differentials, Homology groups, Resolution, Singularity, Torsion",
author = "Claudia Miller and Sophia Vassiliadou",
year = "2019",
month = "1",
day = "1",
doi = "10.5427/jsing.2019.19h",
language = "English (US)",
volume = "19",
pages = "131--162",
journal = "Journal of Singularities",
issn = "1949-2006",
publisher = "Worldwide Center of Mathematics",

}

TY - JOUR

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

AU - Miller, Claudia

AU - Vassiliadou, Sophia

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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.

AB - 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.

KW - Differentials

KW - Homology groups

KW - Resolution

KW - Singularity

KW - Torsion

UR - http://www.scopus.com/inward/record.url?scp=85075000510&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85075000510&partnerID=8YFLogxK

U2 - 10.5427/jsing.2019.19h

DO - 10.5427/jsing.2019.19h

M3 - Article

AN - SCOPUS:85075000510

VL - 19

SP - 131

EP - 162

JO - Journal of Singularities

JF - Journal of Singularities

SN - 1949-2006

ER -