[論文レビュー] Isotropic reductive groups over polynomial rings

Anastasia Stavrova|arXiv (Cornell University)|Nov 20, 2011

Algebraic structures and combinatorial models参考文献 11被引用数 5

ひとこと要約

本稿は、体 $ k $ 上の再帰的群 $ G $ について、すべての単純正規部分群の等方的ランクが 2 以上であるとき、$ k $ から多項式環 $ k[X_1, \dots, X_n] $ に移行しても非安定 $ K_1^G $-関手 $ K_1^G $ が変わらないことを確立する。これは、$ k $ が完備であるとき、$ K_1^G $ が正則 $ k $-代数上で $ A^1 $-ホモトピー不変性を示すことにつながり、$ k $ が無限の完備体であるとき、分数体が $ K $ である正則局所 $ k $-代数 $ R $ に対して、写像 $ K_1^G(R) \to K_1^G(K) $ が単射であることを示す。

ABSTRACT

Let G be reductive algebraic group over a field k, such that every semisimple normal subgroup of G has isotropic rank >=2. Let K_1^G be the non-stable K_1-functor associated to G (also called the Whitehead group of G in the field case). We show that K_1^G(k)=K_1^G(k[X_1,...,X_n]) for any n>= 1. This implies that K_1^G is A^1-homotopy invariant on the category of regular k-algebras, if k is perfect. If k is infinite perfect, one also deduces that K_1^G(R)-> K_1^G(K) is injective for any regular local k-algebra R with the fraction field K.

研究の動機と目的

• ベース体の多項式拡張における非安定 $ K_1^G $-関手の挙動を調査すること。
• 正則 $ k $-代数上で $ K_1^G $ が $ A^1 $-ホモトピー不変性を示す条件を確立すること。
• $ k $ が無限の完備体であるとき、分数体が $ K $ である正則局所 $ k $-代数 $ R $ に対して、写像 $ K_1^G(R) \to K_1^G(K) $ が単射であることを証明すること。
• 等方的再帰的群の文脈におけるホワイトヘッド群に関する構造的結果を拡張すること。

提案手法

• $ G $ のすべての単純正規部分群が等方的ランク 2 以上であるという仮定を用いて、$ G $ 及びその $ K_1^G $-関手の構造を制御する。
• 代数的 $ K $-理論および等方的再帰的群論の技法を用いて、多項式環上の関手 $ K_1^G $ を分析する。
• 等方的群が強いキャンセルおよび近似性質を満たすという事実を用い、多項式拡張下での $ K_1^G $ の安定化を実現する。
• ベース体 $ k $ の完備性を活用して、正則 $ k $-代数が必要なホモトピー的およびコホモロジー的性質を満たすことを保証する。
• ホワイトヘッド群 $ K_1^G $ の構造を用いて、降下およびパッチングの議論により、多項式拡張下での不変性を導出する。
• 局所環における $ K_1 $-写像の単射性に関する結果を応用し、$ k $ の無限性を活かして十分な近似性および非分岐性を保証する。

実験結果

リサーチクエスチョン

• RQ1 再帰的群 $ G $ が等方的単純正規部分群をランク $ \geq 2 $ で持つとき、ベース体 $ k $ を多項式環 $ k[X_1, \dots, X_n] $ に置き換えても、非安定 $ K_1^G $-関手 $ K_1^G $ は不変のままであるか？
• RQ2 正則 $ k $-代数の圏上で $ K_1^G $ が $ A^1 $-ホモトピー不変性を示すための条件は何か？
• RQ3 $ k $ が無限の完備体であるとき、分数体が $ K $ である正則局所 $ k $-代数 $ R $ に対して、自然な写像 $ K_1^G(R) \to K_1^G(K) $ は単射か？
• RQ4 $ G $ の単純正規部分群における等方的条件は、ベース環の拡張下での $ K_1^G $ の挙動にどのように影響するか？

主な発見

• 与えられた等方的条件のもとで、任意の $ n \geq 1 $ に対して $ K_1^G(k) \cong K_1^G(k[X_1, \dots, X_n]) $ が成り立つ。
• $ k $ が完備であるとき、正則 $ k $-代数の圏上で $ K_1^G $ は $ A^1 $-ホモトピー不変性を示す。
• $ k $ が無限の完備体であるとき、分数体が $ K $ である任意の正則局所 $ k $-代数 $ R $ に対して、写像 $ K_1^G(R) \to K_1^G(K) $ は単射である。
• 等方的ランクの条件が、多項式拡張下での $ K_1^G $ の安定化に十分な構造的制御を提供する。
• これらの結果により、体の場合を越えて等方的再帰的群におけるホワイトヘッド群の理解が拡張される。
• 単射性の結果により、局所設定における $ K_1^G $ に対して強い有限性および分離性の性質が得られる。