[논문 리뷰] On a certain nilpotent extension over Q of degree 64 and the 4-th multiple residue symbol

Fumiya Amano|arXiv (Cornell University)|2013. 11. 06.

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

한 줄 요약

이 논문은 64차 수체 $K/\mathbb{Q}$를 구체적으로 구성하며, 이는 $p_1, p_2, p_3$를 제외한 소수에서만 분해되고, 갈루아 군이 $\mathbb{F}_2$ 위의 $4\times4$ 유니포텐트 상삼각행렬들로 이루어진 군 $N_4(\mathbb{F}_2)$와 동형인, 노름이 0인 갈루아 확장이다. 또한 $p_4$의 분해를 묘사하는 4차 다중 상호법칙 기호 $[p_1,p_2,p_3,p_4]$를 도입한다. 주요 결과는 이 기호가 $(-1)^{\mu_2(1234)}$와 같다는 것으로, 여기서 $\mu_2(1234)$는 4차 산술 밀너 불변량이다. 이는 고차 상호법칙과 산술 링크 불변량 사이의 직접적인 연결 고리를 확립한다.

ABSTRACT

In this paper, we introduce the 4-th multiple residue symbol $[p_1, p_2, p_3, p_4]$ for certain four prime numbers $p_1, p_2, p_3, p_4$, which extends the Legendre symbol and the Rédei triple symbol in a natural manner. For this we construct concretely a certain nilpotent extension K over Q of degree 64, where ramified prime numbers are $p_1$, $p_2$ and $p_3$, such that the symbol $[p_1, p_2, p_3, p_4]$ describes the decomposition law of $p_4$ in the extension K/Q. We then establish the relation of our symbol and the 4-th arithmetic Milnor invariant (an arithmetic analogue of the 4-th order linking number).

연구 동기 및 목표

• 64차의 노름이 0인 갈루아 확장 $K/\mathbb{Q}$를 구체적으로 구성하며, 이는 $p_1, p_2, p_3$를 제외한 소수에서만 분해되고, 갈루아 군이 $N_4(\mathbb{F}_2)$와 동형인, $\mathbb{F}_2$ 위의 $4\times4$ 유니포텐트 상삼각행렬들로 이루어진 군이다.
• 이 확장에서 $p_4$의 분해 법칙을 묘사하는 4차 다중 상호법칙 기호 $[p_1,p_2,p_3,p_4]$를 정의한다.
• 갈루아 군 $\mathrm{Gal}(K/\mathbb{Q}) \cong N_4(\mathbb{F}_2)$의 구조를 이용하여, $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$ 를 증명함으로써 정확한 산술기하학적 대응을 확립한다. 여기서 $\mu_2(1234)$는 4차 산술 밀너 불변량이다.
• 레데이의 삼중 기호 이론과 제곱 상호법칙을, 노름이 0인 확장과 산술 링크 불변량을 이용해 고차 상호법칙으로 확장한다.

제안 방법

• 확장 $K = k_{\{p_1,p_2\}} \cdot k_{\{p_3,p_2\}}(\sqrt{\theta_4})$를 구성하며, 여기서 $k_{\{p_i,p_j\}}$는 8차인 레데이의 이면형 확장이다.
• 갈루아 군 $\mathrm{Gal}(K/\mathbb{Q}) \cong N_4(\mathbb{F}_2)$의 구조를 이용해, $p_4$의 프로베니우스 원소를 통해 4차 다중 상호법칙 기호 $[p_1,p_2,p_3,p_4]$를 정의한다. 이 군은 순서가 64인 노름이 0인 군이다.
• 군론적 구조와 그에 대응하는 리 대수를 이용하여, 맥클라uren 전개와 모듈로 2 마스시 곱을 통해 산술 밀너 불변량 $\mu_2(1234)$를 계산한다.
• 자유군에서 4개의 생성자를 가진 군에서 $N_4(\mathbb{F}_2)$로 가는 준동형사상 $\varphi$에 의한 프로베니우스 원소의 상과 기호 $[p_1,p_2,p_3,p_4]$를 연결하며, $\varphi$의 핵을 이용해 불변량을 분석한다.
• 산술 밀너 불변량의 셔플 및 순환 관계를 적용하여, 4차 다중 상호법칙 기호가 만족하는 대수적 항등식을 유도한다.
• 군 원소의 맥클라uren 전개 계수를 비교하고, 하부 중심열의 구조를 이용하여 주요 항등식 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$를 검증한다.

실험 결과

연구 질문

• RQ1 64차의 노름이 0인 갈루아 확장 $K/\mathbb{Q}$를 명시적으로 구성할 수 있는가? 이는 $p_1, p_2, p_3$를 제외한 소수에서만 분해되고, 갈루아 군이 $\mathbb{F}_2$ 위의 $4\times4$ 유니포텐트 상삼각행렬들로 이루어진 군 $N_4(\mathbb{F}_2)$와 동형이어야 한다.
• RQ2 이 확장에서 $p_4$의 분해를 묘사하는 4차 다중 상호법칙 기호 $[p_1,p_2,p_3,p_4]$가 존재하는가? 이는 레이먼드 기호와 레데이의 삼중 기호와 유사하게 작용해야 한다.
• RQ3 4차 다중 상호법칙 기호가 $(-1)^{\mu_2(1234)}$와 같아야 하는가? 여기서 $\mu_2(1234)$는 4차 산술 밀너 불변량이며, 이는 고차 상호법칙과 산술 토폴로지 불변량 사이의 연결 고리를 확립한다.
• RQ4 4차 다중 상호법칙 기호는 기저가 되는 밀너 불변량의 성질에 따라 기대되는 바와 같이 셔플 및 순환 대칭 관계를 만족하는가?

주요 결과

• 논문은 64차의 노름이 0인 갈루아 확장 $K/\mathbb{Q}$를 명시적으로 구성하며, 이는 $p_1, p_2, p_3$를 제외한 소수에서만 분해되고, 갈루아 군이 $\mathbb{F}_2$ 위의 $4\times4$ 유니포텐트 상삼각행렬들로 이루어진 군 $N_4(\mathbb{F}_2)$와 동형이다.
• 4차 다중 상호법칙 기호 $[p_1,p_2,p_3,p_4]$는 $p_4$가 $K/\mathbb{Q}$에서 완전히 분해되는지 여부에 따라 1 또는 -1로 정의되며, 이는 $\mathrm{Gal}(K/\mathbb{Q})$에서 $p_4$의 프로베니우스 쌍대류를 묘사한다.
• 주요 결과는 $[p_1,p_2,p_3,p_4] = (-1)^{\mu_2(1234)}$이며, 여기서 $\mu_2(1234)$는 4차 산술 밀너 불변량이다. 이는 고차 상호법칙과 산술 링크 불변량 사이의 직접적인 대응을 확립한다.
• 기호는 셔플 관계를 만족한다: $|I|+|J|=3$ 인 다중지표 $I,J$에 대해 $\prod_{(ijk)\in\mathrm{PSH}(I,J)}[p_i,p_j,p_k,p_l] = 1$ 이다. 이는 밀너 불변량의 셔플 관계에 기인한다.
• 명시적인 예제를 계산한 결과: $(p_1,p_2,p_3,p_4) = (5,8081,101,449)$ 일 때 기호의 값은 $-1$이며, 모든 두 개의 쌍에 대한 레이먼드 기호는 1이고, 모든 레데이 삼중 기호도 1이다. 이는 4차 기호의 비자명성을 확인한다.
• 논문은 구성에 사용된 보조 원소 $\theta_i$의 선택에 관계없이 기호가 잘 정의됨을 보였으며, 조건 (1.1.1)과 (3.2.1)을 만족하는 한 기호는 잘 정의됨을 보장한다.