[논문 리뷰] Non-Defectivity of Grassmannians of planes

Hirotachi Abo, Giorgio Ottaviani외 1명|ArXiv.org|2009. 01. 17.

Coding theory and cryptography참고 문헌 14인용 수 5

한 줄 요약

이 논문은 사영 공간 내 2차원 평면의 그라스만니안이 대부분의 시컨트 다양체에 대해 비결함적임을 증명한다. 즉, $σ_s(Gr(2,n))$는 $s \leq s_0(n)$ 및 $s_1(n) \leq s$일 때 기대 차원을 가짐을 보이며, $s_0(n)$과 $s_1(n)$ 모두 점 渐近적으로 $n^2/18$에 수렴한다. 핵심 결과는 일반적인 반대칭 텐서 $\wedge^3 \mathbb{C}^{n+1}$에서의 일반적인 랭크가 점 渐近적으로 $n^2/18$임을 증명하며, 이는 텐서 랭크 이론에서 오랫동안 남아있던 점 渐近 경계를 해결한다.

ABSTRACT

Let $Gr(k,n)$ be the Plücker embedding of the Grassmann variety of projective $k$-planes in $¶n$. For a projective variety $X$, let $σ_s(X)$ denote the variety of its $s-1$ secant planes. More precisely, $σ_s(X)$ denotes the Zariski closure of the union of linear spans of $s$-tuples of points lying on $X$. We exhibit two functions $s_0(n)\le s_1(n)$ such that $σ_s(Gr(2,n))$ has the expected dimension whenever $n\geq 9$ and either $s\le s_0(n)$ or $s_1(n)\le s$. Both $s_0(n)$ and $s_1(n)$ are asymptotic to $\frac{n^2}{18}$. This yields, asymptotically, the typical rank of an element of $\wedge^{3} 1pt {\mathbb C}^{n+1}$. Finally, we classify all defective $σ_s(Gr(k,n))$ for $s\le 6$ and provide geometric arguments underlying each defective case.

연구 동기 및 목표

• 일반적인 반대칭 텐서 $\wedge^3 \mathbb{C}^{n+1}$의 점 渐近 일반 랭크를 결정하는 것. 이는 $\sigma_s(Gr(2,n)) = \mathbb{P}^N$가 되는 최소 $s$에 해당한다.
• $\sigma_s(Gr(2,n))$가 대부분의 $s$에 대해 기대 차원을 가지며, 유한한 수의 결함 있는 경우를 제외하고는 이를 증명하는 것.
• $s \leq 6$ 및 $k \geq 2$에 대해 모든 결함 있는 시컨트 다양체 $\sigma_s(Gr(k,n))$를 분류하고, 각 경우에 대해 기하학적 설명을 제공하는 것.
• $\sigma_3(Gr(2,6))$를 명시적인 대수적 기술로 기술하는 것. 이는 $SL(7)$-불변 다항식 $P_7$로 표현되며, $\det(\phi_\omega) = 2[P_7(\omega)]^3$를 만족한다.

제안 방법

• Gr(2,n)을 $\mathbb{P}^N$ 내의 사영 다양체로 표현하기 위해 플루커 임bedding를 사용하며, 여기서 $N = \binom{n+1}{3} - 1$이며, 점들은 분해 가능 3텐서로 식별된다.
• 시컨트 다양체 구성 $\sigma_s(X)$를 $X$ 위의 $s$개 점들의 선형 스트레스의 합집합의 자리키 클로처로 정의하고, 기대 차원 $s[(k+1)(n-k)+1] - 1$과 비교한다.
• 반대칭 텐서 $\omega \in \wedge^3 \mathbb{C}^7$에 대해 수축 연산자 $\phi_\omega: \wedge^2 \mathbb{C}^7 \to \wedge^5 \mathbb{C}^7$를 적용하여, $SL(7)$-불변 다항식 $P_7$에 대해 $\det(\phi_\omega) = 2[P_7(\omega)]^3$임을 보인다.
• $\wedge^3 \mathbb{C}^7$ 위의 $SL(7)$-오빗을 분석하여 기울어짐을 분류하고, $\phi_\omega$의 랭크 조건을 이용해 $\sigma_s(Gr(2,6))$의 구조를 규명한다.
• 기존의 스테이너 삼중체 시스템과 표현 이론 결과를 활용하여 일반 랭크 $\underline{R}(2,n)$에 대한 경계를 유도한다.
• 계산 대수학과 기하적 추론을 활용하여 $Gr(2,6)$이 결함적이며, $\sigma_3(Gr(2,6))$가 차수 7의 하이퍼표면임을 검증하고, $Gr(3,7)$과 $Gr(2,8)$도 또한 결함적임을 확인한다.

실험 결과

연구 질문

• RQ1 일반적인 반대칭 텐서 $\wedge^3 \mathbb{C}^{n+1}$에서의 점 渐近 일반 랭크는 무엇인가?
• RQ2 $\sigma_s(Gr(2,n))$가 결함적인 경우, $s$의 값은 무엇이며, 이러한 결함성의 기하학적 이유는 무엇인가?
• RQ3 시컨트 다양체 $\sigma_3(Gr(2,6))$는 명시적인 대수적 불변량으로 기술할 수 있는가? 그 차수와 정의 방정식은 무엇인가?
• RQ4 결함 있는 그라스만니안 $Gr(k,n)$은 $k \geq 2$일 때 유한 개 뿐이며, 완전히 분류할 수 있는가?
• RQ5 $\phi_\omega$의 랭크는 $\omega$의 시컨트 다양체 멤버십과 어떻게 관련이 있는가?

주요 결과

• 일반적인 반대칭 텐서 $\wedge^3 \mathbb{C}^{n+1}$의 일반 랭크 $\underline{R}(2,n)$는 점 渐近적으로 $n^2/18$이며, 이는 날카운 점 渐近 경계를 해결한다.
• 시컨트 다양체 $\sigma_s(Gr(2,n))$는 $s \leq s_0(n)$ 및 $s_1(n) \leq s$일 때 기대 차원을 가지며, $s_0(n)$과 $s_1(n)$ 모두 점 渐약적으로 $n^2/18$에 수렴한다.
• $\sigma_3(Gr(2,6))$는 $SL(7)$-불변 다항식 $P_7$로 정의된 차수 7의 하이퍼표면이며, $\det(\phi_\omega) = 2[P_7(\omega)]^3$를 만족한다.
• $\sigma_2(Gr(2,6))$의 아이디얼은 28개의 삼차 다항식으로 생성되며, 이는 공변량 $C_4$에 해당하고, 집합론적 방정식은 $\phi_\omega$의 $13 \times 13$ 소수행렬식으로 주어진다.
• $\sigma_3(Gr(2,6))$의 특이점 집합은 차원 30의 오빗이며, $\mathrm{Sing}(\sigma_2(Gr(2,6))) = Gr(2,6)$임을 확인하여 시컨트 다양체의 기하학적 구조를 확인한다.
• 모든 $s \leq 6$에 대해 결함 있는 $\sigma_s(Gr(k,n))$는 분류되었으며, $Gr(2,6)$, $Gr(3,7)$, $Gr(2,8)$이며, $Gr(2,8) \cong Gr(5,8)$는 쌍대성에 의해 성립한다.