[論文レビュー] Classification of "Quaternionic" Bloch-bundles: Topological Quantum Systems of type AII

Giuseppe De Nittis, Kiyonori Gomi|arXiv (Cornell University)|Apr 23, 2014

Topological Materials and Phenomena参考文献 21被引用数 16

ひとこと要約

本稿は、時間反転対称性に由来するZ2作用を用いた等変コホロジーに基づく、型AIIのトポロジカル量子系（d=1,2,3,4）の完全分類を、FKMM不変量と呼ばれる新しいトポロジカル不変量を用いて行う。この不変量は、'クaternion的'（シンプレクティック）なベクトル束を完全に分類可能であり、物理的状況ではFu-Kane-Meleインデックスを再現する。さらに、普遍的特性類であることが証明されており、d=4の分類には第二チエーン類も必要となる。

ABSTRACT

We provide a classification of type AII topological quantum systems in dimension d=1,2,3,4. Our analysis is based on the construction of a topological invariant, the FKMM-invariant, which completely classifies "Quaternionic" vector bundles (a.k.a. "symplectic" vector bundles) in dimension d<4. This invariant takes value in a proper equivariant cohomology theory and, in the case of examples of physical interest, it reproduces the familiar Fu-Kane-Mele index. In the case d=4 the classification requires a combined use of the FKMM-invariant and the second Chern class. Among the other things, we prove that the FKMM-invariant is a bona fide characteristic class for the category of "Quaternionic" vector bundles in the sense that it can be realized as the pullback of a universal topological invariant.

研究の動機と目的

• d=1,2,3,4における型AIIトポロジカル量子系に内在する'クaternion的'ベクトル束の完全なホモトピー分類を提供すること。
• 低次元（d≤3）において、K理論を超えて不安定な場合を含む状況をカバーするため、FKMM不変量を'クaternion的'束の完全なトポロジカル不変量として確立すること。
• 任意の束に対して引き戻しによってFKMM不変量が実現されることを示し、FKMM不変量が本物の特性類であることを証明すること。
• 物理的系においてFu-Kane-MeleインデックスがFKMM不変量から自然に生じることを示し、数学的解釈のギャップを解消すること。
• d=4における分類を、FKMM不変量と第二チエーン類を組み合わせることで拡張し、完全性を保証すること。

提案手法

• 時間反転対称性が誘導するZ2作用を用いた等変ボレルコホロジーにおける行列式構成により、FKMM不変量を構成する。
• d≤3における分類は、FKMM不変量の単射性の証明に依拠し、非同型の'クaternion的'束をすべて区別できることを示す。
• d=4では、FKMM不変量だけではすべての束を分類できないため、第二チエーン類と組み合わせることで分類を実現する。
• 任意の束に対してFKMM不変量が引き戻しとして実現されることを示し、FKMM不変量の普遍性を証明する。
• KQ理論とKR理論を用い、8周期性およびサスペンション同型を用いて、TR球面およびTRトーラスのKQ群を計算する。
• 標準的な物理的モデル（TR球面およびTRトーラス）にこの枠組みを適用し、KQ群を計算し、既知の物理的不変量と整合することを確認する。

実験結果

リサーチクエスチョン

• RQ1 d≤3における'クaternion的'ベクトル束（型AIIトポロジカルインシュレータの中心的対象）は、単一のトポロジカル不変量を用いてどのように完全に分類可能か？
• RQ2 物理的系においてFKMM不変量はFu-Kane-Meleインデックスを完全に再現するか？その条件は何か？
• RQ3 FKMM不変量は'クaternion的'束の圏における本物の特性類であるか？また、引き戻しによって普遍的に実現可能か？
• RQ4 なぜd=4では第二チエーン類が必要であり、FKMM不変量とどのように補完し合うか？
• RQ5 分類は球面やトーラスを越えて、一般の自己同型的基底空間へ拡張可能か？その際のトポロジカル障害は何か？

主な発見

• FKMM不変量はd≤3において'クaternion的'ベクトル束を完全に分類でき、ホモトピー分類に基づく単射性が証明された。
• 物理的状況（TR球面およびTRトーラス含む）においてFKMM不変量はFu-Kane-Meleインデックスを完全に再現する。
• d=4では、FKMM不変量と第二チエーン類の両方が必要であり、FKMM不変量のみではすべての束を分類できない。
• FKMM不変量は普遍的特性類である。これは、等変コホロジーにおける単一の普遍的不変量の引き戻しとして生じることを意味する。
• TR球面では、d=2およびd=3では削減されたKQ群がZ2であり、d=4ではZである。これは、量子スピンホール系の期待されるトポロジカル不変量と一致する。
• TRトーラスでは、KQ群はZ2 torsion部と自由アーベル部を併せ持つ複雑な構造を示し、次元と時間反転対称性の相互作用を反映している。