[논문 리뷰] On Artin L-functions and Gassmann Equivalence for Global Function Fields

Pavel Solomatin|arXiv (Cornell University)|2016. 10. 18.

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

한 줄 요약

이 논문은 아르틴 L함수의 유도 표현을 이용하여 산술적으로 동치인 전역 함수체에 대한 기준을 수립한다. 이를 통해 펄리스의 정리를 함수체로 일반화한다. 두 함수체가 산술적으로 동치임은 유도 표현과 관련된 아르틴 L함수가 일치함과 동치임을 증명하며, 이는 유한한 L함수 목록을 통해 비동형인 함수체를 구별하는 방법을 제공하고, 타원곡선의 토크션 점을 이용하여 예시를 구성한다.

ABSTRACT

In this paper we present an approach to study arithmetical properties of global function fields by working with Artin L-functions. In particular we recall and then extend a criteria of two function fields to be arithmetically equivalent in terms of Artin L-functions of representations associated to the common normal closure of those fields. We provide few examples of such non-isomorphic fields and also discuss an algorithm to construct many such examples by using torsion points on elliptic curves. Finally, we will show how to apply our results in order to distinguish two global fields by a finite list of Artin L-functions.

연구 동기 및 목표

• 산술적으로 동치인 수체에 대한 펄리스의 정리를 아르틴 L함수를 이용해 전역 함수체로 일반화한다.
• 유도 표현의 아르틴 L함수의 등식에 기반한 함수체의 산술적 동치에 대한 기준을 제시한다.
• 타원곡선의 토크션 점을 이용해 비동형이지만 산술적으로 동치인 함수체의 구체적 예를 구성한다.
• 임의의 두 전역 함수체를 구별하기 위해 유한한 아르틴 L함수 목록이 충분함을 보인다.

제안 방법

• 두 함수체 $K$와 $K'$의 갈루아 코어 $N$을 $\mathbb{F}_q(x)$ 위에서 고려하고, 갈루아 군 $G=\operatorname{Gal}(N/\mathbb{F}_q(x))$를 정의한다.
• $H=\operatorname{Gal}(N/K)$와 $H'=\operatorname{Gal}(N/K')$를 정의하고, 복소수 표현 $\alpha$와 $\alpha'$에 대해 유도 표현 $\psi = \operatorname{Ind}^G_H(\alpha)$와 $\psi' = \operatorname{Ind}^G_{H'}(\alpha')$를 고려한다.
• 모든 기약 표현 $\rho_i$에 대해 아르틴 L함수의 등식 $L_K(\alpha \otimes \rho_i|_H) = L_{K'}(\alpha' \otimes \rho_i|_{H'})$와 Gassmann 삼중조합 조건 사이의 동치성을 확립한다.
• 사실상의 체계 이론을 적용하여 특정 소수에서 분지하는 차수 $l$의 순환 확장을 구성한다. 이는 레이 클래스군과 차수 $l-1$로 나누어지는 소수의 노름을 이용한다.
• $N$과 적절한 $l$-확장을 포함하는 $K$의 합성체를 통해 $F=\mathbb{F}_q(t)$ 위에 갈루아 확장 $M$을 구성한다. 이때 $\operatorname{Gal}(M/F) \simeq C_l^n \rtimes G$가 된다.
• 스푸어–자센하우스 정리를 적용하여 확장이 분해됨을 보이고, 준직접곱의 구조를 보장하며, $N$ 위에서의 $C_l$-확장들이 선형적으로 분리됨을 검증한다.

실험 결과

연구 질문

• RQ1 전역 함수체의 산술적 동치는 유도 표현의 아르틴 L함수의 등식으로 특징지을 수 있는가?
• RQ2 함수체에서 디데킨트 제타함수가 분할 유형을 감지하지 못하는 데서 기인하는 문제는 등치 기준을 위한 보다 다른 L함수가 필요한가?
• RQ3 타원곡선의 토크션 점을 이용해 비동형 함수체를 체계적으로 구성할 수 있는가?
• RQ4 임의의 두 비동형 전역 함수체를 구별하기 위해 유한한 아르틴 L함수 목록이 충분한가?
• RQ5 함수체 설정에서 Gassmann 삼중조합 조건은 L함수의 등식과 어떻게 관련되는가?

주요 결과

• 논문은 두 함수체 $K$와 $K'$가 산술적으로 동치임은 갈루아 군 $G$의 모든 기약 표현 $\rho_i$에 대해 $L_K(\alpha \otimes \rho_i|_H) = L_{K'}(\alpha' \otimes \rho_i|_{H'})$임과 동치임을 증명한다.
• 이 기준은 나가타의 결과를 일반화하여, 자명한 표현에서부터 임의의 복소수 표현 $\alpha$와 $\alpha'$까지의 부분군 $H$와 $H'$로 확장한다.
• 저자들은 $\mathbb{F}_q$ 위에서 타원곡선의 토크션 점을 이용하여 무한히 많은 비동형이지만 산술적으로 동치인 함수체 쌍을 구성한다.
• 임의의 두 비동형 전역 함수체를 구별하기 위해 유한한 아르틴 L함수 목록이 충분하며, 이는 산술적 동치의 완전한 불변량을 제공한다.
• 갈루아 확장 $M$의 구성에서 $\operatorname{Gal}(M/F) \simeq C_l^n \rtimes G$는 차수 $l-1$로 나누어지는 소수를 선택하고, 레이 클래스군 내의 $l$-부분군 존재성을 보장하기 위해 사실상의 체계 이론을 적용한다.
• $NL^{\sigma_i}/N$의 $C_l$-확장들이 갈루아 군 $G$ 작용 하에서 다른 분지 행동을 보임으로써 선형적으로 분리됨이 입증되며, 이는 준직접곱의 구조를 보장한다.