[논문 리뷰] Degenerate fourfold Massey products over arbitrary fields

Alexander Merkurjev, Federico Scavia|arXiv (Cornell University)|2022. 08. 27.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 특성 2가 아닌 임의의 체 $F$ 와 모든 $a,b,c \in F^\times$ 에 대해, 정의될 때마다 모듈로 2 마싸이 곱 $\<a,b,c,a\rangle$ 가 0이 됨을 증명한다. 또한 모든 원주율을 포함하는 체를 구성하여, 절대 갈루아 군의 모듈로 2 코チェ인 DGA가 형식적이지 않은 사례를 제시함으로써 포지체르스키의 질문에 답하고, $n=4$ 및 $p=2$ 인 강력한 마싸이 소멸 추측의 핵심 케이스를 확립한다. 이 결과는 키투르 이론과 이중 확장에서의 노름군을 이용한 명시적 코homological 계산에 기반한다.

ABSTRACT

We prove that, for all fields $F$ of characteristic different from $2$ and all $a,b,c\in F^ imes$, the mod $2$ Massey product $\langle a,b,c,a angle$ vanishes as soon as it is defined. For every field $F_0$, we construct a field $F$ containing $F_0$ and $a,b,c,d\in F^ imes$ such that $\langle a,b,c angle$ and $\langle b,c,d angle$ vanish but $\langle a,b,c,d angle$ is not defined. As a consequence, we answer a question of Positselski by constructing the first examples of fields containing all roots of unity and such that the mod $2$ cochain DGA of the absolute Galois group is not formal.

연구 동기 및 목표

• 특성 $\neq 2$ 인 임의의 체 $F$ 에서 정의될 때마다 모듈로 2 마싸이 곱 $\langle a,b,c,a \rangle$ 가 0이 됨을 증명하는 것.
• 주어진 체 $F_0$ 에 대해, $F$ 가 $F_0$ 와 $a,b,c,d \in F^\times$ 를 포함하는 체 확장이 되도록 구성함으로써, $\langle a,b,c \rangle$ 와 $\langle b,c,d \rangle$ 는 0이지만 $\langle a,b,c,d \rangle$ 는 정의되지 않는 경우를 만들기.
• 포지체르스키의 질문에 답하기 위해, 모든 원주율을 포함하는 체에서 절대 갈루아 군의 모듈로 2 코체인 DGA가 형식적이지 않은 최초의 예를 제시하기.
• 모든 $a,b,c,d \in F^\times$ 에 대해, $ad$ 와 $abc$ 가 $F$ 에서 제곱일 조건 하에서 마싸이 곱 $\langle a,b,c,d \rangle$ 가 정의되고 0이 되는 조건을 완전히 규명하기.

제안 방법

• 키투르 이론을 사용하여 $H^1(F, \mathbb{Z}/2\mathbb{Z})$ 를 $F^\times / F^{\times 2}$ 와 동치로 식별함으로써, 마싸이 곱을 $F^\times$ 의 원소를 통해 연구할 수 있도록 함.
• 이중확장 $F_{a,b} = F(\sqrt{a}, \sqrt{b})$ 에서의 노름군 $N_{a,b}$ 의 구조를 분석함으로써 마싸이 곱을 분석하며, 특히 힐베르트의 정리 90 을 활용함.
• 노름 잔여 동형과 코homological 기계장치를 적용하여 마싸이 곱의 소멸을 특정 코homology 곱의 자명성과 노름군 내 해의 존재성과 연결함.
• 이중 확장에서의 추적과 노름 사상의 사용을 통해, 특히 보조정리 A.4 에서 요구되는 코homological 조건을 만족하는 명시적 원소를 구성함.
• 이중확장 $F_{a,b,c,d}$ 의 점과 노름군의 교차를 이용하여, $ad$ 와 $abc$ 가 제곱일 조건 하에서 $\langle a,b,c,d \rangle$ 의 정의 가능성과 소멸성의 동치를 증명함.
• 이웃하는 코호몰로지 곱이 자명한데도 마싸이 곱이 정의되지 않는다는 점을 악용하여, 소멸 조건의 역이 성립하지 않는 반례를 구성함.

실험 결과

연구 질문

• RQ1 특성 $\neq 2$ 인 체 $F$ 에서 정의될 때마다 모듈로 2 마싸이 곱 $\langle a,b,c,a \rangle$ 가 0이 되는가?
• RQ2 모듈로 2 코체인 DGA가 형식적이지 않은, 모든 원주율을 포함하는 체 $F$ 를 구성할 수 있는가?
• RQ3 모든 $a,b,c,d \in F^\times$ 에 대해 $\langle a,b,c \rangle$ 와 $\langle b,c,d \rangle$ 는 0이지만 $\langle a,b,c,d \rangle$ 는 정의되지 않는 체 $F$ 와 원소들이 존재하는가?
• RQ4 모든 $a,b,c,d \in F^\times$ 에 대해 $ad$ 와 $abc$ 가 $F$ 에서 제곱일 조건 하에서, 마싸이 곱 $\langle a,b,c,d \rangle$ 가 정의되고 0이 되는 조건은 무엇인가?

주요 결과

• 특성 $\neq 2$ 인 임의의 체 $F$ 와 모든 $a,b,c \in F^\times$ 에 대해, 마싸이 곱 $\langle a,b,c,a \rangle$ 는 정의될 때마다 0이 된다.
• 논문은 주어진 체 $F_0$ 에 대해, $\langle a,b,c \rangle$ 와 $\langle b,c,d \rangle$ 는 0이지만 $\langle a,b,c,d \rangle$ 는 정의되지 않는 $F^\times$ 의 원소 $a,b,c,d$ 를 포함하는 체 확장 $F$ 를 구성한다.
• 논문은 완전한 특성화를 제공한다: $ad$ 와 $abc$ 가 $F$ 에서 제곱일 때, 마싸이 곱 $\langle a,b,c,d \rangle$ 는 정의되고 0이 되는 것과 동치이다. 이 조건은 $\operatorname{Br}(F)$ 에서 $(b,c) = 0$ 이고 $-1 \in N_{b,c}$ 인 것과 같다.
• 저자는 포지체르스키의 질문을 해결하기 위해, 모든 원주율을 포함하는 체에서 절대 갈루아 군의 모듈로 2 코체인 DGA가 형식적이지 않은 최초의 알려진 예를 제시한다.
• 정의 가능성과 소멸성의 동치는 정확히 $ad$ 와 $abc$ 가 $F$ 에서 제곱일 조건 하에서 성립하며, 곱이 0이 되는 것은 $-1 \in N_{b,c}$ 이고 $\operatorname{Br}(F)$ 에서 $(b,c) = 0$ 인 것과 동치이다.
• 증명은 특히 힐베르트의 정리 90 과 $F_{a,b}$-점의 구조를 이용한 이중확장에서의 노름군과 추적 사상의 세밀한 분석에 기반한다.