[论文解读] Local automorphisms of the unitary group and the general linear group on a Hilbert space

Lajos Molnár, Peter Šemrl|ArXiv.org|May 17, 2000

Advanced Topics in Algebra参考文献 9被引用 12

一句话总结

该论文证明了在复无穷维可分希尔伯特空间上，酉群或一般线性群的每个2-局部自同构实际上都是全局自同构。该结果通过证明在算子对上的局部行为强制导致全局内自同构或空间实现，利用了谱性质和算子代数自同构的结构定理得以建立。

ABSTRACT

We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their local actions on the two-points subsets of the groups in question.

研究动机与目标

• 确定在希尔伯特空间上的酉群与一般线性群背景下，2-局部自同构——即在每对元素上与某个自同构局部一致的变换——是否必为全局自同构。
• 将局部与2-局部映射理论从C*-代数扩展至非结合与非幺半群，特别是聚焦于酉群与一般线性群。
• 确立两点子集上的局部行为可完全决定此类变换的全局结构。
• 解决一个类似于凯迪森局部导子问题的猜想，但针对的是2-局部设定下的群自同构。

提出的方法

• 将2-局部自同构定义为：对每对元素，存在一个依赖于该对的自同构，使得该映射在该两点上与该自同构一致。
• 利用谱定理，并利用$ I - 2P $（其中$ P $为投影算子）生成酉算子的事实，将$ U(H) $的2-局部自同构与投影格的2-局部自同构联系起来。
• 应用已知结果：正交模格的2-局部自同构是自同构，且由酉算子或反酉算子诱导。
• 通过该算子对原映射进行共轭，转化为映射固定所有$ I - 2P $算子的情形，从而简化分析。
• 分析酉算子$ V $与单位向量$ x $的二次型$ \langle \phi(V)x, x \rangle $，证明其必等于$ \langle Vx, x \rangle $或其共轭，从而推出$ \phi(V) = V $或$ \phi(V) = V^* $。
• 证明对所有$ V $，选择$ \phi(V) = V $或$ \phi(V) = V^* $具有一致性，意味着映射在酉群上要么是恒等映射，要么是复共轭映射。
• 对于$ GL(H) $，利用$ \phi(2iI) = 2iI $的事实，将问题约化为保持谱与数量倍数的自同构，然后通过$ \psi(X) = \phi(X - \lambda I) + \lambda I $（其中$ \lambda \in L_X $）将映射扩展至$ B(H) $。
• 证明$ \psi $是$ B(H) $的2-局部自同构，并应用已知结果：$ B(H) $的2-局部自同构是内自同构，因此存在可逆算子$ T $使得$ \psi(X) = TXT^{-1} $，从而$ \phi $在$ GL(H) $上是内自同构。

实验结果

研究问题

• RQ1 在复无穷维可分希尔伯特空间上，酉群的每个2-局部自同构是否必为全局自同构？
• RQ2 该结论在相同希尔伯特空间上的一般线性群上是否同样成立？
• RQ3 2-局部性质——即在每对元素上与某个自同构一致——是否能在非结合与非幺半群中强制产生全局自同构结构？
• RQ4 谱性质与投影结构在多大程度上约束了2-局部自同构的全局形式？
• RQ5 能否将$ GL(H) $的2-局部自同构扩展为$ B(H) $的2-局部自同构？若能，这是否意味着其为内自同构？

主要发现

• 在复无穷维可分希尔伯特空间上，酉群$ U(H) $的每个2-局部自同构都是全局自同构。
• 该结论同样适用于一般线性群$ GL(H) $：每个2-局部自同构都是全局自同构。
• 酉群$ U(H) $的2-局部自同构要么是恒等映射，要么是映射$ V \mapsto V^* $，且群上的一致性强制全局选择唯一。
• 对于$ GL(H) $，2-局部自同构由有界可逆线性算子$ T $的共轭实现，即$ \phi(X) = TXT^{-1} $，因此是内自同构。
• 通过$ \psi(X) = \phi(X - \lambda I) + \lambda I $将$ GL(H) $的2-局部自同构扩展至$ B(H) $，可得$ B(H) $的2-局部自同构，而该类自同构已知为内自同构。
• 证明依赖于一个谱引理，确保当$ \lambda $的虚部足够大时，集合$ K - \lambda $避开如共轭或取逆等对称性，从而有助于分类自同构类型。