[Paper Review] The Symbolic Generic Initial System of Points on an Irreducible Conic

Sarah Mayes|arXiv (Cornell University)|Apr 29, 2013

Commutative Algebra and Its Applications11 references3 citations

TL;DR

This paper determines the limiting shape of the symbolic generic initial system for ideals of $ r $ distinct points on an irreducible conic in $ \mathbb{P}^2 $. Using minimal free resolutions and Newton polytopes, it shows that the limiting shape $ P \subseteq \mathbb{R}^2_{\geq 0} $ is bounded below by a line connecting $ (\min\{r/2,2\}, 0) $ and $ (0, \max\{r/2,2\}) $, revealing a precise geometric structure in the asymptotic behavior of symbolic powers.

ABSTRACT

In this note we study the limiting behaviour of the symbolic generic initial system of an ideal I in K[x,y,z] corresponding to an arrangement of r points of P2 lying on an irreducible conic. In particular, we show that the limiting shape of this system is the subset of R2 such consisting of all points above the line through (2,0) and (0, r/2) when r is greater than or equal to four.

Motivation & Objective

• To understand the asymptotic behavior of symbolic powers of ideals defining points on a conic in $ \mathbb{P}^2 $.
• To determine the limiting shape of the symbolic generic initial system $ \{\text{gin}(I^{(m)})\}_{m} $ using Newton polytopes.
• To characterize the boundary of the limiting polytope $ P $ in terms of $ r $, the number of points.
• To establish a geometric description of the asymptotic structure via minimal free resolutions and Betti numbers.

Proposed method

• Uses the Newton polytope $ P_{\text{gin}(I^{(m)})} $ of the generic initial ideal $ \text{gin}(I^{(m)}) $ to study the limiting shape $ P = \lim_{m \to \infty} \frac{1}{m} P_{\text{gin}(I^{(m)})} $.
• Applies Hilbert-Burch theory to describe the minimal free resolution of $ \text{gin}(I^{(m)}) $, identifying $ \alpha(m) = D(m) $ and $ \lambda_0(m) = U(m) - 1 $.
• Employs Catalisano’s algorithm for minimal free resolutions of fat point ideals on a conic, adapted to uniform multiplicity $ m $.
• Applies recursive resolution construction via Proposition 6 to compute $ D(m) $ and $ U(m) $ for even $ m $, depending on parity of $ r $.
• Uses the Cancellation Principle to ensure stability of the largest and smallest shifts in the resolution, preserving $ U(m) $ and $ D(m) $.
• Derives the limiting boundary line from the asymptotic behavior of $ D(m)/m $ and $ U(m)/m $, yielding the line through $ (\min\{r/2,2\}, 0) $ and $ (0, \max\{r/2,2\}) $.

Experimental results

Research questions

• RQ1 What is the limiting shape of the symbolic generic initial system for $ r $ points on an irreducible conic in $ \mathbb{P}^2 $?
• RQ2 How does the boundary of the limiting polytope depend on the number of points $ r $?
• RQ3 Can the asymptotic behavior of $ \text{gin}(I^{(m)}) $ be described via minimal free resolutions and Newton polytopes?
• RQ4 What role does the parity of $ r $ and $ m $ play in the structure of $ D(m) $ and $ U(m) $?
• RQ5 Is there a uniform geometric description of the limiting shape across different values of $ r $?

Key findings

• For $ r \geq 4 $, the limiting shape $ P $ is bounded below by the line through $ (2, 0) $ and $ (0, r/2) $.
• For $ r = 2 $ or $ r = 3 $, the boundary is the line through $ (r/2, 0) $ and $ (0, 2) $.
• When $ r \geq 4 $ is even, $ D(m) = 2m $ and $ U(m) = \frac{rm}{2} + 2 $ for even $ m $.
• When $ r > 4 $ is odd and $ m $ is even, $ D(m) = 2m $ and $ U(m) = \frac{rm}{2} + 2 $.
• When $ r = 3 $ and $ m $ is even, $ D(m) = \frac{3m}{2} $ and $ U(m) = 2m + 1 $.
• The limiting shape $ P $ is completely determined by the asymptotic ratios $ D(m)/m $ and $ U(m)/m $, which define the boundary line in $ \mathbb{R}^2_{\geq 0} $.