The Kähler different of a set of points in P^m^n

DOI10.4134/BKMS.B210544MaRDI QIDQ5867374zbMATH OpenFDO

Authors Nguyen T. Hoa, Tran N. K. Linh, Le Ngoc Long, Phan T. T. Nhan, Nguyen T. P. Nhi

Publication date 14 September 2022

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

zbMATH Keywords

ACM set of pointsCayley-Bacharach propertycomplete intersectionKähler different

Mathematics Subject Classification ID

Other special types of modules and ideals in commutative rings (13C13) Linkage, complete intersections and determinantal ideals (13C40) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05) Complete intersections (14M10)

Abstract: Given an ACM set $mathbbX$ of points in a multiprojective space $mathbb{P}^{m}imesmathbb{P}^n$ over a field of characteristic zero, we are interested in studying the K"ahler different and the Cayley-Bacharach property for $mathbbX$. In $mathbb{P}^{1}imesmathbb{P}^1$, the Cayley-Bacharach property agrees with the complete intersection property and it is characterized by using the K"ahler different. However, this result fails to hold in $mathbb{P}^{m}imesmathbb{P}^n$ for $n>1$ or $m>1$. In this paper we start an investigation of the K"ahler different and its Hilbert function and then prove that $mathbbX$ is a complete intersection of type $(d_1,\mathrm{...},d_m,d{\text{'}}_1,\mathrm{...},d{\text{'}}_n)$ if and only if it has the Cayley-Bachrach property and the K"ahler different is non-zero at a certain degree. When $mathbbX$ has the $(star)$-property, we characterize the Cayley-Bacharach property of $mathbbX$ in terms of its components under the canonical projections.

Recommendations

• Kähler differentials for fat point schemes in \(\mathbb{P}^1\times\mathbb{P}^1\)
• A Cayley-Bacharach theorem for points in \(\mathbb{P}^n\)
• The Hilbert functions of ACM sets of points in \({\mathbb P}^{n_1} {\times}\dots{\times}{\mathbb P}^{n_k}\)
• A Note on the Cayley-Bacharach Property
• Kähler differentials and Kähler differents for fat point schemes

Cites work

• A characterization of ACM 0-dimensional schemes in Q.
• ACM sets of points in multiprojective space
• Arithmetically Cohen-Macaulay sets of points in P^1 P^1
• Cayley-Bacharach Schemes and Their Canonical Modules
• Characterizations of zero-dimensional complete intersections
• Classifying ACM sets of points in \({\mathbb{P}^{1} \times \mathbb{P}^{1}}\) via separators
• Fat Points in ℙ¹× ℙ¹and Their Hilbert Functions
• scientific article; zbMATH DE number 3941666 (Why is no real title available?)
• scientific article; zbMATH DE number 3494540 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 2212007 (Why is no real title available?)
• Kähler differentials and Kähler differents for fat point schemes
• Kähler differentials for fat point schemes in \(\mathbb{P}^1\times\mathbb{P}^1\)
• Multigraded regularity: syzygies and fat points
• Multiprojective spaces and the arithmetically Cohen-Macaulay property
• On the Cayley-Bacharach Property
• Separators of points in a multiprojective space
• Tensor products of Cohen-Macaulay rings: Solution to a problem of Grothendieck
• The border of the Hilbert function of a set of points in \(\mathbb P^{n_1}\times \cdots \times \mathbb P^{n_k}\)
• The Hilbert functions of ACM sets of points in \({\mathbb P}^{n_1} {\times}\dots{\times}{\mathbb P}^{n_k}\)

Cited in

(3)

• Kähler differentials for fat point schemes in \(\mathbb{P}^1\times\mathbb{P}^1\)
• Characterizations of zero-dimensional complete intersections
• Multiprojective spaces and the arithmetically Cohen-Macaulay property

Describes a project that uses

Uses Software

• ApCoCoA

This page was built for publication: The Kähler different of a set of points in \(\mathbb{P}^m\times\mathbb{P}^n\)

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