Abstract:This paper studies the space of $L ^2 $ harmonic forms and $L ^2 $ harmonic spinors on Taub-bolt, a Ricci-flat Riemannian 4-manifold of ALF type. We prove that the space of harmonic square-integrable 2-forms on Taub-bolt is 2-dimensional and construct a basis. We explicitly find a 2-parameter family of $L ^2 $ zero modes of the Dirac operator twisted by an arbitrary $L ^2 $ harmonic connection. We also show that the number of zero modes found is equal to the index of the Dirac operator. We compare our results with those known in the case of Taub-NUT and Euclidean Schwarzschild as these manifolds present interesting similarities with Taub-bolt. In doing so, we slightly generalise known results on harmonic spinors on Euclidean Schwarzschild.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the spaces of $L^2$ - harmonic forms and $L^2$ - harmonic spinors on the Taub - bolt (TB) manifold and compare them with the corresponding structures on the Taub - NUT (TN) and Euclidean Schwarzschild (ES) manifolds. Specifically:
1. **Study of harmonic forms**:
- The paper proves that on the Taub - bolt manifold, the space of square - integrable 2 - forms is 2 - dimensional and constructs a basis.
- All $L^2$ zero - modes are explicitly found, that is, all $L^2$ zero - modes of the Dirac operator $\slashed{D}_A$ (twisted by any $L^2$ harmonic connection $A$).
- The index of $\slashed{D}_A$ is independently calculated and its result is compared with the known results on the Taub - NUT and Euclidean Schwarzschild manifolds.
2. **Study of harmonic spinors**:
- The paper studies the $L^2$ - harmonic spinors on the Taub - bolt manifold after the Dirac operator is twisted by an Abelian connection.
- Physically, this is equivalent to coupling the fermions that describe the spinor field to the electromagnetic field.
- By comparing the number of solutions found with the calculation of the index of the twisted Dirac operator, the paper concludes that if the twisted connection has self - dual curvature, all $L^2$ - harmonic spinors have been found. For general harmonic connections, the number of solutions found is still equal to the index, but due to the lack of vanishing theorems for the kernel or cokernel, the existence of other solutions cannot be excluded.
3. **Comparison with Taub - NUT and Euclidean Schwarzschild manifolds**:
- The paper discusses in detail the similarities and differences between the Taub - bolt, Taub - NUT and Euclidean Schwarzschild manifolds.
- These manifolds are all rotation - symmetric metrics (that is, their isometry groups have an $SO(3)$ or $SU(2)$ subgroup), and all allow an additional isometric $U(1)$ action.
- Through these comparisons, the paper shows how the more complex structure of the Taub - bolt manifold is reflected in its $L^2$ - harmonic forms and spinors.
In summary, the main objective of this paper is to systematically study the $L^2$ - harmonic forms and spinors on the Taub - bolt manifold and, through comparison with the Taub - NUT and Euclidean Schwarzschild manifolds, reveal the important mathematical and physical properties of these manifolds.