[论文解读] Properness conditions for actions and coactions

S. Kaliszewski, Magnus B. Landstad+1 more|arXiv (Cornell University)|Apr 14, 2015

Advanced Operator Algebra Research参考文献 23被引用 4

一句话总结

本文引入并分析了C*-代数上的三种适当性条件——s-适当、w-适当和逐点适当——推广了拓扑动力学中的经典概念。研究证明w-适当性蕴含系数函数属于C₀(G)，并表明对于第一可数空间，逐点适当作用可使全交叉积与约化交叉积同构，从而扩展了已知结果。主要贡献在于建立了傅里叶-施蒂尔杰斯代数中的大理想与交叉积中的小理想之间的伽罗瓦对应，将非标准交叉积与共作用适当性联系起来。

ABSTRACT

Three properness conditions for actions of locally compact groups on C*-algebras are studied, as well as their dual analogues for coactions. To motivate the properness conditions for actions, the commutative cases (actions on spaces) are surveyed; here the conditions are known: proper, locally proper, and pointwise properness, although the latter property has not been so well studied in the literature. The basic theory of these properness conditions is summarized, with somewhat more attention paid to pointwise properness. C*-characterizations of the properties are proved, and applications to C*-dynamical systems are examined. This paper is partially expository, but some of the results are believed to be new.

研究动机与目标

• 将群作用于空间上的经典适当性条件（适当、局部适当、逐点适当）推广至C*-动力系统。
• 为C*-协变系统定义并研究s-适当性和w-适当性，其中w-适当性是新的研究重点。
• 建立傅里叶-施蒂尔杰斯代数B(G)中的大理想与交叉积中的小理想之间的伽罗瓦对应，从而实现对非标准交叉积的分类。
• 研究这些适当性条件在鲍姆-康奈斯猜想以及精确、莫里塔相容的交叉积函子背景下的作用。
• 确定[BGW]中给出的最小精确且莫里塔相容的交叉积函子是否可表示为某个B(G)中大理想E的E-交叉积。

提出的方法

• 通过条件g ↦ α_g(a)b属于C₀(G, A)（对所有a, b ∈ A）来定义s-适当性。
• 通过条件g ↦ φ(α_g(a))属于C₀(G)（对所有a ∈ A和φ ∈ A*）来定义w-适当性。
• 借助局部紧 Hausdorff 空间上作用的经典情形，为C*-推广提供动机与合理性。
• 建立作用适当性与共作用适当性之间的对偶性，通过交叉积上的对偶共作用将该概念推广至共作用。
• 通过B(G)中大理想E生成的J(E)理想，将E-交叉积构造为全交叉积的商，使用零化子构造法。
• 证明在w-适当性下，大理想E ⊂ B(G)与小理想J ⊂ A之间存在伽罗瓦对应，映射为E ↦ J(E)与J ↦ E(J)，满足E ⊂ E(J(E))与J ⊂ J(E(J))的互逆包含关系。

实验结果

研究问题

• RQ1 G-作用在第一可数空间X上是否蕴含C₀(X) ⋊_α G ≅ C₀(X) ⋊_α,r G？
• RQ2 C*-协变系统(A, G, α)的w-适当性能否通过单位化协循环的系数函数属于C₀(G)来刻画？
• RQ3 在w-适当的共作用下，傅里叶-施蒂尔杰斯代数B(G)中的大理想与交叉积代数A ⋊ G中的小理想之间是否存在伽罗瓦对应？
• RQ4 所有非标准交叉积是否都可表示为B ⋊_α,E G的形式（E ⊂ B(G)为某一大理想），还是存在例外？
• RQ5 来自[BGW]的最小精确且莫里塔相容的交叉积函子是否等于某个大理想E ⊂ B(G)的E-交叉积？
• RQ6 里夫埃尔等人提出的可积性条件是否在一般C*-动力系统中蕴含s-适当性或w-适当性？

主要发现

• 对于第一可数的G-空间X，若作用是逐点适当的，则有C₀(X) ⋊_α G ≅ C₀(X) ⋊_α,r G，推广了已知的适当作用结果。
• w-适当性蕴含：对任意表示π及满足π(α_s(a)) = U_s π(a) U_s*的单位化协循环(U_s)，系数函数s ↦ ⟨U_s ξ, η⟩属于C₀(G)。
• 在w-适当的共作用下，存在大理想E ⊂ B(G)与小理想J ⊂ A之间的伽罗瓦对应，满足J = J(E)与E = E(J)，且E ⊂ E(J(E))与J ⊂ J(E(J))成立。
• E-交叉积构造(B ⋊_α,E G)在[BGW]意义下定义了一个交叉积函子，且自动具有莫里塔相容性。
• 来自[BGW]的最小精确且莫里塔相容的交叉积函子目前尚不明确是否为某个大理想E的E-交叉积，尽管存在此猜想。
• 反例存在（如Buss–Echterhoff）表明某些非标准交叉积并非E-交叉积，但这些反例尚未排除函子性实现的可能性。