[논문 리뷰] Osculating Varieties of Veronesean and their higher secant varieties

Alessandra Bernardi, Maria Virgina Catalisano외 2명|ArXiv.org|2004. 03. 08.

Tensor decomposition and applications참고 문헌 11인용 수 18

한 줄 요약

이 논문은 역체계와 아폴로지 이론을 사용하여 베론제 임bedding의 오스큘레이팅 다양체의 고차 시컨트 다양체의 차원을 조사한다. 이들 시컨트 다양체가 열화되는 조건을 규명하며, 다항형식과 피카드 점 스킴의 조합적 성질에 기반한 명시적 하한을 제시한다.

ABSTRACT

We consider the varieties $O_{k,n.d}$ of the k-osculating spaces to the Veronese varieties, the $d-$uple embeddings of $\PP n$; we study the dimension of their higher secant varieties. Via inverse systems (apolarity) and the study of certain spaces of forms we are able, in several cases, to determine whether those secant varieties are defective or not.

연구 동기 및 목표

• 베론제 임bedding의 오스큘레이팅 다양체에 대한 고차 시컨트 다양체가 언제 열화되는지 규명하는 것.
• $O_{k,n,d}^s$, 즉 베론제 임bedding $X_{n,d}$의 $k$-번째 오스큘레이팅 다양체의 $(s-1)$-번째 고차 시컨트 다양체의 열화도를 특성화하는 것.
• 오스큘레이팅 공간의 선형 스트레스 차원을 분석하기 위해 역체계와 아폴로지 기법을 적용하는 것.
• 다항형식의 차수와 변수 수와 관련된 이항계수를 통해 $O_{k,n,d}^s$의 열화도에 대한 정량적 하한을 설정하는 것.
• 열화도가 발생하는 것은 피카드 점 스킴이 기대와 다른 조건을 부과할 때에만 발생하며, 기하학적 열화도를 후행 문제와 연결하는 추측을 내세우는 것.

제안 방법

• Terracini의 보조정리를 사용하여 $O_{k,n,d}^s$의 차원을 일반적인 점들에서의 탄성 공간의 선형 스트레스와 연결한다.
• 역체계(아폴로지)를 통한 다항형식과 아이디얼 간의 이중성 관계를 적용하여 오스큘레이팅 공간의 스트레스 내 선형 종속성을 연구한다.
• 예상치와 실제 차원을 계산하기 위해 $\beta = d - k$일 때, 벡터 공간 $W_1 + \cdots + W_s = \big\langle x_0^{\beta} R_k, x_0^{\beta-1}F_1 R_1, \dots, x_{s-1}^{\beta} R_k, x_{s-1}^{\beta-1}F_s R_1\big\rangle$를 분석한다.
• 스트레스에 포함되지 않은 $R_d$ 내 단항식의 조합적 세기 수를 활용하여 열화도를 탐지하며, 특히 $s \leq n$ 또는 $s = n+1$인 경우에 초점을 맞춘다.
• $k$-피카드 점의 $s$-튜플과 그 아이디얼 $\mathcal{I}_{Z,X} \otimes \mathcal{L}$의 구조를 활용하여 코homological 차원과 $h^0$-소멸 조건을 통해 열화도를 계산한다.
• 특히 $x_i^{\beta} R_k \cap x_i^{\beta-1}F_{i+1}R_1$와 $i \neq j$인 경우의 교차항 $x_i^{\beta} x_j^{\beta} F$ 등에서 발생하는 생성자 간의 독립적 관계를 식별함으로써 열화도의 하한을 유도한다.

실험 결과

연구 질문

• RQ1 베론제 임bedding $X_{n,d}$의 $k$-번째 오스큘레이팅 다양체의 $s$-번째 고차 시컨트 다양체 $O_{k,n,d}^s$가 언제 열화되는가?
• RQ2 $n$, $d$, $k$, $s$에 대한 정확한 조합적 조건은 무엇이며, 이 조건들이 $O_{k,n,d}^s$의 열화도를 유도하는가?
• RQ3 피카드 점 스킴의 후행 성질은 $O_{k,n,d}^s$의 열화도와 어떻게 관련되는가?
• RQ4 다항형식의 차수와 변수 수로부터 유도된 이항계수를 사용하여 $O_{k,n,d}^s$의 열화도를 아래로 제한할 수 있는가?
• RQ5 $O_{k,n,d}^s$가 예상된 차원을 달성하지 못하는 조건은 무엇이며, 그 원인은 무엇인가?

주요 결과

• $s \leq n$ 이고 $k+2 \leq d \leq 2k$일 경우, $O_{k,n,d}^s$는 열화되며, 예상 차원이 $\binom{d+n}{n}$일 때 열화도 $\delta \geq \binom{n-s+d}{d}$이다.
• $s \leq n$ 이고 예상 차원이 $s\binom{k+n}{n} + sn$일 경우, 열화도는 $\binom{s}{2} \binom{2k-d+n}{n}$ 이상이며, 이는 $x_i^{\beta} x_j^{\beta} F$ 항 간의 독립적 관계에서 기인한다.
• $s = n+1$, $k+2 \leq d \leq 2k$, 예상 차원이 $(n+1)\left(\binom{k+n}{n} + n\right)$일 경우, 열화도는 $\delta \geq \binom{n+1}{2} \binom{2k-d+n}{n}$를 만족한다.
• $s = n+1$, $n \geq \frac{k+2}{d-k-2}$, 예상 차원이 $N = \binom{d+n}{n}$일 경우, 열화도는 $\binom{(n+1)(d-k-1)-(d+1)}{n}$ 이상이며, 이는 차수 $d$이고 지수의 범위가 제한된 단항식의 수를 세어 유도된다.
• 열화도는 생성자 간의 비자명한 관계에서 기인하며, 특히 피카드 점과 관련된 아이디얼의 교차와 스트레스에 포함되지 않는 대칭 단항식 $R_d$에서 기인한다.
• 저자들은 $O_{k,n,d}^s$의 열화도가 피카드 점 스킴 $X$ 또는 $T$의 후행 조건이 예상과 다를 때에만 발생하며, 기하학적 열화도를 대수적 후행 문제와 연결하는 추측을 제기한다.