[논문 리뷰] Triple Massey products in Galois cohomology

Eliyahu Matzri|arXiv (Cornell University)|2014. 11. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 14

한 줄 요약

이 논문은 임의의 원시 p제곱근을 포함하는 체 F의 mod-p 갈루아 코hom로지에서 삼중 마스키 제품이 항상 0을 포함함을 증명하며, 미나크와 반의 추측을 확인한다. H^2(G_F)와 브라우어 군의 p-torsion 부분의 동형을 이용하여, 명시적인 아벨 크로스드 프로덕트 대수를 구성하고, 이들이 컵乘의 이미지에 속하는 마스키 제품의 원소를 나타냄을 보여, 모든 소수 p와 이러한 모든 체 F에 대해 0의 소멸 성질을 확립한다.

ABSTRACT

Fix an arbitrary prime $p$. Let $F$ be a field, containing a primitive $p$-th root of unity, with absolute Galois group $G_F$. The triple Massey product (in the mod-$p$ Galois cohomology) is a partially defined, multi-valued function $\langle \cdot,\cdot,\cdot angle: H^1(G_F)^3 ightarrow H^2(G_F).$ In this work we prove a conjecture made in [11] stating that any defined triple Massey product contains zero. As a result the pro-$p$ groups appearing in [11] are excluded from being absolute Galois groups of fields $F$ as above.

연구 동기 및 목표

• 임의의 원시 p제곱근을 포함하는 체 F에 대해 mod-p 갈루아 코호몰로지에서 삼중 마스키 제품이 항상 0을 포함한다는 추측을 증명하기 위해.
• 일부 특정 프로-p 군이 Gal(F)로 실현될 수 없음을 제거함으로써 절대 갈루아 군에 대한 강력한 구조적 제약 조건을 확립하기 위해.
• 이전의 p=2에 대한 결과를 일반 소수 p로 일반화하기 위해 브라우어 군과 아벨 크로스드 프로덕트를 사용하기 위해.
• 갈루아 강하와 노름 사상에 의한 명시적 표현을 통해, 통일된 코homological 증명을 제공함으로써 소멸 성질을 확립하기 위해.

제안 방법

• Kummer 동형을 사용하여 H^1(G_F)를 F^×/(F^×)^p로 식별함으로써, 코호몰로지 클래스를 F^×의 원소로 변환한다.
• Galois 확장 F_a와 F_c가 각각 Z/pZ를 그룹으로 가지며, 노름 조건을 만족하는 원소 u, v를 사용하여 차수 p², 지수 p인 아벨 크로스드 프로덕트 대수 A_{u,v}를 구성한다.
• A_{u,v}의 F_c로의 제약은 노름 유사 곱 w_c로부터 유도된 (a, w_c)_p,F_c인 심볼 대수와 동형임을 보인다.
• 핵심 제약과 노름 호환성에 의해, A_{u,v}가 브라우어 군에서 두 심볼 대수 (a,s)_p,F ⊗ (c,t)_p,F와 동치임을 증명한다.
• 브라우어 군의 동형 Ψ: H^2(G_F) → Br_p(F)의 자연성에 의해, 코호몰로지 마스키 제품을 아벨 크로스드 프로덕트의 구조에 관한 질문으로 번역한다.
• Dwyer 등의 결과를 적용하여 마스키 제품과 코호몰로지 소멸에 대해 분석함으로써, 구성된 대수가 χ_a ∪ H^1(G_F) + H^1(G_F) ∪ χ_c의 이미지에 속함을 보이고, 따라서 0 ∈ ⟨χ_a, χ_b, χ_c⟩임을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 소수 p에 대해, 원시 p제곱근을 포함하는 체 F의 mod-p 갈루아 코호몰로지에서 삼중 마스키 제품이 항상 0을 포함하는가?
• RQ2 브라우어 군과 크로스드 프로덕트 대수를 사용하여 모든 소수 p에 대해 삼중 마스키 제품의 소멸 성질을 통일적으로 확립할 수 있는가?
• RQ3 마스키 제품이 정의될 때, 그 삼중 마스키 제품의 대표 원소의 정확한 대수적 구조는 무엇인가?
• RQ4 노름 사상과 갈루아 강하 구성은 갈루아 코호몰로지에서 고차 마스키 제품의 소멸과 어떻게 관련되는가?
• RQ5 삼중 마스키 제품이 0을 포함하지 않는다는 실패로 인해, 어떤 프로-p 군들이 체 F의 절대 갈루아 군으로 실현될 수 없게 되는가?

주요 결과

• 모든 소수 p와 원시 p제곱근을 포함하는 체 F에 대해, H²(G_F)에서 삼중 마스키 제품 ⟨χ₁, χ₂, χ₃⟩는 항상 0을 포함한다.
• 구성된 아벨 크로스드 프로덕트 A_{u,v}는 마스키 제품에 속하는 원소를 나타내며, 브라우어 군에서 두 심볼 대수 (a,s)_p,F ⊗ (c,t)_p,F와 동치이다.
• A_{u,v}의 F_c로의 제약은 노름 유사 곱 w_c로부터 유도된 심볼 대수 (a, w_c)_p,F_c와 동형이다.
• A_{u,v}에 의해 표현되는 코호몰로지 클래스는 χ_a ∪ H¹(G_F)와 H¹(G_F) ∪ χ_c의 이미지의 합에 속하며, 이는 0 ∈ ⟨χ_a, χ_b, χ_c⟩임을 의미한다.
• 이 증명은 절대 갈루아 군 G_F에 대해 삼중 마스키 제품의 소멸 성질을 전반적으로 확립하며, 미나크와 반의 추측을 완전한 일반성에서 확인한다.
• 결과적으로, 소멸 성질을 만족하지 못하는 일부 프로-p 군들은 체 F의 절대 갈루아 군으로 실현될 수 없게 된다.