[논문 리뷰] The strong Massey vanishing conjecture for fields with virtual cohomological dimension at most $1$

Ambrus Pál, Endre Szabó|arXiv (Cornell University)|2018. 11. 15.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 가상 코homological 차원이 1 이하인 체와 편-2-닫힘(pseudo-p-adically closed, PpC) 체에 대해 강한 Massey 소멸 추측을 증명한다. 이를 위해 Haran과 Haran–Jarden의 Galois 코hom로와 임bedding 문제에 관한 결과를 활용하며, n ≥ 3에 대해 약한 Massey 소멸을 만족하지만 n = 4에서 강한 Massey 소멸에 실패하는 프로-2 군을 구축하여 두 성질 사이의 стрict한 계층성을 입증한다.

ABSTRACT

We show that a strong vanishing conjecture for $n$-fold Massey products holds for fields of virtual cohomological dimension at most $1$ using a theorem of Haran. We also prove the same for PpC fields, using results of Haran--Jarden. Finally we construct a pro-$2$ group which satisfies the weak Massey vanishing property for every $n\geq3$, but does not satisfy the strong Massey vanishing property for $n=4$.

연구 동기 및 목표

• 가상 코호몰로지 차원이 1 이하인 체에 대해 강한 Massey 소멸 추측을 확립한다.
• 강한 Massey 소멸 성질을 편-2-닫힘(Pseudo-p-adically closed, PpC) 체로 확장한다.
• 프로-2 설정에서 반례를 구축하여 약한 Massey 소멸과 강한 Massey 소멸 간의 구별을 명확히 한다.
• n ≥ 4일 때 강한 Massey 소멸 성질이 약한 성질보다 엄밀히 더 강하다는 것을 보여준다.

제안 방법

• 가상 코호몰로지 차원 ≤ 1인 체의 Galois 군의 구조에 관한 Haran의 정리를 활용하여 강한 Massey 소멸을 증명한다.
• PpC 체에 관한 Haran–Jarden의 결과를 적용하여 그 절대 Galois 군이 강한 Massey 소멸 성질을 만족함을 보인다.
• 임베딩 문제에서의 장애 클래스에 관한 Dwyer의 정리를 사용하여 n중 Massey 곱의 소멸을 분석한다.
• 수체의 Galois 군의 역극한을 통해 중심 확장과 장애 이론을 이용한 프로-2 군을 구축한다.
• 풍선-제약 정확수열과 코homological 기법을 사용하여 군 코hom로지의 당김 사상의 핵을 분석한다.
• 장애 클래스의 자연성(naturality)을 적용하여 군 준동형사상과 몫군 간의 임베딩 문제 해를 비교한다.

실험 결과

연구 질문

• RQ1 가상 코호몰로지 차원이 1 이하인 체에 대해 강한 Massey 소멸 추측이 성립하는가?
• RQ2 편-2-닫힘 체는 모든 소수에 대해 강한 Massey 소멸 성질을 만족하는가?
• RQ3 모든 n ≥ 3에 대해 약한 Massey 소멸을 만족하지만 n = 4에서 강한 Massey 소멸에 실패하는 프로-2 군이 존재하는가?
• RQ4 프로파일린 군의 맥락에서 약한 Massey 소멸과 강한 Massey 소멸 간의 정확한 관계는 무엇인가?

주요 결과

• 모든 소수 p에 대해, 모든 K에 대해 cd(K(i)) ≤ 1이면 강한 Massey 소멸 추측이 성립한다.
• 모든 소수에 대해 모든 편-2-닫힘(Pseudo-p-adically closed, PpC) 체에 대해 강한 Massey 소멸 추측이 성립한다.
• 모든 n ≥ 3에 대해 약한 Massey 소멸 성질을 만족하지만 n = 4에서 강한 Massey 소멸 성질에 실패하는 프로-2 군 G가 구축된다.
• 장애 클래스 o(F₄(ψ̄⋆β))는 0이 아니며, τ*의 핵에 속해 있으며, 이 핵은 최대 일차원이므로 군 확장 간의 해를 비교할 수 있다.
• n중 Massey 곱 ⟨κ₅¹∘ρₖ, κ₅²∘ρₖ, κ₅³∘ρₖ⟩은 0을 포함하며, 이는 원래 군 G의 곱에도 동일하게 성립함을 의미한다.
• 구축 과정은 n = 4일 때 강한 Massey 소멸 성질이 약한 성질보다 엄밀히 더 강하다는 것을 보여주며, 약한 조건은 만족하지만 강한 조건은 만족하지 않는다.