2025-11-16T01:40:18.695621

Non-commutative Iwasawa theory of abelian varieties over global function fields

Deng, Kezuka, Li et al.

Let $A$ be an abelian variety defined over a global function field $F$, and let $p$ be a prime distinct from the characteristic of $F$. Let $F_\infty$ be a $p$-adic Lie extension of $F$ that contains the cyclotomic $\mathbb{Z}_p$-extension $F^{\mathrm{cyc}}$ of $F$. In this paper, we investigate the structure of the $p$-primary Selmer group $\mathrm{Sel}(A/F_\infty)$ of $A$ over $F_\infty$. We prove the $\mathfrak{M}_H(G)$-conjecture for $A/F_\infty$. Furthermore, we show that both the $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F^\mathrm{cyc})$ and the generalised $Î¼$-invariant of the Pontryagin dual of the Selmer group $\mathrm{Sel}(A/F_\infty)$ are zero, therby proving Mazur's conjecture for $A/F$. We then relate the order of vanishing of the characteristic elements, evaluated at Artin representations, to the corank of the Selmer group of the corresponding twist of $A$ over the base field $F$. Assuming the finiteness of the Tate-Shafarevich group, we establish that this corank equals the order of vanishing of the $L$-function of $A/F$ at $s=1$. Finally, we extend a theorem of Sechi - originally proved for elliptic curves without complex multiplication - to abelian varieties over global function fields. This is achieved by adapting the notion of generalised Euler characteristic, introduced by Zerbes for elliptic curves over number fields. This new invariant allows us, via Akashi series, to relate the generalised Euler characteristic of $\mathrm{Sel}(A/F_\infty)$ to the Euler characteristic of $\mathrm{Sel}(A/F^{\mathrm{cyc}})$.

academic

전역 함수체 위의 아벨 다양체의 비가환 이와사와 이론

기본 정보

논문 ID: 2405.20963
제목: Non-commutative Iwasawa theory of abelian varieties over global function fields
저자: Li-Tong Deng, Yukako Kezuka, Yong-Xiong Li, Meng Fai Lim
분류: math.NT (정수론)
발표 시간: 2024년 5월 (arXiv v2: 2025년 10월 16일)
논문 링크: https://arxiv.org/abs/2405.20963

초록

본 논문은 전역 함수체 $F$ 위에 정의된 아벨 다양체 $A$ 의 비가환 이와사와 이론을 연구한다. 여기서 $p$ 는 $F$ 의 특성과 다른 소수이다. $F_\infty$ 를 $F$ 를 포함하는 원분 $\mathbb{Z}_p$ -확대 $F^{\mathrm{cyc}}$ 를 포함하는 $p$ -진 리 확대라 하자. 저자들은 $F_\infty$ 위의 $A$ 의 $p$ -주 셀머 군 $\mathrm{Sel}(A/F_\infty)$ 의 구조를 연구하고, $\mathfrak{M}_H(G)$ -추측을 증명하며, 특성 원소의 영점 위수와 셀머 군의 여계수 사이의 관계를 확립했다.

연구 배경 및 동기

문제 배경

비가환 이와사와 이론의 발전: 비가환 이와사와 이론은 수체 위의 $p$ -진 리 확대의 깊은 산술적 성질과 복소 $L$ -함수의 특수값과의 관계를 이해하기 위한 강력한 틀이다.
함수체 유사성: 수체와 전역 함수체 사이의 잘 알려진 유사성을 고려할 때, 이와사와 이론의 현상도 함수체 설정에서 나타나야 한다.
기존의 한계:
- 수체의 경우, 폰트랴긴 쌍대 셀머 군은 양의 $\mu$ -불변량을 가질 수 있다
- 함수체의 경우, 특히 $\mathrm{char}(F) \neq p$ 인 경우, 관련 이론이 아직 완성되지 않았다

연구 동기

중요한 추측의 완전한 해결: 전역 함수체 설정에서 마주르 추측과 $\mathfrak{M}_H(G)$ -추측을 완전히 해결
새로운 이론 틀의 확립: 제르베스의 일반화된 오일러 특성 개념을 함수체 위의 아벨 다양체로 확장
순수 코호몰로지 방법 제공: 이전 연구와 다른 순수 코호몰로지 증명 방법 개발

핵심 기여

$\mathfrak{M}_H(G)$ -추측과 마주르 추측의 완전한 증명: 특성이 $p$ 와 다른 전역 함수체 위의 아벨 다양체에 대해
$\mu$ -불변량이 영: $X(A/F^{\mathrm{cyc}})$ 의 $\mu$ -불변량과 $X(A/F_\infty)$ 의 일반화된 $\mu$ -불변량이 모두 영임을 증명
특성 원소 영점 위수 공식: 특성 원소의 아르틴 표현에서의 영점 위수와 셀머 군의 여계수 사이의 관계 확립
일반화된 오일러 특성 이론: 세키의 정리를 함수체 위의 아벨 다양체로 확장하여 $\mathrm{Sel}(A/F_\infty)$ 와 $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ 의 일반화된 오일러 특성 사이의 관계 확립

방법 상세 설명

과제 정의

전역 함수체 $F$ ( $\mathrm{char}(F) \neq p$ ) 위의 아벨 다양체 $A$ 의 $p$ -주 셀머 군이 허용 가능한 $p$ -진 리 확대 $F_\infty/F$ 하에서의 구조적 성질을 연구한다.

핵심 기술 틀

1. 셀머 군의 정의

임의의 확대 $K \subset \bar{F}$ 에 대해, $p$ -주 셀머 군은 다음과 같이 정의된다: $\mathrm{Sel}(A/K) = \ker\left(H^1(K, A_{p^\infty}) \to \prod_w H^1(K_w, A)\right)$

2. 핵심 보조정리: 코호몰로지 차원

보조정리 3.2: $\mathrm{cd}_p(G_S(F^{\mathrm{cyc}})) = 1$

이는 전체 증명의 기초이며, $S$ 가 공집합이 아니고 $\mathrm{char}(F) \neq p$ 라는 조건을 활용한다.

3. 주요 기술 혁신

순수 코호몰로지 방법:

핵심 관찰: $\mathrm{Gal}(\bar{F}/F^{\mathrm{cyc}})$ 의 코호몰로지 차원이 1
호흐실드-세르 스펙트럼 수열의 퇴화 활용
전역 및 국소 코호몰로지 군의 아카시 급수의 직접 계산

국소화 사상의 전사성: 얀센 스펙트럼 수열과 네코바르 쌍대성 정리를 통해 국소화 사상 $\lambda_S(A/F_\infty)$ 의 전사성 확립.

모델 구조

1. 이와사와 대수 이론

컴팩트 $p$ -진 리 군 $G$ 에 대해, 이와사와 대수는 다음과 같이 정의된다: $\Lambda(G) = \lim_{\leftarrow} \mathbb{Z}_p[G/U]$

2. $\mathfrak{M}_H(G)$ 범주

$\mathfrak{M}_H(G)$ 는 모든 유한 생성 $\Lambda(G)$ -모듈 $M$ 을 포함하며, 여기서 몫 $M/M_{(p)}$ 는 유한 생성 $\Lambda(H)$ -모듈이다.

3. 아카시 급수 계산

$M \in \mathfrak{M}_H(G)$ 에 대해, 아카시 급수는 다음과 같이 정의된다: $\mathrm{Ak}(M) = \prod_{i \geq 0} f_{M,i}^{(-1)^i}$ 여기서 $f_{M,i}$ 는 $H^i(H,M)$ 의 특성 멱급수이다.

실험 설정

이론 검증 틀

이것이 순수 이론 수학 논문이므로, "실험"은 주로 다음과 같이 나타난다:

정리 검증: 엄격한 수학적 증명을 통한 주요 정리 검증
특수한 경우 검사: 결과가 알려진 타원 곡선 경우와의 일관성 검증
추측의 완전한 해결: 마주르 추측과 $\mathfrak{M}_H(G)$ -추측의 완전한 증명 제공

기술적 조건

조건 (G): 모든 $i \geq 1$ 에 대해 $H^i(G, A_{p^\infty}(F_\infty))$ 가 유한
조건 (H): 모든 $i \geq 0$ 에 대해 $H^i(H, A_{p^\infty}(F_\infty))$ 가 유한

주요 결과

정리 1.3 (주요 결과)

$A$ 를 특성이 $p$ 와 서로소인 전역 함수체 $F$ 위의 아벨 다양체, $F_\infty/F$ 를 허용 가능한 $p$ -진 리 확대라 하자. 그러면:

$\mathfrak{M}_H(G)$ -추측이 $X(A/F_\infty)$ 에 대해 성립한다
$X(A/F^{\mathrm{cyc}})$ 의 $\mu$ -불변량은 영이다
$X(A/F_\infty)$ 의 일반화된 $\mu$ -불변량은 영이다
특히, 마주르 추측이 $A/F$ 에 대해 성립한다

정리 1.4 (영점 위수 공식)

조건 (G) 하에서: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) \geq \mathrm{corank}_{\mathbb{Z}_p}(\mathrm{Sel}(A/F))$ 그리고 그린버그 반단순성 추측 하에서 등호가 성립한다. 타테-샤파레비치 군이 유한하면: $\mathrm{ord}_{T=0}(\Phi_{\mathrm{reg}_F}(\xi_A)) = \mathrm{ord}_{s=1} L(A/F, s)$

정리 1.5 (일반화된 오일러 특성)

조건 (H) 하에서, $\mathrm{Sel}(A/F_\infty)$ 가 유한 일반화된 $G$ -오일러 특성을 가지면 $\mathrm{Sel}(A/F^{\mathrm{cyc}})$ 가 유한 일반화된 $\Gamma$ -오일러 특성을 가지며, 다음이 성립한다: $\chi(G, \mathrm{Sel}(A/F_\infty)) = \chi(\Gamma, \mathrm{Sel}(A/F^{\mathrm{cyc}})) \prod_{v \in S'} \frac{\#A^*_{p^\infty}(F_v)}{\#H^1(\Gamma_w, A_{p^\infty}(F^{\mathrm{cyc}}_w))}$