[논문 리뷰] Counting Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions using Massey products

Ján Mináč, Nguyêñ Duy Tân|arXiv (Cornell University)|2014. 08. 12.

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

한 줄 요약

이 논문은 마스키 제품과 유니포텐트 표현을 사용하여 $\mathbb{U}_4(\mathbb{F}_p)$, 즉 $\mathbb{F}_p$ 위의 유니포텐트 $4 \times 4$ 행렬로 이루어진 군을 갖는 갈로아 확장을 세는 새로운 방법을 개발한다. 국소체 위에서 이러한 확장의 수에 대한 명시적 공식을 제공하며, 이 기법을 다른 체로 확장하고, 데무쉬킨 프로-$p$ 군에서 $n$-중 마스키 제품을 정의하는 조건을 단순화한다.

ABSTRACT

We use Massey products and their relations to unipotent representations to parametrize and find an explicit formula for the number of Galois extensions of a given local field with the prescribed Galois group ${\mathbb U}_4({\mathbb F}_p)$ consisting of unipotent four by four matrices over ${\mathbb F}_p$. Further applications of this method involve the counting of certain Galois extensions with restricted ramifications, and counting the numbers of Galois ${\mathbb U}_4({\mathbb F}_p)$-extensions of some other fields. For each Demushkin pro-$p$-group, we find a very simple version of the condition when the $n$-fold Massey product of one-dimensional cohomological elements of $G$ with coefficients in ${\mathbb F}_p$, is defined. As an easy consequence, we determine those ${\mathbb U}_n({\mathbb F}_p)$ which occur as an epimorphic image of any given Demushkin group.

연구 동기 및 목표

• 국소체 위에서 마스키 제품을 사용하여 $\mathbb{U}_4(\mathbb{F}_p)$ 갈로아 확장을 매개변수화하고 세는 것.
• 이 세기 기법을 대수적 수체를 포함한 다른 체로 확장하는 것.
• 데무쉬킨 프로-$p$ 군에서 $n$-중 마스키 제품을 정의하는 조건을 단순화하는 것.
• 주어진 데무쉬킨 군의 에피모르픽 상으로 나타나는 $\mathbb{U}_n(\mathbb{F}_p)$ 군이 무엇인지를 밝히는 것.
• 절대 갈로아 군의 최대 프로-$p$ 몫의 구조에 대한 새로운, 더 강력한 제약 조건을 제공하는 것.

제안 방법

• 마스키 제품과 유니포텐트 표현 간의 관계를 이용하여 $\mathbb{U}_4(\mathbb{F}_p)$-확장을 매개변수화하는 데 사용한다.
• 데무쉬킨 군에서 $n$-중 마스키 제품 이론을 적용하여 그 정의에 대한 단순화된 조건을 도출한다.
• 자유곱으로서의 데무쉬킨 군의 구조를 활용하여 $\mathbb{U}_4(\mathbb{F}_p)$로의 전사 준동형의 수를 계산한다.
• 분해 $V \oplus W$ 위에서의 이항형 $(\cdot,\cdot)_1$과 $(\cdot,\cdot)_2$를 이용하여 코homological 제약 조건을 모델링한다.
• 두 형식에 대해 수직 조건을 만족하는 선형 독립인 삼중체 $(x,y,z)$의 수를 세는 것.
• 이 수를 군론적 추론과 모비우스 역전제를 결합하여 확장의 수에 대한 최종 공식을 유도한다.

실험 결과

연구 질문

• RQ1 국소체 $K$ 위에서 갈로아 군이 $\mathbb{U}_4(\mathbb{F}_p)$인 갈로아 확장의 수는 얼마인가요?
• RQ2 마스키 제품은 어떤 방식으로 $p$-제곱근을 포함하는 체 위에서 $\mathbb{U}_4(\mathbb{F}_p)$-확장을 매개변수화하고 세는 데 사용될 수 있나요?
• RQ3 데무쉬킨 프로-$p$ 군에서 $n$-중 마스키 제품을 정의하는 최소 조건은 무엇인가요?
• RQ4 어떤 $\mathbb{U}_n(\mathbb{F}_p)$ 군이 주어진 데무쉬킨 군의 에피모르픽 상으로 나타나나요?
• RQ5 단순화된 마스키 제품 조건은 절대 갈로아 군의 최대 프로-$p$ 몫에 대한 새로운 구조적 제약 조건을 이끌어낼 수 있나요?

주요 결과

• 국소체 $K$ 위에서 $\mathbb{U}_4(\mathbb{F}_p)$-확장의 수는 $p^d$, $p^e$, $p^{d+e}$를 포함하는 닫힌 형식의 공식으로 주어지며, 여기서 $d$와 $e$는 $G_K(p)$의 자유곱 분해에서의 데무쉬킨 군의 계수이다.
• 이러한 확장의 수에 대한 공식은 $p$-거듭제곱과 이항계수 유사 계수를 포함하는 항들의 합으로 명시적으로 계산되며, 코homological 수직성의 구조를 반영한다.
• 논문은 $q$-불변량이 2를 초과할 경우 데무쉬킨 군에서 $n$-중 마스키 제품이 정의된다는 것을 입증하여, 고전적 정의를 크게 단순화한다.
• $n=4$인 경우, 두 데무쉬킨 군의 자유곱에서 $\mathbb{U}_4(\mathbb{F}_p)$로의 전사 준동형의 수는 두 인자들의 상에 대한 경우의 수 분석을 통해 계산된다.
• 이 방법을 통해 $p$-근원단위를 포함하는 다른 체 위에서 $\mathbb{U}_4(\mathbb{F}_p)$-확장을 세는 것이 가능해지며, 이를 위해 코homological 자료와 이차형식으로 환원된다.
• 결과는 고차 마스키 제품의 영향이 갈로아 군의 구조에 강력한 제약을 가한다는 것을 확인하며, 커널 유니포텐트 추측을 지지한다.