[論文レビュー] A Horrocks-Type Theorem for Even Orthogonal $\mathrm{K}_2$

Andrei Lavrenov, Sergey Sinchuk|arXiv (Cornell University)|Sep 5, 2019

Advanced Operator Algebra Research参考文献 35被引用数 5

ひとこと要約

本稿は、不変な偶数次正規直交K2関手に対するホロックス型定理を確立し、多項式およびローレンツ多項式拡張を含むある可換な四角形がプルバックであることを証明する。証明は局所的・グローバルな原理と、階数付き環上のシュタインバーグ群の新規な分解に依拠しており、線形K2の結果から正規直交群への拡張を達成し、2- torsionの可逆性が存在する場合の型Dℓにおけるセールの問題のK2アナログを確認する。

ABSTRACT

We prove the Horrocks theorem for unstable even-dimensional orthogonal Steinberg groups. The Horrocks theorem for Steinberg groups is one of the principal ingredients needed for the proof of the $\mathrm{K}_2$-analogue of Serre's problem, whose positive solution is currently known only in the linear case.

研究の動機と目的

• 不変な偶数次正規直交群に対するセールの問題のK2アナログを確立し、クイレン–シュスタインの局所的・グローバルな原理をK2関手へ拡張する。
• 不変な正規直交K2関手KO2(2ℓ, −)が多項式およびローレンツ多項式拡張においてプルバック性質を満たすことを証明する。
• ホロックスの定理を型Dℓのシュタインバーグ群へ一般化し、非線形チェヴァリの群に対するK2アナログのセールの問題におけるギャップを埋める。
• 中心拡張と安定性定理を用いて、相対K理論枠組みにおける主要な準同型の単射性を解明する。
• 特に、階数≥3のすべての根系に対して、セールの問題のK2アナログを証明するための基礎的段階を提供する。

提案手法

• 局所的・グローバルな原理を用いて、主定理を、準同型j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) の単射性の証明に還元する。
• 局所的・グローバルな原理を適用し、Aが局所環である場合に問題を簡略化し、環およびそのイデアルの構造を単純化する。
• ローディの理論からの相対的中心拡張を用いて、写像St(Dℓ, B) → St(Dℓ, R) の核を分析する。ここでB = A[X−1] + M[X] かつ R = A[X, X−1] である。
• パニンの安定性定理とバスの基本定理を用いて、相対的中心拡張部分群間の写像C(Dℓ, B, M[X, X−1]) → C(Dℓ, R, M[X, X−1]) の全射性を確立する。
• シュタインバーグ群St(Φ, B) を三つの群の積の商としての分解を用い、[38]の方法を一般化する。
• レーマン、スールェ、トゥレナエフにインspiredされた、階数付き環上のシュタインバーグ群の提示定理を適用し、分解における群構造を制御する。

実験結果

リサーチクエスチョン

• RQ1 不変な偶数次正規直交K2関手KO2(2ℓ, −) は、多項式およびローレンツ多項式拡張においてホロックス型のプルバック性質を満たすか？
• RQ2 Aにおいて2が可逆であるという仮定の下で、準同型j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) の単射性は確立可能か？
• RQ3 K2関手に対する局所的・グローバルな原理は、偶数次正規直交群に適用可能であり、局所環の場合への還元を可能にするか？
• RQ4 シュタインバーグ群の相対的中心拡張構造は、ローレンツ拡張上の群間の写像の単射性の証明に用いることができるか？
• RQ5 St(Φ, B) を三つの群の積の商としての分解が、正規直交K2の文脈における単射性の体系的証明を可能にするか？

主な発見

• 2がAで可逆であり、ℓ ≥ 7であるとき、KO2(2ℓ, A)、KO2(2ℓ, A[X])、KO2(2ℓ, A[X−1])、KO2(2ℓ, A[X, X−1]) を含む可換四角形がプルバックであり、すべての写像が単射であることが本稿で証明された。
• 同じ結果はシュタインバーグ群St(Dℓ, −) およびK2関手K2(Dℓ, −)に対しても成り立ち、正規直交群におけるK2アナログのホロックス定理を確立する。
• j−: St(Dℓ, A[X−1]) → St(Dℓ, A[X, X−1]) の単射性は、二段階の議論により確立された：まずjR: St(Dℓ, B) → St(Dℓ, R) の単射性を証明し、次にj−B: St(Dℓ, A[X−1]) → St(Dℓ, B) の単射性を示した。
• C(Dℓ, B, M[X, X−1]) → C(Dℓ, R, M[X, X−1]) の写像の全射性は、パニンの安定性定理および高次グロテンディーク–ウット群に対するバスの基本定理の結果として得られた。
• St(Φ, B) を三つの群の積の商としての分解（そのうちの一つがSt(Φ, A[X−1]) である）を用いることで、根系型Aℓ (ℓ ≥ 4)、Dℓ (ℓ ≥ 5)、E6,7,8 において j−B の単射性の証明が可能となった。
• 2が底環で可逆であるという仮定の下で、特にℓ ≥ 7 である型Dℓの群に対して、正規直交群におけるK2アナログのセールの問題の重要な要素が確認された。