[논문 리뷰] An alternative description of the Drinfeld p-adic half-plane

Stephen S. Kudla, Michael Rapoport|arXiv (Cornell University)|2011. 08. 29.

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

한 줄 요약

이 논문은 $p$-진 수체 $F$ 위에서 드린펠트 $p$-진 상반평면의 모듈리 이론적 기술을 대체로 제시한다. 이를 위해 $E/F$의 이차 확장에서 정수환을 가진 $O_E$-모듈의 계량적 구조와 함께, $\mathrm{SL}_2(F)$와 $\mathrm{SU}(C)(F)$ 사이의 뜻밖의 동형사상(accidental isomorphism)을 활용하여, 이 형식적 모델이 $O_E$-모듈의 계량적 구조를 갖는 모듈리 문제를 나타냄을 보인다. 주요 결과는 $p \neq 2$일 때 이 새로운 모듈리 문제와 드린펠트의 원래 모듈리 문제 사이의 비교 동형사상이다.

ABSTRACT

We show that the Deligne formal model of the Drinfeld p-adic halfplane relative to a non-archimedean local field F represents a moduli problem of polarized O_F-modules with an action of the ring of integers O_E in a quadratic extension E of F. The proof proceeds by establishing a comparison isomorphism with the Drinfeld moduli problem. This isomorphism reflects the accidental isomorphism of SL_2(F) and SU(C)(F) for a two-dimensional split hermitian space C for E/F.

연구 동기 및 목표

• 드린펠트 $p$-진 상반평면의 델리 형식적 모델이 $p$-진 체 $F$ 위에서 어떻게 기술될 수 있는가를 새로운 모듈리 이론적 해석을 제공하기 위해.
• 이 형식적 모델이 $O_E$-모듈의 계량적 구조와 $E/F$의 이차 확장에서 정수환의 작용을 만족하는 Kottwitz 조건을 갖는다는 것을 보여주기 위해.
• 이 새로운 모듈리 문제와 드린펠트의 원래 모듈리 문제 사이의 동형사상을 확립하기 위해 (형식적 $O_F$-모듈의 쿼aternionic 작용을 갖는).
• 브루하트-티츠 트리와 국소 모델을 통해 형식적 모델의 특수 섹션의 기하학적 및 산술적 구조를 명확히 하기 위해.
• 특히 비분리 및 분리된 경우에 대해, 이러한 모듈리 공간의 분류에서 계량 유형과 프레임 오브젝트의 역할을 탐색하기 위해.

제안 방법

• 형식적 $O_F$-모듈의 차원 2와 $F$-높이 4를 갖는 형식적 $O_F$-모듈의 쌍대 모듈러스 함수수 $\mathcal{N}_E$를 $\mathrm{Nilp}_{\breve{O}_F}$ 위에서 정의한다. 이는 $X$가 형식적 $O_F$-모듈이며, $\iota$는 Kottwitz 조건을 만족하는 $O_E$-작용이다: $\mathrm{char}_{\mathcal{O}_S}(T, \iota(\alpha)|\mathrm{Lie}\,X) = (T - \alpha)(T - \bar{\alpha})$.
• 분해가 $E/F$의 성격에 따라 다르게 결정되는 주된 또는 높이 1의 계량 $\lambda$를 부여하고, 고정된 기저 오브젝트 $({\mathbb{X}}, \iota, \lambda_{\mathbb{X}})$에 대한 프레임 $\varrho$를 사용한다.
• 2차원 분리 헤르미트 공간 $C$에 대해 $\mathrm{SL}_2(F) \cong \mathrm{SU}(C)(F)$라는 뜻밖의 동형사상을 통해 $\mathcal{N}_E$와 드린펠트의 모듈리 공간 $\mathcal{M}$ 사이의 비교 동형사상을 구성한다.
• 국소 모델 이론과 크리스탈린 디외도네 이론을 활용하여 특수 섹션을 분석하고, 형식적 모델 $\mathcal{N}_E$가 $\breve{O}_F$ 위에서 드린펠트 상반평면과 동형임을 보인다.
• 특수 섹션의 구조를 $F^2$ 내의 $O_F$-격자들의 동치류에 따라 인덱싱된 프로젝티브 직선들의 합집합으로 분석하고, 이들의 교차 패턴이 브루하트-티츠 트리 $\mathcal{B}(\mathrm{PGL}_2, F)$와 일치함을 보인다.
• 분리 및 비분리의 경우에 따라 $E/F$의 분리 정도에 따라 다양한 경우를 구분하고, 모듈리 공간이 대부분의 경우에 평탄하고 비정칙임을 보이며, 준안정 환원을 갖는다.

실험 결과

연구 질문

• RQ1 드린펠트 $p$-진 상반평면은 $E/F$의 이차 확장에 대해 헤르미트 구조를 갖는 $O_E$-모듈의 모듈리 공간으로 기술될 수 있는가?
• RQ2 분리된 헤르미트 공간 $C$에 대해 $\mathrm{SL}_2(F)$와 $\mathrm{SU}(C)(F)$ 사이의 뜻밖의 동형사상은 서로 다른 모듈리 문제 사이의 동치를 어떻게 유도하는가?
• RQ3 형식적 모듈리 공간 $\mathcal{N}_E$를 정의하는 데 있어 프레임 오브젝트 $({\mathbb{X}}, \iota, \lambda_{\mathbb{X}})$의 역할은 무엇이며, 그 선택은 모듈리 공간의 기하학적 성질에 어떻게 영향을 미치는가?
• RQ4 다른 계량 유형(주된, 높이 1, 또는 $X[\Pi]$)은 어떻게 다른 모듈리 공간을 이끌어내며, 이들의 기하학적 성질(예: 정칙성, 축약된 국소성 등)은 비분리 및 분리된 경우에 어떻게 달라지는가?
• RQ5 모듈리 공간 $\mathcal{N}_E$의 특수 섹션은 $\mathrm{PGL}_2(F)$의 브루하트-티츠 트리 패턴을 따르는 프로젝티브 직선들의 합집합으로 기술될 수 있는가?

주요 결과

• 형식 스킴 $\breve{\Omega}_F$ 는 $O_E$-모듈의 계량적 구조를 갖는 $O_E$-작용을 만족하고 Kottwitz 조건을 만족하며 고정된 기저 오브젝트에 대한 프레임을 갖는 모듈리 공간 $\mathcal{N}_E$와 동형이다.
• 모듈리 공간 $\mathcal{N}_E$와 드린펠트의 원래 모듈리 공간 $\mathcal{M}$ 사이의 동형사상은 $E/F$ 위의 2차원 분리 헤르미트 공간 $C$에 대해 $\mathrm{SL}_2(F) \cong \mathrm{SU}(C)(F)$라는 뜻밖의 동형사상에 의해 유도된다.
• 비분리된 경우, 모듈리 공간 $\mathcal{N}_E$ 는 평탄하고 비정칙이며, 특수 섹션은 브루하트-티츠 트리 $\mathcal{B}(\mathrm{PGL}_2, F)$ 와 동형이며, 축약된 국소성은 단일 점이다.
• 분리된 경우, 모듈리 공간 $\mathcal{N}_E$ 역시 평탄하고 비정칙이며, 특수 섹션은 $F^2$ 내의 $O_F$-격자들의 동치류에 따라 인덱싱된 프로젝티브 직선들의 합집합이며, 교차 패턴은 브루하트-티츠 트리와 일치한다.
• 비분리된 설정에서 주된 계량의 경우, 두 개의 서로 다른 프레임 오브젝트는 서로 다른 모듈리 공간을 이끈다: 하나는 단일 축약된 점(비등방성 케이스)을 갖고, 다른 하나는 매끄러운 부분과 고립된 점들의 분리된 합집합(분리 케이스)을 갖는다. 이들은 크리스탈린 판별식에 의해 구분된다.
• 국소 모델 이론은 모든 경우에 모듈리 공간이 준안정 환원을 갖는다는 것을 확인하며, 비분리된 경우의 고립된 점들은 기존의 국소 모델 연구에서 예상되는 대로 스피너 조건을 위반한다.