Growth of Casson handles and transversality for ASD moduli spaces. (English) Zbl 1148.57022

Kato, Tsuyoshi

Geom. Topol. 12, No. 3, 1265-1311 (2008).

After proving that various exotic \(4\)-manifolds exist it is natural to measure the complexity of these \(4\)-manifolds. Topologically, any simply-connected \(4\)-manifold with intersection form \(-2k\,E_8\oplus \ell H\) admits an open set homeomorphic to a punctured connected sum of \(\ell\) copies of \(S^2\times S^2\). By the work of Donaldson this homeomorphism cannot be a diffeomorphism and so we see that this open set is obtained by attaching \(2\ell\) Casson handles to the \(4\)-ball. Clearly all of these Casson handles cannot be standard, so one may ask how complicated are the resulting Casson handles. In [Geom. Topol. 8, 779–830 (2004; Zbl 1064.57022)], the present author introduced the notion of a Casson handle of bounded type. These Casson handles arise from sub trees of homogeneous signed trees. Homogeneous signed trees are defined inductively by calling the natural numbers with adjacent edges having a common sign type \((T_1,\pm)\) trees and setting type \((T_{n+1},\pm)\) trees to be obtained by attaching type \((T_n,\pm)\) trees (all with the same sign) to the vertices of a type \((T_1,\pm)\) tree.
In this paper the author describes why Seiberg-Witten theory is insufficient to address the question of the existence bounded type Casson handle decompositions. He then addresses the transversality issues involved in constructing a Donaldson invariant for these open \(4\)-manifolds. (He addressed the index problem in [Contemporary Mathematics 347, 113–129 (2004; Zbl 1072.14052)]). Using his results he is able to prove for example that some of these open sets in single log transforms of a K3 surface cannot be constructed entirely from bounded type Casson handles.

Reviewer: David Auckly (Manhattan)

MSC:

57M30	Wild embeddings
57R57	Applications of global analysis to structures on manifolds
14J80	Topology of surfaces (Donaldson polynomials, Seiberg-Witten invariants)
57N13	Topology of the Euclidean \(4\)-space, \(4\)-manifolds (MSC2010)

Keywords:

Casson handles; Gauge theory

Citations:

Zbl 1064.57022; Zbl 1072.14052

References:

[1]	\vZ Bi\vzaca, R E Gompf, Elliptic surfaces and some simple exotic \(\mathbbR^4\)s, J. Differential Geom. 43 (1996) 458 · Zbl 0868.57023
[2]	W Chen, S Kwasik, Symmetric homotopy K3 surfaces · Zbl 1245.57035 · doi:10.1112/jtopol/jtr006
[3]	S K Donaldson, P B Kronheimer, The geometry of four-manifolds, Oxford Mathematical Monographs, Oxford University Press (1990) · Zbl 0820.57002
[4]	A Floer, An instanton-invariant for 3-manifolds, Comm. Math. Phys. 118 (1988) 215 · Zbl 0684.53027 · doi:10.1007/BF01218578
[5]	M H Freedman, The topology of four-dimensional manifolds, J. Differential Geom. 17 (1982) 357 · Zbl 0528.57011
[6]	R Friedman, J W Morgan, Complex versus differentiable classification of algebraic surfaces, Topology Appl. 32 (1989) 135 · Zbl 0694.14013 · doi:10.1016/0166-8641(89)90050-3
[7]	R Friedman, J W Morgan, Smooth four-manifolds and complex surfaces, Ergebnisse series 27, Springer (1994) · Zbl 0817.14017
[8]	D Gilbarg, N S Trudinger, Elliptic partial differential equations of second order, Grundlehren series 224, Springer (1983) · Zbl 0562.35001
[9]	R E Gompf, T S Mrowka, Irreducible 4-manifolds need not be complex, Ann. of Math. \((2)\) 138 (1993) 61 · Zbl 0805.57012 · doi:10.2307/2946635
[10]	T Kato, ASD moduli spaces over four-manifolds with tree-like ends, Geom. Topol. 8 (2004) 779 · Zbl 1064.57022 · doi:10.2140/gt.2004.8.779
[11]	T Kato, Spectral analysis on tree like spaces from gauge theoretic view points, Contemp. Math. 347, Amer. Math. Soc. (2004) 113 · Zbl 1072.14052
[12]	P B Kronheimer, Instanton invariants and flat connections on the Kummer surface, Duke Math. J. 64 (1991) 229 · Zbl 0754.57015 · doi:10.1215/S0012-7094-91-06411-2
[13]	T Matumoto, On diffeomorphisms of a \(K3\) surface, Kinokuniya (1986) 616 · Zbl 0800.57003
[14]	C H Taubes, The Seiberg-Witten invariants and symplectic forms, Math. Res. Lett. 1 (1994) 809 · Zbl 0853.57019 · doi:10.4310/MRL.1994.v1.n6.a15
[15]	C H Taubes, More constraints on symplectic forms from Seiberg-Witten invariants, Math. Res. Lett. 2 (1995) 9 · Zbl 0854.57019 · doi:10.4310/MRL.1995.v2.n1.a2
[16]	K K Uhlenbeck, Connections with \(L^p\) bounds on curvature, Comm. Math. Phys. 83 (1982) 31 · Zbl 0499.58019 · doi:10.1007/BF01947069
[17]	K K Uhlenbeck, Removable singularities in Yang-Mills fields, Comm. Math. Phys. 83 (1982) 11 · Zbl 0491.58032 · doi:10.1007/BF01947068
[18]	C T C Wall, On the orthogonal groups of unimodular quadratic forms II, J. Reine Angew. Math. 213 (1963/1964) 122 · Zbl 0135.08802