[논문 리뷰] A characterization of ramification groups of local fields with imperfect residue field

Takeshi Saito|arXiv (Cornell University)|2020. 04. 08.

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

한 줄 요약

이 논문은 잔여체가 불완전한 국소체의 갈루아군에 대한 상측 번호 부여 필터링 $G^r$를 충족시키는 조건을 충족시키는 축약적 특성화를 제공한다. 이는 잔여체가 완전할 경우 고전적 경우와 일치하고, 탄성적으로 지배적인 확장과의 호환성을 갖는다. 이를 통해 정의된 필터링을 사용하여, 양의 특성에서 아벨 확장에 대해 두 필터링—$G^n$과 $G^n_{\rm Ma}$—의 동치를 새롭게 증명하고, 정제된 스완 계수 사상이 잔여공간으로의 자연스러운 단사사상임을 규명한다.

ABSTRACT

We give a characterization of ramification groups of local fields with imperfect residue fields, using those for local fields with perfect residue fields. As an application, we reprove an equality of ramification groups for abelian extensions defined in different ways.

연구 동기 및 목표

• 불완전한 잔여체를 갖는 국소체에 대한 상측 번호 부여 필터링 $G^r$의 축약적 특성화를 제공함으로써 고전적 경우를 확장한다.
• 탄성적으로 지배적인 확장과 잔여체가 완전한 경우로의 환원을 통해 필터링 $G^r$의 존재성과 유일성을 확립한다.
• 축약적 프레임워크를 사용하여, 양의 특성에서 아벨 확장에 대해 $G^n = G^n_{\rm Ma}$의 동치를 재증명한다.
• 매츠다와 ヤタガ와가 정의한 사상 $\mathrm{rsw}'$와 잔여공간으로의 분해군에서의 자연스러운 단사사상 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$를 동일시한다.
• 함자성과 기본 변화를 통해 주 필터링 $G^r$을 통해 로그 상측 번호 부여 필터링 $G^r_{\log}$를 간접적으로 특성화한다.

제안 방법

• 두 개의 공리로 필터링 $G^r$을 정의한다: 잔여체가 완전할 경우 고전적 필터링과 일치하고, 탄성적으로 지배적인 확장과의 호환성.
• 잔여체의 접선공간을 코탄젠트 복합체를 통해 정의하여, 유도된 접선공간 사상이 전성인 확장을 탄성적으로 지배적인 확장으로 정의한다.
• 아벨 확장에서 필터링 $G^n$이 정수 $n > 1$로 색인됨을 보여주는 하스에-아르 정리를 활용하여, 매츠다의 $G^n_{\rm Ma}$와의 비교를 가능하게 한다.
• 카토의 정제된 스완 계수의 일반화로서, 자연스러운 단사사상 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$를 구성한다.
• 두 사상이 동일한 공리를 만족함을 검증하여, 매츠다와 ヤタガ와가 정의한 사상 $\mathrm{rsw}'$가 이 자연스러운 단사사상과 일치함을 증명한다.
• 등차수 특성 $p > 0$에서의 기본 변화와 등식 $H_1(L_{\bar{F}/S}) \cong \Omega^1_{{\cal O}_K} \otimes_{{\cal O}_K} \bar{F}$를 활용하여 필터링을 미분형식과 연결한다.

실험 결과

연구 질문

• RQ1 잔여체가 불완전한 국소체의 갈루아군에 대한 상측 번호 부여 필터링 $G^r$는 어떻게 유일하게 특성화될 수 있는가?
• RQ2 필터링이 잔여체가 완전할 경우 고전적 상측 번호 부여와 일치하기 위한 조건은 무엇인가?
• RQ3 매츠다가 정의한 필터링 $G^n_{\rm Ma}$는 양의 특성에서 아벨 확장에서의 자연스러운 필터링 $G^n$과 어떻게 관련이 있는가?
• RQ4 매츠다와 ヤタガ와가 정의한 사상 $\mathrm{rsw}'$는 분해군에서 잔여공간으로의 자연스러운 단사사상과 동치인가?
• RQ5 로그 상측 번호 부여 필터링 $G^r_{\log}$는 주 필터링 $G^r$을 통해 간접적으로 특성화될 수 있는가?

주요 결과

• 잔여체가 불완전한 국소체에 대한 상측 번호 부여 필터링 $G^r$는 두 공리—잔여체가 완전할 경우 고전적 필터링과 일치하고, 탄성적으로 지배적인 확장과의 호환성—을 통해 유일하게 특성화된다.
• 매츠다가 정의한 필터링 $G^n_{\rm Ma}$는 $G^n$과 동일한 공리를 만족하므로, 등차수 특성 $p > 0$에서 아벨 확장에 대해 모든 정수 $n > 1$에 대해 $G^n = G^n_{\rm Ma}$가 성립한다.
• 자연스러운 단사사상 $\mathrm{Hom}(G^r, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+1}, H_1(L_{\bar{F}/S}))$는 [5]와 [9]에서 정의된 사상 $\mathrm{rsw}'$와 일치하며, 이는 비로그 형태에서의 정제된 스완 계수로 규명된다.
• 하스에-아르 정리에 의해 아벨 확장에서 $G^n$은 정수 $n > 1$로 색인되며, 이는 매츠다의 $G^n_{\rm Ma}$와의 비교를 가능하게 한다. 이 필터링 역시 정수 색인을 갖는다.
• 분해군의 잔여공간에서의 유도된 사상 $G^n / G^{n+1} \to G'^n / G'^{n+1}$이 탄성적으로 지배적인 확장 $K' / K$에서 분해군의 잔여공간에서의 전성 사상임을 보여, 공리의 귀납적 검증을 지원한다.
• 로그 필터링 $G^r_{\log}$는 $G^r$을 통해 간접적으로 특성화되며, 기본 변화와 분해군의 잔여공간에서의 동형 $G^r_{\log} \cong G^r$이 성립하는 분해군의 분해군이 1일 경우를 활용한다.