Characterizations of zero-dimensional complete intersections
type: Item
instance of: scholarly article
title: Characterizations of zero-dimensional complete intersections
zbMATH Open document ID: 1387.14126
author: Martin Kreuzer
author: Le Ngoc Long
published in: Beiträge zur Algebra und Geometrie
publication date: 2017-03-16T00:00:00Z
review text: Determining when a 0-dimensional scheme in projective space \(\mathbb P^n_K\) (where \(K\) is a field) which is the complete intersection of \(n\) hypersurfaces has played an important role in both Algebraic Geometry and Commutative Algebra. For example, in projective 2-space, work of \textit{E. Davis} and \textit{P. Maroscia} [Lect. Notes Math. 1092, 253--269 (1984; Zbl 0556.14025)] provided a characterization of such schemes using the Hilbert function symmetry and the Cayley-Bacharach property. In [\textit{E. D. Davis} et al., Proc. Am. Math. Soc. 93, 593--597 (1985; Zbl 0575.14040)] and [\textit{M. Kreuzer}, Math. Ann. 292, No. 1, 43--58 (1992; Zbl 0741.14030)], it was then shown that this also provides a characterization for arithmetically Gorenstein schemes. There have also been characterizations of 0-dimensional local complete intersections using the Kähler different (see [\textit{G. Scheja} and \textit{U. Storch}, J. Reine Angew. Math. 278/279, 174--190 (1975; Zbl 0316.13003)]). In this paper the authors uses the Kähler and Dedekind differents of \(R/K[x_0]\) and \(R/K\) to further the characterizations of 0-dimensional complete intersections. A sample characterization is the following theorem: Theorem. Let \(\mathbb X\) be a smooth 0-dimensional subscheme of \(\mathbb P^n_K\). Then \(\mathbb X\) is a complete intersection if and only if \(\mathbb X\) is a Cayley-Bacharach scheme and the Hilbert function of the Kähler different of \(\mathbb X\) in degree \(r_{\mathbb X}\) is non-zero, where \(r_{\mathbb X}\) is the regularity index of the Hilbert function of \(\mathbb X\). Most of the characterizations can be found in Section 5 of the paper. Indeed, in this section the authors present three characterizations: one generalizing the work of Scheja and Storch; one using a value of the Hilbert function of the Kähler different of the scheme to separate the classes of complete intersections from arithmetically Gorenstein schemes; and one is the above stated theorem.…
reviewed by: Susan Marie Cooper
Mathematics Subject Classification ID: 14M10
Mathematics Subject Classification ID: 13N05
Mathematics Subject Classification ID: 13C40
Mathematics Subject Classification ID: 13D40
Mathematics Subject Classification ID: 14M05
zbMATH DE Number: 6695680
zbMATH Keywords: zero-dimensional scheme
zbMATH Keywords: complete intersection
zbMATH Keywords: Kähler different
zbMATH Keywords: Dedekind different
zbMATH Keywords: arithmetically Gorenstein scheme
zbMATH Keywords: Cayley-Bacharach scheme
zbMATH Keywords: Hilbert function
describes a project that uses: ApCoCoA
MaRDI profile type: Publication
full work available at URL: s13366-016-0311-9
OpenAlex ID: W2497416318
cites work: Q4274969
cites work: Q3994901
cites work: Gorenstein Algebras and the Cayley-Bacharach Theorem
cites work: Q3220689
cites work: Q4317713
cites work: Residues and zero-cycles on algebraic varieties
cites work: Cayley-Bacharach Schemes and Their Canonical Modules
cites work: The ideal of forms vanishing at a finite set of points in \({\mathbb{P}}^ n\)
cites work: On the Cohen-Macaulay type of s-lines in \(A^{n+1}\)
cites work: On graded rings. I
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
cites work: Kähler differentials and Kähler differents for fat point schemes
cites work: On 0-dimensional complete intersections
cites work: On the Canonical Module of A 0-Dimensional Scheme
cites work: Q4396182
cites work: Q4951075
cites work: Determinantal schemes and Buchsbaum-Rim sheaves
cites work: Q4507801
cites work: Q5317677
cites work: Q3676243
cites work: Q3714169
cites work: Holomorphe Differentialformen auf algebraischen Varietäten mit Singularitäten. I
cites work: Differentialformen auf algebraischen Varietäten mit Singularitäten. II
cites work: Regular Differential Forms
cites work: Q4858022
cites work: Q4895029
cites work: Q4075559
cites work: Über homologische Invarianten lokaler Ringe
cites work: Modular elliptic curves and Fermat's Last Theorem
cites work: Q3249822
DOI: 10.1007/S13366-016-0311-9
Recommended article: On 0-dimensional complete intersections
Recommended article: Q3973291
Recommended article: Q4735261
Recommended article: Gorenstein Algebras and the Cayley-Bacharach Theorem
Recommended article: Q4396182
Recommended article: Determinantal schemes and Buchsbaum-Rim sheaves
Recommended article: Complete intersection points on general surfaces in \(\mathbb P^{3}\)
Recommended article: On Landsberg's criterion for complete intersections
Recommended article: The K\"ahler Different of a Set of Points in $\mathbb{P}^m\times\mathbb{P}^n$
Recommended article: Sulle varieta' intersezioni complete
description: scientific article; zbMATH DE number 6695680