[논문 리뷰] Secant Varieties of (P ^1) X .... X (P ^1) (n-times) are NOT Defective for n \geq 5

Maria Virginia Catalisano, Anthony V. Geramita외 1명|ArXiv.org|2008. 09. 10.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 20

한 줄 요약

이 논문은 $(\mathbb{P}^1)^n$의 세그레 매bedding의 고차 초평면들이 모든 $n \geq 5$에 대해 비결함적임을 증명한다. 즉, 기대하는 차원을 달성한다. 지정된 지점들에 대한 비틀림, 펄스, 그리고 지방 스킴에 대한 힐베르트 함수 분석을 조합한 미분 호라스 방법을 사용하여, 이 가족에서 유일한 예외는 $\sigma_3(V_4)$이며, 이는 $\mathbb{P}^{15}$에서 여부차원 2를 가진 결함적임을 보여준다.

ABSTRACT

Let V_n be the Segre embedding of (P^1) x ... X (P^1) (n times). We prove that the higher secant varieties, σ_s(V_n), always have the expected dimension, except for σ_3(V_4), which is of dimension 1 less than expected.

연구 동기 및 목표

• $(\mathbb{P}^1)^n$의 초평면들이 어떤 것이 결함적일 것인지 오랫동안 미해결된 문제를 해결하기 위해.
• $t=1$인 $\mathbb{P}^{t} \times \cdots \times \mathbb{P}^{t}$에 대한 아보-오타비아니-페테르슨 추측, 즉 초평면들이 비결함적임을 뒷받침하는 증거를 제공하기 위해.
• $n \geq 5$일 때 모든 고차 초평면 $\sigma_s(V_n)$가 기대하는 차원을 달성함을 입증하기 위해.
• 비단순 스킴과 특정 차수에서의 고정 성분을 다룰 수 있는 새로운 미분 호라스 방법을 개발하고 적용하기 위해.

제안 방법

• 테라시니의 보조정리와 펄스를 이용하여, 초평면 차원 문제를 선형 부분공간에 지지된 지방 스킴의 힐베르트 함수 계산으로 환원한다.
• 알렉산더-히르슈비츠의 'méthode d'Horace' 전략을 적용하여, 귀납법과 스킴의 특수화를 통해 문제를 단순화한다.
• 지정된 차수에서 고정 성분으로 작용하는 추가적인 선형 성분을 도입하여, 지방 점을 두 부분으로 나누는 새로운 기법을 도입한다.
• 일阶 도함수를 분석하기 위해 미분 호라스 방법을 사용하여, 이상과 형태의 차수에서 '분할 및 지배' 전략을 실현한다.
• 특정 차수에서의 힐베르트 함수 조건을 확인하기 위해 $\left\lfloor \frac{2^n}{n+1} \right\rfloor$와 $\left\lceil \frac{2^n}{n+1} \right\rceil$을 포함하는 조합론적 및 산술적 추정을 사용한다.
• 기본 부등식을 $n \geq 5$에 대해 $2^{n-1}$, $n$, $q = \lfloor n/4 \rfloor$의 경계를 사용하여 검증하여 힐베르트 함수 행동을 확인한다.

실험 결과

연구 질문

• RQ1 모든 $n \geq 5$에 대해 $(\mathbb{P}^1)^n$의 세그레 매bedding 초평면들 중에서 $\sigma_s(V_n)$가 결함적인 경우는 언제인가?
• RQ2 $\sigma_3(V_4)$는 $V_n = (\mathbb{P}^1)^n$ 가족에서 유일한 결함적 초평면인가?
• RQ3 이 무한한 가족에서 초평면의 비결함성을 증명하기 위해 미분 호라스 방법을 성공적으로 적용할 수 있는가?
• RQ4 선형 부분공간에 지지된 지방 스킴의 힐베르트 함수가 $n \geq 5$일 때 $\sigma_s(V_n)$의 기대 차원을 확인하는 데 성공하는가?
• RQ5 증명에서 사용된 특수화된 스킴들에 대해 $\dim(I_{T'})_{n-1}$의 정확한 행동은 무엇인가?

주요 결과

• 가족 $V_n = (\mathbb{P}^1)^n$에서 유일한 결함적 초평면은 $\sigma_3(V_4)$이며, 이는 $\mathbb{P}^{15}$에서 여부차원 2를 가지며, 기대하는 14가 아니라 13의 차원을 가진다.
• 모든 $n \geq 5$에 대해, 모든 고차 초평면 $\sigma_s(V_n)$가 기대하는 차원을 달성한다. 즉, 결함성은 발생하지 않는다.
• 기본 이상 $I_{T'}$의 차수 $n-1$에서의 차원은 $2^{n-1} - 4q - n t^*$이며, 여기서 $n = 4q + r$, $r \leq 3$, $t^* = \left\lfloor \frac{2^n}{2(n+1)} \right\rfloor$이다.
• 증명은 $2^{n-1} - 4q - n t^* \geq 0$ 및 $2^{n-1} - 2(n-1)q - n(t^* + 1 - 2q) \leq 0$라는 부등식을 $n \geq 5$에서 확인하는 데 의존하며, 이는 $k = 2^n \mod (n+1)$에 대한 산술적 경계에 의해 성립한다.
• 미분 호라스 방법은 보조 선형 성분을 도입함으로써 비단순 스킴을 효과적으로 다룰 수 있었으며, 이 성분들은 비판적 차수에서만 고정 성분으로 작용한다.
• 저자들은 $\left\lfloor \frac{2^n}{n+1} \right\rfloor$와 $\left\lceil \frac{2^n}{n+1} \right\rceil$을 포함하는 부등식의 명시적 검증을 통해, $n \geq 5$에 대해 비결함성에 필요한 힐베르트 함수 조건이 모두 만족됨을 확인한다.