[논문 리뷰] The Kernel Unipotent Conjecture and the vanishing of Massey products for odd rigid fields

Ján Mináč, Nguyêñ Duy Tân외 1명|arXiv (Cornell University)|2013. 12. 10.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 9

한 줄 요약

이 논문은 홀수 린드 필드와 랭크 2인 Demushkin 군에 대해 커널 $n$-유니포텐트 추측과 $n$-마시 프로덕트가 0이 되는 추측을 증명하며, 자유 프로-$p$ 갈루아 군을 가진 필드 이외의 중요한 새로운 필드의 클래스에 대해 이러한 성질을 확립한다. 이는 커널 $n$-유니포텐트 성질을 만족하지 않는 프로-$p$ 군의 예를 구성하여 이러한 추측의 날카로움을 보여주며, 갈루아 군에 대한 새로운 필터링 결과와 자동 실현 정리들을 제공한다.

ABSTRACT

A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel $n$-Unipotent Conjecture and the Vanishing $n$-Massey Conjecture for $n\geq 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of $p$-maximal extensions are free pro-$p$-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish a number of further related results.

연구 동기 및 목표

• 홀수 린드 필드에 대해 커널 $n$-유니포텐트 추측과 $n$-마시 프로덕트가 0이 되는 추측을 검증하기 위해.
• 자유 프로-$p$ 갈루아 군을 가진 필드 이외의 필드 가족을 확장하여 이러한 추측을 만족하는 필드의 가족을 넓히기 위해.
• 모든 프로-$p$ 군에 대해 항상 성립하지 않는 커널 $n$-유니포텐트 성질을 위반하는 프로-$p$ 군의 예를 구성하여, 이 추측이 모든 프로-$p$ 군에 대해 일반적으로 성립하지 않음을 보여주기 위해.
• 자세한 필터링과 내림차순 $p$-중앙 시리즈 간의 비교를 통해 갈루아 군에 대한 새로운 자동 실현 정리들을 수립하기 위해.

제안 방법

• 프로-$p$ 군의 구조를 분석하기 위해 $p$-자세누스 필터링과 내림차순 $p$-중앙 시리즈를 사용하기 위해.
• 자유 프로-$p$ 군 $S$를 $N$개의 생성자로 구성하고, $RS_{(3)} = R_0S_{(3)}$를 만족하는 닫힌 정규부분군 $R$으로 나누기 위해, 여기서 $R_0$는 교환자 관계 $[x_1,x_2][x_i,x_j]^{-1}$에 의해 생성된다.
• 모든 군 준동형사상 $\rho: G \to H$에 대해 $G_{\mathcal{L}} = \bigcap_{H \in \mathcal{L}} \bigcap_{\rho} \ker(\rho)$를 정의하여 커널 $n$-유니포텐트 성질을 테스트하기 위해.
• 모듈로 $S_{(3)}$에 대한 교환자들의 선형 독립성을 적용하여 $[\bar{x}_1, \bar{x}_2] \not\in G_{(3)}$임을 보여, 필터링에서의 비영성임을 입증하기 위해.
• $|H| < N$인 유한군 $H$로의 군 준동형사상을 사용하여 $[\bar{x}_1, \bar{x}_2] \in G_{\mathcal{L}}$임을 보여, $G_{\mathcal{L}}$이 $p$-중앙 시리즈의 $n$-번째 항을 벗어남을 입증하기 위해.
• 이미 알려진 결과들 [Vo], [EM2], [Ef1]을 활용하여, 구성된 군들이 $p$-제곱근을 포함하는 필드의 최대 프로-$p$ 갈루아 군으로 실현될 수 없다는 것을 보여주기 위해.

실험 결과

연구 질문

• RQ1 모든 $n \geq 3$ 및 소수 $p$에 대해, 홀수 린드 필드에 대해 커널 $n$-유니포텐트 추측과 $n$-마시 프로덕트가 0이 되는 추측이 성립하는가?
• RQ2 모든 $p$-제곱근을 포함하는 필드의 최대 프로-$p$ 갈루아 군으로 실현될 수 없는 프로-$p$ 군이 커널 $n$-유니포텐트 성질을 위반할 수 있는가?
• RQ3 갈루아 이론에서 유도된 프로-$p$ 군에서 자세누스 필터링과 내림차순 $p$-중앙 시리즈가 어느 정도 일치하는가?
• RQ4 절댓값 갈루아 군의 구조적 성질들, 예를 들어 [EM1, MS2, EM2]에서 기술된 성질들이 모든 순환 없는 프로-$p$ 군에 대해 성립하는가, 아니면 특정 클래스에 대해서만 성립하는가?
• RQ5 커널 $n$-유니포텐트 성질과 $n$-마시 프로덕트가 0이 되는 성질을 바탕으로 새로운 자동 갈루아 실현 정리들을 수립할 수 있는가?

주요 결과

• 커널 $n$-유니포텐트 추측과 $n$-마시 프로덕트가 0이 되는 추측은 홀수 린드 필드에 대해 모두 검증되었으며, 이는 자유 프로-$p$ 군 이외의 중요한 필드의 가족에 대해 처음으로 이루어진 검증이다.
• 모든 $n \geq 3$에 대해, 커널 $n$-유니포텐트 성질을 만족하지 않는 프로-$p$ 군의 예를 구성하였으며, 이러한 군들은 $p$-제곱근을 포함하는 필드의 최대 프로-$p$ 갈루아 군으로 실현될 수 없다.
• $R = R_0 S_{(3)}$인 군 $G = S/R$는 순환 없이, $[\bar{x}_1, \bar{x}_2] \not\in G_{(3)}$임을 만족하여, $p$-중앙 시리즈가 이러한 군의 모든 정규부분군을 포괄하지 않음을 보여준다.
• $N > |H|$이 모든 $H \in \mathcal{L}$에 대해 성립할 경우, 원소 $[\bar{x}_1, \bar{x}_2]$는 $G_{\mathcal{L}}$에 속하지만 $G_{(n)}$에는 속하지 않으며, 이는 $G_{\mathcal{L}} \not\subseteq G_{(n)}$임을 증명하고 커널 $n$-유니포텐트 조건의 위반을 입증한다.
• 결과적으로, [EM1, MS2, EM2]에서 유도된 절댓값 갈루아 군의 성질들이 일반적인 순환 없는 프로-$p$ 군으로 확장되지 않음을 보여주며, 부록에서 반례를 통해 이를 입증한다.
• 논문은 $N > p^{(n-1)n/2}$일 때 군 $G$에서 커널 $n$-유니포텐트 성질이 실패함을 입증하며, 실패에 대한 정량적 임계값을 제공한다.