[论文解读] From Mennicke symbols to Euler class groups

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

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

一句话总结

本文通过在具有两行的幺模矩阵上引入一个部分定义的运算，建立了从梅尼克符号到欧拉类群的同态，并证明了在比以往更弱的假设下，从幺模行到欧拉类群的广义映射的核是一个子群。关键贡献在于通过代数拓扑启发的同伦理论，建立了不稳定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-理论与欧拉类群联系起来。
• 通过连续映射到球面，为巴拿ach代数上的轨道集提供拓扑解释。
• 在维数约束下，通过拓扑或同伦方法证明精确序列中行映射的像是一个子群。

提出的方法

• 在幺模2×n矩阵上引入一个部分定义的二元运算，以定义类似群的结构。
• 使用A¹同伦等价性在幺模行上定义等价关系，表明在此关系下的轨道构成一个子群。
• 应用瓦瑟斯坦的怀特赫德引理，将矩阵共轭与GL_n(A) ∩ E_{m+n}(A)作用下的轨道等价性联系起来。
• 证明在巴拿ach代数设定下，E_n(A)对幺模矩阵的作用具有开轨道，从而保证拓扑稳定性。
• 利用轨道集与有限CW复形上映射的同伦类之间的双射对应，来证明群结构的合理性。
• 在维数约束下，将通用梅尼克符号群MS_{n-1}(A)作为轨道集Um_{n-1}(A)/E_n(A) ∩ GL_{n-1}(A)赋予群结构。

实验结果

研究问题

• RQ1 在何种比以往更弱的假设下，可证明从幺模行到欧拉类群的映射的核是一个子群？
• RQ2 对2×n幺模矩阵的部分定义运算如何促成轨道集上的群结构的定义？
• RQ3 A¹同伦在稳定幺模矩阵轨道集结构方面起到什么作用？
• RQ4 巴拿ach代数上的轨道集与代数拓扑中映射到球面的同伦类之间有何关系？
• 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复形上连续实值函数的巴拿ach代数，Um_n(A)/E_n(A)与[X, R^n − 0]之间存在双射，从而支持群结构。
• 幺模2×n矩阵上的运算*与博鲁克定义的Um_{2,n}(A)/E_n(A)上的群结构一致。
• GL_n^0(A)中E_n(A)-轨道的稳定化子是开集，且等于整个连通分支，从而保证轨道的开性与群结构的相容性。