Donaldson Invariants and Moduli of Yang-Mills Instantons

Size: px
Start display at page:

Download "Donaldson Invariants and Moduli of Yang-Mills Instantons"

Transcription

1 Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017

2 Moduli and Invariants Invariants are gotten by cooking up a number (homology group, derived category, etc.) using auxiliary data (a metric, a polarisation, etc.) and showing independence of that initial choice. Donaldson and Seiberg-Witten invariants count in moduli spaces of solutions of a pde (shown to be independent of conformal class of the metric). Example (baby example) f : (M, g) R, the number of solutions of grad g f = 0 is independent of g (Poincaré-Hopf).

3 Recall (Setup) (X, g) smooth oriented Riemannian 4-manifold and a principal G-bundle π : P X over it. Consider the Yang-Mills functional YM(A) = F A 2 dμ. The corresponding Euler-Lagrange equations are M d A F A = 0. Using the gauge group G one generates lots of solutions from one. But one can fix a gauge d A a = 0

4 Recall (ASD Equations) In dimension 4, the Hodge star splits the 2-forms Λ 2 = Λ 2 + Λ 2. This splits the curvature Have F A = F + A + F A. κ(p) = F + A 2 F A 2 YM(A) = F + A 2 + F A 2, where κ(p) is a topological invariant (e.g. for SU(2)-bundles, κ(p) = 8π 2 c 2 (P)). This comes from Chern-Weil theory. Key Idea. Anti-self-dual connections, e.g. ones with F + A = 0, minimise the Yang-Mills functional among connections on P.

5 Recall (ADHM Construction) Atiyah-Drinfeld-Hitchin-Manin constructions describes all finite energy instantons over R 4 and S 4 in terms of algebraic data: a k-dimensional complex vector space H, self adjoint linear operators T i : H H, n-dim. vector space E, and a map P : E H S + satisying the ADHM equations [ADHM]. Example Consider SU(2) bundle P R 4 with c 2 (E) = 1. Then the ADHM matricest i are 1 1 and P Hom(E, S + ) is rank 1. So the moduli space of YM instantons is R 4 R +. The Point. Instantons occur in moduli spaces.

6 The Ambient Space We begin with the space of all connections, modulo gauge. Let G be SO(3) or SU(2). Let P X be a principal G-bundle over a smooth oriented Riemannian 4-manifold X. A infinite-dimensional affine space of connections on P G infinite-dimensional group of automorphisms of P, it acts on connections via u A := A ( A u)u 1. Definition The space B := A/G (with quotient topology) is the space of connections modulo gauge (on P).

7 Metrical Proporties B carries an L 2 -metric A B L 2 := ( descends to a distance function M A B 2 dμ) 1/2 d([a], [B]) := inf u G A u B (clear, except for d([a], [B]) = 0 [A] = [B]; uses compactness of G)

8 Local Models of the Orbit Space B Definition Fix A A and ɛ > 0. Define T A,ɛ = {a Ω 1 (g E ) d A a = 0, a L 2 l 1 < ɛ} By Uhlenbeck s gauge fixing theorem and the implicit function theorem, A + T A,ɛ meets every nearby orbit. Definition (/Lemma) Write Γ A = Iso G A. It is isomorphic C G (H A ), where H A denotes the holonomy group of the connection A. Theorem For small ɛ > 0 the projection A B induces a homeomorphism from T A,ɛ /Γ A to a neighborhood of [A] in B.

9 Reducibility Write A for the subspace of A with minimial G-isotropy groups A = {A A Γ A = C(G)}. These are called irreducible connections. Theorem The quotient B = A /G is a smooth Banach manifold (the moduli space of irreducible connections).

10 Local Models of the ASD Moduli Space Let M P (g) be the moduli space of ASD connections on P (X, g). Define a map ψ : T A,ɛ Ω + (g E ) by and write Theorem ψ(a) = F + (A + a) Z (ψ) := ψ 1 (0) T A,ɛ The previous homeomorphism induces a homeomorphism from Z (ψ)/γ A to a neighborhood of [A] in M P (g). Have a bundle E := A G/C(G) Ω + (g E ) B. Taking the ASD portion of curvature yields a section Ψ g : B E s.t. Ψ 1 (0) = MP (g) B (the the moduli space of irreducible ASD connections).

11 Deformation-Obstruction Theory Have a linear elliptic operator C (ad(p) Λ 1 T X) d + A d A C (ad(p) (Λ 2 +T X) (Λ 0 T X)) its kernel is deformations of the ASD condition along gauge fixing. ker (d + A d A ) = T AM and coker (d + A d A ) = O AM. Remark. It will turn out that for generic g, O A M = 0. This is a nice deformation-obstruction theory.

12 Deformation-Obstruction Theory The deformation-obstruction theory of the ASD moduli problem is governed by an elliptic complex (d + A d A = 0 by ASD condition). Ω 0 X (g E) d A Ω 1 X (g E) d + A Ω + X (g E) Note H 1 A = ker δ A and H 2 A = coker δ A. The virtual dimension of the moduli problem is for SU(2) and for SO(3). 8c 2 (E) 3(1 b 1 (X) + b + (X)) s = 2p 1 (E) 3(1 b 1 (X) + b + (X))

13 Analogy with other gauge theories Flat connections (Casson theory) Ω 0 d A Ω 1 d A Ω 2 d A Ω 3 Holomorphic structures (Donaldson-Thomas theory) Ω 0,0 A Ω 0,1 A Ω 0,2 A Ω 0,3 G 2 -instantons (Donaldson-Segal programme, ongoing) Ω 0 d A Ω 1 ψ d A Ω 6 d A Ω 7 Spin(7)-instantons (unsure of current state) Ω 0 d A Ω 1 π 7 d A Ω 2 7

14 Finite-Dimensional Models Theorem If A is an ASD connection over a neighborhood of X, a neighborhood of [A] in M is modelled on a quotient f 1 (0)/Γ A, where f : ker (d + A d A ) coker (d + A d A ) is a Γ A-equivariant map. Definition An ASD connection is called regular if H 2 A = 0 (unobstructed). Definition An ASD moduli space is called regular if all of its points are regular. If the moduli space if regular, 0 is a regular value, and Sard-Smale is applicable.

15 Transversality We need some bits of Fredholm theory. Theorem (Sard-Smale) Let F : P Q be a smooth Fredholm operator between paracompact Banach manifolds. Then, the set of regular values of F is everywhere dense in Q. Moreover, if P is connected then the fibre F 1 (y) P over any regular value y Q is a smooth submanifold of dimension equal to the Fredholm index of F. Theorem (Fredholm Transversality) Let F : P Q be a smooth Fredholm operator between paracompact Banach manifolds and let S be a finite-dimensional manifold equipped with a smooth map h : S Q. Then there is a (C ) arbitrarily close map h : S Q, to h, such that h is transverse to F.

16 Transversality Write C for the space of conformal classes of Riemannian metrics on X. We obtain a parameterized bundle E B C along with section Ψ : C B E s.t. Ψ {g} B = Ψ g. Theorem (Uhlenbeck-Freed) Let π : P X be a principal G-bundle over a smooth oriented 4-manifold X. Then the zero set of Ψ in B C is regular. Corollary There is a dense subset C C such that for [g] C the moduli space M P (g) is a regular (as the zero set of the section Ψ g determined by [g]).

17 Compactness Definition An ideal ASD connection over X is a pair ([A], (x 1,..., x l )). A sequence of gauge equivalence classes [A α ] converges weakly to a limiting ideal connection ([A], (x 1,..., x l )) if X f F(A α) 2 dμ X f F(A) 2 dμ + 8π 2 l r=1 f (x r ) (the action densities converge as measures) there are bundle maps ρ α : P l X {x1,..,x l } P k X {x1,..,x l } s.t. ρ α(a α ) converges (in C on compact subsets of the punctured manifold) to A Write M for the set of all ideal connections (with a metrizable topology induced from the notion of weak covergence). Theorem Any infinite seqeunce in M has a weakly convergent subsequence with a limit point in M.

18 Orientation One can make sense of orientation data on all of B. At each connection A (instanton or not) write elliptic operator At each point form L A : ad(e) T X ad(e) (Λ 2 + Λ 0 ) Λ top (ker L A ) (Λ top (coker L A )) 1 as the fibre of a real line bundle L B (orientation line bundle). This induces an orientation on M B.

19 Invariants in dimension zero First suppose a zero-dimensional moduli space M ASD (g). Wish to show a count (with correct multiplicities) is independent of g. Example (Toy Example.) Take π : V B finite-rank vector bundle and s section of π which is transverse to the zero section. Extract a homology class [Z (s)] H d (B), d := dim B rk V. This is the Euler class of V. For each choice of metric g, define an integer q(g) = ɛ(a), A M P (g) where the sign ɛ is determined by our orientation data L.

20 Invariants in dimension zero Theorem For any two generic metrics g 0 and g 1 on X, q(g 0 ) = q(g 1 ). Following the masters, we return to our toy example before proving this theorem. Let C be a finite-dimensional manifold parameterising sections s c. Have a parameterized zero set Z B C. The number of zeros of some s c is the number of elements of the fibre π : Z C over c C the degree of a proper map.

21 Invariance of Degree Theorem The degree of π : Z C is invariant of the choice in c C in the target. Proof. Take a path γ : I C transverse to im(π). Define W = {(z, t) π(z) = γ(t) Z [0, 1]}, which is a smooth one-dimensional manifold with boundary. The boundary component at 0 is π 1 (c 0 ) and the boundary component is π 1 (c 1 ). And the total oriented boundary of a compact one-dimensional manifold is zero.

22 Invariance of Donaldson Invariants Proof. Take a path γ : [0, 1] C in the space of conformal classes of metrics which joins g 0 and g 1. Using Fredholm transversality, perturb it to be transverse to the Fredholm map M C. For generic γ, the space M = {(A, t) A M(γ(t))} B [0, 1] is an oriented one-manifold with boundary components M(g 0 ) and M(g 1 ). Uhlenbeck s compactness theorem completes the proof [We2].

23 Polynomial Invariants The dimension of M ASD is not, in general, zero. Suppose b + (X) > 1 (avoid reducible solutions). Take M ASD even dimensional dim M ASD = 2d = 8c 2 (E) 3(b + (X) + 1). Let [Σ 1 ],..., [Σ d ] be classes in H 2 (X, Z). Atiyah-Bott [] shown that the cohomology ring BX is a polynomial algebra generated in degrees two and four, where the two-dimensional generators are gotten from a certain map μ : H 2 (X) H 2 (B X ). In this way, in positive dimension, we can get integers q = μ(σ 1 )... μ(σ d ), [M]

24 Polynomial Invariants This gives a symmetric mutlilinear function q : H 2 (X)... H 2 (X) Z such that ˉq([Σ 1 ],..., [Σ d ]) = q([σ 1 ],..., [Σ d ]) (reversing orientation) if f : X Y is an orientation preserving diffeomorphism then q(f ([Σ 1 ]),..., f ([Σ d ])) = q([σ 1 ],..., [Σ d ]) Proving these more general invariants exists and satisfy the above properties is analytically more difficult than the aforementioned simple (dim. zero) invariants (done in [DK, Sect. 9.2.]).

25 Wall-Crossing Phenomena When b 2 + = 1, the Donaldson invariants are not independent of the metric. The paths between g 0 and g 1 cannot always avoid reducible solutions which occur as codimension one walls in C. Within chambers, the Donaldson invariants are constant. When crossing a wall, they change by an explicit formula Φ X,g 1 Φ X,g 2 = δ X g 1,g 2, where the δ X g 1,g 2 can be computed explicitly using modular forms [Gott96].

26 References [AB82 ] M.F. Atiyah and R. Bott, The Yang-Mills equations over Riemann surfaces, Philosophical Transactions of the Royal Society of London, Series A 308 (1982), [DK90 ] S. K. Donaldson and P. B. Kronheimer, The geometry of four-manifolds, Oxford U.P., [DT98 ] S. K. Donaldson and R. Thomas, Gauge theory in higher dimensions, The Geometric Universe, Oxford UP, 1998, pp [Gott96 ] L. Göttsche. Modular Forms and Donaldson Invariants for 4-Manifolds with b+=1. Journal of the American Mathematical Society, Vol. 9, Number 3, July 1996.

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:

More information

Constructing compact 8-manifolds with holonomy Spin(7)

Constructing compact 8-manifolds with holonomy Spin(7) Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.

More information

Higgs Bundles and Character Varieties

Higgs Bundles and Character Varieties Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character

More information

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions

More information

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM Donaldson and Seiberg-Witten theory and their relation to N = SYM Brian Williams April 3, 013 We ve began to see what it means to twist a supersymmetric field theory. I will review Donaldson theory and

More information

REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba

REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on

More information

Morse theory and stable pairs

Morse theory and stable pairs Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction

More information

Linear connections on Lie groups

Linear connections on Lie groups Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

More information

Stable bundles on CP 3 and special holonomies

Stable bundles on CP 3 and special holonomies Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M

More information

Conjectures on counting associative 3-folds in G 2 -manifolds

Conjectures on counting associative 3-folds in G 2 -manifolds in G 2 -manifolds Dominic Joyce, Oxford University Simons Collaboration on Special Holonomy in Geometry, Analysis and Physics, First Annual Meeting, New York City, September 2017. Based on arxiv:1610.09836.

More information

L19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1

L19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1 L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,

More information

Possible Advanced Topics Course

Possible Advanced Topics Course Preprint typeset in JHEP style - HYPER VERSION Possible Advanced Topics Course Gregory W. Moore Abstract: Potential List of Topics for an Advanced Topics version of Physics 695, Fall 2013 September 2,

More information

Instantons and Donaldson invariants

Instantons and Donaldson invariants Instantons and Donaldson invariants George Korpas Trinity College Dublin IFT, November 20, 2015 A problem in mathematics A problem in mathematics Important probem: classify d-manifolds up to diffeomorphisms.

More information

Lecture 1: Introduction

Lecture 1: Introduction Lecture 1: Introduction Jonathan Evans 20th September 2011 Jonathan Evans () Lecture 1: Introduction 20th September 2011 1 / 12 Jonathan Evans () Lecture 1: Introduction 20th September 2011 2 / 12 Essentially

More information

The Yang-Mills equations over Klein surfaces

The Yang-Mills equations over Klein surfaces The Yang-Mills equations over Klein surfaces Chiu-Chu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real

More information

On orientations for gauge-theoretic moduli spaces

On orientations for gauge-theoretic moduli spaces On orientations for gauge-theoretic moduli spaces Dominic Joyce, Yuuji Tanaka and Markus Upmeier reliminary version, October 2018 Abstract Let X be a compact manifold, D : Γ (E 0) Γ (E 1) a real elliptic

More information

Rohlin s Invariant and 4-dimensional Gauge Theory. Daniel Ruberman Nikolai Saveliev

Rohlin s Invariant and 4-dimensional Gauge Theory. Daniel Ruberman Nikolai Saveliev Rohlin s Invariant and 4-dimensional Gauge Theory Daniel Ruberman Nikolai Saveliev 1 Overall theme: relation between Rohlin-type invariants and gauge theory, especially in dimension 4. Background: Recall

More information

η = (e 1 (e 2 φ)) # = e 3

η = (e 1 (e 2 φ)) # = e 3 Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian

More information

EXISTENCE THEORY FOR HARMONIC METRICS

EXISTENCE THEORY FOR HARMONIC METRICS EXISTENCE THEORY FOR HARMONIC METRICS These are the notes of a talk given by the author in Asheville at the workshop Higgs bundles and Harmonic maps in January 2015. It aims to sketch the proof of the

More information

Introduction to Index Theory. Elmar Schrohe Institut für Analysis

Introduction to Index Theory. Elmar Schrohe Institut für Analysis Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a

More information

Riemannian Curvature Functionals: Lecture III

Riemannian Curvature Functionals: Lecture III Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli

More information

LAGRANGIAN BOUNDARY CONDITIONS FOR ANTI-SELF-DUAL INSTANTONS AND THE ATIYAH-FLOER CONJECTURE. Katrin Wehrheim

LAGRANGIAN BOUNDARY CONDITIONS FOR ANTI-SELF-DUAL INSTANTONS AND THE ATIYAH-FLOER CONJECTURE. Katrin Wehrheim LAGRANGIAN BOUNDARY CONDITIONS FOR ANTI-SELF-DUAL INSTANTONS AND THE ATIYAH-FLOER CONJECTURE Katrin Wehrheim 1. Introduction The purpose of this survey is to explain an approach to the Atiyah-Floer conjecture

More information

Instanton homology and symplectic fixed points

Instanton homology and symplectic fixed points Instanton homology and symplectic fixed points Stamatis Dostoglou and Dietmar Salamon Mathematics Institute University of Warwick Coventry CV4 7AL Great Britain September 1992 1 Introduction A gradient

More information

Contents. Preface...VII. Introduction... 1

Contents. Preface...VII. Introduction... 1 Preface...VII Introduction... 1 I Preliminaries... 7 1 LieGroupsandLieAlgebras... 7 1.1 Lie Groups and an Infinite-Dimensional Setting....... 7 1.2 TheLieAlgebraofaLieGroup... 9 1.3 The Exponential Map..............................

More information

Moment map flows and the Hecke correspondence for quivers

Moment map flows and the Hecke correspondence for quivers and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse

More information

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g

More information

NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD

NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.

More information

k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula

k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula 20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim

More information

Survey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature

Survey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature Survey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature Laura Fredrickson January 8, 2015 Taubes paper P SL(2, C) connections on 3-manifolds is the first paper in a series 1

More information

DEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS

DEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS DEFECTS IN COHOMOLOGICAL GAUGE THEORY AND DONALDSON- THOMAS INVARIANTS SISSA - VBAC 2013 Michele Cirafici CAMGSD & LARSyS, IST, Lisbon CAMGSD @LARSyS based on arxiv: 1302.7297 OUTLINE Introduction Defects

More information

N = 2 supersymmetric gauge theory and Mock theta functions

N = 2 supersymmetric gauge theory and Mock theta functions N = 2 supersymmetric gauge theory and Mock theta functions Andreas Malmendier GTP Seminar (joint work with Ken Ono) November 7, 2008 q-series in differential topology Theorem (M-Ono) The following q-series

More information

ALF spaces and collapsing Ricci-flat metrics on the K3 surface

ALF spaces and collapsing Ricci-flat metrics on the K3 surface ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Simons Collaboration on Special Holonomy Workshop, SCGP, Stony Brook, September 8 2016 The Kummer construction

More information

Topics in Geometry: Mirror Symmetry

Topics in Geometry: Mirror Symmetry MIT OpenCourseWare http://ocw.mit.edu 8.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:

More information

Two simple ideas from calculus applied to Riemannian geometry

Two simple ideas from calculus applied to Riemannian geometry Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University

More information

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents

More information

The topology of asymptotically locally flat gravitational instantons

The topology of asymptotically locally flat gravitational instantons The topology of asymptotically locally flat gravitational instantons arxiv:hep-th/0602053v4 19 Jan 2009 Gábor Etesi Department of Geometry, Mathematical Institute, Faculty of Science, Budapest University

More information

ALF spaces and collapsing Ricci-flat metrics on the K3 surface

ALF spaces and collapsing Ricci-flat metrics on the K3 surface ALF spaces and collapsing Ricci-flat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Recent Advances in Complex Differential Geometry, Toulouse, June 2016 The Kummer construction Gibbons

More information

Geometric Langlands duality and the equations of Nahm and Bogomolny

Geometric Langlands duality and the equations of Nahm and Bogomolny Proceedings of the Royal Society of Edinburgh, 140A, 857 895, 2010 Geometric Langlands duality and the equations of Nahm and Bogomolny Edward Witten Theory Group, CERN CH1211, Geneva 23, Switzerland (MS

More information

Mini-Course on Moduli Spaces

Mini-Course on Moduli Spaces Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional

More information

CHARACTERISTIC CLASSES

CHARACTERISTIC CLASSES 1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact

More information

The transverse index problem for Riemannian foliations

The transverse index problem for Riemannian foliations The transverse index problem for Riemannian foliations John Lott UC-Berkeley http://math.berkeley.edu/ lott May 27, 2013 The transverse index problem for Riemannian foliations Introduction Riemannian foliations

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

CHAPTER 1. Principal bundles and connections. 1. Motivation: Gauge theory. The simplest example of a gauge theory in physics is electromagnetism.

CHAPTER 1. Principal bundles and connections. 1. Motivation: Gauge theory. The simplest example of a gauge theory in physics is electromagnetism. CHAPTER 1 Principal bundles and connections 1. Motivation: Gauge theory The simplest example of a gauge theory in physics is electromagnetism. Maxwell's equations for an electromagentic eld, Recall (1)

More information

Compact 8-manifolds with holonomy Spin(7)

Compact 8-manifolds with holonomy Spin(7) Compact 8-manifolds with holonomy Spin(7) D.D. Joyce The Mathematical Institute, 24-29 St. Giles, Oxford, OX1 3LB. Published as Invent. math. 123 (1996), 507 552. 1 Introduction In Berger s classification

More information

Donaldson Thomas theory of Calabi Yau 3-folds, and generalizations

Donaldson Thomas theory of Calabi Yau 3-folds, and generalizations Donaldson Thomas theory of Calabi Yau 3-folds, and generalizations Lecture 1 of 3: Classical Donaldson Thomas theory Dominic Joyce, Oxford University Modern Moduli Theory graduate school, September 2017

More information

Remarks on the Milnor number

Remarks on the Milnor number José 1 1 Instituto de Matemáticas, Universidad Nacional Autónoma de México. Liverpool, U. K. March, 2016 In honour of Victor!! 1 The Milnor number Consider a holomorphic map-germ f : (C n+1, 0) (C, 0)

More information

Bredon, Introduction to compact transformation groups, Academic Press

Bredon, Introduction to compact transformation groups, Academic Press 1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions

More information

Nodal symplectic spheres in CP 2 with positive self intersection

Nodal symplectic spheres in CP 2 with positive self intersection Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic

More information

Math. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ.

Math. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ. Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for anti-self-dual connections

More information

DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE. John Lott. University of Michigan. November, 2000

DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE. John Lott. University of Michigan. November, 2000 DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE John Lott University of Michigan November, 2000 From preprints Collapsing and the Differential Form Laplacian On the Spectrum of a Finite-Volume

More information

Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds. Ken Richardson and coauthors

Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds. Ken Richardson and coauthors Advanced Course: Transversal Dirac operators on distributions, foliations, and G-manifolds Ken Richardson and coauthors Universitat Autònoma de Barcelona May 3-7, 2010 Universitat Autònoma de Barcelona

More information

HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

More information

Traces and Determinants of

Traces and Determinants of Traces and Determinants of Pseudodifferential Operators Simon Scott King's College London OXFORD UNIVERSITY PRESS CONTENTS INTRODUCTION 1 1 Traces 7 1.1 Definition and uniqueness of a trace 7 1.1.1 Traces

More information

ORIENTABILITY AND REAL SEIBERG-WITTEN INVARIANTS

ORIENTABILITY AND REAL SEIBERG-WITTEN INVARIANTS (To appear in Intern. J. Math.) ORIENTABILITY AND REAL SEIBERG-WITTEN INVARIANTS GANG TIAN AND SHUGUANG WANG Abstract. We investigate Seiberg-Witten theory in the presence of real structures. Certain conditions

More information

Critical metrics on connected sums of Einstein four-manifolds

Critical metrics on connected sums of Einstein four-manifolds Critical metrics on connected sums of Einstein four-manifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds Einstein-Hilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g

More information

I. Why Quantum K-theory?

I. Why Quantum K-theory? Quantum groups and Quantum K-theory Andrei Okounkov in collaboration with M. Aganagic, D. Maulik, N. Nekrasov, A. Smirnov,... I. Why Quantum K-theory? mathematical physics mathematics algebraic geometry

More information

K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants

K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants K-Homology, Assembly and Rigidity Theorems for Relative Eta Invariants Department of Mathematics Pennsylvania State University Potsdam, May 16, 2008 Outline K-homology, elliptic operators and C*-algebras.

More information

The topology of symplectic four-manifolds

The topology of symplectic four-manifolds The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form

More information

Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

More information

V = 1 2 (g ijχ i h j ) (2.4)

V = 1 2 (g ijχ i h j ) (2.4) 4 VASILY PESTUN 2. Lecture: Localization 2.. Euler class of vector bundle, Mathai-Quillen form and Poincare-Hopf theorem. We will present the Euler class of a vector bundle can be presented in the form

More information

Overview of Atiyah-Singer Index Theory

Overview of Atiyah-Singer Index Theory Overview of Atiyah-Singer Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand

More information

Conjectures in Kahler geometry

Conjectures in Kahler geometry Conjectures in Kahler geometry S.K. Donaldson Abstract. We state a general conjecture about the existence of Kahler metrics of constant scalar curvature, and discuss the background to the conjecture 1.

More information

Algebraic geometry over quaternions

Algebraic geometry over quaternions Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic

More information

Manifolds with holonomy. Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016

Manifolds with holonomy. Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016 Manifolds with holonomy Sp(n)Sp(1) SC in SHGAP Simon Salamon Stony Brook, 9 Sep 2016 The list 1.1 SO(N) U( N 2 ) Sp( N 4 )Sp(1) SU( N 2 ) Sp( N 4 ) G 2 (N =7) Spin(7) (N =8) All act transitively on S N

More information

Supersymmetric gauge theory, representation schemes and random matrices

Supersymmetric gauge theory, representation schemes and random matrices Supersymmetric gauge theory, representation schemes and random matrices Giovanni Felder, ETH Zurich joint work with Y. Berest, M. Müller-Lennert, S. Patotsky, A. Ramadoss and T. Willwacher MIT, 30 May

More information

Flat connections on 2-manifolds Introduction Outline:

Flat connections on 2-manifolds Introduction Outline: Flat connections on 2-manifolds Introduction Outline: 1. (a) The Jacobian (the simplest prototype for the class of objects treated throughout the paper) corresponding to the group U(1)). (b) SU(n) character

More information

LECTURE 26: THE CHERN-WEIL THEORY

LECTURE 26: THE CHERN-WEIL THEORY LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if

More information

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.

More information

Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

More information

Intersection of stable and unstable manifolds for invariant Morse functions

Intersection of stable and unstable manifolds for invariant Morse functions Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and

More information

Dynamics of Group Actions and Minimal Sets

Dynamics of Group Actions and Minimal Sets University of Illinois at Chicago www.math.uic.edu/ hurder First Joint Meeting of the Sociedad de Matemática de Chile American Mathematical Society Special Session on Group Actions: Probability and Dynamics

More information

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge)

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge) Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and

More information

Bundles over moduli space of Bohr - Sommerfeld lagrangian cycles

Bundles over moduli space of Bohr - Sommerfeld lagrangian cycles Bundles over moduli space of Bohr - Sommerfeld lagrangian cycles Nik. A. Tyurin Max Planck Institute (Bonn) and Bogolyubov Laboratory of theoretical physics JINR (Dubna) Introduction In the present paper

More information

MORSE THEORY, HIGGS FIELDS, AND YANG-MILLS-HIGGS FUNCTIONALS

MORSE THEORY, HIGGS FIELDS, AND YANG-MILLS-HIGGS FUNCTIONALS MORSE THEORY, HIGGS FIELDS, AND YANG-MILLS-HIGGS FUNCTIONALS STEVEN B. BRADLOW AND GRAEME WILKIN Dedicated to Professor Dick Palais on the occasion of his 80th birthday 1. Introduction In classical Morse

More information

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted

More information

A QUICK NOTE ON ÉTALE STACKS

A QUICK NOTE ON ÉTALE STACKS A QUICK NOTE ON ÉTALE STACKS DAVID CARCHEDI Abstract. These notes start by closely following a talk I gave at the Higher Structures Along the Lower Rhine workshop in Bonn, in January. I then give a taste

More information

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current Author, F., and S. Author. (2015) Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current, International Mathematics Research Notices, Vol. 2015, Article ID rnn999, 7 pages. doi:10.1093/imrn/rnn999

More information

Smooth s-cobordisms of elliptic 3-manifolds

Smooth s-cobordisms of elliptic 3-manifolds University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2006 Smooth s-cobordisms of elliptic 3-manifolds

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 21, 2004 (Day 1) Each of the six questions is worth 10 points. 1) Let H be a (real or complex) Hilbert space. We say

More information

MORSE HOMOLOGY. Contents. Manifolds are closed. Fields are Z/2.

MORSE HOMOLOGY. Contents. Manifolds are closed. Fields are Z/2. MORSE HOMOLOGY STUDENT GEOMETRY AND TOPOLOGY SEMINAR FEBRUARY 26, 2015 MORGAN WEILER 1. Morse Functions 1 Morse Lemma 3 Existence 3 Genericness 4 Topology 4 2. The Morse Chain Complex 4 Generators 5 Differential

More information

Morse Theory and Applications to Equivariant Topology

Morse Theory and Applications to Equivariant Topology Morse Theory and Applications to Equivariant Topology Morse Theory: the classical approach Briefly, Morse theory is ubiquitous and indomitable (Bott). It embodies a far reaching idea: the geometry and

More information

arxiv: v1 [math.ag] 13 Mar 2019

arxiv: v1 [math.ag] 13 Mar 2019 THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

More information

Diffeomorphism Invariant Gauge Theories

Diffeomorphism Invariant Gauge Theories Diffeomorphism Invariant Gauge Theories Kirill Krasnov (University of Nottingham) Oxford Geometry and Analysis Seminar 25 Nov 2013 Main message: There exists a large new class of gauge theories in 4 dimensions

More information

The Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013

The Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013 The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable

More information

Intermediate Jacobians and Abel-Jacobi Maps

Intermediate Jacobians and Abel-Jacobi Maps Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

1 Moduli spaces of polarized Hodge structures.

1 Moduli spaces of polarized Hodge structures. 1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an

More information

Stratification of 3 3 Matrices

Stratification of 3 3 Matrices Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (

More information

The symplectic structure on moduli space (in memory of Andreas Floer)

The symplectic structure on moduli space (in memory of Andreas Floer) The symplectic structure on moduli space (in memory of Andreas Floer) Alan Weinstein Department of Mathematics University of California Berkeley, CA 94720 USA (alanw@math.berkeley.edu) 1 Introduction The

More information

Universität Regensburg Mathematik

Universität Regensburg Mathematik Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF

More information

D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012.

D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012. D-manifolds and d-orbifolds: a theory of derived differential geometry. III. Dominic Joyce, Oxford UK-Japan Mathematical Forum, July 2012. Based on survey paper: arxiv:1206.4207, 44 pages and preliminary

More information

THE HODGE DECOMPOSITION

THE HODGE DECOMPOSITION THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional

More information

APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction

APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact

More information

K-stability and Kähler metrics, I

K-stability and Kähler metrics, I K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates

More information

Geometry of the Calabi-Yau Moduli

Geometry of the Calabi-Yau Moduli Geometry of the Calabi-Yau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the Calabi-Yau Moduli 1/51

More information