[논문 리뷰] Tame ramification and group cohomology

Chandan Singh Dalawat, Jung-Jo Lee|arXiv (Cornell University)|2013. 05. 12.

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

한 줄 요약

이 논문은 유한 잔여체를 가진 국소체의 온전히 분해된 갈루아 확장에 대해 군 코hom로그리를 사용하여 내재적인 매개변수화를 제공하며, 이러한 확장의 코호몰로지 클래스에 대한 두 가지 자연스러운 정의가 일치함을 보인다. 이는 세르의 질량 공식을 온전히 분해된 경우에 대해 원시적으로 증명하고, 소수 $ l \neq p $ 에 대해 $ l^3 $ 차수의 모든 갈루아 확장을 분류한다. 이는 이면적이고 히사벨형의 경우를 포함한다.

ABSTRACT

We give an intrinsic parametrisation of the set of tamely ramified extensions of a local field with finite residue field and bring to the fore the role played by group cohomology. We show that two natural definitions of the cohomology class of a tamely ramified finite galoisian extension coincide, and can be recovered from the parameter. We also give an elementary proof of Serre's mass formula in the tame case and in the simplest wild case, and we classify tame galoisian extensions of degree the cube of a prime.

연구 동기 및 목표

• 유한 잔여체를 가진 국소체의 온전히 분해된 확장에 대해 군 코호몰로지로 내재적인 매개변수화를 제공하는 것.
• 온전히 분해된 갈루아 확장의 코호몰로지 클래스에 대한 두 가지 자연스러운 정의가 일치함을 보이는 것.
• 코호몰로지 매개변수로부터 갈루아 닫힘, 확장 타워의 분할성, 갈루아 군의 구조와 같은 핵심 불변량을 복원하는 것.
• 온전히 분해된 경우와 차수가 $ p $ 에 의해 나누어지지만 $ p^2 $ 에 의해 나누어지지 않는 경우에 대해 세르의 질량 공식에 대한 원시적 증명을 제공하는 것.
• 소수 $ l \neq p $ 에 대해 $ l^3 $ 차수의 모든 갈루아 확장을 분류하는 것, 이는 이면적 및 히사벨형의 경우를 포함한다.

제안 방법

• 군 코호몰로지를 사용하여 잔여 차수 $ f $ 와 분해 차수 $ e $ 를 가진 국소체 $ K $ 의 온전히 분해된 확장의 집합 $ \mathcal{T}_{e,f}(K) $ 를 매개변수화하는 것.
• 정규화된 값매김 사상 $ \bar{w}_f: K_f^\times / K_f^{\times e} \to \mathbb{Z}/e\mathbb{Z} $ 의 단면의 이미지로 '분해된 직선'을 정의하며, 이는 $ \mathcal{T}_{e,f}(K) $ 의 확장을 분류한다.
• $ G_f = \mathrm{Gal}(K_f/K) $ 에서의 작용에 의한 $ \mathcal{T}_{e,f}(K) $ 와 분해된 직선 집합 위의 $ G_f $-오빗 집합 사이의 자연스러운 전단사 사상을 확립하는 것.
• 쿠머 쌍법과 그 등변성을 이용하여 코호몰로지 불변량과 분해 데이터를 연결하는 것.
• $ G_f $ 가 $ k_f^\times / k_f^{\times e} $ 에 작용하는 방식을 이용하여 갈루아 확장의 수를 계산하고 그 갈루아 군의 구조를 결정하는 것.
• 일부 경우에서 $ H^2(G_f, k_f^\times / k_f^{\times e}) $ 가 0이 되는 것을 이용하여 확장 타워가 분할됨을 보이는 것.

실험 결과

연구 질문

• RQ1 국소체의 온전히 분해된 확장을 군 코호몰로지로 내재적으로 어떻게 매개변수화할 수 있는가?
• RQ2 온전히 분해된 갈루아 확장의 코호몰로지 클래스에 대한 두 가지 표준 정의가 일치하는가?
• RQ3 세르의 질량 공식은 온전히 분해된 경우와 차수가 $ p $ 에 의해 나누어지지만 $ p^2 $ 에 의해 나누어지지 않는 경우에 대해 원시적으로 증명될 수 있는가?
• RQ4 잔여 특성수가 $ p \neq l $ 인 국소체 위에서 $ l^3 $ 차수의 확장에 대해 가능한 갈루아 군은 무엇인가?
• RQ5 비아벨 갈루아 확장이 $ l^3 $ 차수에서 언제 발생하며, 어떻게 분류할 수 있는가?

주요 결과

• $ K $ 의 분해 차수 $ e $ 와 잔여 차수 $ f $ 를 가진 온전히 분해된 확장의 집합 $ \mathcal{T}_{e,f}(K) $ 는 $ K_f^\times / K_f^{\times e} $ 에서의 분해된 직선 집합 위의 $ G_f $-오빗 집합과 자연스러운 전단사 사상이 존재한다.
• 온전히 분해된 갈루아 확장의 코호몰로지 클래스에 대한 두 가지 자연스러운 정의가 일치하며, 이는 분해된 직선 매개변수로부터 복원될 수 있다.
• 온전히 분해된 경우와 차수가 $ p $ 에 의해 나누어지지만 $ p^2 $ 에 의해 나누어지지 않는 경우에 대해 세르의 질량 공식에 대한 원시적 증명이 제공되며, 소수 차수의 경우와 유사한 방식이다.
• 소수 $ l \neq p $ 에 대해, $ v_l(q-1) = 1 $ 이면, $ D_{l^2,l} $ 와 동형인 비아벨 갈루아 확장이 $ K $ 위에 $ l $ 개 존재한다.
• 히센베르크 군 $ H_{l^3} $ 는 잔여 특성수가 $ p \neq l $ 인 국소체 위에서의 온전히 분해된 $ l^3 $ 차수 확장의 갈루아 군으로서 나타나지 않는다.
• $ v_2(q-1) = m-1 $ 이면, $ \mathcal{T}_{2^m,2}(K) $ 에서 비아벨 갈루아 확장이 $ 2^{m-1} $ 개 존재하며, 관련 코호몰로지 군의 소멸성으로 인해 해당 확장 타워는 분할된다.