[논문 리뷰] The Grothendieck-Katz Conjecture for certain locally symmetric varieties

Benson Farb, Mark Kisin|ArXiv.org|2008. 07. 08.

Advanced Algebra and Geometry참고 문헌 6인용 수 3

한 줄 요약

이 논문은 국소 대칭 다양체, 특히 $g > 1$일 때 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$를 포함하여 특정 국소 대칭 다양체에 대해 그로텐디크-카츠 $p$-곡률 추측을 증명한다. 이는 마르굴리의 정규부분군 정리와 리 군의 이산 부분군 이론에서 유래한 강성 결과를 적용하여 이루어지며, 핵심 결과는 거의 모든 소수에 대해 $p$-곡률이 0이면 단순히 유한한 단일화군을 가지며, 따라서 대수적 해를 가짐을 보여준다. 이는 이러한 다양체 위의 광범위한 연결성에 대해 성립한다.

ABSTRACT

Using Margulis's results on lattices in semisimple Lie groups, we prove the Grothendieck-Katz $p$-Curvature Conjecture for certain locally symmetric varieties, including the moduli space of abelian varieties ${\cal A}_g$ when $g > 1.$

연구 동기 및 목표

• $\mathbf{Q}$-랭크 $\geq 1$이고 $\mathbf{R}$-랭크 $\geq 2$인 국소 대칭 다양체에 대해 그로텐디크-카츠 $p$-곡률 추측을 확립하는 것.
• 기존의 해법이 아벨 군의 단일화군 또는 피카르드-푸아흐 방정식에 국한된 경우를 초월하여, 비아벨 기본군을 가진 경우로 추측의 적용 범위를 확장하는 것.
• 산술 격자 이론에서 유래한 강성 정리를 미분 갈루아 이론과 $p$-곡률 불변량에 적용하는 것.
• 이러한 다양체에서 거의 모든 소수에 대해 $p$-곡률이 0이면 유한한 단일화군을 가지며, 따라서 대수적 해를 가짐을 보이는 것.

제안 방법

• 반단순 리군의 불가약 격자에 대해 마르굴리의 정규부분군 정리를 적용하여 단일화군 표현을 제약하는 것.
• 소수 $\mathfrak{p}$에 대해 연결성 $(V, \nabla)$를 환원하여 유한체 위의 $p$-곡률 사상 $\psi_p(V/\mathfrak{p}V, \nabla)$를 구하는 것.
• 카츠의 결과를 적용하여 $p$-곡률이 0이면 경계 초면 주위에서 정칙 특이점과 유한한 국소 단일화군을 가짐을 보이는 것.
• 마르굴리의 초강성 정리를 활용하여 산술군의 표현을 심플렉틱 군에서 온 자동형 번들의 부분표현으로 실현하는 것.
• 안드레의 피카르드-푸아흐 방정식에 대한 카츠 결과의 확장을 적용하여 이러한 시스템이 생성하는 탄나키안 카테고리에서 단일화군의 유한성을 보이는 것.
• 단일화군 표현이 유한군을 통해 인코딩됨을 보이기 위해 문제를 단순화하기 위해 심플렉틱 군에 통합하고, $\tilde{G}^{\operatorname{der}}$의 연결성을 이용하는 것.

실험 결과

연구 질문

• RQ1 비아벨 기본군을 가진 국소 대칭 다양체에 대해 그로텐디크-카츠 $p$-곡률 추측이 성립하는가?
• RQ2 산술군의 강성 정리를 사용하여 $p$-곡률이 0일 때 단일화군의 유한성을 증명할 수 있는가?
• RQ3 거의 모든 소수에 대해 $p$-곡률이 0이면 대수적 해를 갖는 국소 대칭 다양체는 어떤 것인가?
• RQ4 이러한 다양체 위의 연결성에 대해 $p$-곡률이 0일 경우 탄나키안 갈루아 군이 유한한가?

주요 결과

• 모든 연결성에 대해, $G$의 각 $\mathbf{Q}$-간단 성분이 $\mathbf{Q}$-랭크 $\geq 1$이고 $\mathbf{R}$-랭크 $\geq 2$를 만족할 경우, 국소 대칭 다양체 $M = \Gamma \backslash G(\mathbb{R})^+ / K$ 에서 그로텐디크-카츠 $p$-곡률 추측이 성립한다.
• 기본군이 비아벨인 경우, $g > 1$일 때 아벨 다양체의 모듈리 공간 $\mathcal{A}_g$ 에서도 추측이 증명된다.
• 거의 모든 소수에 대해 $p$-곡률이 0이면 단일화군 표현의 이미지가 유한하므로, 연결성이 유한 에탈 코어 위에서 자명해진다.
• 산술군 $\Gamma$를 유한 지수 부분군으로 대체함으로써 단일화군 표현이 유한군을 통해 인코딩됨을 보일 수 있다. 이는 $\Gamma$ 가 $\tilde{G}^{\operatorname{der}}$ 에 조밀하게 분포되어 있기 때문이다.
• $G$가 $A, B, C, D$ 형식이며 $\mathbf{R}$-랭크 $\geq 2$일 경우, $\mathrm{Sp}_{2g}$ 에 통합하고 안드레의 결과를 적용함으로써 추측이 성립한다.
• 증명은 $\tilde{G}^{\operatorname{der}}$ 가 연결되고 단순하다는 사실에 기반하며, 이는 표현에서 스칼라 작용이 단일화군의 자명성을 암시한다.