[논문 리뷰] Graded quotients of ramification groups of local fields with imperfect residue fields

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

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

한 줄 요약

이 논문은 특성 $p > 0$인 불완전한 잔여체를 가진 헨젤리안 이산 순서체에서, 분해군의 계수화된 몫들이 $\mathbf{F}_p$-벡터 공간임을 증명한다. 두 가지 증명—완전한 잔여체로의 환원과 코탄제ント 복합체를 통한 기하적 구성—을 통해 각 계수화된 몫의 문자군을 비틀린 코탄제ント 공간으로의 임베딩을 확립하며, 카토의 정밀한 스완 기수를 일반화하고, 혼합 특성에서의 특성 사이클을 향한 향후 구성에 기반을 마련한다.

ABSTRACT

We prove that the graded quotients of the filtration by ramification groups of any henselian discrete valuation field of residue characteristic $p>0$ are $F_p$-vector spaces. We define an injection of the character group of each graded quotient to a twisted cotangent space defined using a cotangent complex.

연구 동기 및 목표

• 헤젤리안 이산 순서체에서 특성 $p > 0$인 불완전한 잔여체를 가진 국소체에서 분해군의 계수화된 몫들이 $\mathbf{F}_p$-벡터 공간임을 증명하는 것.
• 코탄제ント 복합체를 통한 기하적 구성으로 비완전한 잔여체로의 정밀한 스완 기수의 일반화.
• 고전적 완전한 잔여체의 경우로의 환원을 통한 상부 번호화된 분해군 필터링의 함의적 특성 기술.
• 혼합 특성에서 가역층의 특성 사이클을 (4.20)의 임베딩을 통해 구성하는 데 기초를 마련하는 것.

제안 방법

• 코탄제inent 복합체의 함의적 성질을 활용하여, 완전한 잔여체를 가진 탄성적으로 지배적인 확장 $K'$를 구성함으로써 고전적 경우로의 환원.
• 스무스 군 스킴의 구조를 가진 덮개를 통해, $\bar{F}$ 위의 벡터 공간 $\Theta^{(r)}$ 에 대한 갈루아 덮개를 기하적으로 구성함. 갈루아 군은 $\mathrm{Gr}^rG$ 를 가짐.
• 2.2절의 일반 기준을 적용하여 덮개가 군 스킴의 사상임을 보이며, 코탄제inent 복합체에서의 $\mathrm{Tor}_1$-계산을 가능하게 함.
• (4.20)에서 정의된 특성 형식은 $\mathrm{Hom}(\mathrm{Gr}^rG, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+}, H_1(L_{\bar{F}/S}))$ 로, 코탄제inent 복합체 $L_{\bar{F}/S}$ 에서 유도됨.
• 정확한 세부 수열 (0.1)을 이용하여, 탄성 공간과 코탄제inent 복합체 사이의 관계를 설정: $H_1(L_{\bar{F}/S})$, $\mathfrak{m}_K / \mathfrak{m}_K^2 \otimes_F \bar{F}$, $\Omega^1_F \otimes_F \bar{F}$.
• 필드 확장에 대한 (4.20)의 임베딩의 함의적 성질을 보이며, (4.19)와 (4.23)의 교차도형을 통해 분해군의 지수 스케일링과의 호환성을 보임.

실험 결과

연구 질문

• RQ1 특성 $p > 0$인 불완전한 잔여체를 가진 헨젤리안 이산 순서체에서 갈루아 군의 상부 번호화된 분해군 필터링의 계수화된 몫들인 $\mathrm{Gr}^rG = G^r / G^{r+}$ 는 반드시 $\mathbf{F}_p$-벡터 공간인가?
• RQ2 코탄제inent 복합체를 포함한 기하적 구성으로 비완전한 잔여체로의 정밀한 스완 기수를 일반화할 수 있는가?
• RQ3 (4.20)에서 $\mathrm{Gr}^rG$ 의 문자군에서 비틀린 코탄제inent 공간으로의 임베딩이 분해군 필터링의 표준적이고 함의적인 불변량을 제공하는가?
• RQ4 탄성적으로 지배적인 확장은 일반적인 경우를 고전적 완전한 잔여체의 경우로 환원하는 데 어떤 역할을 하는가?
• RQ5 야수 성분군 $P = G^{1+}$ 는 $\mathrm{Gr}^rG$ 에 어떻게 작용하며, 이는 분해군 지수와 $r$ 의 분모에 어떤 제약을 가하는가?

주요 결과

• 모든 $r > 1$ 에 대해 계수화된 몫들인 $\mathrm{Gr}^rG = G^r / G^{r+}$ 는 $\mathbf{F}_p$-벡터 공간임을 증명하였으며, 이는 고전적 결과를 완전한 잔여체의 경우에서 일반화한 것이다.
• 임베딩 (4.20)이 구성됨: $\mathrm{Hom}(\mathrm{Gr}^rG, \mathbf{F}_p) \to \mathrm{Hom}_{\bar{F}}(\mathfrak{m}_{\bar{K}}^r / \mathfrak{m}_{\bar{K}}^{r+}, H_1(L_{\bar{F}/{\mathcal{O}}_K}))$, 카토의 비로그형 정밀한 스완 기수를 일반화한다.
• 필드 확장에 대한 기저 변경과의 호환성으로 인해 (4.20)의 임베딩이 함의적임을 (4.19)의 교차도형으로 보여주었다.
• 야수 성분군 $P = G^{1+}$ 는 $\mathrm{Gr}^rG$ 에 자명하게 작용하며, $\mathrm{Gr}^rG \neq 1$ 이면 $r$ 의 소수 외 부분의 분모는 분해군 지수 $e_{L/K}$ 를 나눈다.
• $e_{K'/K} \neq 1$ 인 확장 $K' / K$ 에 대해, (4.20)의 복합사상과 $H_1(L_{\bar{F}/{\mathcal{O}}_K}) \to \Omega^1_{S/S_0} \otimes_{\mathcal{O}_S} \bar{F}$ 를 통해 (4.22)의 임베딩이 얻어지며, 이 역시 함의적임을 보였다.
• $H_1(L_{\bar{F}/S})$ 에 대한 대칭 대수 $S(H_1(L_{\bar{F}/S}))$ 를 통한 탄성 공간 $\Theta_{K,\bar{F}} = \mathrm{Spec}\, S(H_1(L_{\bar{F}/S}))$ 의 구성은 분해군 자료를 위한 기하적 모델을 제공하며, $H_1(L_{\bar{F}/S})$ 는 정확한 수열 (0.1)에 포함된다.