[논문 리뷰] Equivariant special L-values of abelian t-modules

Jiangxue Fang|arXiv (Cornell University)|2015. 03. 25.

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

한 줄 요약

이 논문은 함수체 위의 아벨 t-모듈러에 대해 등변 특수 L-값 공식을 수립하며, 등변 클래스 수 공식의 함수체 버전을 제공한다. Galois 표현의 ∞-adic L-값이 t-모듈러의 리 대수와 그 쌍대의 특성다항식으로부터 유래됨을 증명하며, L(n, ρ)와 L(C⊗n, ρ)가 유리함수의 차이를 제외하고는 동일하다는 것을 보이며, 이는 온건한 분할 또는 프로젝티브 표현의 조건에서 등호가 성립함을 보여준다.

ABSTRACT

We prove a formula of the equivariant infinity-adic special L-values of abelian t-modules. This gives function field analogues of the equivariant class number formula. As an application, we calculate the special values of Artin L-functions for Galois representations.

연구 동기 및 목표

• 함수체 위의 아벨 t-모듈러에 대한 등변 특수 L-값 이론을 개발하여 고전적 수체 결과를 양의 특성으로 확장한다.
• t-모듈러와 그 리 대수를 이용하여 등변 클래스 수 공식의 함수체 버전을 수립한다.
• Galois 표현의 ∞-adic L-값과 잔여체 위에서의 t-모듈러 구조의 특성다항식을 연결한다.
• L(n, ρ)와 L(C⊗n, ρ)가 유리함수의 차이를 제외하고는 동일함을 증명하며, 이는 온건한 분할 또는 프로젝티브 표현 조건에서 등호가 성립함을 보여준다.

제안 방법

• 기저환의 극대 이상수에 대한 수렴하는 무한곱을 이용해 ∞-adic L-값 L(n, ρ)을 정의하며, 프로베누스 원소와 잔여체 확장을 사용한다.
• E = C⊗n에 대해 Homk[G](V, E(OL/pOL))과 Homk[G](V, Lie(E)(OL/pOL))을 이용해 t-모듈러 L-값 L(C⊗n, ρ)을 도입한다.
• 유한한 k[t][G]-모듈러 M에 대해 특성다항식 |M|k[t][G]를 사용하여 L-값과 행렬식 공식을 연결한다.
• 정상 기저 정리와 지수 함수의 성질을 적용하여 L∞ 위에서 리 대수와 t-모듈러를 연결한다.
• 트레이스 사상 trρ: V ∗⊗k[G] OL → Homk[G](V, OL)을 사용하고 그 핵과 여핵을 분석하여 L(n, ρ)와 L(C⊗n, ρ)를 연결한다.
• 정리 1.11과 보조정리 3.18을 적용하여 복합체의 행렬식을 연결하고, F((t−1))[G]에서 격자 비율을 통해 주요 공식을 유도한다.

실험 결과

연구 질문

• RQ1 t-모듈러를 이용하여 등변 클래스 수 공식을 함수체로 일반화할 수 있는가?
• RQ2 ∞-adic L-값 L(n, ρ)과 t-모듈러 기반 L-값 L(C⊗n, ρ) 사이의 정확한 관계는 무엇인가?
• RQ3 언제 L(n, ρ)와 L(C⊗n, ρ)가 동일하며, 언제는 유리함수의 차이를 가질까?
• RQ4 t-모듈러와 리대수의 구조가 양의 특성에서 L-값을 어떻게 캐릭터라이즈하는가?
• RQ5 온건한 분할은 두 L-값 구성 간의 등호에 어떤 역할을 하는가?

주요 결과

• 논문은 L(n, ρ) = L(C⊗n, ρ) · |Lie(C⊗n)(M)|F[t] / |C⊗n(M)|F[t] · |C⊗n(N)|F[t] / |Lie(C⊗n)(N)|F[t] 라는 공식을 증명하며, 여기서 M과 N은 트레이스 사상 trρ의 핵과 여핵이다.
• 온건한 분할 또는 V가 F[G]-모듈러로 프로젝티브일 경우, 트레이스 사상은 동형사상이므로 L(n, ρ) = L(C⊗n, ρ)이다.
• 비율 L(n, ρ)/L(C⊗n, ρ)는 F(t)×에 속해 있어 두 L-값이 유리함수의 차이를 제외하고는 동일함을 보여준다.
• 특성다항식 |Homk[G](V, E(OL/pOL))|F[t] / |Homk[G](V, Lie(E)(OL/pOL))|F[t] 는 L-값 detF[[t−1]](1 − ρ(FrobP)/|κp|n k[t], VIP[[t−1]])−1 와 같다.
• 카를리츠 모듈러의 n제곱 전치에 대해 |C⊗n(OL/pOL)|k[t][G] = |κp|n k[t] − FrobP 이고, |Lie(C⊗n)(OL/pOL)|k[t][G] = |κp|n k[t] 이다.
• 주요 공식은 L(n, ρ) = [Homk[G](V, Lie(C⊗n)(OL)) : Homk[G](V, exp−1(C⊗n(OL)))]F((t−1)) · |H(C⊗n, ρ)|F[t] · |Lie(C⊗n)(M)|F[t] / |C⊗n(M)|F[t] · |C⊗n(N)|F[t] / |Lie(C⊗n)(N)|F[t] 이다.