半局所環上の等方的K1関手の可解性
Solvability of isotropic $ \mathrm{K}_1 $-functor over semilocal rings
この論文をやさしく読む
ひとことで言うと
半局所環上の簡約群から作るK1関手が、どの条件で可解になるかを証明する群論の研究。
何に役立つ？
基本部分群と完全部分群の関係を調べる理論的な手掛かりになる。
この研究の面白いところ
等方的階数とTits指数の条件から可解性を導き、最大完全部分群についての帰結も得る。
どこまで分かった？
等方的階数は2以上で、明記された二種類のTits指数は主定理の対象外。これらについての既知の結果には基礎環が体を含むという仮定がある。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
半局所環上の単純簡約群に基づくK1関手について、等方的階数が2以上で、Tits指数が特定の二種類、すなわち2E6,2の16′型およびE8,2の78型のいずれでもなければ、可解であることを示す。この二種類のTits指数については、基礎となる環が体を含むと仮定した場合に、既に結果が知られている。著者らの結果から、基本部分群、またはその導来部分群が、簡約群の最大の完全部分群であることが従う。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We show that the $ \mathrm{K}_1 $-functor modeled on simple reductive groups over semilocal rings is solvable if the isotropic rank is at least $ 2 $ and that the Tits index is neither $ {}^{2} \mathsf{E}_{6, 2}^{16'} $ nor $ \mathsf{E}_{8, 2}^{78} $. For these two Tits indices the result is already known, but assuming that the base ring contains a field. Our result implies that the elementary subgroup (or its derived subgroup) is the maximal perfect subgroup of the reductive group.
著者のコメント
2 figures. This is a part of arXiv:2608.17488v1 concerning only semilocal rings. The argument for $ {}^{2} \mathsf{E}_{6, 2}^{16'} $ was invalid, so for this Tits index we refer to the known result about algebras over a field
arXiv ID: 2609.25124 ／ 要約の誤りについて