Kubo Formulas and Bulk-Edge Correspondence for Curved Boundaries

技術要約：曲がった境界におけるクボ公式とバルク・エッジ対応

問題提起
自由フェルミオン系のトポロジカル相は、伝統的に、周期系における運動量空間上の整数不変量（強トポロジカル不変量）によって特徴付けられる。しかし、多くの物理的に重要なシナリオ（無秩序系、準結晶、あるいは曲がった境界や不規則な境界を持つ系など）においては、有用な運動量空間による記述が欠如している。その結果、これらの不変量を実空間で直接定式化し、バルク・エッジ対応（バルク量と境界観測量の等価性）を厳密に確立する必要が生じている。

具体的には、以下の2つの密接に関連する問題が生じる：

1. バルク不変量に関する様々な実空間公式、特にフレドホルム指数のペアリングと、半空間射影を用いたクボ公式との間の等価性の比較。
2. 任意の曲がった境界が存在する場合における、これらのバルク量と境界観測量との関連付け。これは、従来の、直線的な境界や特定の格子モデルに限定されていた結果を拡張するものである。

手法
著者らは、$K$理論的アプローチ、具体的には非可分な$C^*$環に適応させた$KK$理論を用いている。手法は以下のステップに従う：

• 代数的枠組み： 本研究は、有界な幾何学的性質を持つ固有距離空間$X$（離散的な$\mathbb{Z}^d$と連続的な$\mathbb{R}^d$の両方をカバーする）に関連する一様ロー$C^*$環（uniform Roe $C^*$-algebras, $C^*_u(X)$）の文脈で行われる。著者らは、これらの代数が一般に非可分であるため、標準的な$KK$理論の結果（カスパラソフ積の存在と結合性に関するもの）が適用できないという技術的課題に対処している。これを解決するために、Skandalisによって導入された、非可分な代数の可分な部分代数の射影極限として$KK$理論を定義するバリアントである$KK_{sep}$を利用する。
• ディラック型関数： 著者らは、位置空間のディラック演算子の概念を一般化する。標準的な線形位置演算子の代わりに、大規模なリプシッツ連続性を持ち、多項式的に固有な（polynomially proper）ディラック型関数$f: X \to \mathbb{R}^d$を用いる。これらの関数は、非有界ディラック演算子$D_f = \sum f_i \otimes \sigma_i$を介して$K$ホモロジー類$[D_f]$を定義する。
• 拡張類によるバルク・エッジ対応： バルク・エッジ対応は、空間$X$を半空間$Y_d$とその補集合へと分解することに関連するマイヤー・ヴィエトリス境界写像を用いて定式化される。この境界写像は、$KK$理論における拡張類としてエンコードされる。著者らは、バルクの$K$理論類とバルク・ディラック演算子の指数ペアリングが、境界のディラック演算子との指数ペアリングと（符号を除いて）等しいことを証明する。これは、拡張類がバルク・ディラック演算子の$K$ホモロジー類に作用することで、エッジ・ディラック演算子の類を与えることを示すことにより達成される。ここでは、カスパラソフ積のためのKucerovskyの判定基準が利用される。
• 不変量の分類： $X = \mathbb{R}^d$の場合、著者らはディラック型関数の$K$ホモロジー同値性による分類を行う。彼らは、これらの類が「漸近的次数（asymptotic degree）」と呼ばれる整数によって完全に決定されることを示す。ここで、漸近的次数とは、大きな球面上の関数$f$のブール（Brouwer）次数である。
• クボ公式： 著者らは、「スイッチ関数」（ディラック型成分の符号関数）と急速に減衰する演算子のシュワルツ環を用いて、一般化されたクボ・コサイクルを定義する。彼らは、$K$理論類とディラック演算子の$K$ホモロジー類とのペアリングが、正規化定数を除いて、クボ・コサイクルのその類への評価に等しいことを証明する。

主要な貢献と結果

1. 一般的なバルク・エッジ対応 (定理 1.1 / 定理 3.4):
   本論文は、有界な幾何学的性質を持つ空間と任意の境界（曲がった境界を含む）に対する、バルク・エッジ対応の一般的な形式を確立する。多項式的に余剰な（coarsely transverse）半空間の集まり $Y_1, \dots, Y_d$ とその境界 $Z_1, \dots, Z_d$ に対して、バルク指数ペアリング $\langle x, [D_{Y_1, \dots, Y_d}] \rangle$ は、エッジ指数ペアリング $\langle \partial_{Y_d}(x), [D_{Y_1, \dots, Y_{d-1}}] \rangle$ の $(-1)^d$ 倍に等しいことを証明する。この結果は一様ロー環において成立し、従来の格子ベースの結果を連続および曲がった設定へと一般化するものである。

2. 次数による分類 (定理 1.2 / 定理 4.3):
   $X = \mathbb{R}^d$において、著者らはディラック型関数$f$の$K$ホモロジー類が、その漸近的次数 $\deg(f)$ のみによって決定されることを示す。具体的には、$[D_f] = \deg(f) [D_{std}]$ である（ここで $D_{std}$ は標準的なディラック演算子）。これは、一般的な曲がった境界における指数ペアリングが、標準的なケースとは、境界構成のトポロジカルな次数（または2次元における交差数）に対応するこの乗法的整数因子によってのみ異なることを意味する。

3. 一般化されたクボ公式 (定理 1.4 / 定理 5.23):
   著者らは、半空間に関連するスイッチ関数との交換子を用いた実空間トレース公式を介して、指数ペアリングを計算する一般化されたクボ公式を証明する。彼らは、多項式的に固有なディラック型関数に対して、クボ公式の数値が整数であり、指数ペアリングに等しいことを示す。

• 有限多重性： まず、「標準化写像」（曲がった半空間を標準的な座標半空間へ写す写像）が有限の多重性を持つ場合に、この公式を確立する。
• 一般の場合： ホモトピー不変性と、任意の次数を持つディラック型関数の具体的な構成を用いることで、この結果を任意の多項式的に固有なディラック型関数へと拡張し、曲がった境界におけるクボ公式が、境界構成の次数によって標準的なクボ公式に比例することを証明する。

4. 非可分な代数の取り扱い:
   技術的な重要な貢献は、一様ロー環への $KK_{sep}$ の厳密な適用である。著者らは、非可分性にもかかわらず、可分な部分代数のネット（net）上でカスパラソフ積および拡張類を計算できることを示し、これにより（Kucerovskyの判定基準のような）標準的な判定基準を用いてバルク・エッジ関係を確立できることを示した。

意義と主張
本論文は、曲がった境界や無秩序を持つ系におけるトポロジカル不変量を理解するための、統一的な解析的枠組みを提供すると主張している。特定の格子モデルから、有界な幾何学的性質を持つ一般的な計量空間へと移行することで、著者らは抽象的な$K$理論的バルク・エッジ対応と、物理学で用いられる具体的な数値公式（クボ公式）との間の溝を埋めている。

その意義は以下の点にある：

• 汎用性： 結果は、直線的な界面だけでなく、任意の曲がった境界に適用可能であり、離散および連続の両方のモデルをカバーしている。
• 等価性： 抽象的な指数ペアリング（フレドホルム指数）と、物理的に動機付けられたクボ公式（交換子のトレース）との間の等価性を厳密に証明している。
• 定量的関係： 曲がった境界の系のトポロジカル不変量と標準的な不変量との関係を明示的に定量化し、その比例因子を境界構成のトポロジカル次数（交差数）として特定している。

著者らは、彼らのアプローチは（一様ロー環の範囲内にある）十分な減衰を持つギャップのあるハミルトニアンに対しては堅牢であるが、半一様指数関数的減衰しか持たない移動度ギャップ絶縁体（mobility-gapped insulators）を直ちにカバーするものではないと述べている。ただし、ディラック型関数に対して用いたホモトピーの議論が、そのような設定にも適応できる可能性を示唆している。また、彼らの枠組みは、最小限の修正で実的なアルトランド・ザーンバーゲル（Altland-Zirnbauer）対称性クラス（$\mathbb{Z}_2$ 不変量）へと拡張できる可能性があるとも述べている。