Boundary Cochains and the Toeplitz Index on the Half-Lattice

技術要約：半格子における境界コチェインとテプリッツ指数

問題設定
本論文は、半無限タイトバインディング鎖におけるランク1の境界欠陥によって誘起される、作用素代数およびコホモロジー的構造を調査するものである。中心となる対象は、ヒルベルト空間 $\ell^2(\mathbb{Z}_{\geq 0})$ 上の作用素 $T = U + \varepsilon E$ である。ここで、$U$ は前向き単側シフト（$Ue_n = e_{n+1}$）であり、$E = |e_0\rangle\langle e_0|$ は境界サイトへの射影である。欠陥パラメータ $\varepsilon \in \mathbb{C}$ は、境界ポテンシャルまたはプローブをモデル化している。

本研究は、「バルク」（$U$ の冪乗によって生成される部分）と「エッジ」（$E$ を含むコーナー作用素によって生成される部分）の二分法に対処する。多項式代数は $T$ によって可換であるが、拡張されたリー代数 $\mathcal{A} = \text{span}\{U^a E (U^*)^b, U^n\}$ は非可換であり、その非可換性は完全に境界項によって生成される。本論文は、この境界誘起の非可換性をリー代数コホモロジーを用いて特徴付け、サイト分解されたコチェインがシステムの位相不変量（指数密度）として機能するかどうかを決定することを目的とする。

手法
著者は、作用素論、リー代数コホモロジー、および指数論を組み合わせたフレームワークを採用している。

1. 代数的枠組み: 著者は $\mathcal{A}$ を有界作用素 $\mathcal{B}(\ell^2)$ の部分代数として定義する。$\mathcal{A}$ の導来代数 $[\mathcal{A}, \mathcal{A}]$ が有限支持のトレースゼロ作用素（$\mathfrak{sl}_{\text{fin}}$）であることを確立する。この代数は、可換なバルク部分（$\text{span}\{U^n\}$）と、有限ランクのエッジイデアルへと分解される。
2. コホモロジー解析: 著者は、自明な係数を持つ $\mathcal{A}$ の連続なシュヴァレー・アイレンベルク複体内で解析される、サイト局在化した2-コチェイン $\omega_j(X, Y) = \langle e_j, [X, Y] e_j \rangle$ を導入する。この研究は、これらのコチェインが非自明なコホモロジー類を代表するかどうかを検討し、第2コホモロジー群 $H^2(\mathcal{A}, \mathbb{C})$ の構造を調査する。
3. テプリッツ拡張: 位相不変量にアクセスするために、後退シフト $U^*$ を付加することで、代数を多項式テプリッツ代数 $\mathcal{A}^\sharp$ へと拡張する。これにより、テプリッツ作用素 $T_f$ と $T_g$ の交換子のトレースを通じて、フレドム指数を計算することが可能になる。
4. スペクトル解析: 著者は、$T$ および空間的に変調された一般化 $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$ のスペクトル特性を分析し、特に本質スペクトルと、バルク極限に対する束縛状態（固有値）の存在について検討する。

主要な貢献および結果

• 境界コチェインのコホモロジー構造:

  • サイト分解されたコチェイン $\omega_j$ は、連続なシュヴァレー・アイレンベルク2-コサイクルであることが証明されている。
  • 決定的なことに、各 $\omega_j$ はコバウンダリ（$\omega_j = d\eta_j$、ここで $\eta_j(A) = \langle e_j, A e_j \rangle$）であることが示されている。したがって、コホモロジー類 $[\omega_j]$ は $H^2(\mathcal{A}, \mathbb{C})$ において自明である。
  • これらのコホモロジー類としての自明性にもかかわらず、族 $\{\omega_j\}$ は線形独立であり（有限の部分族において）、単一のグローバルな関係式 $\sum_{j \geq 0} \omega_j = 0$ （交換子のトレースゼロ特性を反映）を満たす。
  • 論文は、$H^2(\mathcal{A}, \mathbb{C})$ が実際には無限次元であることを示しているが、非自明な類はエッジからではなく、可換なバルク（ハイゼンベルク代数のような中心拡大を分類するもの）から生じる。したがって、$\omega_j$ の診断的価値は、コホモロジー的な非自明性ではなく、サイト分解にある。

• サイト分解された指数としての境界コチェイン:

  • 拡張されたテプリッツ代数 $\mathcal{A}^\sharp$ 上で、全コチェイン $\sum_{j \geq 0} \omega_j(T_f, T_g)$ は、シンボルの双線型ペアリング $\frac{1}{2\pi i} \oint_{S^1} f dg$ を計算する。
  • 共役なシンボル $g = 1/f$ に対して、この和はフレドム指数に等しい：$\sum_{j \geq 0} \omega_j(T_f, T_{1/f}) = \text{index}(T_f) = -\text{wind}(f)$。
  • 具体的には、$f(z)=z^n$ のとき、指数は $-n$ である。本論文は、この整数指数が、境界サイトに局在した単位寄与の和として分布することを示す：すなわち、$j < n$ に対して $\omega_j(U^n, (U^*)^n) = -1$ であり、それ以外では $0$ である。
  • これにより、$\{\omega_j\}$ がサイト分解された指数密度、すなわちバルクの回転数がエッジの寄与の総和となるものであることが確立される。

• 変調結合における位相転移:

  • $\varepsilon_j \to c$ となる空間変調結合 $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$ について、フレドム指数はバルク極限 $c$ のみによって決定される。
  • 指数は、$|c| < 1$ のとき $\text{index}(T_\varepsilon) = -1$ であり、$|c| > 1$ のとき $0$ である。
  • $|c|$ が 1 を横切る際に位相転移が発生する。境界プロファイル $(\varepsilon_j)$ は、指数密度の空間的な局在化（形状と幅）には影響を与えるが、整数の総和には決して影響を与えず、総和はバルクシンボル $z+c$ によって固定される。

• スペクトルの区別:

  • 本論文は、束縛状態の生成と位相的指数の間に区別を設けている。ランク1の欠陥 $\varepsilon E$ は、$|\varepsilon| > 1$ の場合にのみ指数関数的に局在したエッジ状態（固有値）を生み出すが、摂動はコンパクトであるため、フレドム指数は依然として $-1$（不変）である。
  • 対照的に、一様なバルクシフト $U + cI$は、バルクシンボルが単位円を横切る時（$|c|=1$）、非コンパクトな摂動であるにもかかわらず、指数を変化させる。

意義および主張
本論文は、半格子におけるバルク・エッジ対応の精密な代数的およびコホモロジー的な定式化を提供すると主張している。その主な意義は以下の通りである：

1. 境界コチェインの役割の解明: 境界コチェインが、コホモロジー的に自明（コバウンダリ）でありながら、いかにして位相的に意味を持つ（指数密度として機能する）かという、一見すると逆説的な状況を解決している。その診断能力は、グローバルなコホモロジー類ではなく、その空間的局在性に帰せられる。
2. バルクとエッジの不変量の分離: 指数密度の分布は境界プロファイルに依存する一方で、総和としての指数はバルク極限のみの不変量であることを厳密に示している。
3. 代数的正確性: コチェインのサイトプロファイルは、近似的な数値的手法に依存しない、交換子構造から導出される厳密な代数的量であることが示されている。

本研究は、開いた量子系や量子ウォークの作用素論的モデルを、リー代数コホモロジーおよび非可換幾何学と結びつけ、確立されたバルク・境界対応モデル（SSHやキタエフ鎖など）を補完する「サイト分解された」視点を提供している。