[논문 리뷰] Symbolic powers versus regular powers of ideals of general points in P^1 x P^1

Elena Guardo, Brian Harbourne외 1명|arXiv (Cornell University)|2011. 07. 25.

Commutative Algebra and Its Applications참고 문헌 3인용 수 4

한 줄 요약

이 논문은 $\mathbb{P}^1 \times \mathbb{P}^1$에서 일반적인 점들을 정의하는 아이디얼의 기호적 거듭제곱과 일반적 거듭제곱을 조사하며, 점점 커지는 불변량 $\gamma(I)$를 계산하고, 기호적 거듭제곱과 일반적 거듭제곱이 언제 일치하는지 규명한다. 이중다항식 힐버트 함수와 수치 기준을 사용하여, 일반적인 점 $s$에 대해 $I^m = I^{(m)}$이 성립하는 것은 $s = 1,2,3,$ 또는 $5$일 때에만임을 보이며, $s \leq 8$에 대해서는 $\gamma(I)$의 명시적 값을 제시하고 $s \geq 9$에 대해서는 경계를 제공한다. 주요 기여는 이러한 아이디얼에 대해 기호적 거듭제곱과 일반적 거듭제곱이 언제 같은지를 완전히 분류한 것이다.

ABSTRACT

Recent work of Ein-Lazarsfeld-Smith and Hochster-Huneke raised the problem of which symbolic powers of an ideal are contained in a given ordinary power of the ideal. Bocci-Harbourne developed methods to address this problem, which involve asymptotic numerical characters of symbolic powers of the ideals. Most of the work done up to now has been done for ideals defining 0-dimensional subschemes of projective space. Here we focus on certain subschemes given by a union of lines in ${\bf P}^3$ which can also be viewed as points in ${\bf P}^1 imes {\bf P}^1$. We also obtain results on the closely related problem, studied by Hochster and by Li-Swanson, of determining situations for which each symbolic power of an ideal is an ordinary power.

연구 동기 및 목표

• 일반적인 점들에 대한 $\mathbb{P}^1 \times \mathbb{P}^1$에서의 아이디얼의 기호적 거듭제곱과 일반적 거듭제곱이 모든 $m \geq 1$에 대해 언제 일치하는지 규명하기.
• 일반적인 점 $s$에 대한 아이디얼에 대해 점점 커지는 불변량 $\gamma(I) = \lim_{m \to \infty} \alpha(I^{(m)})/m$를 계산하기.
• 기호적 거듭제곱이 일반적 거듭제곱에 포함되는 것을 확인하기 위한 수치 기준을 $\mathbb{P}^1 \times \mathbb{P}^1$의 이중다항식 설정으로 확장하기.
• $s \geq 4$와 $s \geq 6$일 때 기호적 거듭제곱과 일반적 거듭제곱이 일치하지 않는 이유를 분석하기.

제안 방법

• $\mathbb{P}^1 \times \mathbb{P}^1$에서 아이디얼의 동차 성분의 차원을 분석하기 위해 이중다항식 힐버트 함수를 사용하기.
• Lemma 3.2.3을 적용하여 다중도 1 일반 위치에 있는 점들의 아이디얼에 대해 $\dim((I^{(2)})_{(i,j)})$를 계산하기.
• 특히 $(3, q_1 + q_2)$와 같은 특정 이중차수에서 $I^2$와 $I^{(2)}$의 차원을 비교하여 불일치를 탐지하기.
• $I^2$를 동차 성분의 곱으로 분해하여 $\dim((I^2)_{(3,q_1+q_2)})$의 상한을 구하기.
• $s = 2q_1 + r_1 = 3q_2 + r_2$라는 관계를 사용하여 $\gamma(I)$와 차원 차이를 $q_1, q_2, r_1, r_2$로 표현하기.
• 기존의 기호적 거듭제곱에 대한 결과와 $\mathbb{P}^1 \times \mathbb{P}^1$의 점들에 대한 아이디얼이 $\mathbb{P}^3$에서의 직선에 대응된다는 사실을 활용하여 문제를 더 기하학적인 설정으로 재해석하기.

실험 결과

연구 질문

• RQ1 $\mathbb{P}^1 \times \mathbb{P}^1$에서 일반적인 점 $s$가 몇 개인 경우, 모든 $m \geq 1$에 대해 정의 아이디얼의 기호적 거듭제곱과 일반적 거듭제곱이 일치하는가?
• RQ2 $\mathbb{P}^1 \times \mathbb{P}^1$에서 일반적인 점 $s$에 대한 아이디얼 $I$에 대해 $\gamma(I)$의 값은 얼마이며, $s$에 따라 어떻게 변화하는가?
• RQ3 $\mathbb{P}^1 \times \mathbb{P}^1$에서 일반적인 점 $s$에 대한 아이디얼 $I$에 대해 $I^{(2)} \neq I^2$가 성립하는 $s$는 무엇인가?
• RQ4 특정 이중차수에서의 차원 비교를 통해 $I^2$와 $I^{(2)}$의 차이를 탐지할 수 있는가?
• RQ5 점들이 다중도 1 일반 위치에 있을 때 힐버트 함수와 기호적 거듭제곱 및 일반적 거듭제곱의 비교에 어떤 영향을 미치는가?

주요 결과

• $s=1$일 때 $\gamma(I) = 1$; $s=2,3$일 때 $\gamma(I) = 2$; $s=4$일 때 $\gamma(I) = 8/3$; $s=5$일 때 $\gamma(I) = 3$; $s=6$일 때 $\gamma(I) = 24/7$; $s=7$일 때 $\gamma(I) = 56/15$; $s=8$일 때 $\gamma(I) = 4$.
• $s \geq 9$일 때 $\gamma(I)$는 $\sqrt{s} - 1 < \gamma(I) \leq \sqrt{2s}$를 만족한다.
• $\mathbb{P}^1 \times \mathbb{P}^1$에서 일반적인 점 $s$에 대한 아이디얼 $I$에 대해 모든 $m \geq 1$에 대해 기호적 거듭제곱과 일반적 거듭제곱이 일치하는 것은 $s = 1,2,3,$ 또는 $5$일 때에만 성립한다. $s=4$와 $s \geq 6$일 때 $I^{(m)} \neq I^m$이다.
• $s \geq 7$일 때 $I^{(2)} \neq I^2$임이 증명되었으며, 이는 $(3, q_1 + q_2)$ 이중차수에서 차원을 비교함으로써 입증된다. 이 경우 $\dim(I^{(2)})_{(3,q_1+q_2)} > \dim((I^2)_{(3,q_1+q_2)})$임을 보였다.
• $s=6$일 때는 직접 계산을 통해 $I^{(2)} \neq I^2$임을 확인하였다. $\alpha(I) = 4$ 이므로 $\alpha(I^2) = 8$이지만, $\alpha(I^{(2)}) \leq 7$이므로 $I^2 \subsetneq I^{(2)}$임을 유추할 수 있다.
• $s \geq 7$에 대한 증명은 힐버트 함수와 Lemma 3.2.3의 차원 공식을 활용하여, $\dim(I^{(2)})_{(3,q_1+q_2)} = q_2 + 4 - 2r_1 - r_2 > (2 - r_1)(3 - r_2) \geq \dim((I^2)_{(3,q_1+q_2)})$임을 보였다.