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.

Crystal Symmetry, Group Theory, and Band Structure Calculations

Group Theory on Quasisymmetry and Protected Near Degeneracy

Symmetries in nuclear, atomic and molecular spectroscopy

Obtaining The Band Structure Of A Complicated Photonic Crystal By Linear Operations

Unified Theory of Quantum Crystalline Symmetries

Group-theoretical Study of Band Nodes and the Emanating Nodal Structures in Crystalline Materials

Crystallographic splitting theorem for band representations and fragile topological photonic crystals

The landscape of symmetry enhancement in tight-binding models

Classification of Crystalline Topological Insulators and Superconductors with Point Group Symmetries

Degeneracy Analysis for a Supercell of a Photonic Crystal and Its Application to the Creation of Band Gaps

Understanding electronic peculiarities in tetragonal FeSe as local structural symmetry breaking

Hidden Nonsymmorphic Symmetry in Optical Lattices with One-Dimensional Spin-Orbit Coupling

Symmetry and degeneracy of phonon modes for periodic structures with glide symmetry

Establishing coherent momentum-space electronic states in locally ordered materials

Topological electronic bands in crystalline solids

Structural, Vibrational and Electronic Properties of Single Layer Hexagonal Crystals of Groups IV and V

Projective Spacetime Symmetry of Spacetime Crystals

Energy band structure of diamond, cubic silicon carbide, silicon, and germanium

On the best choice of symmetry group for group-theoretic computational schemes in solid and structural mechanics

Band Representations and Topological Quantum Chemistry

Band Structures of Two-Dimensional Photonic Crystals with Regular Polygon Cylinders Calculated by Linear Operations