Gil R. Cavalcanti,Bart Heemskerk
Abstract:Topological Spherical T-duality was introduced by Bouwknegt, Evslin and Mathai in [BEM15] as an extension of topological T-duality from $S^1$ bundles to $\mathrm{SU}(2)$-bundles endowed with closed 7-forms. This notion was further extended to sphere bundles by Lind, Sati and Westerland [LSW16] as a duality between $S^{2n-1}$-bundles endowed with closed $(4n-1)$-forms. We generalise this relation one step further and define T-duality for $S^{2n-1}$-bundles endowed with closed odd forms of arbitrary degree. The degree of the form determines the dimension of the fibers of the dual spaces. We show that $T$-duals exist and, as in the previous cases, $T$-dual spaces have isomorphic twisted cohomology.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to further generalize the degree of the background form in Topological Spherical T - duality, thus allowing the definition of T - dual relations between \(S^{2n - 1}\) bundles with arbitrary odd - degree closed forms. Specifically, the goals of the paper are:
1. **Existence**: Prove the existence of T - dual spaces when the fiber integral of the background form is a multiple of an integral class.
2. **Topological relation**: Prove that the twisted cohomology between T - dual spaces is isomorphic.
### Background introduction
T - duality originates from target - space duality in physics, especially in the presence of loop symmetries. Mathematically, T - duality can be divided into two parts:
- **Topological T - duality**: Study the global topological properties of dual target spaces, especially how the background form affects the topological structure of dual spaces.
- **Geometric T - duality**: Study the isomorphism between topological duality and Courant algebroid, which enables the transfer of geometric structures between T - dual spaces.
### Main contributions of the paper
1. **Generalization of the background form**:
- The author allows the background form to have an arbitrary odd degree, not just a specific degree.
- This generalization enables the T - dual relation to be applied to a wider range of spherical bundles.
2. **Existence theorem**:
- Prove the existence of T - dual spaces by the construction method.
- Specifically, if the fiber integral of the background form is a multiple of an integral class, then there exists a T - dual space whose Euler class is also a multiple of that integral class.
3. **Isomorphism of twisted cohomology**:
- Prove that the twisted cohomology between T - dual spaces is isomorphic.
- This result is achieved by introducing the global angular form and Euler class and using tools such as the Gysin sequence for proof.
### Main conclusions
- **Existence**: For a given \(S^{2n - 1}\) bundle and a closed form \(H\), if the fiber integral \(\pi^*[H]\) is a multiple of an integral class, then there exists a T - dual space \((\hat{E}, \hat{H})\).
- **Isomorphism**: The twisted cohomology between T - dual spaces is isomorphic, that is, \(H^*(E, H)\cong H^*(\hat{E}, \hat{H})\).
### Mathematical tools
- **Global angular form**: A key tool for constructing T - dual spaces.
- **Euler class**: Describes the topological properties of spherical bundles.
- **Gysin sequence**: Used to calculate the cohomology of spherical bundles.
### Application examples
The paper provides several specific examples to demonstrate the application of T - dual relations, such as:
- **Trivial spherical bundle**: Consider the trivial spherical bundles \(M\times S^{2n - 1}\) and \(M\times S^{2k - 1}\), which are T - dual under the zero form.
- **Hopf fibration**: Consider the Hopf fibration \(S^{2n + 1}\to\mathbb{CP}^n\), and endow \(S^{2n + 1}\) with a specific closed form \(H\), whose T - dual space is a \((2n - 1)\)-spherical bundle with a specific background form.
Through these examples, the paper demonstrates the application and verification of T - dual relations in different situations.