[논문 리뷰] On ramification filtrations and $p$-adic differential modules, I: equal characteristic case

Liang Xiao|arXiv (Cornell University)|2008. 01. 31.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 등차수 $p>0$인 완비 이산적으로 값이 주어진 체 위에서 유한 국소 모노드로미를 가진 $p$-진 갈루아 표현에 대해, 산술적(아바스-사이토), 미분적(케들레이나), 보르거의 일반적 완전성의 산술적 차수를 동치로 증명한다. 이 산술적 차수들이 모두 일치하고 비음수 정수임을 증명함으로써, 불완전한 잔여체 경우에 대해 산술적 분할의 하세-아르프 정리를 증명하며, 이는 $p$-진 호지 이론과 분할 이론 분야에서 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

Let $k$ be a complete discretely valued field of equal characteristic $p > 0$ with possibly imperfect residue field and let $G_k$ be its Galois group. We prove that the conductors computed by the arithmetic ramification filtrations on $G_k$ coincide with the differential Artin conductors and Swan conductors of Galois representations of $G_k$. As a consequence, we give a Hasse-Arf theorem for arithmetic ramification filtrations in this case. As applications, we obtain a Hasse-Arf theorem for finite flat group schemes; we also give a comparison theorem between the differential Artin conductors and Borger's conductors.

연구 동기 및 목표

• 등차수 $p>0$이면서 잔여체가 불완전한 경우, 아바스와 사이토가 정의한 산술적 분할이 케들레이나가 정의한 미분적 차수와 일치하는지 여부를 밝히는 열린 문제를 해결하기 위해.
• 유한 국소 모노드로미를 가진 $p$-진 갈루아 표현에 대해 산술적, 미분적, 보르거의 차수들이 동일함을 증명하기 위해.
• 잔여체가 불완전한 경우에도 등차수 $p>0$에서 산술적 분할에 대한 하세-아르프 정리를 수립하기 위해.
• 일반적 완전성에 의해 정의된 보르거의 차수와 미분적, 산술적 차수 사이의 비교 및 관계를 규명하기 위해.
• 이 차수 동치성에 기반하여 하세-아르프 정리를 유한 평탄 군 스킴으로 확장하고, 일반적 $p^{\nu}$-승근 확장에 대해 미분적 차수의 불변성을 보여주기 위해.

제안 방법

• 유한 국소 모노드로미를 가진 $p$-진 갈루아 표현에 관련된 로바 반지름 위에서 $p$-진 미분 모듈을 구성하기 위해.
• 케들레이나의 프레임워크에 따라 미분 연산자의 스펙트럴 노름을 사용하여, 미분 아르틴 및 스완 차수를 계산하기 위해.
• 두꺼운 처리 기법과 강성 기하학을 적용하여, 아바스-사이토 공간과 그 올림에서의 스펙트럴 노름을 비교하기 위해.
• 기본체에 일반적 $p^{\nu}$-승근을 추가하여 얻는 $k'$로 $k$ 위의 강성 공간을 올리는 구축을 통해 스펙트럴 노름을 유지하기 위해.
• 미분 모듈에 대한 회전 자동형사를 사용하여 이러한 확장에 대해 미분적 차수의 불변성을 보여주기 위해.
• 순차적 $p^{\nu}$-승근 확장을 통해 일반적인 경우를 유한 $p$-기저의 경우로 환원하고, 일반 잔여 완전성 $k^g$로 가는 호모모르피즘을 구성하기 위해.

실험 결과

연구 질문

• RQ1 등차수 $p>0$에서 잔여체가 불완전한 경우, 아바스와 사이토가 정의한 산술적 분할이 케들레이나가 정의한 미분적 차수와 일치하는가?
• RQ2 잔여체가 불완전한 경우 산술적 분할에 대해 하세-아르프 정리가 성립하는가?
• RQ3 일반적 완전성에 의해 정의된 보르거의 차수는 이 설정에서 미분적 및 산술적 차수와 일치하는가?
• RQ4 기본체에 일반적 $p^{\nu}$-승근을 추가하는 것으로도 미분적 차수는 불변하는가?
• RQ5 이 차수 동치성에 기반하여 하세-아르프 정리를 유한 평탄 군 스킴으로 확장할 수 있는가?

주요 결과

• 완비 이산적으로 값이 주어진 체 위에서 등차수 $p>0$인 유한 국소 모노드로미를 가진 임의의 $p$-진 갈루아 표현에 대해, 산술적 아르틴 차수, 미분적 아르틴 차수, 보르거의 차수가 모두 일치한다.
• 산술적 스완 차수와 미분적 스완 차수는 동일하며, 둘 다 비음수 정수이다. 이는 잔여체가 불완전한 경우 산술적 분할에 대해 하세-아르프 정리가 성립함을 확인한다.
• 산술적 분할의 부분상계 $\mathrm{Fil}^a G_k / \mathrm{Fil}^{a+} G_k$ 는 $a \notin \mathbb{Q}$ 이면 자명하고, $a \in \mathbb{Q}_{>1}$ 이면 기본 $p$-아벨 군이 된다. 이는 하세-아르프가 예측한 구조를 확인한다.
• 기본체에 일반적 $p^{\nu}$-승근을 추가하는 것으로도 미분적 차수는 불변하며, 이는 유한 $p$-기저의 경우로 환원할 수 있음을 허용한다.
• 표현 $\rho$의 미분 아르틴 차수는 그 일반 잔여 완전성 $k^g$의 갈루아 군으로의 제한에 대한 미분 아르틴 차수와 같다. 이는 기존에 하세-아르프를 만족함이 알려진 바 있다.
• 이러한 체 위에서 유한 평탄 군 스킴에 대해서도 하세-아르프 정리가 성립한다. 그 이유는 그들의 차수가 관련 갈루아 표현을 통해 정의되기 때문이다.