Uniform irreducibility of Galois action on the $\ell$-primary part of Abelian $3$-folds of Picard type

이 논문은 **Manin 의 정리 (1970 년대)**를 고차원 아벨 다양체로 일반화하는 것을 목표로 합니다. Manin 은 수체 $k$와 소수 $\ell$에 대해, $k$ 위의 비-CM (Complex Multiplication) 타원곡선들 사이의 순환 $\ell$-멱수 동형사상 (cyclic $\ell$-power isogeny) 의 차수에 대한 균일한 상 (uniform bound) 이 존재함을 보였습니다. 본 논문은 이를 **피카르 타입 (Picard type) 의 아벨 3-폴드 (abelian 3-folds)**에 대해, 특히 **2 차원 기저 (base)**를 가진 가족 (family) 에 대해 확장합니다.

다음은 논문의 문제 제기, 방법론, 주요 기여, 결과 및 의의에 대한 상세한 기술적 요약입니다.

---

1. 문제 제기 (Problem Statement)

• 배경: Manin 의 정리는 타원곡선 ($g=1$) 에 대해 $\ell$-주부분 (ℓ-primary part) 의 갈루아 작용이 Borel 부분군에 포함되지 않도록 하는 균일한 차수 $r$이 존재함을 보장합니다. 이는 갈루아 표현의 가약성 (reducibility) 을 제어하는 문제와 직결됩니다.
• 목표: 아벨 3-폴드 (차수 3 인 아벨 다양체) 중 피카르 타입 (허수 2 차체 $M$에 의한 곱셈 구조를 가지는 주 극화 아벨 다양체) 에 대해 유사한 균일성 정리를 증명하는 것입니다.
• 핵심 난제:
  • 아벨 3-폴드는 2 차원 모듈라이 공간 (Shimura surface) 으로 매개변수화되므로, 1 차원 (타원곡선) 경우보다 훨씬 복잡합니다.
  • 기존의 Cadoret-Tamagawa 의 결과는 1 차원 가족에 국한되어 있었으며, 본 논문은 **진짜 2 차원 기저 (genuine two-dimensional base)**에서의 첫 번째 균일성 결과를 제시합니다.
  • 피카르 모듈라이 공간은 정칙 1-형식 (holomorphic 1-forms) 이 부족할 수 있어 (irregularity 가 낮을 수 있음), Bombieri-Lang 추측을 적용하기 어렵습니다. 특히, Iwahori 부분군 (congruence subgroup) 을 고려할 때 'neat' 조건이 성립하지 않아 기존 방법론이 적용되지 않습니다.

2. 방법론 (Methodology)

저자들은 다음과 같은 다단계 전략을 사용하여 문제를 해결했습니다.

A. 갈루아 표현과 모듈라이 공간의 연결

• 피카르 타입 아벨 3-폴드는 피카르 모듈라이 표면 (Picard modular surfaces) $Y_{\tilde{K}}$ 위의 점에 대응됩니다.
• 아벨 3-폴드 $A$가 $\ell^r$-torsion 에서 완전한 $k$-유리 플래그 (full $k$-rational flag) 를 가진다는 것은, 해당 갈루아 표현의 상이 Borel 부분군에 포함된다는 것을 의미하며, 이는 $A$가 더 낮은 레벨의 모듈라이 공간 $Y_{\tilde{K}'_0(\ell^r)}$ 위의 $k$-유리 점에 해당함을 뜻합니다.
• 따라서 목표는 **$Y_{\tilde{K}'_0(\ell^r)}$ 위의 $k$-유리 점들이 Zariski 조밀하지 않음 (또는 유한함)**을 보이는 것입니다.

B. Bombieri-Lang 추측과 불규칙성 (Irregularity) 증대

• 전략: 모듈라이 표면의 **불규칙성 (irregularity, $q(X) = \dim H^1(X, \mathcal{O}_X)$)**이 3 이상이면, Bombieri-Lang 추측에 따라 $k$-유리 점들이 Zariski 조밀하지 않음을 유도할 수 있습니다.
• 도전: 기존 연구 ([11]) 는 'neat'인 부분군을 가정했으나, 본 논문에서는 Iwahori 타입의 부분군 ($\Gamma_0(\ell^r)$) 을 다루므로 torsion 이 존재하여 neat 조건이 깨집니다.
• 해결:
  1. 비-tempered 표현 (Non-tempered representations) 활용: Gross 가 제안한 **지수 2 의 Gross 부분군 ($K''$)**을 도입하여, $D \equiv 7 \pmod 8$인 경우에도 불규칙성을 확보할 수 있는 조건을 만듭니다.
  2. 엔도스코픽 (Endoscopic) 자동형식 구성: $U(3)$ 군 위의 특정 비-tempered Arthur packet 에 속하는 자동형식을 명시적으로 구성하여, 해당 모듈라이 공간의 불규칙성 $q \ge 3$을 증명합니다.
  3. 행렬 계수 (Matrix Coefficients) 계산: 비-tempered 표현 $\pi_n$이 특정 레벨 ($I_{2r}$ 또는 $K_T$) 에서 불변 벡터를 가지는지 확인하기 위해, Jacquet 모듈과 intertwining operator 를 이용한 정밀한 지수합 (exponential sums) 계산을 수행합니다. 이는 $D \equiv 3 \pmod 8$과 $D \equiv 7 \pmod 8$ 경우를 나누어 처리합니다.

C. 곡선과 1-차원 가족의 제어

• 불규칙성이 확보되면 $k$-유리 점들은 유한 개의 점과 곡선 $C$에 포함됩니다.
• Lemma 2.1: 피카르 모듈라이 표면은 복소 반사 (complex reflections) 가 없으므로, 특이점은 유한 개이며, 이를 제거하면 아벨 3-폴드의 가족 (family) 을 정의할 수 있습니다.
• Cadoret-Tamagawa 정리 적용: 곡선 $C$ 위의 아벨 3-폴드 가족에 대해, 갈루아 작용의 불변 부분군 (Tate module) 에 대한 균일한 유계성을 적용합니다.
• Mumford-Tate 추측: 아벨 3-폴드의 경우 Mumford-Tate 추측이 알려져 있으므로, 비-CM 점들에 대해 갈루아 이미지가 충분히 커짐을 이용합니다.

3. 주요 결과 (Key Results)

Theorem A (준안정적 경우)

• 수체 $k$, $M$에서 inert 한 소수 $\ell$, $M$의 유한한 자치점 집합 $S$가 주어졌을 때, $S$ 밖에서 준안정적 (semi-stable) 인 모든 비-CM 피카르 타입 아벨 3-폴드 $A$에 대해, 충분히 큰 $r$이 존재하여 $A[\ell^r]$은 완전한 $k$-유리 플래그를 포함하지 않습니다.

Theorem B (주요 정리)

• $M$을 포함하는 수체 $k$와 $M$에서 inert 한 소수 $\ell$가 주어졌을 때, 다음 조건을 만족하는 모든 비-CM 피카르 타입 아벨 3-폴드 $A$에 대해 균일한 $r$이 존재합니다:
  • 조건: $D$ 위의 소수 $p$에 대한 갈루아 작용의 사영 이미지 (projective image) 가 $PSL(2, \mathbb{F}_p)$에 포함되는지 여부를 나타내는 동형사상 $\varepsilon_{A, D}$가 자명 (trivial) 해야 합니다.
  • 결론: $A[\ell^r]$은 완전한 $k$-유리 플래그를 포함하지 않습니다.
• 의미: Theorem B 는 Theorem A 를 함의하며, $k$를 적절한 2 차 확대체로 확장하면 Theorem A 의 조건을 만족시킵니다. 이는 갈루아 표현의 이미지가 Borel 부분군에 포함되지 않음을 의미합니다.

불규칙성 하한 (Proposition 3.5)

• $D \equiv 3 \pmod 8$인 경우: 레벨 $\ell$에서 불규칙성 $q \ge h$ (class number), 레벨 $\ell^{2r}$에서 $q \ge (r+1)h$.
• $D \equiv 7 \pmod 8$인 경우: 적절한 레벨 (예: $\ell^3$) 에서 불규칙성 $q \ge 3h$를 확보하여 Bombieri-Lang 추측을 적용 가능하게 함.

4. 기술적 기여 (Technical Contributions)

1. 비-tempered 표현의 레벨 이론: $U(3)$ 군의 비-tempered 엔도스코픽 표현 (Arthur packet 의 원소) 에 대해, Iwahori 부분군 ($I_{2r}$) 및 Gross 부분군 ($K''$) 에 대한 불변 벡터의 존재성을 증명했습니다. 이는 기존에 알려지지 않았던 결과입니다.
2. 행렬 계수와 지수합의 정밀 계산: 비-generic 표현 $\pi_n$의 불변 벡터 존재를 보이기 위해, Jacquet 모듈을 통한 Intertwining operator 의 계산을 수행하고, 이를 위해 유한 군 위에서의 지수합 (exponential sums) 을 정밀하게 계산하여 0 이 아님을 증명했습니다.
3. 2 차원 기저에서의 균일성: 1 차원 가족에 대한 Cadoret-Tamagawa 의 결과를 2 차원 모듈라이 공간 (피카르 표면) 으로 확장하여, Bombieri-Lang 추측과 결합한 새로운 증명 체계를 구축했습니다.
4. Gross 부분군의 활용: $D \equiv 7 \pmod 8$인 경우, Gross 가 제안한 지수 2 부분군 $K''$를 도입하여 불규칙성을 확보하고, 이로 인해 Bombieri-Lang 추측이 적용될 수 있도록 했습니다.

5. 의의 및 중요성 (Significance)

• Manin 정리의 고차원 일반화: 타원곡선 ($g=1$) 에 대한 Manin 의 정리를 아벨 3-폴드 ($g=3$) 로 확장한 최초의 결과 중 하나입니다.
• 균일한 갈루아 작용 제어: 아벨 다양체의 $\ell$-주부분에 대한 갈루아 작용이 특정 부분군 (Borel) 에 포함되지 않도록 하는 **균일한 상 (uniform bound)**의 존재를 증명했습니다. 이는 산술 기하학에서 아벨 다양체의 torsion 점 분포를 이해하는 데 필수적입니다.
• 표면 이론과 자동형식의 교차: 피카르 모듈라이 표면의 기하학적 성질 (불규칙성, 특이점) 과 Langlands 프로그램 (Arthur packet, 비-tempered 표현) 을 깊이 있게 연결했습니다.
• 미래 연구의 방향: 비-tempered 표현의 레벨에 대한 일반적인 질문을 제기하며, 더 높은 차원의 아벨 다양체나 다른 타입의 모듈라이 공간으로의 확장을 위한 기초를 마련했습니다.

요약하자면, 이 논문은 갈루아 표현의 가약성 제어라는 난제를 해결하기 위해 모듈라이 공간의 기하학과 자동형식 표현론을 정교하게 결합하여, 2 차원 기저를 가진 아벨 3-폴드 가족에 대한 강력한 균일성 정리를 증명했습니다.