Harmonic sections in sphere bundles, normal neighborhoods of reduction loci, and instanton moduli spaces on definite 4–manifolds

Teleman, Andrei¹

¹ LATP, CMI, Université de Provence, 39 Rue F Joliot-Curie, 13453 Marseilles Cedex 13, France

Geometry & topology, Tome 11 (2007) no. 3, pp. 1681-1730.

Résumé

In the first part of the paper we prove an existence theorem for gauge invariant $L^2$–normal neighborhoods of the reduction loci in the space ${\mathcal{A}}_a\left(E\right)$ of oriented connections on a fixed Hermitian 2–bundle $E$. We use this to obtain results on the topology of the moduli space ${\mathcal{ℬ}}_a\left(E\right)$ of (non-necessarily irreducible) oriented connections, and to study the Donaldson $\mu$–classes globally around the reduction loci. In this part of the article we use essentially the concept of harmonic section in a sphere bundle with respect to an Euclidean connection.

Second, we concentrate on moduli spaces of instantons on definite 4–manifolds with arbitrary first Betti number. We prove strong generic regularity results which imply (for bundles with “odd" first Chern class) the existence of a connected, dense open set of “good" metrics for which all the reductions in the Uhlenbeck compactification of the moduli space are simultaneously regular. These results can be used to define new Donaldson type invariants for definite 4–manifolds. The idea behind this construction is to notice that, for a good metric $g$, the geometry of the instanton moduli spaces around the reduction loci is always the same, independently of the choice of $g$. The connectedness of the space of good metrics is important, in order to prove that no wall-crossing phenomena (jumps of invariants) occur. Moreover, we notice that, for low instanton numbers, the corresponding moduli spaces are a priori compact and contain no reductions at all so, in these cases, the existence of well-defined Donaldson type invariants is obvious. Note that, on the other hand, there seems to be very difficult to introduce well defined numerical Seiberg–Witten invariants for definite 4–manifolds. For instance, the construction proposed by Okonek and the author in [Seiberg–Witten invariants for 4–manifolds with $b_{+}=0$, from: ”Complex analysis and algebraic geometry”, (T Peternell, F O Schreyer, editors), de Gruyter, Berlin (2000) 347–357] gives a $\mathbb{Z}$–valued function defined on a countable set of chambers.

The natural question is to decide whether these new Donaldson type invariants yield essentially new differential topological information on the base manifold, or have a purely topological nature.

Détail

DOI : 10.2140/gt.2007.11.1681

Keywords: instantons, harmonic sections, Donaldson invariants, moduli spaces

Bibliographie

[1] C Bär, On nodal sets for Dirac and Laplace operators, Comm. Math. Phys. 188 (1997) 709

[2] R Brussee, The canonical class and the $\mathcal{C}^{\infty}$ properties of Kähler surfaces, New York J. Math. 2 (1996) 103

[3] S K Donaldson, P Kronheimer, The Geometry of Four-manifolds, Oxford Univ. Press (1990)

[4] D S Freed, K K Uhlenbeck, Instantons and four-manifolds, MSRI Publications 1, Springer (1984)

[5] M Furuta, H Ohta, Differentiable structures on punctured 4–manifolds, Topology Appl. 51 (1993) 291

[6] C Okonek, A Teleman, Seiberg–Witten invariants for manifolds with $b_+=1$ and the universal wall crossing formula, Internat. J. Math. 7 (1996) 811

[7] C Okonek, A Teleman, Seiberg–Witten invariants for 4–manifolds with $b_+=0$, from: "Complex analysis and algebraic geometry" (editors T Peternell, F O Schreyer), de Gruyter (2000) 347

[8] G Prasad, S K Yeung, Fake projective planes, Invent. Math. 168 (2007) 321

[9] D Ruberman, N Savaliev, Dirac operators on manifolds with periodic ends

[10] D Ruberman, N Saveliev, Casson-type invariants in dimension four, from: "Geometry and topology of manifolds", Fields Inst. Commun. 47, Amer. Math. Soc. (2005) 281

[11] S Smale, An infinite dimensional version of Sard's theorem, Amer. J. Math. 87 (1965) 861

[12] A Teleman, Instantons and holomorphic curves on class VII surfaces,