Lecturer:
Yuuji Tanaka
Mathematical Institute, University of Oxford Andrew Wiles Building, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG e-mail: tanaka (at) maths.ox.ac.uk Schedule: Trinity 2019, Fridays 14:00 to 16:00. No lecture on 17th of May and 14th of June, replacement lectures on Thursday from 10:00 to 12:00 in week 5 and 8 (30th of May and 20th of June). Course description: The topic we cover in these lectures is the moduli problem in gauge theory, that is, to build fundamental cycles out of gauge-theoretic moduli spaces, which typically parametrize families of vector bundles with additional structures (e.g. holomorphic or stable vector bundles etc. in algebro-geometric setting). In this course, we describe Donaldson's solutions to this problem for anti-self-dual instanton moduli spaces on closed four-manifolds, which efficiently utilize nonlinear analysis in the geometric setting. These fundamental cycles are used to produce diffeomorphic invariants of the underlying four-manifolds via Intersection Theory, i.e. by "integrating" characteristic classes of the universal bundle over the cycle, which also provoked other deformation invariants such as Gromov-Witten, Seiberg-Witten, Donaldson-Thomas ones, and theories of Floer homologies and Floer homotopy types. In contrast with algebro-geometric approach to this problem, where one would use "virtual" techniques to overcome the tranversality problem of the moduli spaces, the analytic one allows us to use perturbation methods to get the moduli spaces transversed. Thus, the issue in the analytic setting is the compactness of the moduli spaces. Donaldson got around this problem for the anti-self-dual instanton moduli spaces by using superbly elaborate analysis by Uhlenbeck and Taubes, which is now referred to as the Uhlenbeck compactification. The goals of these lectures are therefore to get a fair understanding of this Uhlenbeck compactificaiton; and of the relation of it with algebro-geometric counterpart, the Gieseker compactification, when the underlying four-manifolds are complex surfaces. (The latter gives many computable examples of the invariants.) We start by introducing Yang-Mills connections and anti-self-dual instantons on a principal bundle, and proceed to proving that the moduli space of anti-self-dual instantons becomes a smooth oriented manifold of the expected dimensions for a generic choice of metrics of the underlying four-manifold. Then we describe analytic aspects of boundaries of the anti-self-dual instanton moduli spaces. We assume that the students would have certain familiarity with manifolds, vector bundles, principal bundles and the characteristic classes of them such as the Pontryagin and Chern ones. The following is a plan of this course.
Prerequisite: manifolds, vector bundles, principal bundles and the characteristic classes of them such as the Pontryagin and Chern ones. Assessment: If you'd like to get credit for this course, please hand in solutions to exercises that would come up during the lectures. References:
updated on 8 June 2019 |