[논문 리뷰] Swan conductors for p-adic differential modules, II: Global variation

Kiran S. Kedlaya|ArXiv.org|2007. 05. 01.

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

한 줄 요약

이 논문은 양의 특성의 완전체 위의 다양체 위의 overconvergent F-isocrystal에 대해 미분 Swan 군의 수렴성을 확장하며, 표면에서의 전반적 변동성 성질—특히 하모닉성과 반연속성—을 확립한다. 또한 Galois 표현을 통해 lisse ℓ-adic 층에 대해 이 구성법을 적응시켜, 기저 변경 하에서의 볼록성, 다면체성, 정수성 등을 증명한다.

ABSTRACT

Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive characteristic overconvergent along a boundary divisor; this leads to an analogous construction for certain p-adic and l-adic representations of the etale fundamental group of a variety. We then demonstrate some variational properties of this definition for overconvergent isocrystals, paying special attention to the case of surfaces.

연구 동기 및 목표

• 양의 특성의 완전체 위의 다양체 위의 overconvergent F-isocrystal에 대해 미분 Swan 군의 전반적 변동성을 정의하고 연구하는 것.
• Galois 표현을 통해 lisse ℓ-adic 층으로 군의 구성법을 확장하여 유사한 변동성 성질을 확립하는 것.
• 특히 표면과 인접한 비율에 대한 맥락에서, 기저 변경과 분열에 따른 군의 행동을 분석하는 것.
• 특히 해석적 미분 모듈러스에 대한 복소기하학적 결과와의 유사성—특히 하모닉성과 반연속성—을 도출하는 것.
• Sabbah의 스트로크 현상과 단순환 감소의 모노드로미 변동성 이론에 대한 p-진 유사체를 제공하는 것.

제안 방법

• 이전 논문의 국소적 구성법을 활용하여, 양의 특성의 완전체 위의 다양체 위의 overconvergent F-isocrystal에 대해 미분 Swan 군을 정의한다.
• 기존 메커니즘을 통해 Galois 표현을 F-isocrystal로 변환함으로써, 이 정의를 lisse ℓ-adic 층에 적용한다.
• 기저 변경 기법과 귀납법을 활용하여 표현의 Swan 군을 그 유도된 형태와 연결함으로써 연속성과 볼록성을 증명한다.
• Hasse-Arf 성질을 적용하여 군 값이 값 군의 이산 부분군에 속함을 보여 정수성을 확보한다.
• Berkovich 해석 기하학과 비율 이론적 방법을 활용하여 경계 딜로의 함수로서 군을 분석한다.
• 특히 상대적 원환면과 형식 스킴의 맥락에서 전반적 성질을 국소적 성질로 환원하기 위해 전문화 및 튜브 구성법을 사용한다.

실험 결과

연구 질문

• RQ1 표면에서 overconvergent F-isocrystal의 맥락에서, 경계 딜로의 함수로서의 미분 Swan 군은 어떻게 변하는가?
• RQ2 미분 Swan 군의 변동성 성질이 복소기하학에서의 하모닉성과 반연속성과 어느 정도 유사한가?
• RQ3 미분 Swan 군은 lisse ℓ-adic 층으로 확장될 수 있으며, 그 경우 F-isocrystal 맥락에서 유산한 성질은 무엇인가?
• RQ4 유한 국소 모노드로미를 갖는 Galois 표현 맥락에서 군과 모노드로미 작용 간의 관계는 어떠한가?
• RQ5 특히 유한 코버리지의 맥락에서, 기저 변경과 표현의 유도에 따른 군의 행동은 어떻게 되는가?

주요 결과

• 상대 원환면 맥락에서 반경 매개변수의 함수로서, overconvergent F-isocrystal의 미분 Swan 군은 연속적이고 볼록적이며 정수 다면체적 성질을 갖는다.
• Lisse ℓ-adic 층의 경우, 군 $ d!B_i(\tfrac{1}{d}\rho, r) $ 와 $ B_d(\tfrac{1}{d}\rho, r) $ 는 연속적이고 볼록적이며 정수 다면체적이며, 값은 $ \mathbb{Z} + \mathbb{Z}r_1 + \cdots + \mathbb{Z}r_n $ 에 속한다.
• r=0에서의 Swan 군의 오른쪽 기울기인 $ \operatorname{Swan}'_Z(\mathcal{E},z) $ 는 $ \ell(\mathcal{E},Z) \in \{0,1,\dots,d\} $ 이며, 유한 개를 제외한 모든 점 $ z \in Z $ 에 대해 $ -\ell(\mathcal{E},Z) $ 와 같다.
• 합 $ \sum_{z\in Z} (\operatorname{Swan}'_Z(\mathcal{E},z) + \ell(\mathcal{E},Z)) $ 는 부등식 $ \geq (2-2g(Z))\ell(\mathcal{E},Z) - Z^2 \operatorname{Swan}(\mathcal{E},Z) $ 를 만족하며, 위상적 불변량과 군 행동을 연결한다.
• 군은 양의 조건을 만족한다: $ Z \cdot (\operatorname{Swan}(\mathcal{E}) + \ell(\mathcal{E},Z)(K_{\overline{X}} + D)) \geq 0 $, 이는 표면에서 기하학적 제약 조건을 반영한다.
• 군은 Thuillier의 의미에서 하모닉성 유사 행동을 보이며, 특정 조건 하에서 단조성도 성립하여, André와 Deligne의 복소해석 기하학적 결과와 유사성을 보인다.