[논문 리뷰] Drinfeld modular curves have many points

Lenny Taelman|ArXiv.org|2006. 02. 08.

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

한 줄 요약

이 논문은 소 아이디얼에 대한 드리플레인 모듈라 곡선의 환원이 유한체 위에서 점 수를 점점 최적화된 수준으로 달성함을 증명한다. 이는 고전적 모듈라 곡선에 대한 이하라의 결과를 확장한 것으로, 드리플레인 모듈라 설정으로 이하라의 추적 추론을 적응시켜, $X_0(\mathfrak{n})$을 $\mathfrak{p}$로 환원한 곡선이 $\mathbb{F}_{q^{2m}}$ 위에서 최소 $(q^m - 1)(g - 1)$개의 유리점이 있음을 보이며, 여기서 $q^m$은 $\mathfrak{p}$의 잔여체의 크기이다. 이는 점 수가 점점 최대화되는 명시적 곡선의 탑을 구성한다.

ABSTRACT

Ihara's proof that the reduction of the modular curve $X_0(n)$ at a prime $p$ not dividing $n$ has many points over a quadratic extension is adapted to the drinfeld modular curves $X_0(n)$. In order to do so, some properties of drinfeld modular varieties that have no proof in the literature are proven. The text is more or less self-contained.

연구 동기 및 목표

• 소 아이디얼에 대한 드리플레인 모듈라 곡선의 환원이 고전적 모듈라 곡선에 대한 이하라의 결과와 유사하게, 유한체 위에서 점점 최적화된 수의 유리점을 달성함을 확립하는 것.
• 기존에 문헌에서 완전한 기초 이론이 부족한 드리플레인 모듈라 곡선의 맥락으로 이하라의 추적 추론 기법을 확장하는 것.
• 점 수가 점점 최대화되는 증가하는 계수를 가진 유한체 위의 곡선 탑을 명시적으로 구성함으로써, 많은 점을 가진 곡선의 새로운 예를 제공하는 것.
• 주요 결과를 뒷받기기 위해 수준 구조, 모듈러 함수자, 콪팩티피케이션을 포함한 드리플레인 모듈라 곡선의 필요 이론을 개발하는 것.

제안 방법

• 이소지와 프로베누스 트위스트를 통해 $X_0(\mathfrak{n}\mathfrak{p})$에서 $X_0(\mathfrak{n})$으로 향하는 두 사상의 구축을 통해, 드리플레인 모듈라 곡선에 이하라의 추적 방법을 적응시킨다.
• $\mathfrak{p}$로 환원된 곡선에서 프로베누스 자기사상 $\tau^m$의 작용을 이용해, $\Bbbk(\mathfrak{p})$ 위의 곡면 $X_0(\mathfrak{n}) \times X_0(\mathfrak{n})$에 대한 대칭 $\Pi \cup \Pi^t$를 정의한다.
• $\mathbb{F}_{q^{2m}}$-유리점의 집합을 $\Pi \cap \Pi^t$로 식별하며, 이는 $\tau^m \circ \tau^m$에 대한 고정점에 대응한다.
• 허리츠 공식과 오일러-파oin카레 특성치 계산을 적용하여 덮개 곡선 $\tilde{T}$의 계수를 $\Pi \cap \Pi^t$ 내의 특수점의 수와 연결하며, 이는 유리점과의 일대일 대응을 이룬다.
• 계수 공식 $g_0 - 1 = 2(g - 1) + \#\{\text{특수점}\}$을 사용하여, 유리점의 수가 $(q^m - 1)(g - 1)$ 이하로 떨어지지 않음을 증명한다. 여기서 $g$는 곡선의 계수이고 $q^m = |\Bbbk(\mathfrak{p})|$이다.
• 모듈러 공간 $X_0(\mathfrak{n})$이 랭크 2의 드리플레인 $\mathbf{A}$-모듈러스를 $\Gamma_0(\mathfrak{n})$-수준 구조와 함께 매개함을 보이며, 그 $\mathfrak{p}$로의 환원은 매끄럽고 기하학적으로 기약임을 증명한다.

실험 결과

연구 질문

• RQ1 이하라의 모듈라 곡선에 대한 유리점 수를 제한하는 방법을 드리플레인 모듈라 곡선으로 확장할 수 있는가?
• RQ2 소 아이디얼에 대한 드리플레인 모듈라 곡선의 환원이, $\mathbb{F}_q$ 위에서 점 수에 대해 $(\sqrt{q} - 1 + o(1))g$의 점점 최적화된 경계를 달성하는가?
• RQ3 $\mathfrak{p}$의 잔여체 크기가 $q^m$인 소 $\mathfrak{p}$에 대해 $X_0(\mathfrak{n})$의 환원에서 $\mathbb{F}_{q^{2m}}$-유리점의 정확한 수는 얼마인가?
• RQ4 드리플레인 모듈라 곡선의 기하학적 및 산술적 성질—예를 들어 수준 구조와 이소지—는 점 수가 많은 곡선의 구성에 어떻게 기여하는가?
• RQ5 $\Pi \cap \Pi^t$의 특수점은 오일러-파oin카레 특성치를 통해 유리점 수를 세는 데 어떤 역할을 하는가?

주요 결과

• $X_0(\mathfrak{n})$의 소 아이디얼 $\mathfrak{p}$에 대한 환원은 $\mathbb{F}_{q^{2m}}$ 위에서 최소 $(q^m - 1)(g - 1)$개의 유리점을 가지며, 여기서 $q^m = |\Bbbk(\mathfrak{p})|$이고 $g$는 곡선의 계수이다.
• 유리점의 수는 $(q^m - 1)(g - 1)$ 이하로 떨어지지 않으며, 이는 $q^m$이 제곱수일 경우 드리플레인–플라드트 경계에서 예측된 점점 최적화된 경계와 일치한다.
• 핵심 기하학적 대상은 $X_0(\mathfrak{n}) \times X_0(\mathfrak{n})$ 위의 대칭 $\Pi \cup \Pi^t$이며, 이는 $\tau^m \circ \tau^m$에 대한 고정점에 대응하는 $\mathbb{F}_{q^{2m}}$-유리점으로서 기능한다.
• $\tilde{T}$의 계수는 $g_0 - 1 = 2(g - 1) + \#\{\text{특수점}\}$를 만족하며, 이 등식은 유리점 수의 하한을 유도하는 데 사용된다.
• 이 증명은 $T$에서 $X_0(\mathfrak{n})$으로 향하는 두 사영 사상의 차수 $q^m + 1$이 핵심적으로 중요하며, 허리츠 공식 적용에 필수적이다.
• 이 구성은 점점 최대화된 점 수를 가지며 증가하는 계수를 가진 $\mathbb{F}_{q^{2m}}$ 위의 곡선 탑을 제공하며, 최적의 곡선에 대한 새로운 명시적 예를 제공한다.