English

The K\"ahler Different of a Set of Points in $\mathbb{P}^m\times\mathbb{P}^n$

Algebraic Geometry 2021-07-07 v1 Commutative Algebra

Abstract

Given an ACM set X\mathbb{X} of points in a multiprojective space Pm×Pn\mathbb{P}^m\times\mathbb{P}^n over a field of characteristic zero, we are interested in studying the K\"ahler different and the Cayley-Bacharach property for X\mathbb{X}. In P1×P1\mathbb{P}^1\times\mathbb{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 Pm×Pn\mathbb{P}^m\times\mathbb{P}^n for n>1n>1 or m>1m>1. In this paper we start an investigation of the K\"ahler different and its Hilbert function and then prove that X\mathbb{X} is a complete intersection of type (d1,...,dm,d1,...,dn)(d_1,...,d_m,d'_1,...,d'_n) if and only if it has the Cayley-Bachrach property and the K\"ahler different is non-zero at a certain degree. When X\mathbb{X} has the ()(\star)-property, we characterize the Cayley-Bacharach property of X\mathbb{X} in terms of its components under the canonical projections.

Keywords

Cite

@article{arxiv.2107.02231,
  title  = {The K\"ahler Different of a Set of Points in $\mathbb{P}^m\times\mathbb{P}^n$},
  author = {Tran N. K. Linh and Le N. Long and Nguyen T. Hoa and Nguyen T. P. Nhi and Phan T. T. Nhan},
  journal= {arXiv preprint arXiv:2107.02231},
  year   = {2021}
}

Comments

18 pages, 1 figure