[논문 리뷰] A class formula for L-series in positive characteristic

Florent Demeslay|arXiv (Cornell University)|2014. 12. 11.

Advanced Algebra and Geometry인용 수 8

한 줄 요약

이 논문은 양의 특성에서 L-급수의 클래스 공식을 수립하며, 다중 매개변수를 가진 함수체 위의 앤더슨 모듈러스로 테일만의 클래스 수 공식을 일반화한다. Fitting 이상을 이용하여 펠라린의 L-값과 고스 L-급수에 대한 곱 공식을 유도하며, 특별한 L-값이 레지우어와 클래스 모듈의 Fitting 이상의 곱과 같음을 증명함으로써, 이전 결과를 동치 및 다중 매개변수 설정으로 확장한다.

ABSTRACT

We prove a formula for special L-values of Anderson's modules, analogue in positive characteristic of the class number formula. We apply this result to two kinds of L-series.

연구 동기 및 목표

• 다중 매개변수 $t_1,\dots,t_s$를 가진 함수체 위의 앤더슨 모듈러스로 테일만의 클래스 수 공식을 일반화하는 것.
• 펠라린의 L-값을 Fitting 이상의 곱으로 표현하여 고전적 클래스 수 공식에 대한 유사성을 확장하는 것.
• 양의 특성에서 딜리클레 문자와 관련된 고스 L-급수에 대한 동치 클래스 공식을 수립하는 것.
• Fitting 이상과 레지우어를 통해 아벨 t-모듈러스의 특별한 L-값을 대수적 불변량과 통합하는 것.

제안 방법

• 이론적 앤더슨 모듈러스와 슈투카를 이용하여 $\mathbb{F}_q(t_1,\dots,t_s)[\theta]$ 형태의 환 위에서 클래스 모듈과 레지우어를 정의한다.
• $\mathbb{C}_\infty(t_1,\dots,t_s)$ 위에서 가우스 노름과 평가 $v_\infty$를 적용하여 $K_{s,\infty}$에서 L-급수의 수렴성을 정의한다.
• 특수 L-값을 $A$의 소수 $P$에 대한 무한 곱으로 표현하며, 이 때 항은 Lie 대수와 모듈로 $P$에 대한 환원의 Fitting 이상의 비율을 포함한다.
• 디리클레 문자 $\chi$에 대해 $\chi$-성분으로 클래스 모듈과 레지우어를 분해하기 위해 임프로탄트 $e_\chi$를 활용하여 동치 일반화를 가능하게 한다.
• 지수 사상과 프로베누스 작용 사이의 동형을 이용하여 클래스 모듈의 Fitting 이상을 L-값과 연결한다.
• A[\Delta_a]-모듈러스 이론과 임프로탄트 분해를 적용하여 $K_\infty[\Delta_a]$에서 동치 클래스 공식을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 테일만의 클래스 공식을 다중 매개변수 $t_1,\dots,t_s$를 가진 함수체 위의 앤더슨 모듈러스로 확장할 수 있는가?
• RQ2 펠라린의 L-값은 고전적 클래스 수 공식과 유사하게 Lie 대수와 모듈로 환원의 Fitting 이상의 곱으로 표현될 수 있는가?
• RQ3 $\mathcal{O}_L$의 정수환인 $\operatorname{C}^{\otimes n}$에 대한 클래스 모듈의 대수적 구조는 무엇인가?
• RQ4 디리클레 문자 $\chi$에 대한 분해에서 클래스 공식의 레지우어는 어떻게 행동하는가?
• RQ5 동치 설정에서 고스 L-급수의 특별한 값 $L(n,\chi)$는 Fitting 이상의 비율로 표현될 수 있는가?

주요 결과

• 논문은 $n$-번째 텐서 곱의 칼리츠 모듈러스에 대해 $L(\operatorname{C}^{\otimes n}/A) = \zeta_A(n)$임을 증명하며, 테일만의 결과를 고차원 랭크로 일반화한다.
• 펠라린의 $L$-값은 소수에 대한 무한 곱으로 표현된다: $L(\chi_{t_1}\cdots\chi_{t_s},n) = \prod_P \frac{[\operatorname{Lie}(\operatorname{C}^{\otimes n})(\mathcal{O}_L/PA)]_A}{[\operatorname{C}^{\otimes n}(\mathcal{O}_L/PA)]_A}$.
• 양의 특성에서 $a \in A_+$가 제곱자유일 경우, 동치 $L$-값 $L(n,\Delta_a)$는 클래스 모듈의 Fitting 이상과 $K_\infty[\Delta_a]$ 내 레지우어의 곱과 같다. 이는 앤클레스와 테일만의 결과를 일반화한다.
• 클래스 모듈 $H(\operatorname{C}^{\otimes n}/\mathcal{O}_L)$은 각 문자 $\chi$에 대해 $\frac{E_{\alpha(\chi)}(K_\infty(\chi))}{\operatorname{exp}_{\alpha(\chi)}(\operatorname{Lie}(E_{\alpha(\chi)})(K_\infty(\chi)))+E_{\alpha(\chi)}(A(\chi))}$ 와 동형이며, 지수 사상과 연결된다.
• 레지우어는 로그 사상의 행렬식을 통해 복구되며, Fitting 이상은 동치 설정에서 클래스 모듈의 산술을 기록한다.
• 증명은 임프로탄트 $e_\chi$를 통한 클래스 모듈의 $\chi$-성분으로의 분해에 의존하며, 이는 갈루아 동치 $L$-값으로의 일반화를 가능하게 한다.