[论文解读] Circle actions on a quantum Seifert manifold

Tomasz Brzeziński|arXiv (Cornell University)|Mar 30, 2012

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

一句话总结

本文通过非定向量子Seifert 3-流形上的圆作用，将量子加权实射影空间构造为商空间，推广了量子圆盘和量子实射影平面。利用Toeplitz代数扩张和符号映射，计算了其连续函数代数的$K$-群，结果表明在负扭情况下$K_0 \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$且$K_1 = 0$，并给出了与迭代Pullback结构的Toeplitz代数之间的显式同构。

ABSTRACT

The quotients of a (non-orientable) quantum Seifert manifold by circle actions are described. In this way quantum weighted real projective spaces that include the quantum disc and the quantum real projective space as special cases are obtained. Bounded irreducible representations of the coordinate algebras and the K-groups of the algebras of continuous functions on quantum weighted real projective spaces are presented.

研究动机与目标

• 通过非定向量子Seifert 3-流形上的圆作用，将量子加权实射影空间构造为商空间，推广量子轨道空间。
• 将Hajac、Matthes与Szymański在量子圆盘和量子实射影平面上的方法推广至这一类新的量子空间。
• 计算量子加权实射影空间上连续函数$C^*$-代数的$K$-群。
• 分析这些量子空间坐标代数的有界不可约表示。
• 建立函数代数与Toeplitz代数迭代Pullback之间的同构，将其与量子圆盘和经典圆周边界联系起来。

提出的方法

• 通过生成元$\zeta_0, \zeta_1, \xi$定义量子Seifert 3-流形的坐标$*$-代数$\mathcal{O}(\Sigma^3_q)$，其中满足$q$-变形交换关系，且$\xi$为中心单位元。
• 通过在量子2-球面上引入$\mathbb{Z}_2$-余作用，定义圆作用，并将其扩展为$\mathcal{O}(\Sigma^3_q)$上的$U(1)$-余作用，权重为互素整数$k,l$。
• 将余作用下的余不变子代数$\mathcal{O}(\mathbb{RP}_q(l;+))$识别为不动点代数，由互素权重$k,l$参数化。
• 利用符号映射和Toeplitz代数结构，将$C(\mathbb{RP}_q(l;+))$实现为$l$重Pullback，即$C(D_q)$代数在$C(S^1)$上的拉回，其中$C(D_q) \cong \mathcal{T}$。
• 构造一个包含紧算子和$C(\mathbb{RP}_q(l;+))$的短正合列，借助六项正合列实现$K$-群的计算。
• 利用指标映射和同态$\delta_\pm$的余核计算$K$-群，得到在负扭情况下$K_0 \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$且$K_1 = 0$。

实验结果

研究问题

• RQ1 如何对非定向量子Seifert 3-流形上的圆作用进行分类，并用于构造量子加权实射影空间？
• RQ2 这些量子加权射影空间上连续函数代数的结构是什么？
• RQ3 这些代数的$K$-群与量子圆盘和量子实射影平面的$K$-群有何关系？
• RQ4 Hajac、Matthes与Szymański对量子圆盘所用的方法能否推广至这一类新的量子轨道空间？
• RQ5 符号映射和Toeplitz代数扩张在将函数代数实现为$C(D_q)$的Pullback结构中起什么作用？

主要发现

• 代数$C(\mathbb{RP}_q(l;+))$同构于$l$重Pullback$C(D_q) \oplus_\sigma \cdots \oplus_\sigma C(D_q)$，其中$\sigma$为从经典圆周嵌入量子圆盘的边界所诱导的符号映射。
• 在正扭情况下，$\pi(C(\mathbb{RP}_q(l;+))) \cong \mathcal{T}_1 \oplus_\sigma \cdots \oplus_\sigma \mathcal{T}_l$，其中每个$\mathcal{T}_r \cong \mathcal{T}$，即Toeplitz代数。
• 在正扭情况下，$C(\mathbb{RP}_q(l;+))$的$K$-群为$K_0 \cong \mathbb{Z}^l$且$K_1 \cong \mathbb{Z}^l$，其来源于指标映射$\delta_+$的余核。
• 在负扭情况下，$K_1(C(\mathbb{RP}_q(l;-))) = 0$，且$K_0(C(\mathbb{RP}_q(l;-))) \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$，同构由$\delta_-$的余核诱导。
• 该计算在$l=1$时恢复了已知的$C(\mathbb{RP}_q^2)$的$K$-群，与先前结果一致。
• 函数代数$C(\mathbb{RP}_q(l;-))$同构于$l$次重复的$C(\mathbb{RP}_q^2) \oplus_{\bar{\sigma}} \cdots \oplus_{\bar{\sigma}} C(\mathbb{RP}_q^2)$，其中$\bar{\sigma}$由$S^1$在$S_q^2$中的赤道嵌入诱导。