[论文解读] Non-Hausdorff groupoids

Ruy Exel|ArXiv.org|Dec 22, 2008

Advanced Operator Algebra Research参考文献 9被引用 12

一句话总结

本文构造了非豪斯多夫、étale且本质上是主群胚的显式例子，其中三个基本结果——(A) 单位空间上的连续函数在约化群胚C*-代数中极大，(B) 每个非零理想与单位元子代数相交，以及 (C) 法向量的支撑具有二分性质——均不成立。失败的原因在于在两个直线的并集在Z₂作用下原点处的非豪斯多夫拓扑，表明这些结果本质上依赖于豪斯多夫假设。

ABSTRACT

We present examples of non-Hausdorff, etale, essentially principal groupoids for which three results, known to hold in the Hausdorff case, fail. These results are: (A) the subalgebra of continuous functions on the unit space is maximal abelian within the reduced groupoid C*-algebra, (B) every nonzero ideal of the reduced groupoid C*-algebra has a nonzero intersection with the subalgebra of continuous functions on the unit space, and (C) the open support of a normalizer is a bissection.

研究动机与目标

• 证明在群胚C*-代数理论中三个关键结果——最大阿贝尔子代数、理想与单位空间相交性，以及法向量支撑为二分集——在非豪斯多夫情形下不成立。
• 利用Z₂作用在两个实直线并集上的芽群胚构造显式反例。
• 阐明这些结果在库恩茨-克里格和图C*-代数中被广泛使用，但其有效性关键依赖于豪斯多夫假设。
• 精确分析非豪斯多夫情形下条件期望论证的失效，特别是单位空间上函数范数控制的失效。
• 证明在缺乏豪斯多夫性的情况下，即使在本质上主群胚下，约化群胚C*-代数的标准唯一性与忠实性定理也失效。

提出的方法

• 构造一个非豪斯多夫的étale群胚G，作为Z = [-1,1]×{0} ∪ {0}×[-1,1]上由反射σₓ和σᵧ生成的Z₂作用的芽群胚。
• 定义单位空间G⁽⁰⁾为Z，并识别原点处的稳定子群为非平凡，从而导致非豪斯多夫行为。
• 定义f ∈ C_c(G)为f = f₁ − fₓ − fᵧ + fₓᵧ，其中fₐ是双射Uₐ的特征函数，并证明f(0) = 1，而f在所有其他单位上为零。
• 利用原点处狄拉克态相关的GNS表示，证明||π(f)|| = 1，但supₓ∈G⁽⁰⁾ |f(x)| = 1，而f不在C₀(G⁽⁰⁾)关于C*-范数的闭包中。
• 证明条件期望E: C_r^*(G) → C₀(G⁽⁰⁾)在非豪斯多夫情形下不满足||E(f)|| ≤ ||π(f)||，从而破坏标准忠实性论证。
• 利用一组在原点附近支撑的逼近单位网(ξᵥ)，证明|⟨π(f)ξᵥ, ξᵥ⟩| → |f(x)|对x ∈ G⁽⁰⁾成立，但因非豪斯多夫拓扑导致范数控制失效。

实验结果

研究问题

• RQ1 当G为非豪斯多夫且étale时，子代数C₀(G⁽⁰⁾)在C_r^*(G)中是否仍为最大阿贝尔？
• RQ2 当G为非豪斯多夫且本质上主时，C_r^*(G)中的非零理想是否可能避开与C₀(G⁽⁰⁾)相交？
• RQ3 在非豪斯多夫情形下，C_r^*(G)中法向量的开支撑是否必为双射？
• RQ4 能否将C₀(G⁽⁰⁾)上表示忠实性的标准证明推广至非豪斯多夫群胚？
• RQ5 豪斯多夫条件在群胚C*-代数唯一性定理的有效性中起何种作用？

主要发现

• 函数f = f₁ − fₓ − fᵧ + fₓᵧ满足f(0) = 1，且对所有其他γ ∈ G⁽⁰⁾有f(γ) = 0，但||π(f)|| = 1，表明在非豪斯多夫情形下，supₓ∈G⁽⁰⁾ |f(x)| = 1不能被||π(f)||控制。
• 条件期望E: C_r^*(G) → C₀(G⁽⁰⁾)对这个f不满足||E(f)|| ≤ ||π(f)||，从而破坏标准忠实性论证。
• 表示π对C₀(G⁽⁰⁾)是忠实的，但π(f)的范数为1，而f不在C₀(G⁽⁰⁾)的闭包中，表明C₀(G⁽⁰⁾)不是最大阿贝尔子代数。
• 理想J = ker(π)非零，但满足J ∩ C₀(G⁽⁰⁾) = 0，违反性质(B)，即使G是本质上主的。
• 对应于f的法向量u的支撑为G，这不是一个双射，违反性质(C)。
• 范数控制论证的失效源于原点处的非豪斯多夫拓扑，其中逼近单位网在强算子拓扑下不收敛至保持逐点有界的极限。