Picard bundles and the degree of irrationality of Jacobians

기술적 요약: 피카르 다발과 야코비안의 비이성적 차수

문제 제기
본 논문은 종수 $g \ge 2$인 매끄러운 사영 곡선 $C$에 대응되는 야코비안 다양체 $J_C$의 비이성적 차수($\text{irr}(X)$)를 상한으로 묶는 문제를 다룹니다. 비이성적 차수는 $X$에서 사영 공간 $\mathbb{P}^{\dim(X)}$으로 가는 유리적 지배 사상의 최소 차수로 정의됩니다. 차수가 3 이상인 아벨 다양체에 대한 하한은 알려져 있지만, 관련 상한은 여전히 명확하지 않습니다. 야코비안에 대한 표준 상한은 사상 $C \to \mathbb{P}^1$을 대칭화하여 유도된 것으로, $\text{irr}(J_C) \le \text{gon}(C)^g \le \lfloor \frac{g+3}{2} \rfloor g$를 만족합니다. 저자들은 특정 벡터 다발의 양성 (positivity) 성질을 조사함으로써 이 상한을 개선하고자 합니다.

방법론
저자들은 피카르 다발과 그 대칭곱 $C^{(g)}$에서의 거동에 중점을 둔 기하학적 접근법을 사용합니다. 방법론은 세 가지 주요 단계로 진행됩니다:

1. 꼬인 피카르 다발의 구성:
   저자들은 야코비안 $J_C$ 위의 차수 $g$인 피카르 다발 $F$를 고려합니다. 여기서 $\alpha \in J_C$에 대한 섬유는 $H^1(C, \mathcal{O}_C(-p_0) \otimes \alpha)$로 식별됩니다. 이 다발을 아벨 - 야코비 사상 $\pi: C^{(g)} \to J_C$를 통해 $g$중 대칭곱 $C^{(g)}$으로 당겨옵니다. 핵심 단계는 이 당겨온 다발에 $x = p_0 + C^{(g-1)} \subset C^{(g)}$인 약수 (divisor) 를 꼬아 새로운 벡터 다발 $\tilde{F} := \pi^*F \otimes \mathcal{O}_{C^{(g)}}(x)$를 정의하는 것입니다.

2. 전역 생성과 단면의 분석:
   피카르 다발의 생성에 관한 결과 (특히 [Par24] 참조) 를 활용하여, 저자들은 $\tilde{F}$가 **전역 생성 (globally generated)**됨을 증명합니다. 그들은 $\tilde{F}$와 $F(\Theta)$의 단면들의 행렬식 사상 (determinant maps) 이 생성하는 선형계를 분석합니다. 분석의 중요한 구성 요소는 $\tilde{F}$의 전역 단면을 $F(\Theta)$의 전역 단면과 동일시하고, $p + C^{(g-1)}$ 형태의 약수들로 표현되는 소멸 집합 (vanishing loci) 을 기술하는 것입니다.

3. 커널 다발 이론의 적용:
   저자들은 유리적 지배 사상 $X \dashrightarrow \mathbb{P}^n$과 반사적 층 (reflexive sheaf) 과 그 전역 단면의 선형 부분공간으로 구성된 '좋은 쌍 (good pairs)' 사이의 대응 관계를 확립한 [Mor23]을 활용합니다. 구체적으로, $X$가 차수 $n$인 매끄러운 사영 다양체이며 $c_n(E) > 0$인 차수 $n$의 전역 생성 벡터 다발 $E$를 갖는다면, 일반적인 선형 부분공간 $V^\vee \subset H^0(E)$이 최고 차수 체른류 $c_n(E)$와 같은 차수를 갖는 유리적 지배 사상을 유도한다는 보조정리 2.2를 적용합니다.

주요 기여 및 결과

• 전역 생성과 체른류 계산:
  주요 기술적 결과는 $C^{(g)}$ 위의 꼬인 다발 $\tilde{F}$가 전역 생성됨을 확립하는 명제 3.3입니다. 또한, 저자들은 이 다발의 최고 차수 체른류를 계산합니다:
  $$c_g(\tilde{F}) = 2g$$
  이 계산은 분할 원리 (splitting principle) 와 쎄타 약수 (theta divisor) 의 당김과 약수 $x$의 코호몰로지 클래스에 대한 알려진 공식을 기반으로 합니다.

• 비이성적 차수에 대한 상한:
  $\tilde{F}$의 전역 생성과 [Mor23]의 일반 원리 (계 2.3) 를 결합하여, 저자들은 주요 정리를 유도합니다:
  정리 A: 종수 $g \ge 2$인 임의의 매끄러운 곡선 $C$에 대해, 그 야코비안의 비이성적 차수는 다음을 만족합니다:
  $$\text{irr}(J_C) \le 2g$$
  이는 $g \ge 2$에 대해 기존에 알려진 $\lfloor \frac{g+3}{2} \rfloor g$의 상한을 개선한 것입니다.

• 사상의 기하학적 실현:
  본 논문은 이 방법을 통해 구성된 사상 $J_C \dashrightarrow \mathbb{P}^g$에 대한 구체적인 기하학적 설명을 제공합니다. 이러한 사상은 $|(g+1)\Theta|^\vee$에 매장된 야코비안의 선형 사영에서 비롯됩니다. 기하학적으로, 일반적인 점 $p_1 + \dots + p_g \in C^{(g)}$에 대해, 사상은 이 점을 고정된 선형 부분공간 $\mathbb{P}^g \subset \mathbb{P}^{2g-1}$과 선형 스패인 $\langle j(p_1), \dots, j(p_g) \rangle$의 교점으로 보냅니다. 여기서 $j: C \hookrightarrow \mathbb{P}^{2g-1}$는 선형계 $|\omega_C((g+1)p_0)|에 의해 정의된 매장입니다.

• 강성과 특수한 경우:
  저자들은 구성된 유리적 사상들이 강성 (rigid) 하지 않으며, 그라스만 다양체 $\text{Gr}(g+1, 2g)$의 열린 부분집합으로 매개화되는 큰 가족을 이룬다고 지적합니다. 특히 종수 $g=2$인 경우, 보조정리 4.1은 부분공간 $V^\vee \in \text{Gr}(3, H^0(\tilde{F}))$의 모든 선택에 대해 유도된 사상이 정확히 4 차의 지배 사상임을 보여줍니다. 이는 $g=2$인 경우 상한 $2g$가 최적 (sharp) 이며, 이 경우 부분공간의 특수한 선택에 따라 차수가 감소하지 않음을 시사합니다.

의의
본 논문은 차수가 3 이상인 아벨 다양체의 상한에 관한 진전이 제한적이었던 야코비안 다양체의 비이성적 차수에 대한 새롭고 더 엄격한 상한을 제공함으로써 의의를 갖습니다. 이 연구는 피카르 다발, 브릴 - 노이더 (Brill–Noether) 국소, 그리고 아벨 다양체의 쌍유리 기하학 연구 사이의 가교 역할을 합니다. 대칭곱 위의 꼬인 피카르 다발의 양성 성질이 저차 유리적 사상을 구성하는 데 활용될 수 있음을 입증함으로써, 저자들은 비이성적 차수를 상한으로 묶는 새로운 접근법을 제시합니다. 저자들은 향후 작업에서 임의의 대칭곱과 브릴 - 노이더 국소에 대한 기하학적 관점을 다룰 것이라고 명시적으로 밝히며, 현재의 결과가 이러한 방향을 향한 기초적인 단계임을 시사합니다.