Abstract:In this paper, we give alternative proofs of Bott periodicity of $ K $-theory and the bulk-edge correspondence of integer quantum Hall effect. Regarding Bott periodicity, we connect its proof with configuration spaces and use Quot schemes in algebraic geometry in our proof. Regarding the bulk-edge correspondence, we formulate edge indices based on the consideration of Graf--Porta and give a more elementary and self-contained proof.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to provide alternative proofs for the **Bott periodicity theorem** and the **bulk - edge correspondence in the integer quantum Hall effect**. Specifically:
1. **Alternative proof of the Bott periodicity theorem**:
- The author uses the concepts of configuration spaces and Quot schemes and proves the Bott periodicity in K - theory by means of algebraic geometry.
- This proof is based on the work of G. B. Segal, that is, the connective K - homology theory can be represented by configuration spaces with scalars as vector spaces.
- The author completes the proof of Bott periodicity by constructing these configuration spaces and proving the continuity of the configuration maps.
2. **Alternative proof of the bulk - edge correspondence in the integer quantum Hall effect**:
- The author redefines the edge indices and gives a more fundamental and self - contained proof.
- This proof is based on the work of Graf and Porta, representing the edge indices as family indices of Fredholm operators.
- Through this new formulation, the author is able to prove the consistency between the edge indices and the bulk indices.
### Main content structure of the paper
1. **Introduction**: It outlines the goals and methods of the paper and emphasizes the importance of using configuration spaces and Quot schemes.
2. **Part 1: Alternative proof of the Bott periodicity theorem**:
- Section 2: States the theorem and the proof strategy.
- Section 3: Constructs the configuration spaces.
- Section 4: Defines and proves the continuity of the configuration maps.
- Section 4: Completes the proof of the Bott periodicity theorem.
- Section 6: Compares with other methods of proving Bott periodicity.
3. **Part 2: Alternative proof of the bulk - edge correspondence in the integer quantum Hall effect**:
- Section 7: A toy model for proving the bulk - edge correspondence.
- Section 8: Sets up the bulk - edge correspondence and defines the indices.
- Section 9: Completes the proof of the bulk - edge correspondence.
### Formula display
The formulas involved in the paper include, but are not limited to, the following:
- **Definition of the configuration space**:
\[
\text{Confr}_V, U := GL_r(\mathbb{C}) \backslash \tilde{\text{Confr}}_V, U
\]
where \(\tilde{\text{Confr}}_V, U\) is the set of \(V\)-configuration pairs \((A, \iota)\) that satisfy certain conditions.
- **Definition of the configuration map**:
\[
\text{config}_{B^2}: \text{Poly}^{l,r}_{V, S^1} \to \text{Conf}^r_{V, B^2}
\]
where \(\text{Poly}^{l,r}_{V, S^1}\) is the space of polynomials with matrix coefficients, and \(\text{Conf}^r_{V, B^2}\) is the configuration space with scalars as vector spaces.
- **Definition of the Bott map**:
\[
\beta_X: K(X) \to K(X \times (D^2, S^1)); [E] \mapsto [E] \boxtimes [\mathbb{C}, \mathbb{C}, z^{-1}]
\]
Through these formulas and methods, the author successfully provides novel proofs for the above two important theorems.