[論文レビュー] Injective Stability for K_1 of Classical Modules

Rabeya Basu, Ravi A. Rao|ArXiv.org|Sep 18, 2009

Advanced Algebra and Geometry参考文献 11被引用数 5

ひとこと要約

本稿は、体を含む幾何的に正則な環上の射影的およびシミプレクティックな加群の K₁ に対して、単射安定化の境界を確立する。局所的ランクが d+1 以上であるとき、K₁(P) から K₁(P⊕A) への自然な写像が全単射であることを証明する（d = 安定次元）。局所的グローバル原理と変形技術を用いて、GL_n に対する以前の結果をシミプレクティックおよび射影的加群へ一般化し、グローバルランク ≥1 かつ局所的ランク ≥3 の場合に、単射安定化が d+1 で成立することを示す。

ABSTRACT

In 1994, the second author and W. van der Kallen showed that the injective stabilization bound for K_1 of general linear group is d+1 over a regular affine algebra over a perfect C_1-field, where d is the krull dimension of the base ring and it is finite and at least 2. In this article we prove that the injective stabilization bound for K_1 of the symplectic group is d+1 over a geometrically regular ring containing a field, where d is the stable dimension of the base ring and it is finite and at least 2. Then using the Local-Global Principle for the transvection subgroup of the automorphism group of projective and symplectic modules we show that the injective stabilization bound is d+1 for k_1 of projective and symplectic modules of global rank at least 1 and local rank at least 3 respectively in each of the two cases above.

研究の動機と目的

• 一般線形群からシミプレクティックおよび射影的加群への K₁ の単射安定化結果を拡張すること。
• 安定次元 d ≥ 2 かつ局所的ランク ≥ 3 のとき、K₁(Sp(P)) の単射安定化境界が d+1 であることを確立すること。
• n ≥ d+1 のとき、写像 ρ: SL(P)/Trans(P) → SL(P⊕A)/Trans(P⊕A) が全単射であることを証明し、Bass–Milnor–Serre 理論を一般化すること。
• 変形群の局所的グローバル原理を適用して、正則環上での局所的変形をグローバルな変形に持ち上げること。
• 直交的 K₁ の単射安定化境界が、シミプレクティックおよび線形の場合と比べて厳密に大きい（≥2d+4）ことを示すこと。

提案手法

• 射影的加群 P[X] 内の経路 α(X) ∈ SL(P[X]) を構成し、α(0) = Id かつ α(1) = γ となるようにすることで、γ が単位元に変形可能であることを証明する。
• A が正則環であるとき、局所的グローバル原理（定理 2.14）を用いて、Aₚ[X] 内の局所的変形を A[X] 内のグローバルな変形に持ち上げる。
• 深い分解技術とモニック逆元を用いて、体上の多項式環から局所化および正則環への結果の拡張を行う。
• A が幾何的に正則な局所環であるとき、S(r, A[X]) = E(r, A[X]) が r ≥ 3（線形）および r ≥ 6（シミプレクティック）で成り立つこと（Popescu の近似定理による）。
• 単模元 v(X) = η(X)e_{n₁} を構成し、単模元の安定化補題（補題 3.3, 3.5）を適用して η(X) を基本的および構造を保つ成分に分解する。
• η(X) = σ(X)⁻¹ξ(X)η̃(X) の分解（σ(X) ∈ S(ℤ), ξ(X) ∈ E(ℤ), η̃(X) ∈ S(P[X])）を用いて、核心的な変形を分離する。

実験結果

リサーチクエスチョン

• RQ1 体を含む幾何的に正則な環上のシミプレクティック加群の K₁ に対する単射安定化境界は何か？
• RQ2 GL_n に対する単射安定化結果を、最小ランク条件を満たす射影的およびシミプレクティック加群へ拡張できるか？
• RQ3 変形群の局所的グローバル原理により、正則環上での局所的変形をグローバルな変形に持ち上げられるか？
• RQ4 直交的 K₁ の単射安定化境界は、シミプレクティックまたは線形の場合と同じか？
• RQ5 SL(P[X]) や Sp(P[X]) 内の変形が、自己同型が変形群に属することを示すにはどのような条件下が必要か？

主な発見

• 安定次元 d ≥ 2 かつ P の局所的ランクが max(3, d+1) 以上であるとき、K₁(Sp(P)) の単射安定化境界は d+1 である。
• グローバルランク ≥1 かつ局所的ランク ≥ d+1 である有限生成射影的 A 加群 P に対して、写像 ρ: SL(P)/Trans(P) → SL(P⊕A)/Trans(P⊕A) は全単射である。
• A が体を含む幾何的に正則な環であり、γ ∈ Sp(P) が γ ⊥ I₂ ∈ Trans_Sp(P ⊥ A²) を満たすならば、γ は Sp(P[X]) 内の変形により単位元に変形可能である。
• A が正則環であり体を含むとき、SL(P[X]) や Sp(P[X]) 内の変形 η̃(X) は変形群 ET(P[X]) に属するため、γ ∈ Trans(P) である。
• 直交的 K₁ の単射安定化境界は一般に 2d+4 以上であり、シミプレクティックおよび線形の場合と比べて厳密に大きいことが示される。
• Popescu の近似定理および S(r, A[X]) = E(r, A[X]) が r ≥ 3（線形）および r ≥ 6（シミプレクティック）で成り立つことにより、結果はすべての正則局所環に拡張可能である。