English

The symbolic defect of an ideal

Commutative Algebra 2018-10-10 v3

Abstract

Let II be a homogeneous ideal of k[x0,,xn]\Bbbk[x_0,\ldots,x_n]. To compare I(m)I^{(m)}, the mm-th symbolic power of II, with ImI^m, the regular mm-th power, we introduce the mm-th symbolic defect of II, denoted sdefect(I,m)\operatorname{sdefect}(I,m). Precisely, sdefect(I,m)\operatorname{sdefect}(I,m) is the minimal number of generators of the RR-module I(m)/ImI^{(m)}/I^m, or equivalently, the minimal number of generators one must add to ImI^m to make I(m)I^{(m)}. In this paper, we take the first step towards understanding the symbolic defect by considering the case that II is either the defining ideal of a star configuration or the ideal associated to a finite set of points in P2\mathbb{P}^2. We are specifically interested in identifying ideals II with sdefect(I,2)=1\operatorname{sdefect}(I,2) = 1.

Keywords

Cite

@article{arxiv.1610.00176,
  title  = {The symbolic defect of an ideal},
  author = {Federico Galetto and Anthony V. Geramita and Yong-Su Shin and Adam Van Tuyl},
  journal= {arXiv preprint arXiv:1610.00176},
  year   = {2018}
}

Comments

To appear in Journal of Pure and Applied Algebra; revised at referees' suggestion. Fixed typos and clarified writing, included additional references, shortened proof of Thm 6.3