[논문 리뷰] Generalized Bockstein maps and Massey products

Yeuk Hay Joshua Lam, Yuan Liu외 3명|arXiv (Cornell University)|2020. 04. 24.

Algebraic structures and combinatorial models참고 문헌 10인용 수 5

한 줄 요약

이 논문은 프로파인 군 $G$ 의 정규부분군 $N$ 의 아이와사와 코homology를 $G/N$ 의 군 대수에서의 증폭 이상의 필터링을 통해 $G$ 의 코homology와 연결하는 일반화된 보크슈타인 사상들을 도입한다. 이 사상들의 상은 제한된 정의 체계 하에서 메시 프로덕트와 대응함을 보이며, 비아벨 확장에서의 클래스 군의 $p$-랭크에 대한 하한을 제공하고 갈로아 코hom로지에서의 메시 삼중 프로덕트의 소멸을 새롭게 증명하는 새로운 대수적 프레임워크를 제공한다.

ABSTRACT

Given a profinite group G of finite p-cohomological dimension and a pro-p quotient H of G by a closed normal subgroup N, we study the filtration on the Iwasawa cohomology of N by powers of the augmentation ideal in the group algebra of H. We show that the graded pieces are related to the cohomology of G via analogues of Bockstein maps for the powers of the augmentation ideal. For certain groups H, we relate the values of these generalized Bockstein maps to Massey products relative to a restricted class of defining systems depending on H. We apply our study to prove lower bounds on the p-ranks of class groups of certain nonabelian extensions of the rational numbers and to give a new proof of the vanishing of triple Massey products in Galois cohomology.

연구 동기 및 목표

• 프로파인 군 $G$ 와 그 정규열 부분군 $N$ 의 코homology를 비교하기 위한 일반적 프레임워크를 개발한다. 이는 $\widehat{\mathbb{Z}}_p[[G/N]]$ 의 증폭 이상의 필터링을 사용한다.
• 고전적 보크슈타인 준동형사상의 일반화로 간주되는 일반화된 보크슈타인 사상 $\Psi^{(n)}$ 을 정의하며, 핵심 제약 사상들을 고차 필터링 수준으로 확장한다.
• 이 사상들의 상이 제한된 정의 체계 하에서의 $n$-중 메시 프로덕트와 관련됨을 규명하여 불확실성을 줄인다.
• 이 이론을 수론에 적용하여, 특히 이중순환 및 하이젠베르크 확장에서 $\mathbb{Q}(\mu_p)$ 의 비아벨 $p$-확장에서의 클래스 군의 $p$-랭크에 하한을 도출한다.
• 절대 갈로아 군에서의 삼중 메시 프로덕트의 소멸을 기하학적 또는 위상수학적 방법에 의존하지 않고, 이 대수적 프레임워크를 통해 새롭게 증명한다.

제안 방법

• 저자들은 $H = G/N$ 에 대해 $\widehat{\mathbb{Z}}_p[[H]]$ 의 증폭 이상 $I^n$ 을 사용하여 아이와사와 코homology의 필터링을 정의하고, 해당 필터링의 차수별 부분을 연구한다.
• 그들은 호모로지 대수학 기법(부록 A 참조)을 사용하여 함자들의 복합을 통해 유도된 스펙트럴 시리즈에서 연결 준동형사상으로서 일반화된 보크슈타인 사상 $\Psi^{(n)}$ 을 구성한다.
• $\Psi^{(n)}$ 이 필터링의 $n$번째 차수 부분을 $\Psi^{(n)}$ 의 상의 코어널러와 연결함을, 그로텐디크 스펙트럴 시리즈의 추론을 통해 보인다.
• 메시 프로덕트에 대한 '적절한 정의 체계'라는 새로운 개념을 도입하여 불확실성을 감소시키고, $\Psi^{(n)}$ 의 상이 적절한 정의 체계 하에서 메시 프로덕트 값과 일치함을 보장한다.
• 일반화된 보크슈타인 사상이 명시적으로 계산 가능한 특정 군 유형—프로순환군, 프로이중순환군, 기본 아벨 $p$-군, 하이젠베르크 군—에 대해 연구하고, 이들과 메시 프로덕트를 연결한다.
• 이 프레임워크를 사용하여 산술적 결과를 도출하며, 특히 $\mathbb{Q}(\mu_p)$ 의 $p$-분할 확장에서의 클래스 군의 $p$-랭크에 하한을 구하고 갈로아 코hom로지에서의 메시 소멸을 재증명한다.

실험 결과

연구 질문

• RQ1 프로파인 군 $G$ 의 코homology는 어떻게 정규열 부분군 $N$ 의 아이와사와 코homology의 증폭 필터링을 통해 $G$ 의 코homology와 연결될 수 있는가?
• RQ2 일반화된 보크슈타인 사상 $\Psi^{(n)}$ 은 고전적 보크슈타인 준동형사상의 어떤 측면에서 일반화되며, 호모로지 대수학을 통해 어떻게 구성되는가?
• RQ3 어느 정도의 제한된 정의 체계 하에서 $n$-중 메시 프로덕트가 $\Psi^{(n)}$ 의 상으로 표현될 수 있는가?
• RQ4 갈로아 코호모로지에서 일반화된 보크슈타인 사상과 메시 프로덕트의 관계로부터 어떤 산술적 결과가 도출되는가?
• RQ5 절대 갈로아 군에서의 메시 삼중 프로덕트의 소멸은 이 대수적 프레임워크를 통해 재증명될 수 있는가?

주요 결과

• 증폭 필터링의 $n$번째 차수 부분은 일반화된 보크슈타인 사상 $\Psi^{(n)}$ 의 코어널러와 동형이 되며, 정확한 코호모로지 대응을 확립한다.
• 일부 군 $H = G/N$ 에서, 예를 들어 기본 아벨 $p$-군과 하이젠베르크 군에서는 $\Psi^{(n)}$ 의 상이 적절한 정의 체계 하에서의 $n$-중 메시 프로덕트 값의 집합과 정확히 일치한다.
• 저자들은 이중순환 및 하이젠베르크 확장에서 $\mathbb{Q}(\mu_p)$ 의 유한한 $p$-분할 확장에서의 클래스 군의 $p$-랭크에 하한을 증명하며, 일반화된 보크슈타인 사상의 구조를 활용한다.
• 절대 갈로아 군의 갈로아 코호모로지에서의 삼중 메시 프로덕트의 소멸에 대한 새로운 증명을 얻었으며, 이는 일반화된 보크슈타인 사상의 대수적 구조에만 의존한다.
• 이 프레임워크는 메시 프로덕트의 소멸을 위상수학적 또는 기하학적 유사성(예: 루프 보존의 보조 공간 등)에 의존하지 않고 순수하게 대수적 방법으로 설명한다.
• 결과들은 그로텐디크 스펙트럴 시리즈와 유도 함자 등을 포함한 호모로지 대수학 도구를 사용하여 도출되었으며, 부록 A의 핵심 보조정리들이 구성의 타당성을 보장한다.