[논문 리뷰] Two dimensional neighborhoods of elliptic curves: formal classification and foliations

Frank Loray, Olivier Thom외 1명|arXiv (Cornell University)|2017. 04. 18.

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

한 줄 요약

이 논문은 정수 부분을 가진 타원곡선 $C$의 두 차원 이웃 분야를 형식적 등형에 대해 공식적으로 분류한다. 이는 $C$에 탄성된 형식적 분할의 붓형으로 이루어지며, 핵심 결과는 이러한 이웃 분야가 형식적 분할 쌍의 호로노미에 의해 완전히 결정되며, 각 형식적 모델에 대해 분석적 등형 클래스의 모듈리 공간이 무한 차원이라는 것이다.

ABSTRACT

We classify two dimensional neighborhoods of an elliptic curve C with torsion normal bundle, up to formal equivalence. The proof makes use of the existence of a pair (indeed a pencil) of formal foliations having C as a common leaf, and the fact that neighborhoods are completely determined by the holonomy of such a pair. We also discussanalytic equivalence and show, for each formal model, that the corresponding moduli space is infinite dimensional.

연구 동기 및 목표

• 정수 부분을 가진 타원곡선 $C$의 두 차원 이웃 분야를 형식적 등형에 대해 분류하기.
• 분할이 이러한 이웃 분야의 구조를 결정하는 데 미치는 역할 이해하기.
• 분석적 분류를 분석하고, 이에 대응하는 모듈리 공간이 무한 차원임을 보여주기.
• 특히 비정수 부분의 경우 디오판틴 조건이 분석적 선형화를 지배하는 것과 대비하여, 정수 부분의 경우 선형화 가능성에 관한 기존 결과를 확장하기.
• 이중분할된 구조를 통해 호로노미 표현, 미분형 근방, 이웃 분야의 기하학 간의 상호작용 조사하기.

제안 방법

• 공통된 리프 $C$를 가진 형식적 분할 $\hat{\mathcal{F}}_t$의 붓형을 사용하기.
• 이웃 분야가 이러한 분할 쌍의 호로노미에 의해 완전히 결정된다는 사실을 활용하기.
• 일차원 동역학 이론(Yoccoz, Pérez-Marco)을 적용하여 호로노미 표현 $\pi_1(C) \to \mathrm{Diff}(\mathbb{C},0)$ 분석하기.
• 형식적 불변량 $\lambda$와 $\Lambda$로 매개변수화된 형식적 모델 $U_{\lambda,\Lambda}$ 구축하기. 여기서 $k = \mathrm{utype}(U,C)$는 접촉의 차수를 제어한다.
• 차수 $k+1$인 다항식 미분형 근방 $\phi \in \mathrm{Diff}(\mathbb{C},0)$를 통한 공액성으로, 호로노미를 차수 $k$까지 일치시키기.
• 특히 $q = 2,3,4,6$인 경우, $\mathrm{Aut}(C)$의 작용이 정규형에 미치는 영향 분석하기. 대칭에 기인한 등형 관계 기술하기.

실험 결과

연구 질문

• RQ1 정수 부분을 가진 타원곡선의 두 차원 이웃 분야는 어떻게 형식적으로 분류할 수 있는가?
• RQ2 형식적 분할의 붓형이 이러한 이웃 분야의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ3 형식적 이웃 분야가 그 선형 모델과 분석적으로 등형일 조건은 무엇인가?
• RQ4 이러한 이웃 분야의 분석적 등형 클래스의 모듈리 공간의 구조는 어떠한가?
• RQ5 타원곡선의 기본군의 호로노미 표현은 이웃 분야의 분류와 변형에 어떻게 관련되는가?

주요 결과

• 정수 부분을 가진 이웃 분야의 형식적 분류는 공통 리프 $C$를 가진 형식적 분할 쌍의 호로노미에 의해 완전히 결정된다.
• 각 형식적 모델에 대해, Yoccoz의 방법을 통해 임의의 호로노미 표현을 실현함으로써, 분석적 등형 클래스의 모듈리 공간이 무한 차원임을 보였다.
• 정수 부분이면서 두 분할 $\mathcal{F}_{t_1}, \mathcal{F}_{t_2}$가 수렴하는 경우, 호로노미 표현의 독립적 변형을 통해 모듈리 공간을 명시적으로 묘사할 수 있다.
• $\mathrm{Aut}(C)$의 작용은 형식적 모델에 의해 정규형 간의 미분형을 유도하며, 명시적 공액성 사상 $ (x,y) \mapsto (-x, \xi y) $, $ \xi^k = -1 $을 통해 Ueda 유형을 유지한다.
• 예외적인 경우 $q = 3,4,6$에서는 공액성 사상이 더 복잡하지만, 이중분할 방법을 통해 등형 정규형을 여전히 묘사할 수 있다.
• 논문은 형식적 등형에 대해 완전한 분류를 확립하였으며, 단순한 모노드로미 데이터와 형식적 불변량 $\lambda, \Lambda$로 매개변수화된 명시적 정규형 $U(a_1,a_\tau,\lambda,\Lambda)$를 제공한다.