[논문 리뷰] $D$-Elliptic Sheaves and Uniformisation

Lenny Taelman|ArXiv.org|2005. 12. 08.

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

한 줄 요약

이 논문은 함수체 위에서 $\mathcal{D}$-타원곡선의 모듈리 공간들을 대칭 공간 $\Omega^d(\mathbf{C})$ 에 대한 산술군의 몫으로서 표현함으로써, 양의 특성에서의 슈이마 유형 다양체의 더 넓은 범주로 드린펠트의 모듈러 곡선에 대한 균일화를 확장하는 해석적 균일화를 수립한다.

ABSTRACT

An analytic uniformisation of the varieties of Laumon, Rapoport and Stuhler at the infinite place is presented. This can be seen as the function field analog to the uniformisation of Shimura varieties classifying Abelian varieties with large endomorphism rings.

연구 동기 및 목표

• 기존에 알려진 대수적 모듈리 해석을 보완하는, $\mathcal{D}$-타원곡선의 모듈리 공간에 대한 해석적, 균일화 기반 기술 제공.
• 상반평면을 통한 고전적 모듈러 곡선의 균일화를, 함수체 위의 중심 단순 대수로부터 유도되는 고차원 모듈리 공간으로 확장.
• 라우문–라포포르트–슈틀러의 대수적 모듈리 공간과 해석적 구조 사이의 격차를 메우기 위해 무한대 자리에서의 균일화를 구축.
• 드린펠트의 모듈러 다양체에 대한 균일화를 분할 대수와 임의의 수준 구조로 일반화.
• 모듈리 공간의 해석적 변환과 산술군에 의한 대칭 공간 몫 사이의 강한 해석적 동형을 수립.

제안 방법

• 카테고리 동치를 통해 $\mathcal{D}$-타원곡선이 특수한 클래스의 앤더슨 $A$-모티브와 대응됨을 보임.
• 이 앤더슨 $A$-모티브가 균일화 가능하다는 것을 증명함, 즉 $\mathbf{C}^d$ 내의 격자에 의한 벡터 공간의 몫과 동형임을 보임.
• 균일화로부터 유도되는 격자의 클래스를, $\mathrm{GL}_d(F_\infty)$ 에 대한 대칭 공간인 $\Omega^d(\mathbf{C})$ 와 대응되는 것으로 확인.
• $A$-모티브의 균일화를 이용하여 $\mathcal{D}$-타원곡선 모듈리 공간에서 이중 코셋 공간 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$ 로의 사상 구축.
• $\mathbf{C}$-점에서의 전단사 사상과 기하학적 기하학적 성질(기약성)을 이용하여, 모듈리 공간의 해석적 변환과 몫 공간 사이의 자연스러운 강한 해석적 동형을 확립.
• 이deals $I$ 로 정의된 수준 구조를 사용하여 자유 $\mathcal{D}$-타원곡선에 대응하는 열린 및 닫힌 부분공간으로 결과를 일반화.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\mathcal{D}$-타원곡선은 고전적 모듈러 곡선의 균일화와 유사한 해석적 균일화를 가질 수 있는가?
• RQ2 모듈리 공간에서 유도된 앤더슨 $A$-모티브의 균일화는 $\mathbf{C}$ 위에서의 대칭 공간 기하학과 어떻게 관련되는가?
• RQ3 모듈리 공간의 해석적 구조는 무한대 자리에서 어떻게 구성되며, 대수적 모듈리 공간과 비교해 볼 때 어떤가?
• RQ4 수준 구조가 있는 경우 균일화가 어떻게 일반화되며, 산술 부분군은 어떤 역할을 하는가?
• RQ5 사실, 허미션 대수의 경우 균일화가 알려진 무미트 곡선과 종수 계산 결과를 어떻게 복원하는가?

주요 결과

• 모듈리 공간 $\mathcal{E}\ell\ell_{X,\mathcal{D},A}(\mathbf{C})$ 의 해석적 변환은 강한 해석적 공간 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$ 와 동형이다.
• 자유 $\mathcal{D}$-타원곡선의 경우, $\mathcal{E}\ell\ell^0_{X,\mathcal{D},I}(\mathbf{C})$ 의 해석적 변환은 $G(I)\backslash\Omega^d(\mathbf{C})$ 와 동형이며, 여기서 $G(I)$ 는 $O_D^*$ 의 부분군으로서 $I$ 모듈로 1로 감소하는 것이다.
• 만약 $D = \mathrm{M}(d,F)$ 이면, 결과는 [3] 에서 확립된 드린펠트 모듈러 다양체의 균일화를 복원하며, 알려진 사례와의 일致성을 확인한다.
• 무한대에서 비분할된 허미션 대수의 경우, 모듈리 공간은 $\mathbf{C}$ 위에서의 매끄럽고 완비된 곡선으로, $\Omega^2 \subset \mathbb{P}^1(\mathbf{C})$ 의 산술군에 의한 몫으로 균일화된다.
• 이 곡선의 종수는 균일화 군의 아벨화의 계수와 같으며, 더 큰 군이 종수 0 몫을 가지는 것으로 알려져 있을 경우, 분할 데이터를 통해 계산할 수 있다.
• 균일화가 대수적 모듈리 구조와 호환되며, $\mathbf{C}$-점에 유도된 사상이 전단사이고, 두 공간이 모두 기하학적으로 기하학적 기하학적 성질을 가지므로, 강한 해석적 공간의 동형이 성립한다.