[论文解读] Representations of residually finite groups by isometries of the Urysohn space

Vladimir Pestov, Vladimir Uspenskij|arXiv (Cornell University)|Jan 28, 2006

Advanced Operator Algebra Research参考文献 18被引用 6

一句话总结

本文证明，任意残有限群在普遍Urysohn度量空间𝕌的等距表示均可通过有限像表示进行逐点逼近。借助先前工作的精细构造，作者证明了𝕌的等距群满足Kirchberg性质，这意味着此类逼近在表示空间中是稠密的，对算子代数中的Connes嵌入猜想具有重要意义。

ABSTRACT

As a consequence of Kirchberg's work, Connes' Embedding Conjecture is equivalent to the property that every homomorphism of the group $F_\infty imes F_\infty$ into the unitary group $U(\ell^2)$ with the strong topology is pointwise approximated by homomorphisms with a precompact range. In this form, the property (which we call Kirchberg's property) makes sense for an arbitrary topological group. We establish the validity of the Kirchberg property for the isometry group $Iso(U)$ of the universal Urysohn metric space $U$ as a consequence of a stronger result: every representation of a residually finite group by isometries of $U$ can be pointwise approximated by representations with a finite range. This brings up the natural question of which other concrete infinite-dimensional groups satisfy the Kirchberg property.

研究动机与目标

• 研究残有限群在Urysohn空间上的等距表示是否可由有限像表示逼近。
• 确立Urysohn空间的等距群满足Kirchberg性质，这是与Connes嵌入猜想相关的关键条件。
• 将有限子群的逼近框架扩展至非酉、等距的群作用于度量空间的情形。
• 阐明Urysohn空间作为研究无限维几何中群表示逼近性质的通用度量模型的作用。
• 探讨是否所有可由紧致子群递增链逼近的波兰群均继承Kirchberg性质，这可能意味着Connes嵌入猜想。

提出的方法

• 作者使用第一作者早期工作中构造的改进版本，将群作用的有限逼近嵌入Urysohn空间。
• 在等距群空间上应用逐点收敛拓扑，为𝕌的等距群配备紧开拓扑。
• 证明依赖于Urysohn空间的超同构性与普遍性，确保有限等距嵌入可延拓为全局等距。
• 利用𝕌的等距群存在一个递增的有限子群链且其并集稠密的事实，从而实现逼近技术。
• 论证涉及构造逼近给定等距阿贝尔子群的紧致子群网，满足Kirchberg性质的条件。
• 关键技术步骤是证明：对任意有限个群元素及任意ε > 0，存在一个ε-接近的有限像表示，且在强拓扑下成立。

实验结果

研究问题

• RQ1 是否每个残有限群在Urysohn空间上的等距表示都可由有限像表示逼近？
• RQ2 Urysohn空间的等距群是否满足Kirchberg性质，即表示是否可由具有相对紧（在此情况下为有限）像的表示逼近？
• RQ3 Urysohn空间是否是研究度量几何中群表示逼近性质的通用模型？
• RQ4 若一个波兰群存在一个递增的有限子群链且其并集稠密，是否意味着该群满足Kirchberg性质？
• RQ5 若是，当应用于酉群U(ℓ²)时，这是否意味着Connes嵌入猜想？

主要发现

• 任意残有限群在Urysohn空间上的等距表示均可通过有限像表示进行逐点逼近。
• Urysohn空间的等距群满足Kirchberg性质，即同态可由具有预紧（此处为有限）像的同态逼近。
• 该结果意味着在残有限群于𝕌上的所有等距表示空间中，有限像表示是稠密的。
• Urysohn空间作为通用度量空间，使得此类逼近现象成立，而ℓ²中单位球面则不成立。
• 该证明技术可推广至其他具有递增紧致子群链的群，表明更广泛的群类满足Kirchberg性质。
• 该工作支持Connes嵌入猜想与C*(F∞ × F∞)的残有限维性等价，通过𝕌的等距群实现。