On the tangent degree and the degree of the tangent variety of a projective variety

기술적 요약: 사영 다양체의 접선 차수와 접선 다양체의 차수에 관하여

문제 제기
본 논문은 사영 다양체 $X^n \subset \mathbb{P}^N$과 관련된 두 가지 주요 불변량, 즉 접선 차수 $\tau(X)$와 접선 다양체의 차수 $\deg(\text{Tan}(X))$를 조사한다.

• 접선 차수 $\tau(X)$는 접선 다양체 $\text{Tan}(X)$의 일반점을 지나는 $X$의 매끄러운 점에서의 접공간 개수로 정의된다. 만약 $\dim(\text{Tan}(X)) < 2n$이면, $\tau(X)$는 0 이다.
• 본 연구는 특히 $N \ge 2n$인 경우와 접선 다양체가 이분선 다양체와 일치하지 않는 경우 ($\text{Tan}(X) \subsetneq \text{Sec}(X)$) 에 이러한 불변량들 사이의 관계에 초점을 맞춘다.
• 주요 동기는 평면 곡선에 관한 기본 사실들 (즉, $\deg(X) \ge 2$일 때 $\tau(X) \ge 2$) 을 고차원으로 일반화하는 것이며, 구체적으로는 $N=2n$인 경우 $\tau(X)=1$인 다양체의 부재를 다루고 $\tau(X)=2$인 다양체들을 분류하는 문제를 해결하는 것이다.

방법론
저자들은 고전적 사영 기하학, 미분기하학, 그리고 현대 대수기하학 기법들을 종합적으로 활용한다:

1. 초점 위치 (Focal Loci) 와 전개 가능한 족 (Developable Families): 본 논문은 선형 공간들의 족에 대한 초점 이론을 활용한다. 타우토로기컬 사상 $q: TX \to \text{Tan}(X)$의 미분을 분석하여 초점 위치를 식별한다. "전개 가능한" 다양체 (특정 부분다양체를 따라 접공간이 일정한 경우) 의 개념은 특이점 분석과 차원 계산에 핵심적이다.
2. 제 2 기본형 (Second Fundamental Form): 저자들은 일반점 $x$에서의 다양체의 제 2 기본형 $|II_{x,X}|$을 광범위하게 사용한다. 가우스 사상의 미분 핵을 제 2 기본형의 기저 위치 (base locus) 와 점근 방향의 존재와 연관시킨다.
3. 스코르차 사상 (Scorza Maps) 과 진입 위치 (Entry Loci): $\mathbb{P}^{2n}$에 있는 다양체의 경우, $\tau(X)=2$일 때 다양체와 그 일반 접공간 사이의 쌍유리성을 확립하기 위해 스코르차 사상을 사용한다. 진입 위치의 성질 (특히 2 차 진입 위치를 가진 QEL-다양체) 을 활용하여 $\tau(X)=2$인 매끄러운 다양체들을 분류한다.
4. 귀납법과 사영: $\text{Tan}(X) \subsetneq \text{Sec}(X)$일 때 $\deg(\text{Tan}(X))$에 대한 하한을 확립하기 위해, 저자들은 여차원에 대한 귀납법을 사용하여 다양체 위의 점들로부터의 일반 사영 하에서 차수가 어떻게 행동하는지 분석한다.
5. 선형 계를 통한 분류: $\tau(X) \ge 2$인 곡면들의 분류는 가우스 결손 $\varrho(X)$와 접선 다양체의 특이점 구조를 분석하는 것을 포함하며, 이를 통해 특정 스크롤 구조 (Roth 다양체) 를 식별한다.

주요 기여 및 결과

1. $\mathbb{P}^{2n}$에서의 접선 차수

• $\tau(X)=1$의 부재: 본 논문은 기약 다양체 $X^n \subset \mathbb{P}^{2n}$에 대해 $\tau(X) \neq 1$임을 증명한다. 만약 $\text{Tan}(X) = \mathbb{P}^{2n}$이면, $\tau(X) \ge 2$이다.
• $\tau(X)=2$의 분류:
  • $X^n \subset \mathbb{P}^{2n}$가 매끄럽고 $\tau(X)=2$이면, $X$는 $\delta=1$인 QEL-다양체이다.
  • 짝수 차원: $\tau(X)=2$를 갖는 유일한 매끄러운 짝수 차원 다양체는 $\mathbb{P}^{4m}$에 있는 유리 정규 스크롤 $S(1, \dots, 1, 2)$이다.
  • 홀수 차원: $\tau(X)=2$를 갖는 매끄러운 홀수 차원 다양체는 유리 정규 스크롤이거나 특정 홀수 차원 Fano 다양체 (예: 소수 del Pezzo 3 차 다양체와 Mukai 5 차 다양체) 이다.
  • 특이한 경우: 저자들은 $\tau(X)=2$인 임의로 큰 차수와 차수를 갖는 특이한 예들을 구성했는데, 여기에는 OADP-다양체 (한 개의 겉보기 이중점을 가진 다양체) 와 Verra 다양체의 사영들이 포함된다.

2. $\deg(\text{Tan}(X))$에 대한 하한

• 본 논문은 $\text{Tan}(X) \subsetneq \text{Sec}(X)$일 때 접선 다양체의 차수에 대한 선형 하한을 확립한다.
• 정리: $X^n \subset \mathbb{P}^N$이 비퇴화적이고 $\text{Tan}(X) \subsetneq \text{Sec}(X)$이면, 다음이 성립한다:
  $$\deg(\text{Tan}(X)) \ge 2(N - \dim(\text{Tan}(X)) + 1)$$
• 이 하한은 최적임이 증명되었다. 등호는 매끄러운 유리 정규 스크롤과 이를 기반으로 한 원뿔로 구성된 특정 특이 다양체에 의해 달성된다.
• 반면, $\text{Tan}(X) = \text{Sec}(X)$인 경우, 차수 하한은 여차원에 대해 2 차적이다 ([6] 참조).

3. $\tau(X) \ge 2$인 곡면들의 분류

• $N \ge 5$이고 $\tau(X) \ge 2$인 비퇴화 기약 곡면 $X^2 \subset \mathbb{P}^N$에 대해, 본 논문은 가우스 결손 $\varrho(X)$에 기반한 완전한 분류를 제공한다:
  • 경우 $\varrho(X)=2$: $N=5$이며, $X$는 베르누스 곡면 $\nu_2(\mathbb{P}^2)$와 사영적으로 동치이다. 여기서 $\tau(X)=2$이다.
  • 경우 $\varrho(X)=3$: $X$는 평면 내의 3 차원 전개 가능한 스크롤 $Y^3 \subset \mathbb{P}^N$에 포함된다. 스크롤의 일반 평면은 $X$와 차수 $b \ge 2$인 곡선으로 교차한다.
• 매끄러운 선형 정규 곡면: $X$가 매끄럽고 선형 정규이면, 가능한 경우는 다음과 같다:
  1. $\mathbb{P}^5$에 있는 베르누스 곡면 ($\tau=2$).
  2. Roth 곡면: $X \subset S(L, Z) \subset \mathbb{P}^N$이며, 여기서 $S(L, Z)$는 꼭짓점이 직선 $L$인 매끄러운 유리 정규 스크롤 $Z$ 위의 원뿔이다. 이러한 곡면들은 차수 $d = b(N-2) + 1$과 접선 차수 $\tau(X) = b^2$를 가지며, 여기서 $b \ge 2$인 정수이다.

의의 및 주장
저자들은 이 작업을 초점 이론, 전개 가능한 다양체, 그리고 이분선 결손에 관한 분산된 결과들의 통합으로 위치시킨다.

• 통합: 본 논문은 접선 차수, 제 2 기본형, 그리고 접선 다양체의 기하학 사이의 관계를 수집하고 명확히 하여, 접선 사상이 쌍유리적이지 않은 다양체들을 연구하기 위한 일관된 틀을 제공한다.
• 분류: $\mathbb{P}^{2n}$에서 $\tau(X)=2$인 매끄러운 다양체들과 고차 여차원에서 $\tau(X) \ge 2$인 곡면들에 대한 결정적인 분류를 제시한다.
• 기하학적 특징화: 결과는 Roth 다양체 (일반 사영의 이중 약수가 ample 이 아닌 매끄러운 선형 정규 다양체) 에 대한 새로운 기하학적 특징화를 제공하며, 이는 특히 곡면에 대해 $\tau(X) \ge 2$와 $\text{Tan}(X) \subsetneq \text{Sec}(X)$ 조건과 연결된다.
• 최적성: 본 논문은 유도된 접선 다양체 차수의 선형 하한이 최적임을 보여주며, 이를 이분선 다양체에 대한 2 차 하한과 대비시킨다.

저자들은 $n=2$에 대한 결과는 완전하지만, $n \ge 3$ (구체적으로 $m \ge 3$인 홀수 차수 $n=2m+1$) 인 경우 $\tau(X)=2$인 $\delta=1$형 매끄러운 QEL-다양체의 존재 여부는 여전히 열린 문제이며, 이는 코롤러리 15 의 분류가 고차원에서는 포괄적이지 않을 수 있음을 시사한다고 인정한다.