[論文レビュー] From Mennicke symbols to Euler class groups

W. L. J. van der Kallen|ArXiv.org|Oct 25, 2000

semigroups and automata theory参考文献 9被引用数 11

ひとこと要約

本稿では、2行のユニモジュラー行列に対する部分的に定義された演算を導入することで、Mennicke記号からオイラー類群へのホモオモルフィズムを確立し、ユニモジュラー行からオイラー類群への一般化された写像の核が、従来の知られていたよりも弱い仮定のもとで部分群であることを証明する。主な貢献は、代数的トポロジーにインspiredされたホモトピー論を通じて、不安定K理論とオイラー類群との間の構造的リンクを確立することにある。

ABSTRACT

Bhatwadekar and Raja Sridharan have constructed a homomorphism of abelian groups from an orbit set Um(n,A)/E(n,A) of unimodular rows to an Euler class group. We suggest that this is the last map in a longer exact sequence of abelian groups. The hypothetical group G that precedes Um(n,A)/E(n,A) in the sequence is an orbit set of unimodular two by n matrices over the ring A. If n is at least four we describe a partially defined operation on two by n matrices. We conjecture that this operation describes a group structure on G if A has Krull dimension at most 2n-6. We prove that G is mapped onto a subgroup of Um(n,A)/E(n,A) if A has Krull dimension at most 2n-5.

研究の動機と目的

• 従来の研究よりも弱い仮定のもとで、ユニモジュラー行からオイラー類群への写像の核が部分群であることを一般化すること。
• ユニモジュラー2×n行列に対する部分的に定義された演算を用いて、この一般化された写像の核が部分群であることを確立すること。
• A¹ホモトピー論と軌道集合を用いて、代数的K理論とオイラー類群を結ぶこと。
• バナッハ代数上の軌道集合に対して、連続的な球面への写像による位相的解釈を提供すること。
• 次元制約のもとで、正確な系列における行写像の像が部分群であることを示すこと。

提案手法

• ユニモジュラー2×n行列に対する部分的に定義された二項演算を導入し、群に類似した構造を定義する。
• A¹ホモトピー同値を用いてユニモジュラー行の同値関係を定義し、この関係における軌道が部分群をなすことを示す。
• Vasersteinのホワイトヘッド補題を適用し、行列の共役とGL_n(A) ∩ E_{m+n}(A) における軌道同値性を関連付ける。
• バナッハ代数の設定において、E_n(A) がユニモジュラー行列に作用するとき、軌道が開であることを示し、位相的安定性を保証する。
• 有限CW複体への写像のホモトピー類と軌道集合の間の全単射対応を活用し、群構造の正当化を行う。
• 次元制約のもとで、ユニバーサルMennicke記号群MS_{n-1}(A) を軌道集合Um_{n-1}(A)/E_n(A) ∩ GL_{n-1}(A) として、群構造を備えた形で定義する。

実験結果

リサーチクエスチョン

• RQ1 ユニモジュラー行からオイラー類群への写像の核が部分群であることを示すために、どのようなより弱い仮定が必要か？
• RQ2 2×nユニモジュラー行列に対する部分的に定義された演算が、軌道集合への群構造の定義にどのように寄与するか？
• RQ3 A¹ホモトピーは、ユニモジュラー行列の軌道集合構造を安定化するために果たす役割は何か？
• RQ4 バナッハ代数上の軌道集合は、代数的トポロジーにおける球面への写像のホモトピー類とどのように関係するか？
• RQ5 トポロジカルまたはホモトピー論的技法を用いて、正確な系列における行写像の像が部分群であることを示せるか？

主な発見

• d ≤ 2n−6 の仮定のもとで、ユニモジュラー行からオイラー類群への一般化された写像の核は部分群である。
• d ≤ 2n−6 のもとで、軌道集合Um_{2,n}(A)/E_n(A) はA¹ホモトピーによって誘導される群構造を有する。
• MS_{n-1}(A) から Um_{2,n}(A)/E_n(A) への写像は適切に定義されており、単射であり、ms(v) を (1 0; 0 v) の軌道に送る。
• d次元のCW複体上の連続実数値関数のバナッハ代数 A に対して、Um_n(A)/E_n(A) は [X, R^n − 0] と双対である。これにより群構造が正当化される。
• ユニモジュラー2×n行列における演算 * は、Borsukが定義した Um_{2,n}(A)/E_n(A) 上の群構造と一致する。
• GL_n^0(A) 内の E_n(A)-軌道の固定部分群は開であり、完全に連結成分に等しく、軌道の開性と群構造の整合性が保証される。