[논문 리뷰] André-Oort for a Nonholomorphic Modular Function

Haden Spence|arXiv (Cornell University)|2016. 07. 13.

Advanced Topology and Set Theory참고 문헌 7인용 수 4

한 줄 요약

이 논문은 거의 해석적 모듈라 함수 $\chi^*$에 대해 André-Oort 추측의 유사판을 수립하며, 이는 쿼시모듈라 함수 $\chi$와 그 쌍대 $\chi^*$에 대한 Ax-Lindemann 유형 결과를 사용한다. o-minimality와 점 수세기 기법을 결합하여, $\Delta^{2n}$의 임의의 부분다양체가 최대한의 $(j,\chi^*)$-특별 부분다양체를 유한 개만 포함함을 증명하며, 고전적 모듈라 André-Oort 정리의 해석적 함수가 아닌 모듈라 설정으로의 확장이다.

ABSTRACT

The modular case of the André-Oort Conjecture is a theorem of Andre and Pila, having at its heart the well-known modular function j. I give an overview of two other `nonclassical' classes of modular function, namely the quasimodular (QM) and almost holomorphic modular (AHM) functions. These are perhaps less well-known than j, but have been studied by various authors including for example Masser, Shimura and Zagier. It turns out to be sufficient to focus on a particular QM function $χ$ and its dual AHM function $χ^*$, since these generate the relevant fields. After discussing some of the properties of these functions, I go on to prove some Ax-Lindemann results for $χ$ and $χ^*$. I then combine these with a fairly standard method of o-minimality and point counting to prove the central result of the paper; a natural analogue of the modular André-Oort conjecture for the function $χ^*$.

연구 동기 및 목표

• 고전적 $j$-함수를 초월하여 비해석적 모듈라 함수를 포함하는 설정으로 André-Oort 추측을 확장하는 것.
• 쿼시모듈라 함수 $\chi$와 그 쌍대인 거의 해석적 모듈라 함수 $\chi^*$에 대해 Ax-Lindemann 유형 결과를 수립하는 것.
• 임의의 $\mathbb{C}^{2n}$의 부분다양체가 최대한의 $(j,\chi^*)$-특별 부분다양체를 유한 개만 포함함을 증명하여, 고전적 모듈라 André-Oort 정리의 일반화를 이루는 것.
• $j$가 비해석적 모듈라 함수인 $\chi^*$와 조합되었을 때도 유한성 결과가 성립함을 보여주는 것.

제안 방법

• 논문은 $\mathrm{GL}_2^+(\mathbb{Q})$의 적절한 $g$에 대해 $\Psi_N(\chi^*(g\tau), j(\tau), \chi^*(\tau)) = 0$을 만족하는 모듈라 다항식 $\Psi_N \in \mathbb{Q}[X,Y,Z]$를 구성하여, 고전적 $\Phi_N$의 $j$에 대한 일반화를 이룬다.
• $(j,\chi^*)$-특별 부분다양체는 $\Psi_N(z_i, z_j, z_k) = 0$과 $z_i = j(\tau_i)$, $z_j = \chi^*(\tau_i)$를 만족하는 방정식들로 잘린 다양체의 기약 성분으로 정의된다. 여기서는 특수 모듈라 값과 지오데식 관계를 포함한다.
• 증명은 Pila와 Zannier의 전략을 따르며, o-minimality와 점 수세기 기법을 사용하여 특수 점들이 부분다양체에 밀도적으로 분포하는 것을 통제한다.
• 논문은 $\chi$와 $\chi^*$에 대해 Ax-Lindemann 유형 결과를 증명하여, $\mathcal{H}^n$의 대수적 부분다양체가 주어진 $V \subseteq \mathbb{C}^{2n}$로 매핑될 경우, 약한 $\mathcal{H}$-특별 다양체의 유한한 번역으로 기인함을 보여준다.
• 핵심 단계는 $\pi^{-1}(V)$의 모든 최대한의 약한 $\mathcal{H}$-특별 부분다양체가 유한한 수의 기본 $\mathcal{H}$-특별 다양체의 이동으로 표현됨을 보이는 것으로, Pila의 보조정리 10.2와 유사한 결과를 사용한다.
• 귀납적 추론을 사용하여, 기본 $(j,\chi^*)$-특별 부분다양체의 이동을 분석하고 가능한 이동 매개변수의 다양체에 대해 귀납 가정을 적용함으로써 문제를 낮은 차원의 경우로 축소한다.

실험 결과

연구 질문

• RQ1 비해석적 모듈라 함수인 $\chi^*$를 포함하는 설정으로 André-Oort 추측을 확장할 수 있는가?
• RQ2 쿼시모듈라 함수 $\chi$와 그 쌍대 $\chi^*$에 대해 Ax-Lindemann 유형 결과가 성립하는가?
• RQ3 모듈라 다항식 $\Psi_N$을 통해 정의된 $(j,\chi^*)$-특별 부분다양체는 $\mathbb{C}^{2n}$의 부분다양체 내에서 충분히 구조화되어 있어 유한성을 보장하는가?
• RQ4 o-minimality와 점 수세기 기법을 사용하여 주어진 다양체 $V \subseteq \mathbb{C}^{2n}$ 내에서 최대한의 $(j,\chi^*)$-특별 부분다양체의 유한성이 증명될 수 있는가?

주요 결과

• 논문은 임의의 부분다양체 $V \subseteq \mathbb{C}^{2n}$에 대해 최대한의 $(j,\chi^*)$-특별 부분다양체가 유한 개임을 증명하여, 모듈라 André-Oort 추측의 비해석적 유사판을 수립한다.
• 논문은 $\chi$와 $\chi^*$에 대해 Ax-Lindemann 유형 결과를 수립하여, $\mathcal{H}^n$의 대수적 부분다양체가 $V$로 매핑될 경우, 유한한 번역의 기본 $\mathcal{H}$-특별 다양체에 포함됨을 보여준다.
• 모듈라 다항식 $\Psi_N$은 명시적으로 구성되며, $g \in \mathrm{GL}_2^+(\mathbb{Q})$의 행렬식이 $N$일 때 $\Psi_N(\chi^*(g\tau), j(\tau), \chi^*(\tau)) = 0$을 만족한다. 이는 고전적 $\Phi_N$의 $j$에 대한 일반화이다.
• 증명은 기본 $(j,\chi^*)$-특별 부분다양체의 이동 매개변수의 유한성에 기반한 귀납적 추론을 사용하여 문제를 낮은 차원의 경우로 축소한다.
• 결과는 $\mathbb{C}^n$ 내의 $\chi^*$-특별 부분다양체도 자연스러운 임bedding을 통해 $\mathbb{C}^{2n}$에 포함되므로, 역시 수가 유한함을 시사한다.
• 핵심 기술적 혁신은 $\chi^*$의 비해석적 설정에 o-minimality와 점 수세기 프레임워크를 적응시켜 André-Oort 정리의 적용 범위를 확장한 데 있다.