1 Introduction
The prosperity of topological phases of quantum matter started with the integer quantum Hall effect [
1,
2], and the field of topological band theory is established by its generalization to systems without external magnetic field [
3-
5], later termed as Chern insulators, for which the topological invariants are identified as the valence-band Chern numbers taking integer values
, and the experimental realization has been done [
6,
7]. Since the Chern number in band theory is odd under time-reversal, a Chern insulator cannot have time-reversal
T or space-time-reversal
symmetry with
P being space inversion, though there are
T- or
-invariant topological insulators with
classification, whose topology are not characterized by the Chern number. As
T-symmetric topological band theories, such as two- and three-dimensional topological insulators, and various
T-invariant superconductors, have been well studied during the last decade [
8,
9],
-symmetric band theory has recently been attracting more and more attention [
10,
11], in particular systems with
, which is in part because that the Dirac nodal-line phase can be realized with the
symmetry [
12-
16]. Such
-symmetric crystals have essentially real band structures, since
symmetry is anti-unitary, and operates locally in momentum space without the Kramers degeneracy. It is noteworthy that
symmetry with
is more natural for artificial systems such as photonic crystals [
17,
18] or periodic mechanical systems [
19-
21] than for fermionic systems, as fermionic systems satisfying
require fermions being either spinless or having full spin-rotation symmetry, which is easily broken by spin–orbit coupling.
In this work, we study the
-symmetric band theory with internal symmetry based on the equivariant orthogonal
K theory or
theory [
22-
24], and reveal a new class of
-symmetric Chern insulators, which is in contrast to the commonly accepted understanding that Chern insulators cannot exist with
symmetry. The internal symmetry group
G can be either a Lie group or a finite group. While internal symmetries of Lie groups are a common topic in high energy physics, they may be realized as integer spin degrees of freedom in non-relativistic systems, such as the polarizations of photons and phonons, or may be engineered artificially. The
-symmetric Chern insulator with an internal symmetry group is characterized by a complex Chern number with the imaginary unit given by an appropriate real representation of the internal symmetry, namely irreducible real representations with a complex endomorphism field. The physical meaning of the Chern number is elucidated by generalizing the Thouless charge argument [
25-
28]. If the Chern number is
ν for a real irreducible representation
W, for a positively oriented edge there are
ν flavors of right-moving modes with each being an irreducible represenation
V and
ν flavors of left-moving modes with each being
, where
V and
are mutually conjugate complex irreducible representations with
as a complex representation, but are not isomorphic to each other.
2 Basics about real representations
We start by introducing some basics about real representations of a group
G [
29,
30], which is either a compact Lie group or a finite group. Recall that Schur’s Lemma, which is one of key results in complex group representation theory, states that a homomorphism between two irreducible complex representations of a group is either zero or an isomorphism
with
λ being a complex number and 1 the identity matrix. So, the endomorphisms of an irreducible representation, namely the homomorphisms from an irreducible representation to itself, are just a complex field
. This just reflects the fact that a matrix that commutes with all matrices representing group elements of
G can only be
. This well-known result is significantly changed in the context of real representations. For a real irreducible representation, it still holds that a nonzero endomorphism matrix that commutes with all real matrices in the irreducible representation is invertible, namely endomorphisms form a division ring over
, but the real linear space of endomorphisms may be more than one dimensional. Specifically, for a real irreducible representation, at most three independent real matrices can be found that commutes with all representation matrices. When only one such matrix exists, the field formed by endomorphisms is of course the real numbers
, which resembles the complex case. But when there are two or three, the corresponding endomorphism field is the complex numbers
or quaternions
, respectively. The defining representation of
is an example for
, and details can be seen in Appendix A.
We now discuss how to determine the endomorphism field of a real irreducible representation. For a real irreducible representation W, group elements are represented by real invertible matrices, which cannot be simultaneously further block-diagonalized by similarity transformations of real matrices. However, after performing the complexification for W, namely regarding it as a complex representation, the resultant complex representation is not necessarily irreducible, and can be diagonalized into at most two irreducible blocks, namely or , where is the complex conjugate of V. Then the aforementioned three isomorphism fields of W can be identified as the following. (i) If is irreducible as a complex representation V, then the isomorphism field is . (ii) If and V is not isomorphic to , . (iii) If and , . The explicit form of the endomorphism field for each case in terms of real matrices are worked out systematically in Appendix B.
3 PT symmetry and equivariant orthogonal real K theory
We consider a quadratic many-particle Hamiltonian whose
symmetry is represented by the relation
, which occurs for spinless fermion systems or effectively for fermions with full spin rotation symmetry, and more naturally for boson systems, such as photonic crystals and phonons for periodic mechanical systems [
17,
19]. It is emphasized in the first place that we require no
T or
P throughout this work, but merely the combination
. So it is possible that both
P and
T are broken, but
is preserved. Probably the most significant consequence of
symmetry with
for band theory is that each band at any momentum corresponds to a real energy eigenstate
for a Hamiltonian
in momentum space with
a being the band label. To understand this, it is first recalled that in momentum space
P inverses
k and so does
T as an anti-unitary symmetry. Therefore their combination
is represented by an anti-unitary operator acting locally in momentum space. Due to the absence of the Kramers degeneracy in the present case of
, space-time inversion
can always be represented as
under an appropriate basis, where
is the complex conjugate [
10,
11]. Thus, the study of a
symmetric band theory is equivalent to that of a real band theory, which assigns a real vector space at each momentum
k, namely we shall consider real vector bundles.
We now further consider an internal symmetry group
G in such a
symmetric system, which is independent of
symmetry, namely
for every
. In such a real band theory,
G has a real representation at each momentum
k, which as seen previously is quite different from ordinary complex representations. For a fully gapped system (insulator for fermion systems),
-symmetric bands below the energy gap form a real vector bundle (which are valence bands for fermion systems) representing
G by real numbers at each
k, and can be topologically classified by the equivalent
theory or
theory over the first Brillouin zone (BZ). Let us recall that the classification of
D Chern insulators with only
charge-conservation symmetry is given by the
K group of complex vector bundles over a
D sphere with integer
[
31,
32],
, where the first
accounts for the dimensionality of a vector bundle and the second
stable topological configurations regardless of dimensionality. Since only topological configurations are important and adding trivial bands does not affect topological properties,
D Chern insulators have their classification given by the reduced K group
that is the second component of
. Since
or
, there is no topological insulator in odd dimensions if no symmetry is assumed.
Note that as internal symmetry, G acts trivially on the BZ. For a base manifold X with the trivial G action, the corresponding group can be decomposed into three components as
where , and are K groups for real, complex and quaternionic vector bundles over X, respectively. Here is the representation ring or character ring generated by real irreducible representations of G, for which the addition and multiplication are, respectively, given by the direction sum and tensor product of irreducible representations. Analogously, is the ring of complex representations and the ring of quaternionic representations. The three components correspond exactly to the afore-discussed three cases of real irreducible representations of G.
We now illustrate this point by a monopole in a 3D momentum space as illustrated in Fig. 1. The monopole is surrounded by a sphere S2. The real Hamiltonian is assumed to be gapped on S2. One may regard with as a Hamiltonian of a 2D gapped system. Accordingly, the classification of gapped systems is the same as that of monopoles in three dimensions, and is given by . We now address the three components of . Consider a real vector bundle on S2, where each fiber as a real vector vector gives a real irreducible representation of G. Then on the whole S2 all irreducible representations are isomorphic to a real irreducible representation W. To coordinate the S2, we divide it into north and south hemispheres, and , and glue them together along the equator parametrized by the azimuth angle . Accordingly we need to glue fibers on the edges of north and south hemispheres as well, which corresponds to a transition function f from S1 to the automorphism group of W, which consists of invertible elements of . However, as seen is one of the fields, , and , which justifies the three components of . If each fiber is a N-tuplet WN of W, then an endomorphism is a matrix of , namely , and therefore automorphisms are given by invertible matrices , or . Then these vector bundles are topologically classified by the homotopy group . If N is sufficiently large, gives , and , respectively, for , and .
In the present case,
,
and
, since
for
,
for
, and
. Although irreducible representations with endomorphism fields
and
give no nontrivial results noting that real bundles without symmetry are also classified by
[
11], the second component
of
implies that Chern insulators exist with
classification for each real irreducible representation with endomorphism field being
, in contrast to the well-known result that no Chern insulator exists with
symmetry. From Eq. (1), such Chern insulators based on the complex endomorphism field of a real irreducible representation exist in any even dimensions
with
, since
. As we shall see, such a
-symmetric Chern insulator has an intimate topological relation to the conventional Chern insulator, which has already been reflected in that they both stem from
, and furthermore the bulk-boundary phenomenology of
-symmetric Chern insulators can also be derived by referring to that of conventional Chern insulators. For the clarity of narrative, and considering that
is physical for condensed matter physics, we focus on the 2D case, and its generalization to other even dimensions is straightforward.
4 PT symmetric Chern insulators
From the discussion above, we now start with a real irreducible representation of G with endomorphism field being and the operator to construct a symmetric Chern insulator with internal symmetry G. Note that for any with , there exists a unitary transformation transforming it into . First consider the Chern number of a conventional Chern insulator, , where the Berry curvature . The Berry connection of valence bands is defined as , where α and β label valence bands, i is the imaginary unit, and j is x or y. Now we have an irreducible real representation whose endomorphism field has a natural imaginary unit JW satisfying with being the identity matrix for . Thus, performing the replacement , the Chern number for W follows as
where the Berry curvature , and with a and b labeling real valence bands. Here is the dimensionality of W. Note that real bands form bunches, where each is of -fold degeneracy in accordance with the representation W. One may express JW more explicitly in the formula above as with N being the number of bunches.
As inspired by the construction of real Chern number from the complex Chern number, we expect that a symmetric Chern insulator for W with an arbitrary real Chern number ν can be constructed from a Hamiltonian of a conventional Chern insulator with Chern number ν. To do this, we first decompose the Hamiltonian into real and imaginary parts, , where both and are real matrices for each k, and under the transpose of matrix, and . Now the corresponding Hamiltonian of a -symmetric Chern insulator with Chern number ν is given by
It can be verified by straightforward derivations that the Chern number of Eq. (3) is equal to that of , and details can be found in 3.
5 Thouless pump and bulk-boundary correspondence
For a momentum-space Hamiltonian of a conventional Chern insulator, if we regard kx as the momentum of a 1D insulator and ky a periodic external parameter varying adiabatically, then it is well known as Thouless charge pump that the Chern number is just the quanta of the quantized charge pump in an adiabatic period of the 1D insulator, and the Thouless charge pump can be used to derive the chiral edge modes of the Chern insulator. We now adapt this picture to the symmetric Chern insulator with G being represented by W.
For a Hamiltonian with a nontrivial Chern number ν of Eq. (2), there exist no eigenfunctions that are globally well defined in the whole BZ with the symmetries being preserved. However, we can choose symmetric eigenfunctions that are periodic for for any ky. Now for valence bands with w being the indexes of W and α labeling bunches, we introduce the quantity
where
is a vector of dimension
.
is analogous to the charge polarization of a 1D insulator with i being replaced by
JW. For the purpose of classification, we have required wave functions of the
-symmetric band theory to be real, while of course, wave functions are complex in quantum mechanics. As mentioned above, the irreducible real representation
W with endomorphism field
is isomorphic to
with
if it is regarded as a complex representation. This implies that there exists a unitary transformation
U, such that
. Thus, we introduce the centers of Wannier functions for
V and
[
33], respectively, as
and
, where
is a vector consisting of first
components of
and
the rest. Then,
. It is clear that
, since
, but
are real normalized vectors due to
symmetry, therefore
. Due to the periodicity of wave functions along
kx, the Chern number
ν of Eq. (2) implies
. Thus in a period through a point of the 1D insulator,
ν charges of
V is pumped from left to right, and
ν charges of
is pumped from right to left.
We now infer topological edge modes corresponding to the bulk topological invariant of Eq. (2) from the charge pumps of 1D subsystems. Consider a strip geometry, for which the translational symmetry along
y-axis is preserved while two edges are opened perpendicular to
x-direction, so that
is still a good quantum number. Then varying
ky in a period adiabatically pushes
ν charges of
V from the bulk to the right edge, which therefore have to be pumped out from the valence bands by appropriate edge bands, and pulls
ν charges of
V from the left edge into the bulk, which have to be supplied by charges in the left edge. Thus, there are
ν right-moving chiral bands of
V connecting valence and conduction bands in the right edge, and
ν left-moving ones in the left edge, as illustrated in Fig. 2. In contrast, for
there are
ν left-moving modes in the right edge and
ν right-moving ones in the left edge, since in the bulk
charges are pumped along the counter-direction of
V charges. It is noted that these chiral edge modes of
V and
are consistent with
symmetry. In real space
symmetry is anti-unitary space-time inversion, which maps right-moving (left-moving) modes of
V (
) in the right edge to the right-moving (left-moving) modes of
(
V) in the left edge, since space-time inversion preserves chirality but complex conjugate exchanges
V and
. It is worth noting that the counter-moving modes of the equivariant
-symmetric Chern insulators are fundamentally different from the edge modes of the quantum spin Hall systems in their topological origins [
34,
35]. The quantum spin Hall system is protected by anti-unitary
T symmetry with
, and the edge currents are intrinsically counter-moving Kramers’ doublet without canonical decomposition, while the counter-moving modes in our model are conjugate representations of internal unitary symmetries. Moreover, the quantum spin Hall phase has nontrivial
topological invariant, but our topological phases are classified by the
-valued real Chern invariant.
6 Discussion
To generalize the 2D Chern insulator to dimensions, the Hamiltonian can still be constructed from Eq. (3) using a D conventional Chern insulator . The corresponding Chern number is formulated by substituting the imaginary unit i by JW in the nth Chern number. The bulk-boundary correspondence can be obtained straightforwardly by noting that right-(left-) moving modes is just the manifestation of right-(left-) handed chiral modes in two dimensions. For the case of endomorphism field , all physical dimensions are topologically trivial, and the first nontrivial dimension is with , which may be of interest for high energy physics. Finally, we propose that the internal symmetry group G, which may be a subgroup Cn of , would be realized in some artificial systems, such as photonic and phononic crystals, with internal artificial micro-structures preserving G. Beside the advantage that their periodic structures can be flexibly designed, such systems has -symmetry naturally satisfies the required symmetry relation , since their quasi-particles have integer spins, rather than electronic systems have the relation only when the spin–orbit couplings are negligible.
Higher Education Press and Springer-Verlag GmbH Germany, part of Springer Nature 2020