An application of liaison theory to zero-dimensional schemes (Q2200904): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5202301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4274969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An application of liaison theory to the Eisenbud-Green-Harris conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gorenstein Algebras and the Cayley-Bacharach Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the arithmetically Cohen-Macaulay property for sets of points in multiprojective spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Annihilators of graded components of the canonical module, and the core of standard graded algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cayley-Bacharach Schemes and Their Canonical Modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Cayley-Bacharach and evaluation codes on complete intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gröbner bases via linkage / rank
 
Normal rank
Property / cites work
 
Property / cites work: On graded rings. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Gorenstein liaison, complete intersection liaison invariants and unobstructedness / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Canonical Module of A 0-Dimensional Scheme / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Dedekind different of a Cayley–Bacharach scheme / rank
 
Normal rank
Property / cites work
 
Property / cites work: Characterizations of zero-dimensional complete intersections / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Cayley-Bacharach Property / rank
 
Normal rank
Property / cites work
 
Property / cites work: On maximal cayley-bacharach schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5317677 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Linear and Commutative Algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999650 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Hilbert function of generic plane sections of curves of \({\mathbb P}^ 3\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to liaison theory and deficiency modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4550586 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Surfaces of Degree 10 in the Projective Fourspace via Linear Systems and Linkage / rank
 
Normal rank

Latest revision as of 15:45, 23 July 2024

scientific article
Language Label Description Also known as
English
An application of liaison theory to zero-dimensional schemes
scientific article

    Statements

    An application of liaison theory to zero-dimensional schemes (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    23 September 2020
    0 references
    The main goal of this article under review is to extend results on the Cayley-Bacharach properties of \(K\)-rational points in \(\mathbb P^n_k\) to arbitrary 0-dimensional subschemes over an arbitrary field \(K\) using the technique of liaison theory. The Cayley-Bacharach property of a set of \(K\)-points \(Z\) in \(\mathbb P^n_k\) is well-studied. Among others cited in the paper, [\textit{P. Griffiths} and \textit{J. Harris}, Ann. Math. (2) 108, 461--505 (1978; Zbl 0423.14001); \textit{D. Eisenbud} et al., Bull. Am. Math. Soc., New Ser. 33, No. 3, 295--324 (1996; Zbl 0871.14024)] are important references. We say \(Z \subset \mathbb{P}^n\) satisfies the Cayley-Bacharach property with respect to the linear system \(|\mathcal O(l)|\) (abbreviated \(CBP(l)\)) if whenever a divisor \(D\) in \(|\mathcal O(l)|\) contains a co-length one subscheme of \(Z\), it must contain all of \(Z\). This definition is subtly extended for arbitrary \(0\)-dimensional subschemes \(Z\) over an arbitrary field \(K\) using the notion of ``maximal \(p_j\) subschemes''. The regularity index \(r_Z\) of \(Z\) is the minimal degree after which the Hilbert function and the Hilbert polynomial of \(Z\) coincide. The scheme \(Z\) is said to be a Cayley-Bacharach scheme if it satisfies \(CBP(r_Z-1)\), which is the highest possible degree \(d\) such that \(Z\) can satisfy \(CBP(d)\). It is known that for a set of \(K\)-points \(Z\), being a Cayley-Bacharach scheme is equivalent to the condition b) where a generic element of the least degree in the ideal of its link in a complete intersection does not vanish anywhere on \(Z\). The main result of this paper is Theorem 3.5 which characterizes the property of being a Cayley-Bacharach scheme in terms of different conditions on its link. The authors show that condition b) is only sufficient but necessary for \(Z\) to be a Cayley-Bacharach scheme in the general setting. Last but not least, the authors characterize the Cayley-Bacharach property of degree \(d\) using the canonical module of \(Z\), and use this result to give an equivalent condition for \(Z\) to be arithmetic Gorenstein in terms of the Hilbert function of the Dedekind different of \(Z\).
    0 references
    zero-dimensional scheme
    0 references
    Cayley-Bacharach property
    0 references
    Hilbert function
    0 references
    liaison theory
    0 references
    Dedekind different
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references