Boundary Cochains and the Toeplitz Index on the Half-Lattice

Technical Summary: Boundary Cochains and the Toeplitz Index on the Half-Lattice

Problem Statement
This paper investigates the operator algebraic and cohomological structure induced by a rank-one boundary defect in a semi-infinite tight-binding chain. The central object of study is the operator $T = U + \varepsilon E$ acting on the Hilbert space $\ell^2(\mathbb{Z}_{\geq 0})$, where $U$ is the forward unilateral shift ($Ue_n = e_{n+1}$) and $E = |e_0\rangle\langle e_0|$ is the projection onto the boundary site. The defect parameter $\varepsilon \in \mathbb{C}$ models a boundary potential or probe.

The study addresses a dichotomy between the "bulk" (spanned by powers of $U$) and the "edge" (spanned by corner operators involving $E$). While the polynomial algebra generated by $T$ is abelian, the enlarged Lie algebra $\mathcal{A} = \text{span}\{U^a E (U^*)^b, U^n\}$ is non-abelian, with non-commutativity entirely generated by the boundary term. The paper seeks to characterize this boundary-induced non-commutativity using Lie algebra cohomology and to determine if site-resolved cochains can serve as a topological invariant (an index density) for the system.

Methodology
The author employs a framework combining operator theory, Lie algebra cohomology, and index theory:

1. Algebraic Framework: The paper defines $\mathcal{A}$ as a subalgebra of bounded operators $\mathcal{B}(\ell^2)$. It establishes that the derived algebra $[\mathcal{A}, \mathcal{A}]$ consists of finitely supported, trace-zero operators ($\mathfrak{sl}_{\text{fin}}$). The algebra is decomposed into an abelian bulk part ($\text{span}\{U^n\}$) and a finite-rank edge ideal.
2. Cohomological Analysis: The author introduces site-localized 2-cochains defined by $\omega_j(X, Y) = \langle e_j, [X, Y] e_j \rangle$. These cochains are analyzed within the continuous Chevalley–Eilenberg complex of $\mathcal{A}$ with trivial coefficients. The study examines whether these cochains represent non-trivial cohomology classes and investigates the structure of the second cohomology group $H^2(\mathcal{A}, \mathbb{C})$.
3. Toeplitz Extension: To access topological invariants, the algebra is extended to the polynomial Toeplitz algebra $\mathcal{A}^\sharp$ by adjoining the backward shift $U^*$. This allows the computation of the Fredholm index via the trace of commutators of Toeplitz operators $T_f$ and $T_g$.
4. Spectral Analysis: The paper analyzes the spectral properties of $T$ and its spatially modulated generalizations $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$, specifically looking at the essential spectrum and the existence of bound states (eigenvalues) relative to the bulk limit.

Key Contributions and Results

• Cohomological Structure of Boundary Cochains:

  • The site-resolved cochains $\omega_j$ are proven to be continuous Chevalley–Eilenberg 2-cocycles.
  • Crucially, each $\omega_j$ is shown to be a coboundary ($\omega_j = d\eta_j$ where $\eta_j(A) = \langle e_j, A e_j \rangle$). Consequently, the cohomology class $[\omega_j]$ is trivial in $H^2(\mathcal{A}, \mathbb{C})$.
  • Despite their triviality as cohomology classes, the family $\{\omega_j\}$ is linearly independent (for finite subfamilies) and satisfies the single global relation $\sum_{j \geq 0} \omega_j = 0$ (reflecting the trace-zero property of commutators).
  • The paper demonstrates that $H^2(\mathcal{A}, \mathbb{C})$ is actually infinite-dimensional, but the non-trivial classes arise from the abelian bulk (classifying central extensions like the Heisenberg algebra) rather than the edge. Thus, the diagnostic value of $\omega_j$ lies in site resolution, not cohomological non-triviality.

• The Boundary Cochains as a Site-Resolved Index:

  • On the extended Toeplitz algebra $\mathcal{A}^\sharp$, the total cochain $\sum_{j \geq 0} \omega_j(T_f, T_g)$ computes the bilinear pairing of symbols: $\frac{1}{2\pi i} \oint_{S^1} f dg$.
  • For conjugate symbols $g = 1/f$, this sum equals the Fredholm index: $\sum_{j \geq 0} \omega_j(T_f, T_{1/f}) = \text{index}(T_f) = -\text{wind}(f)$.
  • Specifically, for $f(z)=z^n$, the index is $-n$. The paper shows that this integer index is distributed as a sum of unit contributions localized at the boundary sites: $\omega_j(U^n, (U^*)^n) = -1$ for $j < n$ and $0$ otherwise.
  • This establishes $\{\omega_j\}$ as a site-resolved index density, where the bulk winding number is the sum of edge contributions.

• Topological Transitions in Modulated Couplings:

  • For spatially modulated couplings $T_\varepsilon = U + \sum \varepsilon_j |e_j\rangle\langle e_j|$ where $\varepsilon_j \to c$, the Fredholm index is determined solely by the bulk limit $c$.
  • The index is given by $\text{index}(T_\varepsilon) = -1$ if $|c| < 1$ and $0$ if $|c| > 1$.
  • A topological transition occurs as $|c|$ crosses 1. The boundary profile $(\varepsilon_j)$ affects only the spatial localization (shape and width) of the index density $\omega_j$, but never the integer total, which is fixed by the bulk symbol $z+c$.

• Spectral Distinction:

  • The paper distinguishes between the creation of bound states and topological indices. A rank-one defect $\varepsilon E$ creates an exponentially localized edge state (eigenvalue) only when $|\varepsilon| > 1$, yet the Fredholm index remains $-1$ (invariant) because the perturbation is compact.
  • In contrast, a uniform bulk shift $U + cI$ changes the index only when the bulk symbol crosses the unit circle ($|c|=1$), a non-compact perturbation.

Significance and Claims
The paper claims to provide a precise algebraic and cohomological formulation of the bulk-edge correspondence on the half-lattice. Its primary significance lies in:

1. Clarifying the Role of Boundary Cochains: It resolves the apparent paradox that boundary cochains can be topologically meaningful (as an index density) while being cohomologically trivial (coboundaries). The diagnostic power is attributed to their spatial localization rather than global cohomology classes.
2. Decoupling Bulk and Edge Invariants: It rigorously demonstrates that while the distribution of the index density depends on the boundary profile, the total index is an invariant of the bulk limit alone.
3. Algebraic Exactness: The site profile of the cochains is shown to be an exact algebraic quantity derived from the commutator structure, independent of approximate numerical methods.

The work connects operator-theoretic models of open quantum systems and quantum walks with Lie algebra cohomology and noncommutative geometry, offering a "site-resolved" perspective on topological invariants that complements established bulk-boundary correspondence models (such as SSH or Kitaev chains).