[논문 리뷰] Analytic lie extensions of number fields with cyclic fixed points and tame ramification

Farshid Hajir, Christian Maire|arXiv (Cornell University)|2017. 10. 25.

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

한 줄 요약

이 논문은 보스톤의 접근을 약한 폰타인-마자르 추측으로 확장하며, 소수 $\ell \neq p$ 에 대해 순환적이고 소수 차수인 $\mathrm{K}/\mathrm{k}$ 에 대한 $p$-진 해석적 갈루아 확장 $\mathrm{L}/\mathrm{K}$ 를 분석한다. 특히 갈루아군 $\mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 가 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 에 작용하는 방식을 중심으로 다룬다. 이는 고정점이 존재하더라도 여전히 강력한 산술적 제약을 가짐을 보이며, 고정점이 비자명하더라도 $\mathrm{k}$ 에서의 존재하지 않음을 바탕으로 $\mathrm{K}$ 에서의 존재하지 않음을 유추할 수 있음을 보여준다. 이는 특히 타인적 분할을 가진 $p$-진 해석적 확장의 비존재성에 대해 강력한 결과를 이끌어낸다.

ABSTRACT

- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $Γ$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such extensions are either deeply ramified (at some prime dividing p) or ramified at an infinite number of primes. In this work, we take up a study (initiated by Boston) of this type of question under the assumption that L is Galois over some subfield k of K such that [K : k] is a prime = p. Letting $σ$ be a generator of Gal(K/k), we study the constraints posed on the arithmetic of L/K by the cyclic action of $σ$ on $Γ$, focusing on the critical role played by the fixed points of this action, and their relation to the ramification in L/K. The method of Boston works only when there are no non-trivial fixed points for this action. We show that even in the presence of arbitrarily many fixed points, the action of $σ$ places severe arithmetic conditions on the existence of finitely and tamely ramified uniform p-adic analytic extensions over K, which in some instances leads us to be able to deduce the non-existence of such extensions over K from their non-existence over k.

연구 동기 및 목표

• 소수 $\ell \neq p$ 에 대해 순환 갈루아군 $\mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 가 차수를 가지며, 타인적 분할을 가진 $p$-진 해석적 갈루아 확장 $\mathrm{L}/\mathrm{K}$ 의 산술적 구조를 조사하는 것.
• 균일한 프로-$p$ 군 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 에 대한 갈루아 작용의 고정점이 이러한 확장의 존재에 미치는 제약을 이해하는 것.
• 보스톤의 고정점이 없는 방법(FPF)을 비자명한 고정점이 존재하는 경우로 일반화하여, 타인적 분할을 가진 $p$-진 해석적 확장의 비존재성 결과의 적용 범위를 넓히는 것.
• 기저 체 $\mathrm{k}$ 에서 이러한 확장이 존재하지 않으면, 그 차수 $\ell$ 인 순환 확장 $\mathrm{K}$ 에서도 존재하지 않음을 보장하는 조건을 설정하는 것.

제안 방법

• 군의 확장에서 $\Gamma$ 와 갈루아군 $\Delta = \mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 의 구조를 분석하기 위해 슈어-차센하우스 정리를 사용하는 것.
• 균일한 프로-$p$ 군과 그에 관련된 리 대수 이론을 활용하여 $\sigma \in \Delta$ 가 $\Gamma$ 에 작용하는 방식을 연구하는 것.
• 특히 단위군과 $T$-단위군에 대한 코homological 기법을 활용하여 군환 위의 모듈의 자유성과 구조를 분석하는 것.
• 쿠머 이론과 그라스-문니어 정리를 활용하여 분할 정보를 갈루아 모듈 구조와 연결하는 것.
• 체코바레프의 밀도 정리를 적용하여 특정 분할 행동을 갖는 소수의 분포를 연구하는 것.
• 고정점 부분군 $\Gamma^\sigma$ 와 그가 타인적 분할을 가진 $\Gamma$-확장의 존재를 제약하는 데서 수행하는 역할을 분석하는 것.

실험 결과

연구 질문

• RQ1 순환 갈루아 작용 하에서 비자명한 고정점이 존재할 경우, 수체 $\mathrm{K}$ 에서의 타인적 분할을 가진 균일한 $p$-진 해석적 갈루아 확장의 존재에 어떤 영향을 미치는가?
• RQ2 기저 체 $\mathrm{k}$ 에서 이러한 확장이 존재하지 않는다는 결과를, 차수 $\ell \neq p$ 인 순환 확장 $\mathrm{K}/\mathrm{k}$ 로까지 이행할 수 있는가?
• RQ3 균일하고 $p$-진 해석적인 $\Gamma = \mathrm{Gal}(\mathrm{L}/\mathrm{K})$ 인 갈루아군에 대해, $\sigma \in \mathrm{Gal}(\mathrm{K}/\mathrm{k})$ 의 작용이 어떤 구조적 제약을 가하는가?
• RQ4 보스톤의 원래 방법에서의 FPF(고정점이 없는) 가정을 얼마나 완화시켜도 여전히 $p$-진 해석적 확장의 비존재 정리를 얻을 수 있는가?
• RQ5 갈루아 작용의 고정점은 타인적 분할의 맥락에서 $\mathrm{L}/\mathrm{K}$ 의 분할 행동과 어떻게 상호작용하는가?

주요 결과

• 갈루아 작용 하에서 비자명한 고정점이 임의로 많아도, $\mathrm{K}$ 에서의 유한하고 타인적 분할을 가진 균일한 $p$-진 해석적 갈루아 확장의 존재에 대해 여전히 심각한 산술적 제약이 존재한다.
• 논문은 일반 원칙을 수립한다: 기저 체 $\mathrm{k}$ 에서 이러한 확장이 존재하지 않으면, 특정 조건 하에서는 $\mathrm{K}$ 에서도 존재하지 않음을 보여준다. 이는 갈루아 작용이 고정점을 포함하더라도 성립한다.
• 고정점의 존재는 방법의 무효화를 초래하지 않으며, 오히려 여전이 사용할 수 있는 정교한 코homological 및 모듈 이론적 조건을 유도한다.
• 분석 결과 고정점 부분군 $\Gamma^\sigma$ 는 특히 $T$-단위군과 그 자유성과 관련하여 $\Gamma$ 의 분할 및 구조를 결정하는 데 핵심적인 역할을 한다.
• 만약 $\sigma$ 의 차수가 2 이거나 $p-1$ 을 나누면, 갈루아 작용과 $\Gamma$ 의 균일성 간의 상호작용에 기반하여 명시적인 비존재 결과를 도출한다.
• 시클로모틱 $\mathbb{Z}_p$-확장의 맥락에서, 기저 체 $\mathrm{k}$ 가 특정한 클래스 수 및 단위군 조건을 만족하면, 이 방법을 통해 비존재 정리를 도출할 수 있다.