Boundary Cochains and the Toeplitz Index on the Half-Lattice

Technische Zusammenfassung: Rand-Cochleien und der Toeplitz-Index auf dem Halb-Gitter

Problemstellung
Diese Arbeit untersucht die operatoralgebraische und kohomologische Struktur, die durch einen Rang-eins-Randdefekt in einer semi-infiniten Tight-Binding-Kette induziert wird. Das zentrale Untersuchungsobjekt ist der Operator $T = U + \varepsilon E$, der auf dem Hilbertraum $\ell^2(\mathbb{Z}_{\geq 0})$ wirkt, wobei $U$ der Vorwärts-unilaterale Shift ($Ue_n = e_{n+1}$) ist und $E = |e_0\rangle\langle e_0|$ die Projektion auf den Randplatz darstellt. Der Defektparameter $\varepsilon \in \mathbb{C}$ modelliert ein Randpotenzial oder eine Sonde.

Die Studie adressen die Dichotomie zwischen dem „Bulk“ (aufgespannt durch Potenzen von $U$) und dem „Edge“ (aufgespannt durch Eck-Operatoren involvierend $E$). Während die durch $T$ erzeugte polynomielle Algebra abelsch ist, ist die erweiterte Lie-Algebra $\mathcal{A} = \text{span}\{U^a E (U^*)^b, U^n\}$ nicht-abelsch, wobei die Nicht-Kommutativität vollständig durch den Randterm erzeugt wird. Die Arbeit strebt danach, diese randinduzierte Nicht-Kommutativität mittels Lie-Algebra-Kohomologie zu charakterisieren und zu bestimmen, ob ortsaufgelöste Cochleien als topologisches Invariant (eine Indexdichte) für das System dienen können.

Methodik
Der Autor verwendet einen Rahmen, der Operatortheorie, Lie-Algebra-Kohomologie und Indextheorie kombiniert:

1. Algebraischer Rahmen: Die Arbeit definiert $\mathcal{A}$ als eine Unteralgebra der beschränkten Operatoren $\mathcal{B}(\ell^2)$. Es wird etabliert, dass die abgeleitete Algebra $[\mathcal{A}, \mathcal{A}]$ aus endlich unterstützten, spurarmen Operatoren ($\mathfrak{sl}_{\text{fin}}$) besteht. Die Algebra wird in einen abelschen Bulk-Teil ($\text{span}\{U^n\}$) und ein endlich-rangiges Rand-Ideal zerlegt.
2. Kohomologische Analyse: Der Autor führt orts-lokalisierte 2-Cochleien ein, die durch $\omega_j(X, Y) = \langle e_j, [X, Y] e_j \rangle$ definiert sind. Diese Cochleien werden innerhalb des kontinuierlichen Chevalley–Eilenberg-Komplexes von $\mathcal{A}$ mit trivialen Koeffizienten analysiert. Die Studie untersucht, ob diese Cochleien nicht-triviale Kohomologieklassen repräsentieren, und untersucht die Struktur der zweiten Kohomologiegruppe $H^2(\mathcal{A}, \mathbb{C})$.
3. Toeplitz-Erweiterung: Um auf topologische Invarianten zuzugreifen, wird die Algebra durch Adjunktion des Rückwärts-Shifts $U^*$ zur polynomiellem Toeplitz-Algebra $\mathcal{A}^\sharp$ erweitert. Dies ermöglicht die Berechnung des Fredholm-Index via der Spur von Kommutatoren von Toeplitz-Operatoren $T_f$ und $T_g$.
4. Spektralanalyse: Die Arbeit analysiert die spektralen Eigenschaften von $T$ und seiner räumlich modulierten Generalisierungen $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$, insbesondere im Hinblick auf das wesentliche Spektrum und das Vorhandensein von gebundenen Zuständen (Eigenwerten) relativ zum Bulk-Limit.

Wesentliche Beiträge und Ergebnisse

• Kohomologische Struktur der Rand-Cochleien:

  • Die orts-aufgelösten Cochleien $\omega_j$ werden als kontinuierliche Chevalley–Eilenberg 2-Zykle bewiesen.
  • Entscheidend ist, dass jede $\omega_j$ als Coboundary nachgewiesen wird ($\omega_j = d\eta_j$ mit $\eta_j(A) = \langle e_j, A e_j \rangle$). Folglich ist die Kohomologieklasse $[\omega_j]$ in $H^2(\mathcal{A}, \mathbb{C})$ trivial.
  • Trotz ihrer Trivialität als Kohomologieklassen ist die Familie $\{\omega_j\}$ linear unabhängig (für endliche Teilfamilien) und erfüllt die einzelne globale Relation $\sum_{j \geq 0} \omega_j = 0$ (was die Spur-Null-Eigenschaft von Kommutatoren widerspiegelt).
  • Die Arbeit zeigt, dass $H^2(\mathcal{A}, \mathbb{C})$ tatsächlich unendlichdimensional ist, aber die nicht-trivialen Klassen aus dem abelschen Bulk resultieren (welcher zentrale Erweiterungen wie die Heisenberg-Algebra klassifiziert) und nicht vom Rand. Der diagnostische Wert von $\omega_j$ liegt also in der Ortsauflösung, nicht in der kohomologischen Nicht-Trivialität.

• Die Rand-Cochleien als orts-aufgelöster Index:

  • Auf der erweiterten Toeplitz-Algebra $\mathcal{A}^\sharp$ berechnet die totale Cochleie $\sum_{j \geq 0} \omega_j(T_f, T_g)$ die bilineare Paarung der Symbole: $\frac{1}{2\pi i} \oint_{S^1} f dg$.
  • Für konjugierte Symbole $g = 1/f$ entspricht diese Summe dem Fredholm-Index: $\sum_{j \geq 0} \omega_j(T_f, T_{1/f}) = \text{index}(T_f) = -\text{wind}(f)$.
  • Speziell für $f(z)=z^n$ ist der Index $-n$. Die Arbeit zeigt, dass dieser ganzzahlige Index als Summe von Einheitsbeiträgen verteilt ist, die an den Randplätzen lokalisiert sind: $\omega_j(U^n, (U^*)^n) = -1$ für $j < n$ und $0$ andernfalls.
  • Dies etabliert $\{\omega_j\}$ als orts-aufgelöste Indexdichte, wobei die globale Windungszahl des Bulks die Summe der Randbeiträge ist.

• Topologische Übergänge in modulierten Kopplungen:

  • Für räumlich modulierte Kopplungen $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$, wobei $\varepsilon_j \to c$, wird der Fredholm-Index allein durch das Bulk-Limit $c$ bestimmt.
  • Der Index ist gegeben durch $\text{index}(T_\varepsilon) = -1$, falls $|c| < 1$, und $0$, falls $|c| > 1$.
  • Ein topologischer Übergang tritt auf, wenn $|c|$ den Wert 1 kreuzt. Das Randprofil $(\varepsilon_j)$ beeinflusst nur die räumliche Lokalisierung (Form und Breite) der Indexdichte $\omega_j$, aber niemals den ganzzahligen Gesamtwert, welcher durch das Bulk-Symbol $z+c$ fixiert ist.

• Spektrale Unterscheidung:

  • Die Arbeit unterscheidet zwischen der Erzeugung gebundener Zustände und topologischen Indizes. Ein Rang-eins-Defekt $\varepsilon E$ erzeugt einen exponentiell lokalisierten Randzustand (Eigenwert) nur dann, wenn $|\varepsilon| > 1$, doch der Fredholm-Index bleibt $-1$ (invariant), da die Störung kompakt ist.
  • Im Gegensatz dazu ändert eine uniforme Bulk-Verschiebung $U + cI$ den Index nur, wenn das Bulk-Symbol den Einheitskreis kreuzt ($|c|=1$), was eine nicht-kompakte Störung darstellt.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine präzise algebraische und kohomologische Formulierung der Bulk-Boundary-Korrespondenz auf dem Halb-Gitter zu liefern. Ihre primäre Bedeutung liegt in:

1. Klärung der Rolle der Rand-Cochleien: Sie löst das scheinbare Paradoxon auf, dass Rand-Cochleien topologisch bedeutsam (als Indexdichte) sein können, während sie kohomologisch trivial (Coboundaries) sind. Die diagnostische Kraft wird der räumlichen Lokalisierung zugeschrieben, nicht den globalen Kohomologieklassen.
2. Entkopplung von Bulk- und Rand-Invarianten: Sie demonstriert rigoros, dass während die Verteilung der Indexdichte vom Randprofil abhängt, der totale Index allein eine Invariante des Bulk-Limits ist.
3. Algebraische Exaktheit: Die Standort-Profil der Cochleien wird als eine exakte algebraische Größe gezeigt, die aus der Kommutatorstruktur abgeleitet ist und unabhängig von approximativen numerischen Methoden ist.

Die Arbeit verbindet operatortheoretische Modelle offener Quantensysteme und Quanten-Walks mit Lie-Algebra-Kohomologie und nichtkommutativer Geometrie und bietet eine „orts-aufgelöste“ Perspektive auf topologische Invarianten, die etablierte Modelle der Bulk-Boundary-Korrespondenz (wie SSH- oder Kitaev-Ketten) ergänzt.