Maximal variation of linear systems

기술 요약: 선형 체계의 극대 변이(Maximal Variation)

문제 정의
본 논문은 복소수체 $\mathbb{C}$ 위의 매끄러운 사영 다양체 $X$ 상의 선형 체계 $|L|$이 "극대 변이(maximal variation)"를 보이는 조건을 조사한다. 선형다발 $L$은 그 원소들이 가질 수 있는 최대 개수의 모듈라이(moduli), 즉 $\dim |L|$만큼의 모듈라이를 가질 때 극대 변이를 갖는다고 한다. 동치적으로, $S$가 $|L|$의 일반적인 원소라면, $S$와 동형인 $S' \in |L|$은 유한히 존재한다. 모듈라이 이론의 관점에서 이는 $S$라는 초곡면의 모듈라이 공간 $\mathcal{M}$으로 가는 자연스러운 유리 사상(rational map)이 일반적으로 유한(generically finite)할 것을 요구한다.

방법론 및 미분 판정법
주요 도구로 사용된 것은 초곡면의 변형 이론에서 유도된 미분 판정법이다. $S \in |L|$을 일반적인 원소라고 하자. 본 논문은 $L$이 극대 변이를 갖기 위한 조건이 선형 체계의 접공간(tangent space)에서 $S$의 쿠리시니 가족(Kuranishi family)의 접공간으로 가는 접사상(tangent map) $T\mu$가 단사(injective)인 것과 연결되어 있음을 입증한다.

이 단사성은 제한된 접다발(restricted tangent bundle)의 코호몰로지와 연관된다. 구체적으로 Proposition 1은 다음과 같이 기술한다:

• 만약 $H^0(S, T_X|_S) = 0$이면, $L$은 극대 변이를 갖는다.
• 역으로, $H^1(X, \mathcal{O}_X) = 0$이고 $H^0(S, T_S) = 0$일 때, 극대 변이는 $H^0(S, T_X|_S) = 0$을 함의한다.

이 증명은 완전한 코호몰로지 수열 $0 \to T_S \to T_X|_S \to L|_S \to 0$을 사용하여 접사상의 단사성과 $T_X|_S$의 전역 섹션(global sections)의 소멸성을 관계짓는다.

다양체 부류별 주요 결과

1. $\mathbb{P}^n$ 상의 초곡면
   $\mathbb{P}^n$ 내의 차수가 $d$인 매끄러운 초곡면 $X \subset \mathbb{P}^n$에 대하여, $\mathcal{O}_X(1)$의 극대 변이 조건은 야코비 환(Jacobian ring) $R = \mathbb{C}[x_0, \dots, x_n]/(\partial F/\partial x_0, \dots, \partial F/\partial x_n)$의 대수적 성질로 귀결된다.

   • Proposition 2: $\mathcal{O}_X(1)$이 극대 변이를 갖는 것은 일반적인 선형 형식 $\ell$에 대하여 곱셈 사상 $\times \ell: R_{d-1} \to R_d$가 단사인 것과 동치이다. 이는 야코비 환이 약한 레프셰츠 성질(Weak Lefschetz Property)을 만족하는 것과 동치이다.
   • Corollary 1: 다음의 경우 극대 변이가 확인된다:
     • $d \ge n+2$ (이후 Bricalli와 Pirola의 연구에서 $d \ge n+1$로 개선됨).
     • $d \ge 4$인 $\mathbb{P}^3$ 상의 곡면.
     • 3차 초곡면(Cubic threefolds).
     • $\mathbb{P}^n$ 내의 일반적인 차수 $d$인 초곡면.
   • Proposition 3: 만약 $\mathcal{O}_X(1)$이 극대 변이를 가지면, 모든 $e \ge 1$에 대하여 $\mathcal{O}_X(e)$도 극대 변이를 가진다. 또한, $e \ge d$이면 $\mathcal{O}_X(e)$는 극대 변이를 갖는다.

2. $\mathbb{P}^n$의 이중 피복(Double Coverings)
   매끄러운 차수 $d$인 초곡면 $B$를 분기 궤적(branch locus)으로 갖는 이중 피복 $\pi: X \to \mathbb{P}^n$에 대하여, 본 논문은 선다발 $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$을 분석한다.

• Proposition 4: $\pi^*\mathcal{O}_{\mathbb{P}^n}(1)$이 극대 변이를 갖는 것은 분기 궤적 $B$의 야코비 환에서의 곱셈 사상이 단사인 것과 동치이다 (초곡면의 경우와 유사함).
• Corollary 2: $d \ge n+1$ (단, $n=2$인 경우 $d \ge 6$)일 때 극대 변이가 성립한다.
• 이 결과는 $e \ge d$일 때 $\pi^*\mathcal{O}_{\mathbb{P}^n}(e)$로 확장된다.

3. K3 곡면 및 하이퍼켈러 다양체(Hyperkähler Manifolds)

   • Proposition 5: K3 곡면 상의 임의의 아벨(ample) 선다발은 극대 변이를 갖는다.
   • Proposition 6: 차원이 2보다 큰 하이퍼켈러 다양체 상의 임의의 아벨 선다발은 극대 변이를 갖는다.
   • 방법: 이 증명은 Akizuki-Nakano 소멸 정리에 의존한다. 이러한 다양체들에 대해 $T_X \cong \Omega^1_X$이므로, $H^0(T_X) = 0$ 및 $H^1(T_X \otimes L^{-1}) = 0$이 성립하며, 이는 $H^0(T_X|_S) = 0$을 강제한다.

4. 아벨 다양체(Abelian Varieties)

   • Proposition 7: 아벨 다양체 상의 임의의 아벨 선다발은 극대 변이를 갖는다.
   • 방법: 증명은 합성 사상 $\tilde{u}: H^0(T_X) \to H^1(\mathcal{O}_X)$가 동형임을 보임으로써 $T\mu$가 단사임을 입증한다. 이 사상은 슈어 클래스(Chern class) $c_1(L)$과의 컵 곱(cup product)으로 식별되며, 레프셰츠 정리(Lefschetz theorem)에 의해 이는 동형 사상이다.

추가 예시 및 반례

• 긍정적 결과:
  • $H^0(X, T_X) = 0$이고 $L$이 아벨할 때, $L^m$은 충분히 큰 $m$에 대하여 극대 변이를 갖는다.
  • $\Omega^1_X$가 아벨하면, 모든 선다발은 극대 변이를 갖는다.
  • $\Omega^1_X$가 전역적으로 생성(globally generated)되는 일반형 곡면(surfaces of general type)의 경우, 임의의 매우 아벨(very ample)한 선다발은 극대 변이를 갖는다.
  • $\text{Pic}(X) = \mathbb{Z} \cdot [K_X]$이고 $c_1^2 > c_2$인 일반형 곡면의 경우, $K_X^r$ ($r \ge 1$)은 극대 변이를 갖는다.
  • $H^0(T_{X_i}) = 0$이고 $\dim X_i \ge 2$인 곱 다양체 $X_1 \times X_2$는 임의의 아벨 번들에 대해 해당 조건을 만족한다.
• 반례:
  • 연결된 선형 군 $G$의 비자명한 작용을 허용하는 다양체(여기서 $G$는 $|L|$ 상에서 비자명하게 작용함)는 극대 변이를 갖지 않는다.
  • 매우 아벨한 계수 2 번들 $E$를 가진 곡선 $C$ 상의 사영 번들 $\mathbb{P}(E)$는 모듈라이가 존재하지 않는다.
  • 일반형 다양체의 특정 펜슬(pencils, 예: 페르마 초곡면의 특정 블로우업)은 모듈라이가 없을 수 있다.

의의 및 범위
본 논문은 주로 $H^0(S, T_X|_S)$의 소멸성을 통해 선형 체계가 극대 변이를 달성하는지를 결정하는 통일된 틀을 제공한다. 저자는 K3 곡면, 하이퍼켈러 다양체, 아벨 다양체에 대한 확정적인 결과를 제시하지만, 초곡면 및 이중 피복에 대한 결과는 약한 레프셰츠 성질 추측에 의존하는 부분적인 결과로 제시된다.

저자는 Bricalli와 Pirola [B-P]의 후속 연구가 더 일반적인 정리를 제공한다고 언급한다: 즉, $h^{n,0} \neq 0$이고 $h^{n-1,0} = 0$인 매끄러운 사영 다양체 $X$ 상의 임의의 매우 아벨한 선다발은 극대 변이를 갖는다. 이 결과는 본 논문의 여러 경계값(특히 초곡면 관련)을 개선한다.

본 논문은 다음과 같은 추측으로 결론을 맺는다: $X$가 유니룰(uniruled)하지 않다면, $X$ 상의 모든 아벨 선다발은 극대 변이를 갖는다. 이는 극대 변이의 존재가 유리 곡선(rational curves)이 없는 다양체들에게는 일반적인 성질임을 시사하며, 반례들은 주로 대칭성이나 특정한 파이버 구조(fibration structures)에서 기인함을 보여준다.