[论文解读] Instanton algebras and quantum 4-spheres

Ludwik Dąbrowski, Giovanni Landi|ArXiv.org|Jan 22, 2001

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

一句话总结

本文通过自伴幂等投影 $e \in \mathrm{Mat}_4(A_q)$ 构造了量子 4-球面 $S^4_q$，其中 $A_q$ 是 $S^4_q$ 上的非交换函数代数，作为复秩 2 instanton bundle 的自然基空间。关键结果为：当且仅当 $|q| = 1$ 时，第一陈-康奈斯类 $ch_1(e)$ 为零；而 $ch_2(e)$ 仅在此条件下非零且闭合（$bch_2(e) = 0$），从而使其可作为 $q$-反对称体积形式。

ABSTRACT

We study some generalized instanton algebras which are required to describe `instantonic complex rank 2 bundles'. The spaces on which the bundles are defined are not prescribed from the beginning but rather are obtained from some natural requirements on the instantons. They turn out to be quantum 4-spheres $S^4_q$, with $q\in\IC$, and the instantons are described by self-adjoint idempotents e. We shall also clarify some issues related to the vanishing of the first Chern-Connes class $ch_1(e)$ and on the use of the second Chern-Connes class $ch_2(e)$ as a volume form.

研究动机与目标

• 通过复秩 2 instanton bundle 的要求构造非交换 4-球面几何 $S^4_q$，而无需预先定义基空间。
• 阐明陈-康奈斯类 $ch_1(e)$ 和 $ch_2(e)$ 在刻画量子 4-球面上 instanton 的作用。
• 确定 $ch_2(e)$ 在何种条件下成为闭合的、$q$-反对称体积形式。
• 将此处构造的量子 4-球面族 $S^4_q$ 与其他已知族（如 $S^4_{q,\theta}$ 和 $S^4_{p,q,s}$）进行比较，表明尽管极限相似，但二者并不等价。

提出的方法

• 定义由 $\alpha_j, \beta_j$ 及其伴随生成的自由 $^*$-代数 $F$，并构造一个自伴的 $4 \times 4$ 矩阵投影 $e$，其 $2 \times 2$ 块矩阵 $Q_j$ 涉及复参数 $q$ 和实参数 $\pi$。
• 通过第一陈-康奈斯类 $ch_0(e) = \left\langle e - \frac{1}{2} \right\rangle = 0$ 强制实现秩-2条件，从而导出 $\alpha_1$、$\alpha_3$ 和 $\pi$ 之间的约束关系。
• 强制实现幂等性 $e^2 = e$，由此导出 $t = \alpha_1$、$\alpha$、$\beta$ 及其伴随之间的对易关系，并迫使 $\pi = 1$，除非 $\alpha = 0$，从而导致 $t$ 与所有生成元对易。
• 从幂等性和自伴性推导生成元之间的代数关系，包括 $\beta\alpha = \bar{q}\alpha\beta$、$\alpha^*\alpha + |q|^2\beta^*\beta + t^2 - t = 0$ 及类似方程。
• 利用 $(b,B)$-双复形计算第二陈-康奈斯类 $ch_2(e)$，并证明 $bch_2(e) = 0$ 当且仅当 $|q| = 1$，通过在 $\bar{A_q}$ 上投影的复杂张量积计算得出。
• 证明当且仅当 $|q| = 1$ 时，$ch_2(e)$ 为 $q$-反对称且可作为 $S^4_q$ 上的体积形式，与 $|q| \neq 1$ 时的行为形成对比。

实验结果

研究问题

• RQ1 在何种变形参数 $q$ 条件下，量子 4-球面上复秩 2 instanton 投影 $e$ 的第一陈-康奈斯类 $ch_1(e)$ 为零？
• RQ2 第二陈-康奈斯类 $ch_2(e)$ 何时为闭合类，即 $bch_2(e) = 0$？该条件具有何种意义？
• RQ3 $ch_2(e)$ 是否可作为量子 4-球面 $S^4_q$ 上的体积形式？在何种 $q$ 条件下成立？
• RQ4 此处构造的量子 4-球面族 $S^4_q$ 与其它已知族（如 $S^4_{q,\theta}$ 和 $S^4_{p,q,s}$）有何关系，特别是在 $|q| = 1$ 的极限下？
• RQ5 为何其他构造中的投影（如 [13] 中的 $e'$）尽管极限相似，却无法在 $S^4_q$ 上定义丛？

主要发现

• 第一陈-康奈斯类 $ch_1(e)$ 当且仅当 $|q| = 1$ 时为零，表明仅在单位圆量子 4-球面上才存在第一陈类为零的 instanton bundle。
• 第二陈-康奈斯类 $ch_2(e)$ 对所有 $q \in \mathbb{C}$ 非零，但仅当 $|q| = 1$ 时满足 $bch_2(e) = 0$，即仅在此情况下为闭合类。
• 当 $|q| = 1$ 时，$ch_2(e)$ 为 $q$-反对称，且可作为 $S^4_q$ 上的体积形式，与 [9] 中的早期构造一致。
• 所得到的量子 4-球面 $S^4_q$ 是一族量子 3-球面 $S^3_q$ 的悬垂，且在实 $q$ 情况（$q \in \mathbb{R}$）与单位圆 $q$ 情况（$|q| = 1$）之间插值。
• $S^4_q$ 族与其它已知族（如 $S^4_{q,\theta}$ 或 $S^4_{p,q,s}$）不等价，其证据来自特征空间的差异，以及投影无法专门化为 [9] 中的形式。
• [13] 和 [4] 中的投影与本构造不等价；特别地，[13] 中的 $e'$ 位于 3-球面上，且定义了一个所有陈类均为零的平凡丛。