On the Hodge and Tate conjectures for moduli spaces of curves

기술적 요약: 곡선의 모듈라이 공간에 대한 호지 및 테이트 추측

문제 제기
호지 (Hodge) 와 테이트 (Tate) 추측은 대수적 다양체의 코호몰로지와 대수적 사이클을 연결하는 핵심적이지만 여전히 대부분 미해결인 문제들이다. 역사적으로 진전은 아벨 다양체나 K3 곡면과 같이 비자명한 가족 (families) 내에서 이동하거나 특별한 말단연산 (endomorphisms) 을 갖는 다양체에 의존해 왔으나, 안정된 곡선의 모듈라이 공간 $\mathcal{M}_{g,n}$은 별도의 검증 무대를 제공한다. 이러한 공간들은 가족 내에서 변형되지 않지만, 풍부하고 복잡한 호지 구조와 갈루아 표현을 가진 무한한 이산적 집합을 형성한다. 본 논문은 $\mathcal{M}_{g,n}$의 코호몰로지에 대해, 특히 일반화된 콘iveau (coniveau) 형태에서의 호지 및 테이트 추측의 검증을 다룬다. 일반화된 형태는 단순히 짝수 차수의 클래스가 사이클에서 유래하는지 여부를 묻는 것이 아니라, 코호몰로지 내의 특정 부분 구조 (부분 호지 구조 또는 갈루아 부분 표현) 가 예측된 코디멘전의 대수적 부분집합에서 지지되는지 여부를 묻는다.

방법론
본 논문은 최근의 코호몰로지 계산과 아르벨라로 (Arbarello) 와 코르날바 (Cornalba) 가 확립한 귀납적 프레임워크를 종합한다. 방법론은 세 가지 주요 기둥에 의존한다:

1. 귀납적 경계 층화 (Inductive Boundary Stratification): 증명 전략은 안정된 곡선의 위상적 유형에 의한 $\mathcal{M}_{g,n}$의 층화를 활용한다. 경계 약수 $\bar{D}_{g,n}$은 더 작은 모듈라이 공간들의 곱들의 불연속 합집합이다. 국소화 열 (localization sequence) 과 가중치 논증을 사용하여, $\mathcal{M}_{g,n}$의 코호몰로지 클래스는 더 작은 모듈라이 공간의 클래스와 내부 코호몰로지의 순수 가중치 부분과 관련된다.
2. 타우토로지컬 생성 (Tautological Generation): 핵심 기법은 코호몰로지 군이 타우토로지컬 클래스($\kappa$-, $\psi$-, 그리고 경계 클래스로 생성됨) 에 의해 생성되는지 여부를 결정하는 것이다. $H^{2k}(\mathcal{M}_{g,n})$이 타우토로지컬하다면, 호지 및 테이트 추측은 코디멘전 $k$의 사이클에 대해 성립한다. 본 논문은 고차 코호몰로지를 통제하기 위해 "반타우토로지컬 확장 (semi-tautological extensions)"을 사용하여 질문을 기본 사례로 축소한다.
3. 산술적 영감과 분류: 결과는 motivic 가중치가 22 이하인 자동형 표현 (automorphic representations) 에 대한 체네비에 (Chenevier) 와 랑 (Lannes) 의 분류에 의해 안내된다. 이 분류는 $\mathbb{Z}$ 위에서 매끄럽고 propre 한 다양체의 코호몰로지에 나타나는 특정 motivic 구조 (예: $S_{12}$, $S_{16}$) 를 예측한다. 본 논문은 이러한 예측을 사용하여 비타우토로지컬 클래스의 예상 지지 위치, 특히 홀수 차수에서의 지지 위치를 식별한다.
4. 기본 사례 검증: 귀납적 논증은 작은 $g$와 $n$에 대한 기본 사례의 명시적 검증을 요구한다. 이는 다음을 사용하여 확립된다:
   • 유한체 위의 점 수 세기와 베른드 - 그로텐디크 - 레프셰츠 (Behrend–Grothendieck–Lefschetz) 자취 공식.
   • Chow–Künneth 생성 성질.
   • 명시적 기하학적 구성 (예: Mukai 의 표준 곡에 대한 설명).
   • 위상적 소멸 정리 (예: Harer 의 가상 코호몰로지 차원에 대한 경계).

주요 기여 및 결과

• 특정 범위에서의 추측 검증: 본 논문은 놀라울 정도로 넓은 차수 범위에서 $\mathcal{M}_{g,n}$에 대해 일반화된 호지 및 테이트 추측이 성립함을 증명한다:

  • 코디멘전 1 및 2: 모든 $g, n$에 대해 성립.
  • 코디멘전 3: 모든 $n$과 $g \notin \{7, 8, 9\}$에 대해 성립.
  • 차원 $\le 7$: 모든 $g, n$에 대해 성립.
  • 일반화된 호지 추측: 짝수 $k \le 4$ (모든 $g,n$), $k=6$ ($g \notin \{7,8,9\}$), 홀수 $k \le 13$ (모든 $g,n$), 그리고 $k = 2d-j$ ($0 \le j \le 15$) 인 $H^k(\mathcal{M}_{g,n})$에 대해 성립.
  • 일반화된 테이트 추측: $L$의 특성 $p$에 대한 정칙성 (ordinarity) 조건을 충족하는 유한 생성체 $L$ 위에서 동일한 범위에서 성립한다 (구체적으로, $p$는 $S_{12}$에 대한 Ramanujan $\tau$-함수나 $S_{16}$에 대한 가중치 16 cusp form 의 푸리에 계수를 나누지 않아야 함).

• 코호몰로지 군의 구조:

  • 짝수 차수: 낮은 짝수 차수 ($k \le 6$, $k=6$인 경우 $g \in \{7,8,9\}$에 대한 예외 포함) 에서는 코호몰로지가 타우토로지컬 클래스에 의해 생성된다.
  • 홀수 차수: 홀수 $k < 11$에 대해 $H^k(\mathcal{M}_{g,n}) = 0$이다. $k=11$에서 코호몰로지는 Ramanujan cusp form $\Delta$와 관련된 $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$의 Tate twist 들의 직합이다. $k=13$에서 코호몰로지는 경계 층 (boundary strata) 에서 지지되며 $S_{12}$의 Tate twist 들로 구성된다.
  • 고차수: 푸앵카레 쌍대성과 Hard Lefschetz 에 의해 낮은 차수에 대한 결과는 고차수 ($2d-k$) 에 대한 결과를 함의한다.

• Motivic 구조: 본 논문은 가중치 15 까지 $H^*(\mathcal{M}_{g,n})$에 나타나는 motivic 구조가 Chenevier–Lannes 분류와 일치함을 확인한다. 구체적으로, 홀수 코호몰로지는 11 차수 미만에서 소멸하며, $H^{11}$은 $S_{12}$에서 유래하고, $H^{13}$은 경계에서 지지되는 $S_{12}$의 Tate twist 들에서 유래한다.

• Chow 군에 대한 추측: 본 논문은 Chow 10 추측을 제안한다. 이는 유리수 Chow 군 $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$가 $k \le 10$에 대해 타우토로지컬 사이클에 의해 생성된다는 것이다. 이는 $k \le 10$에 대해 사이클 클래스 사상이 동형사상임을 의미한다.

의의 및 주장
본 논문은 경계 층화의 귀납적 구조가 현대적인 산술적 예측과 명시적 저 genus 계산을 결합하여, 이전에 접근할 수 없었던 범위에서 일반화된 호지 및 테이트 추측을 검증한다고 주장한다.

• 접근법의 독창성: 가족 내의 변화에 의존하는 전통적인 접근과 달리, 본 연구는 $\mathcal{M}_{g,n}$의 "타우토로지컬 접합과 망각 사상 (forgetful morphisms)" 및 경계 층화가 이러한 심오한 추측을 검증하기에 충분한 구조를 제공함을 보여준다.
• 산술과 기하의 연결: 본 논문은 $\mathbb{Z}$ 위의 motives 에 대한 산술적 예측 (Chenevier–Lannes) 이 기하학적 증명을 위한 안내 역할을 하는 방식을 강조한다. 기하학적 결과는 곡선의 모듈라이 공간에 대해 이러한 예측을 무조건적으로 확인한다.
• 미해결 문제: 본 논문은 다음과 같은 구체적인 남은 과제들을 식별한다:
  • $g \in \{7, 8, 9\}$일 때 $H^6(\mathcal{M}_{g,n})$에 대한 타우토로지컬 생성 증명.
  • $H^{15}(\mathcal{M}_{g,n})$에 대한 일반화된 호지 추측 검증.
  • 예측된 콘iveau 가 점프하는 비정칙 소수 (non-ordinary primes, $p | \tau(p)$인 경우) 에서의 코호몰로지 지지 조사.
  • 알려진 기하학적 설명 없이 다른 모듈라이 공간에 나타나는 동형인 motivic 구조 (예: $\mathcal{M}_{1,17}$과 $\mathcal{M}_{2,14}$의 $S_{18}$) 에 대한 대수적 사이클 구성.

이 연구는 $\mathcal{M}_{g,n}$을 motivic 추측을 위한 견고한 검증 무대로 확립하여, "놀라울 정도로 넓은 범위"의 검증 사례를 제공하면서도 비타우토로지컬 클래스와 비정칙 소수와 같은 새로운 현상이 나타나는 정확한 경계를 규명한다.