Table of Contents
Fetching ...

Robustness of topological phases on aperiodic lattices

Yuezhao Li

TL;DR

This work develops a rigorous framework to study the robustness of topological phases on aperiodic lattices by comparing two observable C*-algebras: the groupoid C*-algebra of a Delone set and the Roe (coarse) C*-algebra. By constructing *-homomorphisms between these models via regular representations and exploiting position spectral triples, the authors show that strong topological phases are detected by index pairings in the Roe setting, while phases produced by stacking are forced to be weak and vanish in Roe K-theory. The key technical advance is showing that the bulk cycle paired with localized spectral triples reproduces the integer invariants in KK-theory and that the groupoid-model invariants pull back to the coarse geometry in a way that preserves robustness under short-range perturbations and symmetry constraints. The results unify groupoid and coarse-geometric approaches to aperiodic topological insulators, providing concrete tools to assess which invariants survive under perturbations and how stacking phenomena fail to yield robust coarse-scale indices.

Abstract

We study the robustness of topological phases on aperiodic lattices by constructing *-homomorphisms from the groupoid model to the coarse-geometric model of observable C*-algebras. These *-homomorphisms induce maps in K-theory and Kasparov theory. We show that the strong topological phases in the groupoid model are detected by position spectral triples. We show that topological phases coming from stacking along another Delone set are always weak in the coarse-geometric sense.

Robustness of topological phases on aperiodic lattices

TL;DR

This work develops a rigorous framework to study the robustness of topological phases on aperiodic lattices by comparing two observable C*-algebras: the groupoid C*-algebra of a Delone set and the Roe (coarse) C*-algebra. By constructing *-homomorphisms between these models via regular representations and exploiting position spectral triples, the authors show that strong topological phases are detected by index pairings in the Roe setting, while phases produced by stacking are forced to be weak and vanish in Roe K-theory. The key technical advance is showing that the bulk cycle paired with localized spectral triples reproduces the integer invariants in KK-theory and that the groupoid-model invariants pull back to the coarse geometry in a way that preserves robustness under short-range perturbations and symmetry constraints. The results unify groupoid and coarse-geometric approaches to aperiodic topological insulators, providing concrete tools to assess which invariants survive under perturbations and how stacking phenomena fail to yield robust coarse-scale indices.

Abstract

We study the robustness of topological phases on aperiodic lattices by constructing *-homomorphisms from the groupoid model to the coarse-geometric model of observable C*-algebras. These *-homomorphisms induce maps in K-theory and Kasparov theory. We show that the strong topological phases in the groupoid model are detected by position spectral triples. We show that topological phases coming from stacking along another Delone set are always weak in the coarse-geometric sense.

Paper Structure

This paper contains 23 sections, 21 theorems, 122 equations.

Key Result

Lemma 2.6

There is an isomorphism of $\mathbb{Z}/2$-graded, "real" Hilbert spaces given by where This induces an isomorphism of $\mathbb{Z}/2$-graded "real" C^*C*-algebras where $\mathbb{C}\ell(\mathbb{T}^d)$ is the "real" Clifford bundle of the "real" manifold $\mathbb{T}^d$. In particular, under this isomorphism, the canonical representation of $\mathbb{C}\ell_{0,d}$ as in deflem:standard_representati

Theorems & Definitions (55)

  • Definition 2.1: Kellendonk:Cst-algebraic_topological_phases*Definition 3.7
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • proof
  • Lemma 2.6: cf. Ewert-Meyer:Coarse_geometry*Section 4
  • Lemma 2.8
  • proof
  • Proposition 2.9
  • Lemma 2.10: Bourne-Carey-Rennie:NC_framework_topological_insulators*Proposition 3.17 and 3.18; Bourne-Mesland:Aperiodic*Section 6.2
  • ...and 45 more