[论文解读] Piecewise principal comodule algebras

Piotr M. Hajac, Ulrich Kraehmer+2 more|ArXiv.org|Jul 9, 2007

Algebraic structures and combinatorial models参考文献 16被引用 16

一句话总结

本文证明了在具双射反向的霍普夫代数上，余模代数的主性是一个分段性质：一个余模代数是主的，当且仅当其在有限族满射下所有关于平凡交核的商代数都是主的。其关键贡献是通过有限拓扑空间上的凝聚层，对这类代数给出了层论表征，将非交换几何中的局部平凡主丛概念推广至更一般情形。

ABSTRACT

A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above distributivity property, we obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such N-families of surjections P->Pi and such that the comodule algebra of global sections is P.

研究动机与目标

• 通过具有平凡交核的有限族满射定义并分析余模代数的局部性概念。
• 确立主性——即主丛的非交换类比——为局部性质：当且仅当所有 P_i 均为主时，P 为主。
• 将由核生成的理想格与分配格结构，以及有限拓扑空间上的凝聚层联系起来。
• 通过截面积与纤维积，将局部平凡主丛的概念推广至非交换设定。
• 利用 (N−1) 维射影空间 over Z/2Z，为分段平凡余模代数提供层论框架。

提出的方法

• 使用余模代数满射 P → P_i，满足 ∩ker(π_i) = 0，以定义 P 的‘分片’覆盖。
• 应用霍普夫-伽罗瓦扩张理论与等变投影性来定义主性：P 为主当且仅当余作用是伽罗瓦的，且 P 在 P^{coH} 上是投影的。
• 证明主性可通过此类覆盖下放：P 为主当且仅当所有 P_i 均为主。
• 引入更强的覆盖条件，要求由 ker(π_i) 生成的理想格为分配格。
• 在有限拓扑空间 P^{N−1}(Z/2) 上构造一个余模代数的凝聚层，其整体截面恢复 P。
• 利用分配格的中国剩余定理，建立由 N 个理想生成的分配格与 P^{N−1}(Z/2) 上凝聚层之间范畴的等价性。

实验结果

研究问题

• RQ1 在具有平凡交核的满射定义的有限覆盖下，余模代数的主性是否保持？
• RQ2 在何种条件下，此类满射的核所生成的理想格构成分配格？
• RQ3 能否在有限拓扑空间上构造一个余模代数的凝聚层，以对所有此类 N 族满射进行分类？
• RQ4 该层论框架与非交换几何中经典局部平凡主丛概念有何关联？
• RQ5 在编码余模代数的 N 重覆盖组合结构方面，(N−1) 维射影空间 over Z/2Z 的作用是什么？

主要发现

• 余模代数 P 为主当且仅当其在有限族满射（具有平凡交核）下的所有商代数 P_i 均为主。
• 由此类满射的核生成的理想格为分配格，当且仅当其与 P^{coH} 的交集所生成的格为分配格。
• 存在一个关于 P^{N−1}(Z/2) 的普遍凝聚层，其取值为余模代数且为全主的，其整体截面与 P 同构。
• 环中由 N 个理想生成的分配格范畴，与 P^{N−1}(Z/2) 上代数的凝聚层范畴等价。
• 该构造通过由截面积构建的分段平凡余模代数，将局部平凡主丛推广至非交换几何。
• 所构造的分段平凡余模代数 P 的不变子代数 P^{coH}，依所选作用的不同，同构于镜像或通用 Podleš 量子 2-球面的 C*-代数。