|
1 Illustration of Key Concepts in Dimension d = 1 |
|
|
1 | (18) |
|
1.1 Periodic Hamiltonian and Its Topological Invariant |
|
|
1 | (3) |
|
1.2 Edge States and Bulk-Boundary Correspondence |
|
|
4 | (1) |
|
|
5 | (5) |
|
1.4 Why Use Non-commutative Geometry? |
|
|
10 | (1) |
|
1.5 Disordered Hamiltonian |
|
|
11 | (2) |
|
1.6 Why Use Operator Algebras? |
|
|
13 | (2) |
|
1.7 Why Use Non-commutative Analysis Tools? |
|
|
15 | (2) |
|
1.8 Why Prove an Index Theorem? |
|
|
17 | (1) |
|
1.9 Can the Invariants be Measured? |
|
|
18 | (1) |
|
2 Topological Solid State Systems: Conjectures, Experiments and Models |
|
|
19 | (36) |
|
2.1 The Classification Table |
|
|
19 | (3) |
|
|
22 | (15) |
|
2.2.1 General Characterization |
|
|
22 | (6) |
|
2.2.2 Experimental Achievements |
|
|
28 | (1) |
|
2.2.3 Conventions on Clifford Representations |
|
|
29 | (2) |
|
2.2.4 Bulk-Boundary Correspondence in a Periodic Unitary Model |
|
|
31 | (6) |
|
2.3 The Chiral Unitary Class |
|
|
37 | (9) |
|
2.3.1 General Characterization |
|
|
38 | (3) |
|
2.3.2 Experimental Achievements |
|
|
41 | (2) |
|
2.3.3 Bulk-Boundary Correspondence in a Periodic Chiral Model |
|
|
43 | (3) |
|
2.4 Main Hypotheses on the Hamiltonians |
|
|
46 | (9) |
|
2.4.1 The Probability Space of Disorder Configurations |
|
|
46 | (1) |
|
2.4.2 The Bulk Hamiltonians |
|
|
47 | (4) |
|
2.4.3 The Half-space and Boundary Hamiltonians |
|
|
51 | (4) |
|
3 Observables Algebras for Solid State Systems |
|
|
55 | (30) |
|
3.1 The Algebra of Bulk Observables |
|
|
55 | (8) |
|
3.1.1 The Disordered Non-commutative Torus |
|
|
55 | (4) |
|
3.1.2 Covariant Representations in the Landau Gauge |
|
|
59 | (2) |
|
3.1.3 Covariant Representations in the Symmetric Gauge |
|
|
61 | (1) |
|
3.1.4 The Algebra Elements Representing the Hamiltonians |
|
|
62 | (1) |
|
3.2 The Algebras of Half-Space and Boundary Observables |
|
|
63 | (6) |
|
3.2.1 Definition of the Algebras and Basic Properties |
|
|
63 | (2) |
|
3.2.2 The Exact Sequence Connecting Bulk and Boundary |
|
|
65 | (1) |
|
3.2.3 The Toeplitz Extension of Pimsner and Voiculescu |
|
|
65 | (2) |
|
3.2.4 Half-Space Representations |
|
|
67 | (2) |
|
3.2.5 Algebra Elements Representing Half-Space Hamiltonians |
|
|
69 | (1) |
|
3.3 The Non-commutative Analysis Tools |
|
|
69 | (13) |
|
3.3.1 The Fourier Calculus |
|
|
69 | (2) |
|
3.3.2 Non-commutative Derivations and Integrals |
|
|
71 | (3) |
|
3.3.3 The Smooth Sub-algebras and the Sobolev Spaces |
|
|
74 | (7) |
|
3.3.4 Derivatives with Respect to the Magnetic Field |
|
|
81 | (1) |
|
3.4 The Exact Sequence of Periodically Driven Systems |
|
|
82 | (3) |
|
4 K-Theory for Topological Solid State Systems |
|
|
85 | (28) |
|
4.1 Review of Key Elements of k-Theory |
|
|
85 | (12) |
|
4.1.1 Definition and Characterization of K0 Group |
|
|
86 | (3) |
|
4.1.2 Definition and Characterization of k1 Group |
|
|
89 | (1) |
|
4.1.3 The Six-Term Exact Sequence |
|
|
90 | (3) |
|
4.1.4 Suspension and Bott Periodicity |
|
|
93 | (2) |
|
4.1.5 The Inverse of the Suspension Map |
|
|
95 | (2) |
|
4.2 The k-Groups of the Algebras of Physical Observables |
|
|
97 | (8) |
|
4.2.1 The Pimsner-Voiculescu Sequence and Its Implications |
|
|
97 | (3) |
|
4.2.2 The Inverse of the Index Map |
|
|
100 | (1) |
|
4.2.3 The Generators of the k-Groups |
|
|
101 | (4) |
|
4.3 The Connecting Maps for Solid State Systems |
|
|
105 | (8) |
|
4.3.1 The Exponential Map for the Bulk-Boundary Correspondence |
|
|
105 | (1) |
|
4.3.2 The Index Map for the Bulk-Boundary Correspondence |
|
|
106 | (3) |
|
4.3.3 The Bott Map of the Fermi Projection |
|
|
109 | (1) |
|
4.3.4 The k-Theory of Periodically Driven Systems |
|
|
110 | (3) |
|
5 The Topological Invariants and Their Interrelations |
|
|
113 | (32) |
|
5.1 Notions of Cyclic Cohomology |
|
|
113 | (3) |
|
5.2 Bulk Topological Invariants Defined |
|
|
116 | (2) |
|
5.3 Boundary Topological Invariants Defined |
|
|
118 | (4) |
|
5.4 Suspensions and the Volovik-Essin-Gurarie Invariants |
|
|
122 | (6) |
|
5.5 Duality of Pairings and Bulk-Boundary Correspondence |
|
|
128 | (6) |
|
5.6 Generalized Streda Formulas |
|
|
134 | (6) |
|
5.7 The Range of the Pairings and Higher Gap Labelling |
|
|
140 | (5) |
|
6 Index Theorems for Solid State Systems |
|
|
145 | (28) |
|
6.1 Pairing k-Theory with Fredholm Modules |
|
|
145 | (2) |
|
6.2 Fredholm Modules for Solid State Systems |
|
|
147 | (8) |
|
6.3 Equality Between Connes-Chern and Chern Cocycles |
|
|
155 | (6) |
|
6.4 Key Geometric Identities |
|
|
161 | (4) |
|
6.5 Stability of Strong Bulk Invariants Under Strong Disorder |
|
|
165 | (4) |
|
6.6 Delocalization of the Boundary States |
|
|
169 | (4) |
|
7 Invariants as Measurable Quantities |
|
|
173 | (20) |
|
7.1 Transport Coefficients of Homogeneous Solid State Systems |
|
|
173 | (3) |
|
7.2 Topological Insulators from Class A in d = 2, 3 and 4 |
|
|
176 | (3) |
|
7.3 Topological Insulators from Class AIII in d = 1, 2 and 3 |
|
|
179 | (4) |
|
7.4 Surface IQHE for Exact and Approximately Chiral Systems |
|
|
183 | (2) |
|
7.5 Virtual Topological Insulators |
|
|
185 | (2) |
|
7.6 Quantized Electric Polarization |
|
|
187 | (3) |
|
7.7 Boundary Phenomena for Periodically Driven Systems |
|
|
190 | (1) |
|
7.8 The Magneto-Electric Response in d = 3 |
|
|
191 | (2) |
References |
|
193 | (10) |
Index |
|
203 | |