[논문 리뷰] Reduced norms of division algebras over complete discrete valuation fields of local-global type

Yong Hu|arXiv (Cornell University)|2019. 02. 18.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 1

한 줄 요약

이 논문은 잔여체 k가 양의 특성 p를 갖는 전역체인 완비 이산 평탄 체 F에 대한 중심적 분할 F-대수 D의 p-거듭제곱 차수에 대해, D가 옹호적 분할이거나 주기가 p일 경우 Rost 불변량이 단사임을 증명한다. 이 결과는 최근 Parimala, Preeti, Suresh가 양의 특성 p를 갖는 전역체에서의 소수에 비례하지 않는 차수 대수에 대해 증명한 정리의 p- torsion 대응체를 제공하며, 국소-전역 체에서의 가환군 코homology와 노름 원리에 기반한다.

ABSTRACT

Let $F$ be a complete discrete valuation field whose residue field $k$ is a global field of positive characteristic $p$. Let $D$ be a central division $F$-algebra of $p$-power degree. We prove that the subgroup of $F^*$ consisting of reduced norms of $D$ is exactly the kernel of the cup product map $\lambda\in F^*\mapsto (D)\cup(\lambda)\in H^3(F,\,\mathbb{Q}_{p}/\Z_{p}(2))$, if either $D$ is tamely ramified or of period $p$. This gives a $p$-torsion counterpart of a recent theorem of Parimala, Preeti and Surech, where the same result is proved for division algebras of prime-to-$p$ degree.

연구 동기 및 목표

• 이 논문은 완비 이산 평탄 체에서 잔여체가 양의 특성을 갖는 전역체인 F에 대해, 중심적 분할 대수 D의 p-거듭제곱 차수에 대해 Rost 단사성 정리를 p-주기 경우로 확장하는 것을 목적으로 한다.
• 이 논문은 이러한 체에서 p-거듭제곱 차수의 중심적 분할 대수의 축소 노름의 구조를 조사한다.
• 이 연구는 Galois 코hom로지와 Kato–Milne 코hom로지의 맥락에서 축소 노름에 대한 국소-전역 원리 문제를 다룬다.
• 이 논문은 Parimala, Preeti, Suresh가 최근에 발표한 소수에 비례하지 않는 차수 대수에 대한 결과의 p- torsion 대응체를 수립하고자 한다.
• 목표에는 D가 옹호적 분할이거나 주기가 p일 경우 H³(F, ℚ_p/ℤ_p)에서 (D) ∪ (λ)의 컵 곱 맵의 핵이 축소 노름군 Nrd(D*)와 일치함을 증명하는 것이 포함된다.

제안 방법

• 저자들은 Galois 코hom로지와 F* → H³(F, ℤ/pⁿ(2))의 컵 곱 맵 λ ↦ (D) ∪ (λ)을 사용하며, 이 맵의 핵이 축소 노름군임을 이용한다.
• 저자들은 Galois 코hom로지의 컵 곱을 통해 구성된 Rost 불변량 맵 RD: F*/Nrd(D*) → H³(F, ℤ/pⁿ(2))를 적용한다.
• 증명은 특성 p를 갖는 체 k에 대한 Kato–Milne 코호몰로지 군 H^{r+1}(k, ℤ/p^m(r))에 기반하며, 이는 p-주기 설정에서 Galois 코호몰로지를 일반화한다.
• 패치 기법과 노름 원리의 기술적 결과를 사용하여, 특히 완비화된 체와 국소 체에서 대수의 행동을 분석한다.
• 저자들은 L/k의 체 확장과 ξ ∈ L*를 구성하여 NL/k(ξ) = θ를 만족시키며, 특정 코호몰로지 조건을 충족시키는 것을 사용한다.
• 지역-전역 원리와 국소 체의 아벨 확장에서의 노름 성질을 통해 이러한 확장과 원소의 존재를 검증한다.

실험 결과

연구 질문

• RQ1 완비 이산 평탄 체에서 잔여체가 양의 특성을 갖는 전역체인 F에 대해 중심적 분할 대수 D의 p-거듭제곱 차수에 대해 Rost 불변량 RD는 여전히 단사적인가?
• RQ2 이러한 대수에 대해 RD의 단사성이 옹호적 분할의 경우에 성립하는가?
• RQ3 대수가 주기가 p이지만 옹호적 분할이 아닐 경우에도 Rost 불변량이 단사적인가?
• RQ4 H³(F, ℚ_p/ℤ_p)에서 (D) ∪ (λ)의 컵 곱 맵의 핵이 p-주기 경우에 축소 노름군 Nrd(D*)와 정확히 일치하는가?
• RQ5 p-주기 경우는 주기가 p 또는 옹호적 분할인 대수에 국한되지 않고, 모든 p-거듭제곱 차수 분할 대수로 확장될 수 있는가?

주요 결과

• D가 옹호적 분할일 경우 중심적 분할 F-대수 D의 Rost 불변량 RD는 단사적이다.
• D의 주기가 p이면, D가 옹호적 분할이 아니더라도 Rost 불변량 RD는 단사적이다.
• H³(F, ℚ_p/ℤ_p)에서 λ ↦ (D) ∪ (λ)의 컵 곱 맵의 핵은 옹호적 분할 및 주기가 p인 경우에 정확히 축소 노름군 Nrd(D*)와 일치한다.
• 증명은 국소 체에서 노름 조건을 충족시키는 체 확장과 원소를 구성하는 데 기반하며, Galois 코호몰로지의 코어스트릭션과 노름 맵의 성질을 사용한다.
• 이 결과는 Parimala, Preeti, Suresh가 최근에 한 소수에 비례하지 않는 차수 대수에 대한 정리의 p- torsion 대응체를 제공한다.
• 저자들은 Greenberg의 H¹ 군에 관한 정리에 기반하여, 완비화된 ˆF에서의 RD의 단사성이 F에서의 단사성으로 이어짐을 보였다.