Letbe a closed spin manifold and let be a closed manifold. For maps ∶ → and Riemannian metrics on and ℎ on , we consider the Dirac operator ∕ ,ℎ of the twisted Dirac bundle Σ ⊗ ℝ * TN. To this Dirac operator one can associate an index in KO −dim( ) (pt). If is 2-dimensional, one gets a lower bound for the dimension of the kernel of ∕ ,ℎ out of this index. We investigate the question whether this lower bound is obtained for generic tupels ( , , ℎ).
K E Y W O R D SDirac operator, minimal kernel, spin geometry M S C ( 2 0 1 0 )
53-C27
INTRODUCTIONLet be a closed (i.e., compact and without boundary) 2-dimensional spin manifold with a fixed spin structure and let be a closed manifold. We study the existence and genericness 1 of maps ∶ → and Riemannian metrics on and ℎ on , such that the kernel of the Dirac operator ∕ ,ℎ of the twisted Dirac bundle Σ ⊗ ℝ * TN has quaternionic dimension zero or one. Here, Σ is the usual complex spinor bundle of and ∕ ,ℎ is called the Dirac operator along the map . This problem is inherently tied to the vanishing of an index ind * TN ( ) ∈ KO −dim( ) (pt), see e.g. [18, Eq. (7.24) on p. 151], which is a generalization of Hitchin's -index [16, Section 4.2]. If is 2-dimensional, then we have ind * TN ( ) = [ dim ℍ ker ∕ ,ℎ ] ℤ 2under the isomorphism KO −2 (pt) ≅ ℤ 2 ∶= ℤ∕2ℤ, where [ ] ℤ 2 denotes the class of ∈ ℤ in ℤ 2 . Note that ind * TN ( ) is independent of the choice of the Riemannian metrics on and . It is also invariant under homotopies of . However, the index depends on the choice of spin structure on . This means in particular, thatfor any ∶ → homotopic tõand any Riemannian metric on and ℎ on . If equality holds in (1.1), then we call the kernel of ∕ ,ℎ minimal. We expect that for generic tupels ( , , ℎ) the kernel of ∕ ,ℎ is minimal.There are many results in the literature concerning the genericness of minimal kernels under the presence of an index. In [2] it is shown that for generic metrics, the dimension of the kernel of the (untwisted) Dirac operator is as small as allowed by the index theorem of Atiyah and Singer (on a closed, connected manifold). This fact generalized results in [5] and [19]. In the latter article the author also considers spin -manifolds. The dependency of the kernel of the twisted Dirac operator, where one twists