[論文レビュー] Classification of crystalline topological insulators through K-theory

Luuk Stehouwer, Jan de Boer+2 more|arXiv (Cornell University)|Nov 6, 2018

Topological and Geometric Data Analysis被引用数 5

ひとこと要約

本稿では、ブリユアンゾーンを対称的サブマンフォールドに分解することで、ねじれ-equivariant K理論を用いて結晶的トポロジカル絶縁体を体系的に分類する手法を開発する。アティヤ＝ヒルツェブルクスペクトル系列を用いて、K理論群を計算し、安定化部分群とねじれ表現環を分析することで、局所的およびグローバルな不変量の物理的起源を明確にする計算フレームワークを提供する。

ABSTRACT

Topological phases for free fermions in systems with crystal symmetry are classified by the topology of the valence band viewed as a vector bundle over the Brillouin zone. Additional symmetries, such as crystal symmetries which act non-trivially on the Brillouin zone, or time-reversal symmetry, endow the vector bundle with extra structure. These vector bundles are classified by a suitable version of K-theory. While relatively easy to define, these K-theory groups are notoriously hard to compute in explicit examples. In this paper we describe in detail how one can compute these K-theory groups starting with a decomposition of the Brillouin zone in terms of simple submanifolds on which the symmetries act nicely. The main mathematical tool is the Atiyah-Hirzebruch spectral sequence associated to such a decomposition, which will not only yield the explicit result for several crystal symmetries, but also sheds light on the origin of the topological invariants. This extends results that have appeared in the literature so far. We also describe examples in which this approach fails to directly yield a conclusive answer, and discuss various open problems and directions for future research.

研究の動機と目的

• 結晶対称性を有する自由フェルミオン系におけるトポロジカル相の分類のための計算的に取り扱いやすいフレームワークを提供すること。
• 長年にわたり困難とされてきた、直接的に計算が極めて難しいねじれ-equivariant K理論群の計算を解決すること。
• 運動量空間における高対称点に定義された局所的不変量と、円や表面に定義されたグローバル不変量の物理的起源を明確にすること。
• 統一的なK理論フレームワーク内で非自明な結晶対称性と時間反転対称性を統合することで、既存の分類を拡張すること。
• 本手法の限界を特定し、非等長系における非定数のねじれデータを有する未解決問題を強調すること。

提案手法

• 本稿では、結晶対称性が滑らかに作用する部分多様体にブリユアンゾーンをCW分解し、その上でアティヤ＝ヒルツェブルクスペクトル系列を適用する。
• 安定化部分群のねじれ表現環を係数とするブレドンコhomologyを用いて、スペクトル系列の第二ページを計算する。
• K理論群をねじれ表現環値をとるコチェインへ写像し、固定点部分空間間の貼り合わせ条件を微分が記述する。
• スペクトル系列はねじれ-equivariant K理論へ収束し、対応する順次的成分は最終的なK理論群を表す。
• バンドルをコセット上のファイバーに制限し、制限および共役写像を用いて群作用を分析することで、不変量を明示的に計算する。
• 時間反転対称性および回転対称性を含む場合にも一般化可能であり、高対称点における対称性の強化が不変量に与える制約を示す。

実験結果

リサーチクエスチョン

• RQ1 非自明な空間群対称性を有する結晶的トポロジカル絶縁体に対して、ねじれ-equivariant K理論を体系的に計算する方法は何か？
• RQ2 運動量空間における高対称点に定義された局所的不変量の物理的およびトポロジカルな起源は何か？
• RQ3 円や表面に定義されたグローバル不変量は、K理論分類からどのように導かれるか、バンドトポロジーとどのように関係するか？
• RQ4 非定数のねじれデータを有する非等長系では、標準的なK理論ツールがなぜ機能しなくなるのか。代替手法は存在するか？
• RQ5 K理論におけるねじれがブリユアンゾーン全体で変化する場合、完全な分類にどのような障害が生じるか？

主な発見

• アティヤ＝ヒルツェブルクスペクトル系列は、ブリユアンゾーンを対称的セルに分解することで、ねじれ-equivariant K理論への実用的な計算的手順を提供する。
• 局所的不変量は、高対称点における安定化部分群のねじれ表現環から生じるが、群の制限および共役による制約が課される。
• グローバル不変量は、スペクトル系列が全K理論群へ収束することによって捉えられ、対応する順次的成分はブリユアンゾーン全体におけるトポロジカル構造を反映する。
• 本手法は、時間反転対称性および2重回転対称性を有する系に対してもK理論群を効果的に計算でき、明示的な不変量を導出する。
• 固定点部分空間間の貼り合わせ条件（例：点、直線、平面）が、一貫した分類に不可欠であることがフレームワークによって明らかになった。
• 非定数のねじれを有する非等長結晶系では本手法が破綻することから、すべての結晶系への拡張に向けた主要な未解決問題が浮き彫りになった。