[논문 리뷰] Arithmetic of function field units

Bruno Anglès, Floric Tavares Ribeiro|arXiv (Cornell University)|2015. 06. 20.

Advanced Differential Equations and Dynamical Systems인용 수 1

한 줄 요약

이 논문은 드리니히 모듈러와 일반적인 변형 기법을 사용하여 함수체의 단위 모듈러에 대한 그린버그 추측의 이산적 대응을 수립한다. 다차원 타인 대수 위에서 테르만의 클래스 모듈러에 대한 가짜 순환성과 가짜 영성 결과를 증명하며, 이 모듈러의 구조가 함수체 설정에서 고전적 아이와사와 이론과 유사함을 보이며, 앤더슨-탁어 특수 함수를 통한 L함수의 특수값과의 명시적 연결을 제시한다.

ABSTRACT

We prove a "discrete analogue" for Taelman's class modules of certain Conjectures formulated by R. Greenberg for cyclotomic fields.

연구 동기 및 목표

• 수체의 원분 Zp-확장에 대해 처음으로 제기된 그린버그 추측을 수체 설정으로 확장한다.
• 다차원 타인 대수 위에서 일반적인 변형을 사용하여 원분 함수체에 대한 테르만의 클래스 모듈러의 구조를 연구한다.
• 드리니히 모듈러와 함수체 클래스 모듈러의 맥락에서 가짜 순환성과 가짜 영성의 대응을 수립한다.
• 앤더슨-탁어 특수 함수를 통한 L함수의 특수값과 이 클래스 모듈러의 모듈러 구조를 연결한다.

제안 방법

• A[t1,…,tn] 위에서 정의된 드리니히 모듈러 φ를 사용하여 n개의 변수를 파arameter로 하는 타인 대수 Tn(K♭) 위에 일반 클래스 모듈러 Hn을 구성한다.
• φ에 관련된 지수 함수 expϕ를 사용하여 Hn을 타인 대수를 expϕ의 상과 A[t1,…,tn]에 대한 몫으로 정의한다.
• Fq̄의 n개 원소의 n-튜플에 대한 평가 사상들을 적용하여 Hn을 유형별 성분으로서 테르만의 클래스 모듈러(형식 n의 딜리클레 특성에 대해)와 연결한다.
• Hn의 피팅 이상을 핵심 불변량으로 사용하며, 이가 θ에 대한 모닉 다항식 B(t1,…,tn)에 의해 생성됨을 보이며, 이는 앤더슨-탁어 함수 ω(t)를 통해 L급수와 연결됨을 보인다.
• ϕ-모듈러 이론과 p진 L함수 이론을 사용하여 Hn의 구조를 분석하며, 특히 칼리츠 모듈러의 경우에 초점을 맞춘다.
• p진 로그 함수와 χ-왜곡 모듈러를 사용하여 클래스 모듈러의 구조를 L함수의 특수값, 특히 L_P^{(1)}(1,χ)와 연결한다.

실험 결과

연구 질문

• RQ1 n ≡ 1 (mod q-1)일 때, n변수 타인 대수 위의 일반 클래스 모듈러 Hn은 그린버그의 가짜 순환성 추측의 이산적 대응을 만족하는가?
• RQ2 n ̸≡ 1 (mod q-1)일 때, Hn은 그린버그의 가짜 영성 추측의 이산적 대응을 만족하는가?
• RQ3 테르만의 원분 함수체 클래스 모듈러의 구조는 일반 클래스 모듈러 Hn의 피팅 이상으로 제어될 수 있는가?
• RQ4 p진 L함수의 특수값은 Hn의 모듈러 구조와 어떻게 관련이 있는가?
• RQ5 앤더슨-탁어 함수 ω(t)는 Hn의 피팅 이상과 L급수를 연결하는 데 어떤 역할을 하는가?

주요 결과

• n ≥ 2 이고 n ≡ 1 (mod q-1)일 때, Hn에 유한 코어널을 가진 순환 A[t1,…,tn]-모듈러로의 단사 준동형사상이 존재함을 보이며, 이는 이산적 가짜 순환성 추측을 증명한다.
• n ≥ 2 이고 n ̸≡ 1 (mod q-1)일 때, Hn은 Fq[t1,…,tn]-모듈러로서 유한 생성이자 토판 모듈러이며, 이는 이산적 가짜 영성 추측을 증명한다.
• Hn의 피팅 이상은 θ에 대한 모닉 다항식 B(t1,…,tn)에 의해 생성되며, 다음 식을 만족한다: (-1)^{(n-1)/(q-1)} · B(t1,…,tn)/(eπ ω(t1)⋯ω(tn)) = L(t1,…,tn), 이는 φ의 L급수와 연결됨을 보여준다.
• 모든 딜리클레 특성 χ(형식 n)에 대해 F(η1,…,ηn) ≠ 0 이면, n ≡ 1 (mod q-1)일 때 Hχ는 순환 A[χ]-모듈러이며, 그렇지 않으면 Hχ = {0}임을 주요 정리의 결과로 얻는다.
• p진 L값 L_P^{(1)}(1,χ)는 단위 모듈러의 P진 닫힘의 χ-유형 성분의 피팅 이상을 생성하며, 이는 L함수의 특수값과 연결됨을 보여준다.
• q = 3, P = θ³ - θ - 1, n = 17일 때, L_P^{(1)}(1,χ_P^{17}) ̸≡ 0 (mod P)임을 보이며, 이 경우 L값이 0이 아님을 보여준다.