[論文レビュー] Z_2 invariants of topological insulators as geometric obstructions

Domenico Fiorenza, Domenico Monaco+1 more|arXiv (Cornell University)|Aug 5, 2014

Topological Materials and Phenomena参考文献 31被引用数 10

ひとこと要約

この論文は、フェルミオン的時間反転対称性を有する2次元および3次元のトポロジカル絶縁体において、周期的かつ時間反転対称性を持つブローチフレームの存在が、Z₂不変量によって妨げられることを確立している。これらの不変量は、フー＝カーンおよびフー＝カーン＝メレのインデックスに正確に一致することが示された。著者らは、障害が存在しない場合に、離散的および連続的系の両方に対して有効な、構成的アルゴリズムを提供している。

ABSTRACT

We consider a gapped periodic quantum system with time-reversal symmetry of fermionic (or odd) type, i.e. the time-reversal operator squares to -1. We investigate the existence of periodic and time-reversal invariant Bloch frames in dimensions 2 and 3. In 2d, the obstruction to the existence of such a frame is shown to be encoded in a $\mathbb{Z}_2$-valued topological invariant, which can be computed by a simple algorithm. We prove that the latter agrees with the Fu-Kane index. In 3d, instead, four $\mathbb{Z}_2$ invariants emerge from the construction, again related to the Fu-Kane-Mele indices. When no topological obstruction is present, we provide a constructive algorithm yielding explicitly a periodic and time-reversal invariant Bloch frame. The result is formulated in an abstract setting, so that it applies both to discrete models and to continuous ones.

研究の動機と目的

• フェルミオン的時間反転対称性を有するギャップのある量子系において、周期的かつ時間反転対称性を持つブローチフレームの存在が妨げられるトポロジカル障害を理解すること。
• 2次元および3次元空間において、こうした障害を引き起こす正確なトポロジカル不変量を同定すること。
• 2次元および3次元において、これらの不変量がそれぞれよく知られたフー＝カーンおよびフー＝カーン＝メレのインデックスと一致することを証明すること。
• トポロジカル障害が存在しない場合に、こうしたフレームを明示的に構成するための構成的アルゴリズムを提供すること。
• 離散的および連続的モデルの両方に適用可能な抽象的枠組みで結果を定式化すること。

提案手法

• 著者らは、フェルミオン的タイプの時間反転対称性（時間反転作用素の二乗が -1 に等しい）を有する系におけるブローチ bundle の幾何的構造を分析している。
• 周期的かつ時間反転対称性を持つブローチフレームを、ブリュノインゾーン上で滑らかで全空間に定義されたブローチ bundle の基底として定義している。
• ファイバー bundle 理論および特徴的類を用いて、こうしたフレームの存在に対するトポロジカル障害を導出している。
• 2次元では、障害が単一の Z₂ 不変量によって記述され、簡単なアルゴリズムにより計算可能であることを示している。
• 3次元では、ブローチ bundle の構造から生じる4つの Z₂ 不変量が障害として特定され、フー＝カーン＝メレのインデックスに対応している。
• Z₂ 不変量がすべて消える場合に、時間反転対称性と整合するゲージ固定手順を用いて、明示的なアルゴリズムにより不変ブローチフレームを構成している。

実験結果

リサーチクエスチョン

• RQ1 フェルミオン的時間反転対称性を有する2次元系において、周期的かつ時間反転対称性を持つブローチフレームの存在が妨げられるトポロジカル不変量は何か？
• RQ2 こうした障害は、2次元トポロジカル絶縁体におけるフー＝カーンインデックスとどのように関係しているか？
• RQ3 3次元において対応するトポロジカル不変量は何か？ また、フー＝カーン＝メレのインデックスとどのように関係しているか？
• RQ4 どのような条件下で、周期的かつ時間反転対称性を持つブローチフレームを明示的に構成できるか？
• RQ5 この枠組みは、離散的および連続的量子系の両方に一般化可能か？

主な発見

• 2次元では、周期的かつ時間反転対称性を持つブローチフレームの構成障害が、単一の Z₂ 不変量によって完全に記述され、簡単なアルゴリズムにより計算可能である。
• 2次元におけるこの Z₂ 不変量は、フー＝カーンインデックスと等価であることが証明され、物理的意味の重要性が確認された。
• 3次元では、4つの Z₂ 不変量が障害として出現し、これらは正確に4つのフー＝カーン＝メレのインデックスに対応する。
• すべての Z₂ 不変量が消える場合、本論文は周期的かつ時間反転対称性を持つブローチフレームを明示的に構成するための構成的アルゴリズムを提供している。
• 結果は抽象的な数学的枠組みで定式化されており、離散格子モデルおよび連続系の両方に適用可能であることが保証されている。
• この枠組みは、次元にかかわらず時間反転対称性を持つトポロジカル絶縁体の幾何的およびトポロジカル理解を統一的に提供する。