Hilbert polynomials of Kähler differential modules for fat point schemes

DOI10.1007/S40306-021-00432-3MaRDI QIDQ2048949zbMATH OpenOpenAlexFDO

Authors Martin Kreuzer, Tran N. K. Linh, Le Ngoc Long

Publication date 24 August 2021

Published in Acta Mathematica Vietnamica (Search for Journal in Brave)

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

zbMATH Keywords

fat point schemeHilbert functionKähler differential moduleregularity index

Mathematics Subject Classification ID

Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Modules of differentials (13N05) Cycles and subschemes (14C99)

Abstract: Given a fat point scheme $mathbbW=m_1{P}_1+cdots+m_s{P}_s$ in the projective $n$-space $mathbb{P}^n$ over a field $K$ of characteristic zero, the modules of K"ahler differential $k$-forms of its homogeneous coordinate ring contain useful information about algebraic and geometric properties of $mathbbW$ when $kin1,dots,n+1$. In this paper we determine the value of its Hilbert polynomial explicitly for the case $k=n+1$, confirming an earlier conjecture. More precisely this value is given by the multiplicity of the fat point scheme $mathbbY=(m_1-1)P_1+cdots+(m_s-1)P_s$. For $n=2$, this allows us to determine the Hilbert polynomials of the modules of K"ahler differential $k$-forms for $k=1,2,3$, and to produce a sharp bound for the regularity index for $k=2$.

Review text

Let \(W=m_1P_1+\cdots+m_sP_s\) be a scheme of fat points in \(\mathbb P^n_K\), where \(K\) is a field of characteristic zero. The authors deal with the problem of computing the Hilbert polynomial of the modules of the Kähler differential \(k\)-forms of the coordinate ring of \(W\), \(\Omega^{k}_{R_{W/K}}\). After introducing notation and basic facts in Section 2, they show in Theorem 3.7 that the Hilbert polynomial of \(\Omega^{n+1}_{R_{W/K}}\) is \(\sum_j\binom{m_j+n-2}{n},\) i.e., it is the Hilbert polynomial of the coordinate ring of the fat points scheme \((m_1-1)P_1+\cdots+(m_s-1)P_s\). This answers positively to a conjecture the authors stated in a previous paper, see Conjecture 5.7 in [\textit{M. Kreuzer} et al., J. Algebra 501, 255--284 (2018; Zbl 1388.13051)]. Moreover, making use of Theorem 3.7, the authors compute the Hilbert polynomial of the modules of the Kähler differential of a scheme of fat points in \(\mathbb P^2\), see Proposition 4.1.

Recommendations

• 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\)
• Kähler differentials for points in \(\mathbb{P}^n\)
• Combinatorial bounds on Hilbert functions of fat points in projective space
• Kähler differential algebras for 0-dimensional schemes

Cites work

• scientific article; zbMATH DE number 4156616 (Why is no real title available?)
• scientific article; zbMATH DE number 3941666 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 773851 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• Kähler differential algebras for 0-dimensional schemes
• Kähler differentials and Kähler differents for fat point schemes
• Kähler differentials for points in \(\mathbb{P}^n\)
• Regina lectures on fat points
• Separators of fat points in P^n.
• The ideal of forms vanishing at a finite set of points in \({\mathbb{P}}^ n\)

Cited in

(5)

• Kähler differentials for points in \(\mathbb{P}^n\)
• Kähler differential algebras for 0-dimensional schemes
• Kähler differentials for fat point schemes in \(\mathbb{P}^1\times\mathbb{P}^1\)
• Kähler differentials and Kähler differents for fat point schemes
• Differential theory of zero-dimensional schemes

Describes a project that uses

Uses Software

• ApCoCoA

This page was built for publication: Hilbert polynomials of Kähler differential modules for fat point schemes

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