[论文解读] The $C^*$-algebras of quantum lens and weighted projective spaces

Tomasz Brzeziński, Wojciech Szymański|arXiv (Cornell University)|Mar 14, 2016

Advanced Operator Algebra Research被引用 1

一句话总结

该论文证明了连续函数在量子透镜空间和量子加权射影空间上的C*-代数是图C*-代数，从而实现了其K-理论的显式计算。通过将量子球面的图与以整数加权的循环群作用结合构造斜积图，作者推导出一般权重下的K-群，表明量子加权射影空间是AF代数，其K₀同构于Z^{1+∑mi}，且在较弱的互素性条件下K₁平凡。

ABSTRACT

It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic group $\mathbb{Z}_N$, with the labelling induced by the weights. Based on this description, the K-groups of specific examples are computed. Furthermore, the K-groups of the algebras of continuous functions on quantum weighted projective spaces $C(\mathbb{WP}_q^n(m_0,\ldots, m_n))$, interpreted as fixed points under the circle action on $C(S_q^{2n+1})$, are computed under a mild assumption on the weights.

研究动机与目标

• 该论文旨在将量子透镜与加权射影空间的C*-代数表征为图C*-代数。
• 其目标是无需假设权重与群阶互素，计算这些代数的K-理论。
• 该研究包括将图C*-代数框架扩展至奇异的量子透镜空间。
• 通过K-理论不变量，阐明量子轨道空间的非交换拓扑结构。
• 该研究在一般权重条件下，探讨量子加权射影空间的结构性质与K-理论性质。

提出的方法

• 作者通过标准图L2n+1将量子球面的C*-代数识别为图C*-代数。
• 通过定义加权斜积图L2n+1 ×cZN，将ZN群作用扩展至图C*-代数。
• 利用Crisp关于群作用在图C*-代数上的结果，证明在群作用下的固定点代数同构于斜积图的图C*-代数。
• 该构造依赖于权重模群阶的值，从而允许在不假设互素性的情况下使用一般权重。
• 通过图结构的精确序列与归纳论证计算K-理论。
• 论文利用量子加权射影空间代数与图C*-代数之间的同构关系，显式推导出K-群。

实验结果

研究问题

• RQ1 对于任意正权重，能否将量子透镜空间C(L2n+1q(N;m0,...,mn))上连续函数的C*-代数实现为图C*-代数？
• RQ2 量子加权射影空间的K-理论是否具有与权重和群阶之间互素性无关的统一描述？
• RQ3 带有加权标记的斜积图构造如何捕捉量子球面上圆作用的固定点代数？
• RQ4 当对每个权重，均存在一个更早的权重与其互素时，量子加权射影空间的K-理论为何种形式？
• RQ5 图C*-代数框架是否可用于计算奇异（非自由）情形下量子轨道空间的K₀与K₁群？

主要发现

• 对于任意正权重m0,...,mn，量子透镜空间C(L2n+1q(N;m0,...,mn))上连续函数的C*-代数同构于一个图C*-代数。
• 在对每个j ≥1，存在i < j使得gcd(mi,mj)=1的条件下，量子加权射影空间C(WPnq(m0,...,mn))的K₀群同构于Z^{1+∑_{i=0}^n mi}。
• 同一代数的K₁群为零，即K1(C(WPnq(m))) = 0。
• 对于量子加权射影线WP1q(m0,m1)，其代数为AF代数，满足K0 ≅ Z^{1 + m1/gcd(m0,m1)}且K1 = 0。
• 论文建立了短正合序列0 → K_{m1/gcd(m0,m1)} → C(WP1q(m)) → C → 0，证实了其AF结构。
• 同构关系C(WPnq(m)) ≅ C*(L2n+1)̺m允许通过精确序列与理想结构分析实现K-理论的归纳计算。