[논문 리뷰] The convergence Newton polygon of a $p$-adic differential equation V : local index theorems

Jérôme Poineau, Andréa Pulita|arXiv (Cornell University)|2013. 09. 16.

Algebraic Geometry and Number Theory참고 문헌 44인용 수 7

한 줄 요약

이 논문은 준매끄러운 베르키비치 곡선 위의 $p$-진 미분방정식에 대한 de Rham 코hom올로지의 국소 및 전역 인덱스 정리들을 수립하며, 유한차원성 기준을 증명하고, 수렴 반경의 기울기를 통해 정의된 전역 비정상성 불변량과 함께, 인덱스를 오일러 특성과 연결하는 그로텐디크-오그-샤파레비치 공식을 유도한다. 또한 수렴 뉴턴 다각형의 부분 높이들의 초조화성(super-harmonicity)을 증명한다.

ABSTRACT

In this paper and its sequel we consider locally-free $\mathscr{O}_X$-modules together with a connection over a quasi-smooth Berkovich curve $X$. We obtain necessary and sufficient conditions for the finite dimensionality of their de Rham cohomology over local domains such as disks and annuli. We deal with both analytic and meromorphic connections and we derive index formulas relating the index to the behavior of the radii of convergence of their solutions at the boundary of the curve $X$. We introduce the notion of absolute local index. We prove that it is an intrinsic notion extending the previous notions of Robba's generalized index and that of $p$-adic exponents. This condition arises at the boundary of the curve $X$ and it is an exact condition for the finite dimensionality of the de Rham cohomology. We derive comparison results between formal, meromorphic and analytic de Rham cohomologies.

연구 동기 및 목표

• 준매끄러운 베르키비치 곡선 위의 $p$-진 미분방정식에 대한 de Rham 코호몰로지의 유한차원성을 보장하는 국소 및 전역 기준을 수립하는 것.
• 미분방정식의 인덱스를 곡선의 오일러 특성과 전역 비정상성 불변량 사이의 전역 그로텐디크-오그-샤파레비치 공식을 제시하는 것.
• 수렴 뉴턴 다각형을 정의하고 분석하는 것, 특히 그 부분 높이들에 중점을 두는 것.
• 수렴 뉴턴 다각형의 부분 높이들이 초조화 함수임을 증명하는 것으로, 기존의 $p$-진 코hom올로지 설정에서의 결과를 확장하는 것.

제안 방법

• 베르키비치 곡선의 각 점에서 타일러 급수의 수렴 반경을 중심적인 해석적 불변량으로 사용한다.
• 가짜삼각분할 $S$를 통해 정의된 제어 그래프 $\Gamma_S(\mathscr{F})$를 도입하며, 이는 반경이 변하는 위치를 포괄하고 국소적으로 유한하며 연결된 구조를 가진다.
• 특히 스키마 $\Gamma_S$ 위에서 부분 높이에 중점을 두어, 수렴 반경의 기울기를 바탕으로 수렴 뉴턴 다각형을 구성한다.
• 베르키비치 기하학과 노름oid 프레셰 공간의 기법을 적용하여, 절단과 접속에 대한 위상적 및 해석적 통제를 확보한다.
• 아핀이드 커버링에 대한 스펙트럴 시퀀스와 역극한을 활용하여 코hom올로지의 유한성과 제약의 호환성을 분석한다.
• 바나흐 공간 이론과 수축을 이용하여, 층과 그 접속에 대한 노름oid 프레셰 구조를 정의하고 비교한다.

실험 결과

연구 질문

• RQ1 준매끄러운 베르키비치 곡선 위의 $p$-진 미분방정식에 대한 de Rham 코호몰로지가 어떤 조건에서 유한차원이 되는가?
• RQ2 미분방정식의 인덱스는 곡선의 오일러 특성과 기하학적 불변량과 어떻게 전역적으로 관련될 수 있는가?
• RQ3 수렴 뉴턴 다각형은 $p$-진 미분방정식의 비정상성 정보를 어떻게 캐릭터라이즈하는가?
• RQ4 기하학적 및 해석적 조건 하에서 수렴 뉴턴 다각형의 부분 높이는 어떻게 행동하는가?
• RQ5 $p$-진 설정에서 뉴턴 다각형의 부분 높이들의 초조화성을 확립할 수 있는가?

주요 결과

• 접속을 가진 국소적으로 자유인 $\mathscr{O}_X$-모듈 $\mathscr{F}$의 de Rham 코호몰로지는 제어 그래프 $\Gamma_S(\mathscr{F})$가 국소적으로 유한할 때이고 그때에만 유한차원이다.
• 전역 그로텐디크-오그-샤파레비치 공식이 수립되었으며, 이는 $\mathscr{F}$의 인덱스를 곡선 $X$의 오일러 특성과 전역 수렴 반경의 기울기를 통해 정의된 비정상성의 합으로 표현한다.
• 모듈 $\mathscr{F}$의 수렴 뉴턴 다각형의 부분 높이는 스키마 $\Gamma_S$ 위에서 초조화 함수이다.
• 모듈 $\mathscr{F}$의 수렴 반경은 베르키비치 곡선 $X$ 위에서 연속 함수이며, 제어 그래프 $\Gamma_S(\mathscr{F})$는 국소적으로 유한하고 연결된 그래프이다.
• 모듈 $\mathscr{F}(X)$와 $\mathscr{F}'(X)$ 위의 노름oid 프레셰 구조는 감소하는 아핀이드 이웃의 역극한과 호환되며, 위상적 일관성을 보장한다.
• 절단 맵은 노름oid 프레셰 공간의 범주에서 동형사상을 유도하며, 접속 $\nabla_X$는 $K$-선형 수축이다.