[논문 리뷰] Automorphisms of local fields of period $p$ and nilpotent class $<p$

Victor Abrashkin|arXiv (Cornell University)|2014. 03. 17.

Carbohydrate Chemistry and Synthesis참고 문헌 14인용 수 4

한 줄 요약

이 논문은 $p$-진 국소체 $K$의 최대 $p$-확장에서의 갈로아군 $\Gamma_{<p}$와 그(nilpotent class $< p$이자 주기 $p$)를 Lie 대수를 통해 연구한다. 고전적인 $p$-군과 $<p$-근본 차수를 갖는 Lie 대수 간의 등가를 이용하여, 분해율 필터링 $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$을 관련 Lie 대수 $L$의 이상들 $L^{(v)}$로 기술하고, 아르틴-슐라이어 생성자 $\tau_0$의 업그레이드 $\tau_{<p}$의 작용을 통해 데무시킨 관계와 분해율 구조 사이의 직접적 연결을 확립한다.

ABSTRACT

Suppose $K$ is a finite field extension of $\mathbb{Q} _p$ containing a primitive $p$-th root of unity. Let $\Gamma _{<p}$ be the Galois group of a maximal $p$-extension of $K$ with the Galois group of period $p$ and nilpotent class $<p$. In the paper we describe the ramification filtration $\{\Gamma _{<p}^{(v)}\}_{v\geqslant 0}$ and relate it to an explicit form of the Demushkin relation for $\Gamma _{<p}$. The results are given in terms of Lie algebras attached to involved groups by the classical equivalence of the categories of $p$-groups and Lie algebras of nilpotent class $<p$.

연구 동기 및 목표

• 최대 $p$-확장에서의 갈로아군 $\Gamma_{<p}$의 구조를 이해하는 것. 이는 $p$-진 국소체 $K$에서 nilpotent class $< p$이자 주기 $p$인 경우를 대상으로 한다.
• 고전적인 Lie 군 등가를 통해 관련 Lie 대수 $L$의 이상들에 기반하여 분해율 필터링 $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$을 기술하는 것.
• 아르틴-슐라이어 생성자 $\tau_0$의 업그레이드 $\tau_{<p}$의 작용을 통해 $\Gamma_{<p}$ 내의 데무시킨 관계와 분해율 구조를 연결하는 것.
• 필드의 노름 함수자와 nilpotent 아르틴-슐라이어 이론을 이용하여 분해율 필터링과 Lie 대수 이상들의 필터링 $L^{(v)}$ 사이의 대응을 확립하는 것.

제안 방법

• $p$-군이 nilpotent class $< p$인 경우와 $\mathbb{F}_p$ 위의 Lie 대수 사이의 고전적 등가를 이용하여, $\Gamma_{<p} = G(L)$가 되도록 Lie 대수 $L$를 식별하는 것.
• 필드의 노름 함수자를 적용하여 혼합 성질의 문제를 성질 $p$로 이전하여, $\Gamma_{<p}$를 성질 $p$의 체 위의 갈로아군으로 식별하는 것.
• 균일화자 $t$와 체 $k$의 추적 1인 원소 $\alpha_0 \in k$를 사용하여 Lie 대수 $L_k$의 명시적 생성자 $\{D_{a,n}\} \cup \{D_0\}$를 구성하는 것.
• Herbrand 함수와 Lie 대수 내의 필터링을 이용하여, 모든 $\gamma \geq v$에 대해 $F^{0}_{\gamma,-N} \in L^{(v)}_k$인 최소 이상들 $L^{(v)}$로 분해율 이상 $L^{(v)}$를 정의하는 것.
• Campbell-Hausdorff 공식을 사용하여 $L$ 위에 $G(L)$로 정의되는 군의 구조를 정의하고, 복합 법칙을 $l_1 \circ l_2 = l_1 + l_2 + \frac{1}{2}[l_1,l_2] + \cdots$로 기술하는 것.
• 첨부된 작용 $\operatorname{ad}_{\tau_{<p}}(D_0)$를 통해 데무시킨 관계를 확립하고, 이가 분해율 필터링 내에 있으며 산술적 업그레이드의 기준을 만족함을 보이는 것.

실험 결과

연구 질문

• RQ1 nilpotent class $< p$인 $p$-확장의 갈로아군 $\Gamma_{<p}$의 분해율 필터링 $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$은 그 관련 Lie 대수 $L$의 Lie 대수 구조와 어떻게 관련되어 있는가?
• RQ2 분해율 부분군 $\Gamma^{(v)}_{<p}$에 대응하는 이상 $L^{(v)} \subset L$의 정확한 구조는 무엇인가?
• RQ3 데무시킨 관계가 Lie 대수 $L$과 그 필터링의 관점에서 어떻게 나타나는가?
• RQ4 아르틴-슐라이어 생성자 $\tau_0$의 업그레이드 $\tau_{<p}$가 산술적일 조건은 무엇이며, 이는 분해율 필터링과 어떻게 관련되어 있는가?
• RQ5 필드의 노름 함수자와 균일화자 $t$는 어떻게 분해율 필터링을 Lie 대수 이상을 통해 실현하는 데 기여하는가?

주요 결과

• 분해율 필터링 $\{\Gamma^{(v)}_{<p}\}_{v \geq 0}$은 $\Gamma_{<p} = G(L)$에서 $G(L^{(v)})$의 상과 정확히 일치한다. 여기서 $L^{(v)}$는 Lie 대수 $L$의 이상들이다.
• 확장 $K[s]/K$의 최대 상부 분해율 수는 $s=1$일 때 $e^* = e_K p / (p-1)$이며, $2 \leq s < p$일 때 $\phi_{K/K}(e^*s - 1) = e_K(1 + s/(p-1)) - 1/p$이다. 여기서 $\phi$는 Herbrand 함수이다.
• 생성자 $\tau_{<p}$가 산술적일 조건은 재귀식 (3.4)의 해 $c_1$과 $\{V_a\}_{a \in \mathbb{Z}_0(p)}$가 정리 4.8의 기준을 만족할 때이다.
• $v \leq e^*$일 경우 분해율 부분군 $\Gamma^{(v)}_{<p}$는 $G(L^{(v)})$와 $\tau_{<p}$에 의해 생성되며, $v > e^*$일 경우 $v^* = e^* + p(v - e^*)$인 $G(L^{(v^*)})$의 상이다.
• 데무시킨 관계는 $v = e^*$일 때 $\operatorname{ad}_{\tau_{<p}}(D_0) \in L^{(v)}$로 실현되며, 이 요소는 적절한 분해율 이상에 속해 있어 군 관계와 필터링을 연결한다.
• 분해율 이상 $L^{(v)}$는 모든 $\gamma \geq v$와 충분히 큰 $N$에 대해 $F^0_{\gamma,-N} \in L^{(v)}_k$를 만족하는 조건으로 특징지어지며, 이러한 생성자들은 무게 $\geq p$인 교환자들의 선형 조합으로 이루어져 있다.