[论文解读] On some permanence properties of exact groupoids

Scott M. LaLonde|arXiv (Cornell University)|Mar 15, 2017

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

一句话总结

本文建立了精确群胚的永久性性质，证明了精确性可下推至某些闭子群胚，且与精确群胚作用相关的变换群胚本身也是精确的。一个关键结果表明，精确群胚的各迹群必定是精确的，这推广了已知的精确群结果，并将Kirchberg与Wassermann的定理推广至群胚情形。

ABSTRACT

A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact groups. Our primary goal is to show that exactness descends to certain types of closed subgroupoids, which in turn gives conditions under which the isotropy groups of an exact groupoid are guaranteed to be exact. As an initial step toward these results, we establish the exactness of any transformation groupoid associated to an action of an exact groupoid on a locally compact Hausdorff space. We also obtain a partial converse to this result, which generalizes a theorem of Kirchberg and Wassermann. We end with some comments on the weak form of exactness known as inner exactness.

研究动机与目标

• 将精确群的永久性性质推广至局部紧群胚的更广泛设定中。
• 建立精确性在特定闭子群胚（尤其是迹群）上的保持性。
• 将Kirchberg与Wassermann关于精确群的定理推广至精确群胚的变换群胚。
• 研究内精确性在商映射与子群胚约化下的行为，突出其局限性与开放问题。

提出的方法

• 通过约化交叉积函子的精确性，将群的精确性定义推广至局部紧 Hausdorff 群胚。
• 证明若群胚 $ G $ 是精确的，则对任意 $ G $-空间 $ X $，变换群胚 $ G times X $ 也是精确的，使用 $ C^* $-代数精确序列中的图表追逐论证。
• 应用此结果证明精确性可下推至 $ G $ 在不变子集上的约化，特别是至迹群。
• 建立一个部分逆定理：若变换群胚 $ G times X $ 是精确的，且满足某些拓扑条件，则 $ G $ 必须是精确的。
• 通过反例分析表明，即使在整体群胚精确的情况下，精确性也不一定下推至商群胚或广义子群胚。
• 利用已知例子（如HLS群胚与Gromov怪物群作用）说明商群胚与变换群胚中内精确性的失败。

实验结果

研究问题

• RQ1 在何种条件下，群胚 $ G $ 的精确性可推出其闭子群胚（尤其是迹群）的精确性？
• RQ2 变换群胚 $ G times X $ 的精确性是否蕴含底层群胚 $ G $ 的精确性？在何种条件下成立？
• RQ3 能否从纤维的精确性与内精确性推导出群丛的精确性？
• RQ4 内精确性在商映射或子群胚包含下在多大程度上保持？
• RQ5 在何种条件下，内精确性与纤维精确性共同可推出群丛的全局精确性？

主要发现

• 若 $ G $ 是精确群胚且 $ X $ 是 $ G $-空间，则变换群胚 $ G times X $ 是精确的。
• 精确性可下推至闭的、不变的子群胚，特别是迹群，因此精确群胚的所有迹群均为精确的。
• 存在一个部分逆定理：若 $ G times X $ 是精确的，且 $ X $ 是满足某些拓扑性质的 $ G $-空间（例如 $ X $ 是 $ G $-不变的，且 $ G times X $ 满足某种精确性条件），则 $ G $ 必须是精确的。
• 精确群胚的商群胚不一定是内精确的，如由 $ bF_2 imes d{bN} $ 构造的HLS群胚所示，该群胚是精确的，但其商群胚不是内精确的。
• 与Gromov怪物群作用相关的变换群胚可能不具有内精确性，即使群胚本身是精确的，这表明内精确性不必然下推至子群胚。
• 本文未解决的问题是：若一个群丛具有内精确性且所有纤维均为精确的，是否其本身也必然是精确的，提示未来研究的潜在方向。