[논문 리뷰] On the arithmetic of Z_p-extensions

Michiel Kosters, Daqing Wan|arXiv (Cornell University)|2016. 07. 02.

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

한 줄 요약

이 논문은 특성 p인 전역 함수체에서 ℤₚ-확장을 연구하기 위한 기초 도구를 개발한다. 아르틴-슈라이어-위트 이론과 위트 벡터 기법을 사용하며, 샤미-위트 기호에 대한 새로운 단순화된 공식을 제공함으로써 국소체에서의 임계수, 판별식, 분할군을 명시적으로 계산할 수 있게 한다. 또한 전역 ℤₚ-확장에서의 종수 성장에 대해 날카운 성장 하한과 정확한 종수 공식을 도출하며, 사영선에서의 명시적 예제도 제시한다.

ABSTRACT

This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\mathbf{Z}$-extensions of $K$. Since this theory is hard to find in literature, we have included a complete treatment in the paper. In the second part of the paper, we study $\mathbf{Z}_p$-extensions of a local field $K=k((T))$ of characteristic $p>0$ where $k$ is a finite field. Local class field theory and Artin-Schreier-Witt theory give us the Schmid-Witt symbol $$[\ ,\ ): W(K)/\wp W(K) imes \widehat{K^*} o W(\mathbf{F}_p)=\mathbf{Z}_p,$$ which contains the ramification information of $\mathbf{Z}_p$-extensions of $K$. We present a new simplified formula for $[\ ,\ )$. This formula allows one to compute ramification groups, conductors and discriminants in an easy way. In the third part, we study $\mathbf{Z}_p$-extensions of global function fields over a finite field. First, we give a formula for computing the genus in such a tower. We show that a previously obtained lower bound for the genus growth in a $\mathbf{Z}_p$-extension is incorrect and we give a sharp lower bound. We also study when the genus behaves in a `stable' way. Finally, we find unique representatives of $\mathbf{Z}_p$-extensions of the rational function field $k(X)$, and compute the genus in such a tower.

연구 동기 및 목표

• 고전적 쿠머 이론이 적용되지 않는 특성 p인 전역 함수체에서의 ℤₚ-확장을 위한 종합적 프레임워크를 수립하기 위해.
• 이전에 잘못된 하한을 가진 ℤₚ-확장에서의 종수 성장에 대한 정확한 하한을 도출함으로써 기존의 부정확한 하한을 수정하기 위해.
• 위트 벡터를 사용하여 국소 ℤₚ-확장에서의 임계수, 판별식, 분할군에 대한 명시적이고 계산 가능한 공식을 제공하기 위해.
• 유리 함수체 위에서의 ℤₚ-확장을 유일한 대표원으로 특성화하고, 이러한 타워에서 종수를 명시적으로 계산하기 위해.

제안 방법

• Xᵖ − X = a를 만족하는 a ∈ Wₙ(K)의 해를 통해 ℤ/pⁿℤ-확장을 매개변수화하는 아르틴-슈라이어-위트 이론을 사용하며, 이를 역극한을 통해 ℤₚ-확장으로 확장한다.
• 테이히뮐러 상승과 p진 전개를 기반으로 한 새로운 단순화된 공식을 도입하여, Schmid-위트 기호 [ , ) : W(K)/℘W(K) × K* → ℤₚ를 정의한다.
• W(K)/℘W(K)의 원소를 유일하게 cβ + Σ cᵢ[T]⁻ⁱ mod ℘W(K) 형태로 표현하며, 여기서 c ∈ W(𝔽ₚ), cᵢ ∈ W(k), cᵢ → 0 이 되도록 하여 명시적 산술 계산이 가능하게 한다.
• 계수의 값매기 조건에서 유도된 분할 지수 uₓ,ⱼ와 φ(pʲ)를 포함하는 공식을 적용하여 종수를 계산한다.
• 잔여체 위의 위트 벡터에서의 추적 사상에 의해, 비분할 소수에서의 프로베누스 원소를 기하학적 방법으로 계산한다.
• 종수 공식을 사영선 k(ℙ¹)에 적용하여, 유닛 루트 확장에서 종수 성장을 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 전역 함수체에서의 ℤₚ-확장에서 종수 성장에 대한 올바른 날카운 하한은 무엇이며, 이는 이전에 잘못된 하한을 어떻게 수정하는가?
• RQ2 k((T))의 국소 ℤₚ-확장에서의 분할을 명시적으로 계산하기 위해 샤미-위트 기호는 어떻게 단순화될 수 있는가?
• RQ3 유리 함수체 k(X)의 ℤₚ-확장에 대한 종수 공식은 무엇이며, 언제 안정적인 행동을 보이는가?
• RQ4 위트 벡터를 사용하여 k(X) 위에서의 ℤₚ-확장을 어떻게 유일하게 매개변수화할 수 있으며, 그 종수를 어떻게 계산할 수 있는가?
• RQ5 이러한 확장에서 비분할 소수에서의 프로베누스 원소는 기하학적으로 어떻게 해석할 수 있는가?

주요 결과

• 기존 문헌에서 잘못된 하한이 존재했던 ℤₚ-확장에서의 종수 성장에 대해 날카운 하한을 확립하였다.
• 기존 n=1 경우의 일반화로서, 샤미-위츠 기호에 대한 새로운 공식을 도출하였으며, 이는 분할군과 임계수의 효율적 계산을 가능하게 한다.
• 사영선의 경우, n번째 계층에서의 종수는 p^{min(n_c,n)}(2gₙ − 2) = −2pⁿ + Σₓ Σⱼ φ(pʲ)uₓ,ⱼ를 만족하며, uₓ,ⱼ는 계수의 값매기 조건에서 명시적으로 계산 가능하다.
• x = Σ_{(i,p)=1} [bᵢXⁱ]로 정의된 유닛 루트 확장에서 u_∞,ₙ = 1 + dp^{n−1}을 얻었으며, 이에 따라 명시적 종수 공식 2gₙ − 2 = (d/(p+1))p²ⁿ − pⁿ − (p+1+d)/(p+1)을 도출하였다.
• 소수 ℘가 Kₙ/K에서 분할되는 것은, ℘의 대표원 x에 대해 uₓ,ₙ > 0이 성립하는 것과 동치이며, 이는 분할의 명확한 기준을 제공한다.
• 차수 d′인 비분할 소수 𝔭에서의 프로베누스 원소는 Tr_{W(k(z))/W(𝔽ₚ)}(a(z))로 주어지며, 이는 산술과 갈루아 작용을 연결한다.