On the Chow ring of very general abelian varieties and a question of Pirola

Claire Voisin의 "On the Chow ring of very general abelian varieties and a question of Pirola"에 관한 기술적 요약

문제 제기
이 논문은 아벨 다양체와 야코비안의 산술 및 기하학에 관한 두 가지 상호 연결된 문제를 다룬다.

1. Chow 환의 구조: 저자는 차원이 $g \geq 4$인 매우 일반적인(very general) 아벨 다양체 $A$에 대하여, 자기 교차(self-intersection) $D^2$가 $\text{CH}^2(A)$에서 0이 되는 디바이저(divisor) $D \in \text{CH}^1(A)_{\text{hom}}$의 집합을 조사한다. 이전 연구들은 $g \geq 3$일 때 이러한 디바이저들의 로커스(locus)의 차원이 0임을 확립했으나, 이 디바이저들이 반드시 퉈션 포인트(torsion points)여야 하는지에 대한 의문은 남아 있었다.
2. Pirola의 질문: 이 논문은 곡선의 모듈라이 공간 $\mathcal{M}_4$ 위의 유니버설 야코비안 파이브레이션(universal Jacobian fibration) $J \to \mathcal{M}_4$에 대한 쿰머 파이브레이션(Kummer fibration) $K = J/\pm \text{Id} \to \mathcal{M}_4$의 유리적 섹션(rational sections)을 규명하고자 한다. 구체적으로, 이는 지너스 4인 곡선 위의 두 삼각 디바이저(trigonal divisors)의 차이로부터 발생하는 Griffiths-Pirola 노멀 펑션(normal function) $\gamma_P$의 배수여야 한다는 Pirola의 추측을 다룬다.

방법론
증명은 고차 코디멘션 사이클로 확장된 노멀 펑션의 Griffiths 미분 불변량(infinitesimal invariants) 이론에 크게 의존한다. 핵심 전략은 이러한 불변량의 소멸을 분석하여 섹션의 전역적 성질을 도출하는 것이다.

1. 미분 불변량과 스펙트럴 시퀀스: 저자는 사이클 $Z$와 연관된 미분 불변량 $\delta_Z(m)$를 활용한다. 디바이저 $D$에 대하여, $D^2$의 불변량은 $D$의 불변량의 제곱과 관련된다, 즉 $\delta_{D^2} = (\delta_D)^2$이다. 논문은 특정 스펙트럴 시퀀스의 퇴화(degeneracy)를 확립하여(Proposition 2.5), 아벨 다양체 패밀리에 대해 이러한 불변량을 엄밀하게 정의한다.
2. 제곱 사상의 대수적 분석: 미분 불변량의 공간에 가해지는 제곱 연산에 의해 유도되는 사상 $M^2$에 대한 분석이 핵심적인 기술적 구성 요소이다.
   • 아벨 다양체의 모듈라이 공간 $\mathcal{A}_g$ ($g \geq 4$)의 경우, 불변량의 공간은 $\text{Hom}(V, \text{Sym}^2 V)$의 몫(quotient)으로 식별된다.
   • 곡선의 모듈라이 공간 $\mathcal{M}_4$의 경우, 불변량의 공간은 $V_2 = \text{Sym}^2 V / q$를 포함하는 몫으로 식별되는데, 여기서 $q$는 지너스 4인 곡선의 정형 임베딩(canonical embedding)을 정의하는 이차 형식이다.
   • Proposition 3.1은 만약 불변량의 제곱이 0이 되거나(또는 특정 비례 관계를 만족하면), 그 불변량 자체가 랭크(rank) $\leq 1$이어야 함을(또는 $\gamma_P$에 비례해야 함을) 증명한다. 이는 2차원 부분 공간으로의 제한과 Grassmannian의 기하학을 이용한 선형 대수적 논증에 기초한다.
3. Ax-Shanuel 유형의 논증: 노멀 펑션의 국소적 리프트(local lift)가 랭크 1의 미분(또는 특정 대수적 구조)을 가짐을 보인 후, 저자는 Ax-Shanuel 유형의 결과들(참조 [6], [1], [2])과 모노드로미 그룹의 성질(특히 이미지가 심플렉틱 그룹 내에서 Zariski 밀집하다는 사실)을 사용한다. 이러한 논증들은 노멀 펑션이 수평적(horizontal)임을 강제하며(즉, 미분이 0임), 이는 섹션이 퉈션임을 의미한다.
4. 강하(Descent) 및 코호몰로지: 쿰머 파이브레이션 문제의 경우, 섹션 $\gamma$는 부호에 대해서만 정의되지만, 그 제곱 $D_\gamma^2$는 잘 정의된다는 사실을 사용한다. $D_\gamma^2$를 $D_{\gamma_P}^2$와 비교함으로써(일반 파이버의 Chow 군이 1차원임을 나타내는 Theorem 4.1을 사용하여), 저자는 문제를 섹션 3에서 도출된 미분 불변량의 선형 관계로 환원시킨다.

주요 결과

• Theorem 1.2:

  • (i) 차원이 $g \geq 4$인 매우 일반적인 아벨 다양체 $A$에 대하여, 만약 디바이저 $D \in \text{Pic}^0(A)$가 $\text{CH}^2(A)$에서 $D^2 = 0$을 만족하면, $D$는 퉈션 포인트이다.
  • (ii) 지너스 4인 곡선의 매우 일반적인 야코비안에 대해서도 동일한 결과가 성립한다.
  • 따{\�}m: 이는 $({x} - \{0_A\})^{*2} = 0$이 $\text{CH}^0(A)$에서 성립하는 점 $x \in A$의 집합이 정확히 퉈션 포인트들로 구성됨을 함의한다.

• Theorem 1.8 (Pirola의 추측):

  • 쿰머 파이브레이션 $K = J/\pm \text{Id} \to \mathcal{M}_4$의 모든 유리적 섹션은 Griffiths-Pirola 노멀 펑션 $\gamma_P$의 유리적 배수이다.
  • 구체적으로, 임의의 유리적 섹션 $\gamma$는 정수 $N, N'$ ($N \neq 0$)에 대하여 $N\gamma = N'\gamma_P$를 만족한다.

의의 및 주장
이 논문은 매우 일반적인 아벨 다양체의 Chow 환에서 디바이저의 제곱이 0이라는 것이 디바이저가 퉈션임을 의미하는지에 대한 질문(차원 $g \geq 4$에 대해 열려 있던 문제)을 해결했다고 주장한다. 저자는 결과가 아마도 모든 $g \geq 4$에 대해 참일 것이라고 언급하지만, 현재의 증명은 미분 불변량의 특정한 선형 대수적 성질 때문에 $g \geq 4$ (특히 야코비안 케이스의 경우 $g=4$)를 필요로 한다.

또한, 이 논문은 쿰mer 파이브레이션(야코비안의 몫)에서 기대할 수 있는 "추가적인" 유리적 섹션들이 존재하지 않음을 보여줌으로써, Griffiths-Pirola 섹션의 유일성에 관한 Pirola의 질문에 결정적인 답을 제공한다. 즉, 오직 지너스 4인 곡선의 두 삼각 펜실(trigonal pencils)과 관련된 정형적인 기하학적 구성에 의해 생성되는 섹션만이 유일한 유리적 섹션이다.

이 연구는 Chow 환의 구조(특히 0-사이클의 Pontryagin 거듭제곱)와 노멀 펑션 및 그 미분 불변량의 연구를 연결하며, $\gamma_P$에 대한 미분 불변량의 비소멸성이 다른 유리적 섹션의 존재에 대한 핵심적인 장애물임을 입증한다. 저자는 Theorem 1.2에서 사용된 방법이 더 높은 거듭제곱 $D^k = 0$을 연구하는 데 잠재적으로 확장될 수 있음을 명시하며, $g \geq 2k$인 경우 $D^k=0$인 유일한 디바이저들은 퉈션 디바이저뿐이라는 추측을 제시한다.