The symbolic defect of an ideal
| Autor: | Anthony V. Geramita, Adam Van Tuyl, Yong-Su Shin, Federico Galetto |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Discrete mathematics
Algebra and Number Theory Ideal (set theory) Mathematics::Commutative Algebra 010102 general mathematics A* search algorithm Commutative Algebra (math.AC) Mathematics - Commutative Algebra 01 natural sciences law.invention Power (physics) law Homogeneous 0103 physical sciences FOS: Mathematics 13A15 14M05 The Symbolic 010307 mathematical physics 0101 mathematics Symbolic power Finite set Mathematics |
| Zdroj: | Journal of Pure and Applied Algebra. 223:2709-2731 |
| ISSN: | 0022-4049 |
| DOI: | 10.1016/j.jpaa.2018.11.019 |
| Popis: | Let $I$ be a homogeneous ideal of $\Bbbk[x_0,\ldots,x_n]$. To compare $I^{(m)}$, the $m$-th symbolic power of $I$, with $I^m$, the regular $m$-th power, we introduce the $m$-th symbolic defect of $I$, denoted $\operatorname{sdefect}(I,m)$. Precisely, $\operatorname{sdefect}(I,m)$ is the minimal number of generators of the $R$-module $I^{(m)}/I^m$, or equivalently, the minimal number of generators one must add to $I^m$ to make $I^{(m)}$. In this paper, we take the first step towards understanding the symbolic defect by considering the case that $I$ is either the defining ideal of a star configuration or the ideal associated to a finite set of points in $\mathbb{P}^2$. We are specifically interested in identifying ideals $I$ with $\operatorname{sdefect}(I,2) = 1$. 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 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect