Abstract:The fundamental building blocks in band theory are band representations—bands whose infinitely numbered Wannier functions are generated (by action of a space group) from a finite number of symmetric Wannier functions centered on a point in space. This paper aims to simplify questions on a multirank band representation by splitting it into unit-rank bands via the following crystallographic splitting theorem: Being a rank-N band representation is equivalent to being splittable into a finite sum of bands indexed by {1,2,...,N}, such that each band is spanned by a single, analytic Bloch function of k, and any symmetry in the space group acts by permuting {1,2,...,N}. We prove this theorem for all band representations (of crystallographic space groups) whose Wannier functions transform in the integer-spin representation; in the half-integer-spin case, the only exceptions to the theorem exist for three-spatial-dimensional space groups with cubic point groups. Applying this theorem, we develop computationally efficient methods to determine whether a given energy band (of a tight-binding or Schrödinger-type Hamiltonian) is a band representation and, if so, how to numerically construct the corresponding symmetric Wannier functions. Thus we prove that rotation-symmetric topological insulators in Wigner-Dyson class AI are fragile, meaning that the obstruction to symmetric Wannier functions can be removed by addition of band representations to the filled-band subspace. An implication of fragility is that its boundary states, while robustly covering the bulk energy gap in finite-rank tight-binding models, can be destabilized if the Hilbert space is expanded to include all symmetry-allowed representations. These fragile insulators have photonic analogs that we identify; in particular, we prove that an existing photonic crystal built by Yihao Yang et al. [Nature 565, 622 (2019)NATUAS0028-083610.1038/s41586-018-0829-0] is fragile topological with removable boundary states, which disproves a widespread perception of “topologically protected” boundary states in time-reversal-invariant, gapped photonic/phononic crystals. As a final application of our theorem, we derive various symmetry obstructions on the Wannier functions of topological insulators; for certain space groups, these obstructions are proven to be equivalent to the nontrivial holonomy of Bloch functions.

Real Space Invariants: Twisted Bulk-Boundary Correspondence of Fragile Topology

Interacting Topological Quantum Chemistry in 2D: Many-body Real Space Invariants

Interacting topological quantum chemistry in 2D with many-body real space invariants

Fragile Topology Protected by Inversion Symmetry: Diagnosis, Bulk-Boundary Correspondence, and Wilson Loop

Non-Hermitian Topological Invariants in Real Space

Wilson loop approach to fragile topology of split elementary band representations and topological crystalline insulators with time reversal symmetry

M ay 2 01 9 Non-Hermitian Topological Invariants in Real Space

Real-space Formalism for the Euler Class and Fragile Topology in Quasicrystals and Amorphous Lattices

Real-space approach for the Euler class and fragile topology in quasicrystals and amorphous lattices

Probing fragile topology with a screw dislocation

Crystallographic splitting theorem for band representations and fragile topological photonic crystals

Real-space Observation of Topological Invariants in 2D Photonic Systems

Stability and noncentered PT symmetry of real topological phases

Coarse geometric approach to topological phases: Invariants from real-space representations

Many-body topological invariants for fermionic symmetry-protected topological phases

Many-body topological invariants in fermionic symmetry protected topological phases: Cases of point group symmetries

Anomalies of Non-Invertible Symmetries in (3+1)d

Design and characterization of all two-dimensional fragile topological bands

Complete crystalline topological invariants from partial rotations in (2+1)D invertible fermionic states and Hofstadter's butterfly

Unconventional Floquet topological phases from a new bulk-boundary correspondence.

Real-space recipes for general topological crystalline states