[论文解读] Reductions of piecewise-trivial principal comodule algebras

Piotr M. Hajac, Jan Rudnik+1 more|arXiv (Cornell University)|Dec 31, 2010

Advanced Operator Algebra Research参考文献 22被引用 3

一句话总结

本文提出了一种非交换几何准则，用于将分段平凡的主余模代数约化，推广了经典丛约化理论。证明了当且仅当存在一个分段平凡化，使得转移函数消去霍普夫理想，且该理想在不变量上的相关作用平凡时，主余模代数可约化为商霍普夫代数——该结论通过量子变形的 $\mathbb{R}P^2$ 和 $\mathbb{Z}/2\mathbb{Z}$-丛的非平凡 $U(1)$-延拓得到验证。

ABSTRACT

Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodule algebra as a replacement of a locally trivial compact principal bundle. To illustrate our theorem, first we define a new noncommutative deformation of the $\mathbb{Z}/2\mathbb{Z}$-principal bundle $S^2 ightarrow \mathbb{R}P^2$ that yields a piecewise-trivial principal comodule algebra. It is the C*-algebra of a quantum cube whose each face is given by the Toeplitz algebra. The $\mathbb{Z}/2\mathbb{Z}$-invariant subalgebra defines the C*-algebra of a quantum $\mathbb{R}P^2$. It is given as a triple-pullback of Toeplitz algebras. Next, we prolongate this noncommutative $\mathbb{Z}/2\mathbb{Z}$-principal bundle to a noncommutative $U(1)$-principal bundle, so that the former becomes a reduction of the latter thus instantiating our theorem. Moreover, using K-theory results, we prove that the prolongated noncommutative bundle is not trivial.

研究动机与目标

• 将经典主丛约化理论推广至非交换几何设定，使用分段平凡主余模代数。
• 为这类余模代数约化至商霍普夫代数提供一个可约性准则。
• 通过量子立方体与托普利茨代数，构造并分析 $S^2 \to \mathbb{R}P^2$ 的 $\mathbb{Z}/2\mathbb{Z}$-主丛的非交换形变。
• 利用 $K$-理论证明该量子 $U(1)$-丛的非平凡性，从而表明其不具有全局截面。

提出的方法

• 通过余模代数的有限闭覆盖定义分段平凡性，替代非李设定下的局部平凡性。
• 利用霍普夫–伽罗瓦约化定理，将约化理想与等变代数同态联系起来。
• 将量子 $\mathbb{R}P^2$ 构造为托普利茨代数的三重拉回，实现为量子立方体的 $\mathbb{Z}/2\mathbb{Z}$-不变子代数。
• 通过将结构代数扩展为 $U(1)$-余模代数，将 $\mathbb{Z}/2\mathbb{Z}$-丛延拓为 $U(1)$-丛。
• 应用 $K$-理论证明延拓丛的非平凡性，表明其不具有全局截面。
• 利用宫下–乌布里奇作用与余作用不变性，刻画代数同态与余不变量上映射之间的对应关系。

实验结果

研究问题

• RQ1 在何种条件下，分段平凡的主余模代数可约化为商霍普夫代数上的主余模代数？
• RQ2 如何将经典通过转移函数的丛约化概念，推广至使用分段平凡化的非交换几何？
• RQ3 能否构造一个非交换变形的 $\mathbb{R}P^2$，使其作为具有 $\mathbb{Z}/2\mathbb{Z}$-作用与托普利茨代数结构的量子丛？
• RQ4 该量子丛的 $U(1)$-延拓是否平凡？如何利用 $K$-理论检测其非平凡性？
• RQ5 霍普夫理想在余不变量上的作用在决定可约性中起何种作用？

主要发现

• 当且仅当存在一个分段平凡化，使得所有转移函数消去霍普夫理想 $J$ 时，霍普夫代数 $H$ 上的主余模代数 $P$ 才能约化为 $H/J$-主余模代数。
• 此类约化存在的必要条件是：$J$ 在 $H$-余作用不变量代数上的作用必须平凡。
• 构造了一种新的 $S^2 \to \mathbb{R}P^2$ 的非交换形变，作为量子立方体的 $C^*$-代数，其每个面同构于托普利茨代数。
• 该量子立方体的 $\mathbb{Z}/2\mathbb{Z}$-不变子代数给出一个 $C^*$-代数，实现为托普利茨代数的三重拉回，即量子 $\mathbb{R}P^2$。
• $\mathbb{Z}/2\mathbb{Z}$-主丛被延拓为 $U(1)$-主丛，其非平凡性通过 $K$-理论得以证明。
• $U(1)$-丛不平凡，因为若存在 $\operatorname{Ker} \pi$-约化，则需满足 $q^3 = 1$，但对一般 $q$ 该式不成立。