[論文レビュー] Instanton algebras and quantum 4-spheres

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

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

ひとこと要約

本稿では、非可換代数 $A_q$ における自己随伴なイデムポテン行列 $e \in \mathrm{Mat}_4(A_q)$ を用いて、複素ランク 2 のインスタントンバンドルの自然な空間として、量子 4-球面 $S^4_q$ を構成する。主な結果は、第一チェーン＝コーンズ類 $ch_1(e)$ が $|q| = 1$ のときにかつそのときにのみ消えること、および $ch_2(e)$ が $bch_2(e) = 0$ である（つまり閉じている）のは同様の条件下で、このとき $ch_2(e)$ は $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.

研究の動機と目的

• インスタントンバンドルの要請に基づき、事前に基底空間を定義せずに非可換 4-球面幾何 $S^4_q$ を構成すること。
• チェーン＝コーンズ類 $ch_1(e)$ および $ch_2(e)$ が量子 4-球面上のインスタントンを特徴付ける役割を明確にすること。
• 条件 $ch_2(e)$ が閉じて $q$-反対称な体積形式となるのはいつかを特定すること。
• 得られた量子 4-球面族 $S^4_q$ が、$S^4_{q,\theta}$ や $S^4_{p,q,s}$ といった既知の族とどのように関係するかを比較し、同値でないことを示すこと。

提案手法

• 生成元 $\alpha_j, \beta_j$ 及びその随伴をもつ自由 $^*$-代数 $F$ を定義し、複素パラメータ $q$ と実パラメータ $\pi$ を含む $2 \times 2$ ブロック行列をもつ $4 \times 4$ の自己随伴行列射影 $e$ を構成する。
• ランク 2 の条件として、第 0 チェーン＝コーンズ類 $ch_0(e) = \left\langle e - \frac{1}{2} \right\rangle = 0$ の消滅を課し、$\alpha_1$, $\alpha_3$, $\pi$ 間の制約を導出する。
• イデムポテン性 $e^2 = e$ を課すと、$t = \alpha_1$, $\alpha$, $\beta$ 及びその随伴の間の交換関係が得られ、$\alpha = 0$ でない限り $\pi = 1$ が要求され、$t$ がすべての生成子と可換になる。
• イデムポテン性および自己随伴性から生成子間の代数的関係を導出し、$\beta\alpha = \bar{q}\alpha\beta$, $\alpha^*\alpha + |q|^2\beta^*\beta + t^2 - t = 0$ および類似の式を得る。
• $(b,B)$-双複体を用いて第二チェーン＝コーンズ類 $ch_2(e)$ を計算し、$|q| = 1$ のときに限り $bch_2(e) = 0$ であることを示す。これはテンソル積の長大な計算と $\bar{A_q}$ 上への射影を用いる。
• $|q| = 1$ のときのみ $ch_2(e)$ が $q$-反対称であり、体積形式として利用可能であることが示され、$|q| \neq 1$ 時の振る舞いと対照的である。

実験結果

リサーチクエスチョン

• RQ1 量子 4-球面上のランク 2 インスタントン射影 $e$ に対して、第一チェーン＝コーンズ類 $ch_1(e)$ が消えるのは、変形パラメータ $q$ がどのような条件下か？
• RQ2 第二チェーン＝コーンズ類 $ch_2(e)$ が閉じている、すなわち $bch_2(e) = 0$ となるのはいつか？この条件の意味は何か？
• RQ3 $ch_2(e)$ は量子 4-球面 $S^4_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-球面上でのみであることを示唆する。
• 第二チェーン＝コーンズ類 $ch_2(e)$ はすべての $q \in \mathbb{C}$ で非ゼロであるが、$bch_2(e) = 0$ となるのは $|q| = 1$ のときのみであり、このときのみ $ch_2(e)$ は閉じている。
• $|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-球面上にあり、すべてのチェーン＝コーンズ類がゼロである自明なバンドルを定義する。