Fields with no everywhere good abelian varieties

1. 연구 배경 및 문제 제기 (Problem)

• Fontaine 의 정리: Fontaine 과 Abrashkin 은 독립적으로 유리수체 $\mathbb{Q}$ 위에서는 전역적으로 좋은 감축을 갖는 0 이 아닌 아벨 다양체가 존재하지 않음을 증명했습니다.
• 정의 (Fontaine Field): 전역적으로 좋은 감축을 갖는 0 이 아닌 아벨 다양체가 존재하지 않는 수체 $K$ 를 Fontaine field라고 정의합니다.
• 현재의 한계: 기존 연구 (Schoof 등) 에서는 소수 차수의 순환체나 이차체 등 16 개의 특정 수체만이 Fontaine field 임이 알려져 있었습니다.
• 핵심 질문: 어떤 수체 $K$ 가 Fontaine field 가 되는지 판별하는 기준을 확장하여, 더 많은 차수 (degree) 의 수체에서 이러한 성질을 증명할 수 있는가?

2. 방법론 (Methodology)

저자들은 Fontaine, Abrashkin, Schoof 의 기법을 확장하여 다음과 같은 수학적 도구들을 결합했습니다.

A. 고차 분기 경계 (Higher Ramification Bounds)

• Abrashkin-Fontaine 경계: 국소체 위의 유한 평탄 군 스킴 (finite flat group scheme) 에 대한 고차 분기 군의 상한을 이용합니다.
• 핵심 부등식: $V$ 가 지수 $2^n$ 을 갖는 유한 평탄 군 스킴이고, $F$ 가 $V$ 의 점의 체 (field of points) 에 포함될 때, 분기 수 $m_{F/E}$는 $m_{F/E} \le e(n + \frac{1}{p-1}) - 1$을 만족합니다. 여기서 $p=2, e=1, n=1$인 경우 $m_{F/E} \le 1$이 됩니다.
• 의미: 이는 아벨 다양체의 2-분할 필드 (2-division field) 가 특정 분기 조건을 만족하는 확장 안에 있어야 함을 의미합니다.

B. 군 스킴의 구조 분석 (Group Schemes)

• Prosaic 아벨 다양체: $A[2]$ (2-분할 점) 가 $K$ 의 2-확장 (2-extension) 에만 존재하는 아벨 다양체를 'Prosaic'이라고 정의합니다. Fontaine field 임을 보이기 위해선 Prosaic 아벨 다양체가 존재하지 않음을 보이면 충분합니다.
• 필터링 (Filtration): 아벨 다양체의 2-분할 점 $A[2^n]$을 구성하는 군 스킴들의 필터링을 분석합니다.
  • $V_1$: $\mu_2$로만 필터링된 부분.
  • $V/V_2$: $\mathbb{Z}/2\mathbb{Z}$로만 필터링된 부분.
  • $V_2/V_1$: 그 외의 군 스킴 (예: $G_\rho$) 로 필터링된 부분.
• 확장 클래스 (Extension Classes): 서로 다른 군 스킴 사이의 확장 클래스 $\text{Ext}^1$이 0 이 되거나, 특정 조건 하에서 유한한지 분석합니다. 이를 위해 Table 1과 같은 군 스킴의 재배열 (rearrangement) 논리를 사용합니다.

C. 군론적 도구 (Group Theory)

• 갈루아 군의 구조: 최대 가해 확장 (maximal solvable extension) $F_s$의 구조를 분석합니다.
  • Proposition 3.1, 3.2: 홀수 소수 $p$가 갈루아 군의 도함수 (commutator subgroup) 에 포함될 경우, 이면체군 (Dihedral group) $D_p$가 몫군으로 존재함을 보임.
  • 이를 통해 $F/K$가 2-확장 (2-extension) 이어야 하는 조건을 유도합니다.

D. 수체론적 조건 및 Odlyzko 경계

• 가정 (Hypothesis K): $K$는 홀수 판식 (odd discriminant) 을 가지며, 좁은 클래스 수 (narrow class number) $h^+_K = 1$을 만족한다고 가정합니다.
• Witness Field ($K_p$): 2 의 소인수 $p$에 대해 정의된 특정 2-확장 $K_p$를 도입합니다.
  • $K_p = K$인 경우나 $[K_p:K]=2$인 경우 등 조건을 분류합니다.
• Odlyzko 경계 (GRH 하에): Riemann 가설 (GRH) 을 가정하여 Odlyzko 가 제시한 판식 하한 (root discriminant bounds) 을 사용합니다.
  • 만약 계산된 확장 $F$의 차수가 Odlyzko 경계보다 작다면, $F$가 2-확장이어야 함을 강제하여 아벨 다양체의 존재를 배제합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 새로운 판정 기준 제시

• Theorem 6.4 & 6.5: $K$ 위의 2 의 소인수 개수 (1 개, 2 개, 3 개) 에 따라 Fontaine field 임을 판별하는 구체적인 조건을 제시했습니다.
  • 조건은 $K_p$의 구조, 특정 2-확장의 부재, 그리고 타워 조건 (Tower condition, $T(p)$) 등을 포함합니다.
  • 이 조건들을 만족하면 Prosaic 아벨 다양체가 존재하지 않으며, 추가적으로 $F/K$가 2-확장임을 보이면 $K$는 Fontaine field 가 됩니다.

B. 대규모 계산 및 발견

• GRH 가정 하의 계산: LMFDB (L-functions and Modular Forms Database) 와 Magma 소프트웨어를 활용하여 차수 $n \le 16$인 수체들을 검증했습니다.
• 발견된 수: 총 24,744 개의 새로운 Fontaine field 를 발견했습니다.
  • 이는 기존에 알려진 16 개에 비해 압도적으로 많은 수치입니다.
  • Table 2 에 따르면, 차수 2 에서 16 까지의 다양한 차수에서 Fontaine field 가 존재함이 확인되었습니다.
  • 특히, 홀수 판식과 좁은 클래스 수 1 을 만족하는 체들 중 상당수가 Fontaine field 임이 확인되었습니다.

C. 군 스킴 필터링의 정교화

• Proposition 4.22 등을 통해, 3 개의 소인수를 갖는 경우에도 군 스킴의 구성 요소를 체계적으로 재배열하여 (Table 1 참조) 확장 클래스가 소멸하거나 유한함을 증명했습니다. 이는 Schoof 의 초기 기법을 고차원적으로 일반화한 것입니다.

4. 의의 (Significance)

1. Fontaine 추측의 확장: $\mathbb{Q}$뿐만 아니라 다양한 차수의 수체에서도 전역적으로 좋은 감축을 갖는 아벨 다양체가 존재하지 않을 가능성이 매우 높음을 강력하게 시사합니다.
2. 계산적 수론의 진전: Odlyzko 경계와 갈루아 군 구조 분석, 그리고 군 스킴 이론을 결합하여 대규모 수체 집합을 체계적으로 검증하는 새로운 프레임워크를 제시했습니다.
3. Schoof 쌍 (Schoof pairs) 에 대한 통찰: Schoof pair (유한 개의 단순 아벨 다양체만 존재하는 쌍) 의 존재성에 대한 질문 (Question B) 에 대한 실마리를 제공합니다. 많은 수체가 Fontaine field 임이 발견됨에 따라, Schoof pair 가 드물거나 특정 조건 하에서만 존재할 가능성이 제기됩니다.
4. Tchamitchian 연구와의 상호 검증: 저자들은 본 논문과 병행하여 Tchamitchian 의 연구 (L-함수 가설 사용) 와 결과를 비교하여, 서로 다른 방법론 (군 스킴 이론 vs L-함수 명시적 공식) 이 동일한 결론 (많은 수체에서 아벨 다양체 부재) 에 도달함을 확인했습니다.

5. 결론

이 논문은 Fontaine 의 정리를 일반화하여, 홀수 판식과 좁은 클래스 수 1 을 갖는 수체 $K$에 대해 전역적으로 좋은 감축을 갖는 아벨 다양체가 존재하지 않는 구체적인 대수적 및 수론적 조건을 제시했습니다. GRH 를 가정하고 계산된 24,744 개의 예시는 이러한 현상이 우연이 아니라 수체론의 구조적 특성임을 시사하며, 아벨 다양체의 전역적 감축 문제에 대한 이해를 한 단계 끌어올렸습니다.