[论文解读] 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（d = 稳定维数）时，从 K₁(P) 到 K₁(P⊕A) 的自然映射是双射。利用辛自守群的局部-整体原理与同伦技术，该研究将早期关于 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），与辛与线性情形形成对比。

提出的方法

• 使用同伦技术构造一条路径 α(X) ∈ SL(P[X])，使得 α(0) = Id 且 α(1) = γ，从而证明 γ 同伦于单位元。
• 利用局部-整体原理（定理 2.14），当 A 为正则环时，将 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₁ 的单射稳定化界是否与辛或线性 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 的逼近定理及当 r ≥ 3（线性）与 r ≥ 6（辛）时 S(r, A[X]) = E(r, A[X]) 的事实，该结果可推广至所有包含域的正则局部环。