INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD


 Jessie Miles
 2 years ago
 Views:
Transcription
1 INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation: G: a (semisimple) Lie group, typically SU (n) g: its Lie algebra : a (simply connected) 4fold (typically, S 4 ) P : a principal Gbundle π : P A: a connection on P F A : its curvature Ω p (g): differential pforms on with values in g, i.e., Ω (g) := Γ (T g)..2. Primer on Connections. Recall from Peng s talk that a connection on P can be thought of in three ways: () As a field of horizontal subspaces: T p P = H p P V p P, where V P = ker (π ). (Note that V p = g, and Hp = Tπ(p) ). (2) As a gvalued form A Ω (g) which is invariant w.r.t. the induced Gaction on Ω (g). (3) Given a representation of G on W, as a vector bundle connection on the associated bundle E := P G W A : Ω 0 (E) Ω (E), where A is a linear map satisfying the Leibniz rule: (f s) = f s+df s for f C (), s Γ (, E). The first two of these definitions are seen to be equivalent by setting H p P = ker A p for (2) (), or A p = T p P V p P (projection) for () (2). For (3), we think of P as being the frame bundle for E, and then describe a horizontal frame of sections. For concreteness, we will mostly use (3) in this talk, i.e., fix a vector bundle E, and then think of P as the frame bundle of E. However, everything can still be done for principal bundles, too. From A, we can build a new operator d A : Ω k (E) Ω k+ (E) by requiring that d A = A for sections of E and d A (ω θ) = (d A ω) θ+( ) ω ω d A θ. In general, d 2 A 0, and we give this a special name: the curvature F A := d 2 A : E Ω 2 (E)
2 INSTANTON MODULI AND COMPACTIFICATION 2 Locally, d A = d + A, where A Ω (E) is an Evalued form, and F A = da + A A Ω 2 (E) The covariant derivative along v T of a section s is given by ι v d A s. If has the additional structure of a Riemannian metric, the formal adjoint d A to d A can be defined: d A φ, ψ dµ = φ, d Aψ dµ. If in addition dim = 4, then from Hodge theory, 2forms on decompose into selfdual and antiselfdual parts. This extends to Evalued forms so Ω 2 (E) = Ω + (E) Ω (E), F A = F + A + F A. A connection A is called antiselfdual (ASD) if F + A = 0 (i.e., F A = F A )..3. YangMills Theory. YangMills theory is a field theory defined for principal G bundles π : P. The fields of the theory are connections, and the action is (up to some constants) (.) S (A) := F A 2 dµ. S is conformally invariant in dimension 4: if g cg is a conformal transformation, then dµ c d dµ and F A c 2 F A, so for dim = d = 4, c 4 4 F A 2 dµ = F A 2 dµ. For a Ginvariant metric (which can be readily constructed if G is compact), this action is gaugeinvariant. F A 2 is sometimes called the YangMills density. Proposition.. The EulerLagrange equations of this action are (.2) d AF A = 0. Proof. This is an exercise in variational calculus. Observe that Then, so F A+tτ = d (A + tτ) + (A + tτ) (A + tτ) = F A + td A τ + t 2 τ τ. F A+tτ 2 = F A 2 + 2t d A τ, F A + t 2 ( ), 0 = d dt S (A + tτ) = 2 Hence the equations of motion are I ll skip most of the algebra. d A τ, F A dµ = 2 τ, d AF A dµ. d AF A = 0.
3 INSTANTON MODULI AND COMPACTIFICATION 3 An instanton is a topologically nontrivial solution to the classical equations of motion with finite action. Proposition.2. Antiselfdual connections are instantons, i.e., topologically nontrivial solutions to (.2). Proof. First we show that an ASD connection solves the equations of motion. The main fact is d AF A = d A F A, so if A is ASD, d A F A = d A F A = 0 by the Bianchi identity. When dim = 4 and G = SU (n), ASD connections are topologically nontrivial: for skewadjoint matrices (A = A, where is conjugate transpose), i.e., u (n), tr (ξ ξ) = ξ 2, so tr ( FA 2 ) ( F = + 2 A F 2) A dµ. F A 2 = F A F A = F + 2 A + F 2 A, so a connection is ASD if and only if tr ( FA) 2 = F A 2 dµ at every x. Recall that for SU (n) bundles, c (E) vanishes because tr (F A ) = 0, so c 2 (E) = 8π 2 tr ( FA) 2 dµ. Hence, S (A) = F A 2 dµ = 2 dµ + 2 dµ 8π 2 c 2 (E), F A with the bound achieved precisely when A is ASD. For this reason, physicists often refer to c 2 (E) as the instanton number. Let F ij := [ i, j ] = F + A 2. ADHM Construction Then, instanton equation F + A = 0 becomes (2.) A j A i + [A i, A j ]. x i x j F 2 + F 34 = 0, F 4 + F 23 = 0, F 3 + F 42 = 0. The ADHM (Atiyah, Drinfeld, Hitchin, and Manin) construction gives a way of producing ASD connections from linear algebraic data. The idea is to take a Fourier transform of the ASD equations to produce a set of matrix equations which can be more readily solved. Substituting D := + i 2, D 2 := 3 + i 4, the equations (2.) become [D, D 2 ] = (F 3 + F 42 ) + i (F 23 + F 4 ) = 0, [D, D ] + [D 2, D 2] = 2i (F 2 + F 34 ) = 0, so we can reduce the ASD equations to these complex covariant derivatives. Because the ASD equation and F A 2 are conformally invariant, an ASD connection on R 4 with S (A) < can be regarded as an ASD connection on S 4.
4 INSTANTON MODULI AND COMPACTIFICATION ADHM Data. Let U = C 2 as a complex manifold, with coordinates (z, z 2 ). The inputs for the ADHM construction consist of: () A kdimensional complex vector space H with a Hermitian metric. (2) An ndimensional complex vector space E, with Hermitian metric and symmetry group SU (n). (3) A linear map T V hom (H, H) defining maps τ, τ 2 : H H. (4) Linear maps π : H E and σ : E H. The ADHM equations are (2.2) [τ, τ 2 ] + σπ = 0, [τ, τ ] + [τ 2, τ 2 ] + σσ π π = 0. If τ, τ 2, σ, π satisfy these equations, then the maps α := τ τ 2, β := [ τ 2 τ σ ] π define a complex because H α H U E β βα = [τ, τ 2 ] + σπ = 0. In fact, it defines a whole C 2 family of complexes because we can replace (τ, τ 2 ) by (τ z, τ 2 z 2 ) for any point (z, z 2 ) =: x U. We can then define a family of maps R x : H U E H H H R x := α x β x and, if α x is injective and β x is surjective, then R x is surjective and ker R x = (im α x ) ker β x. Definition. A collection (τ, τ 2, σ, π, E, H) of ADHM data is an ADHM system if () it satisfies the ADHM equations (2.2), and (2) the map R x is surjective for each x U ADHM Construction. How can we use this information to construct a connection? Suppose that we have an ADHM system. Now, construct the vector bundle E U with fibers E x = ker R x = ker β x / im α x. (E x is the cohomology bundle of α,β). Proposition 2.. There is a holomorphic structure E on E. (Proof omitted in the interest of time). Let i : E x H U E be inclusion, P α x : H U E (im α x ) and P β x : H U E ker β x denote orthogonal projections, and P x := P α P β = P β P α
5 INSTANTON MODULI AND COMPACTIFICATION 5 be projection onto E x. H U E comes equipped with a flat product connection d, and we can define an induced connection A on E by, for a section s : U E, d A s := P di (s). By virtue of this construction, A is unitary and compatible with the holomorphic structure on E. It is also ASD. Theorem 2.2 (ADHM). The assignment (τ, τ 2, σ, π) d A = P di sets up a onetoone correspondence between () equivalence classes of ADHM data for group SU (n) and index k, and (2) gauge equivalence classes of finite energy ASD SU (n)connections A over R 4 with c 2 (A) = k. Note that (g, h) U (k) SU (n) acts on ADHM data by (τ, τ 2, σ, π) ( gτ g, gτ 2 g, gσh, hπg ), so we mean classes of ADHM data up to this equivalence Example: BPST Instanton. The simplest example is to take k = and n = 2. This corresponds to solutions on SU (2) bundles with c 2 =. Then, τ, τ 2 are just complex numbers, σ and π are complex vectors, and the ADHM equations become σ π = 0, σ 2 = π 2. Pick π = (, 0) and σ = (0, ), then for (τ, τ 2 ), have τ αx = τ 2 0 = [ τ τ 2 0 ], β x = [ τ 2 τ 0 ], and in general: replace (τ, τ 2 ) by (τ z, τ 2 z 2 ) for any point (z, z 2 ) =: x U, so [ ] τ z R x = τ 2 z 2 0. τ 2 + z 2 τ z 0 In particular, for (τ, τ 2 ) = (0, 0), have [ ] z z R x = 2 0. z 2 z 0 A unitary basis for R x is 0 {σ, σ 2 } = 0 + x 2 z, + x 2 z 2. z 2 z Suppose that in this trivialization we let z = x + ix 2, z 2 = x 3 + ix 4, and the connection matrix is A = A i dx i, so A i is the matrix with (p, q)th entry i σ p, σ q = σp, σ q. x i
6 INSTANTON MODULI AND COMPACTIFICATION 6 Then, written out in full, the connection form is A = + x 2 (θ i + θ 2 j + θ 3 k), where i, j, k are a standard basis for su (2) and θ = x dx 2 x 2 dx x 3 dx 4 + x 4 dx 3 θ 2 = x dx 3 x 3 dx x 4 dx 2 + x 2 dx 4, θ 3 = x dx 4 x 4 dx x 2 dx 3 + x 3 dx 2 is such that dθ, dθ 2, dθ 3 is a basis for the ASD twoforms on R 4. The curvature F A = da + A A is then ( ) 2 F A = + x 2 (dθ i + dθ 2 j + dθ 3 k), and we can recover the other degrees of freedom lost in our choices of π, σ, τ, τ 2 by translations x x y and dilations x x/λ to obtain other connections with F A(y,λ) λ 2 = (λ 2 + x y 2) Moduli Space of ASD Connections Definition 3.. Let E be a bundle over a compact, oriented Riemannian 4manifold. The moduli space of ASD connections M E is the set of gauge equivalence classes of ASD connections on E. Recall that a gauge transformation is an automorphism u : E E respecting the structure on the fibers and reducing to the identity map on. It acts on a connection by the rule u(a) s = u A ( u s ) = A s ( A u) u s, where the covariant derivative A u is formed by regarding it as a section of the vector bundle End (E). In local coordinates, this looks like u (A) = uau (du) u. The curvature transforms as a tensor under gauge transformations: F u(a) = uf A u. For connections on principal bundles P, this has a somewhat nicer expression: If u : P P satisfies () u (p g) = u (p) g and (2) π (u (p)) = π (p) for all g G, and A Ω P (g) is a connection, u (A) := ( u ) A. Now we turn to some results about the structure of this moduli space.
7 INSTANTON MODULI AND COMPACTIFICATION Uhlenbeck s Theorems. First, there are a few technical results due to Uhlenbeck that allow us to leverage tools from the study of elliptic differential equations to make statements about ASD connections. Theorem 3.2 (Uhlenbeck). There are constants ɛ, M > 0 such that any connection A on the trivial bundle over B 4 with F A L 2 < ɛ is gauge equivalent to a connection Ã over B4 with () d Ã = 0, (2) lim x Ã r = 0, and (3) Ã L 2 M F Ã L 2. Moreover for suitable constants ɛ, M, Ã is uniquely determined by these properties, up to Ã u0ãu 0 for a constant u 0 in U (n). First, some notes about the theorem: Ã 2 L = Ã 2 + Ã 2 dµ 2 B 4 is the Sobolev norm. d Ã is the Coulomb gauge condition (the importance of which will be explained in the following section). Finally, lim x Ã r = 0 means that, for Ãr (ρ, σ) a function on S 3, this function tends to 0 as r. The main power of Uhlenbeck s Theorem is that it turns a system of nonlinear, nonelliptic differential equations into an elliptic one. This section provides a sketch of why that might be a desirable thing to do. Recall the d + operator, defined by ( ) d + = ( + ) d, 2 which maps The ASD equation F + A d + : Ω Ω +. = 0 then becomes, in local coordinates, (3.) d + A + (A A) + = 0. This is a nonlinear, nonelliptic equation. When d Ã = 0, d + d : i Ω 2i+ i Ω 2i is elliptic, so if H () = 0, then all forms are othogonal to ker (d + d ). Elliptic differential operator theory implies that ( ) (3.2) A L 2 const. d A k L 2 + da L 2 k k for all k. When d A = 0, this becomes A L 2 k const. F A L 2 k, and the ASD equation can be replaced by the elliptic differential equation δa = 0, where δ = d + + d is an elliptic operator. The main consequence of Uhlenbeck s Theorem relevant to the discussion of ASD connections comes from combining it with the following theorem:
8 INSTANTON MODULI AND COMPACTIFICATION 8 Theorem 3.3 (Uhlenbeck). There exists a constant ɛ 2 > 0 such that if Ã is any ASD connection on the trivial bundle over B 4 which satisfies d Ã = 0 and Ã L 4 ɛ 2, then for all interior domains D B 4 and l, Ã L 2 l (D) M l,d FÃ L 2 (B 4 ) for a constant M l,d depending only on l and D. Combining this with Theorem 3.2 gives Corollary 3.4. For any sequence of ASD connections A α over B 4 with F (A α ) L 2 ɛ, there is a subsequence α and gauge equivalent connections Ãα which converge in C on the open ball Results about the Moduli Space. Putting our previous results together, we get the following statements: Theorem 3.5 (Uhlenbeck s Removable Singularities). Let A be a unitary connection over the punctured ball B 4 \ {0} which is ASD with respect to a smooth metric on B 4. If F A 2 <, B 4 \{0} then there is a smooth ASD connection over B 4 gauge equivalent to A over the punctured ball. Note that this theorem implies that, for example, the ADHM construction gives all of the ASD connections on S 4 (not just R 4 ). Let M k (G) denote the moduli space of ASD connections up to gauge transformation with c 2 = k, and M k (G) denote the closure of M k (G) in the space of ideal connections. An ideal connection is a connection with curvature densities possibly having δmeasure concentrations at up to k points of, i.e., of the form Then, F A 2 + 8π 2 n Theorem 3.6. Any infinite sequence in M k has a weakly convergent subsequence in M k, with limit point in M k. Corollary 3.7. The space M k is compact. What do these spaces look like locally? Let G denote the group of gauge transformations of E, and the isotropy group of A. Then, i= δ xi Γ A = {u G : u (A) = A}, Proposition 3.8. If A is an ASD connection over, a neighborhood of [A] in M is modeled on a quotient f (0) /Γ A, where f : ker δ A coker d + A is a Γ A equivariant map and δ A = d A + d+ A.
9 INSTANTON MODULI AND COMPACTIFICATION 9 References [ADHM] M. Atiyah, V. Drinfeld, N. Hitchin, and Y. Manin, Construction of Instantons, Physics Letters A 65 (3) [DK] S. K. Donaldson and P. B. Kronheimer, The Geometry of FourManifolds, Oxford Univ. Press, 99. [L] A. J. Lindenhovius, Instantons and the ADHM Construction, URL:
Donaldson Invariants and Moduli of YangMills Instantons
Donaldson Invariants and Moduli of YangMills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationMorse 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 informationStable 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 informationLECTURE 26: THE CHERNWEIL THEORY
LECTURE 26: THE CHERNWEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a ktensor T k V is called symmetric if
More informationHYPERKÄ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 informationL19: Fredholm theory. where E u = u T X and J u = Formally, Jholomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of Jholomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the ChernWeil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationDonaldson and SeibergWitten theory and their relation to N = 2 SYM
Donaldson and SeibergWitten 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 informationN = 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 qseries in differential topology Theorem (MOno) The following qseries
More informationSurvey of Taubes P SL(2, C) connections on 3manifolds with L 2 bounds on curvature
Survey of Taubes P SL(2, C) connections on 3manifolds with L 2 bounds on curvature Laura Fredrickson January 8, 2015 Taubes paper P SL(2, C) connections on 3manifolds is the first paper in a series 1
More informationLecture 4: Harmonic forms
Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15
More informationMath. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTISELFDUAL INSTANTONS ON C Σ.
Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTISELFDUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for antiselfdual connections
More informationAs 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 informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free antiholomorphic involutions
More informationElliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.
Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental
More informationREAL 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 informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the RiemannRochHirzebruchAtiyahSinger index formula
20 VASILY PESTUN 3. Lecture: GrothendieckRiemannRochHirzebruchAtiyahSinger Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationEXISTENCE 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 informationHiggs 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 informationSupersymmetric 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üllerLennert, S. Patotsky, A. Ramadoss and T. Willwacher MIT, 30 May
More informationTHE 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 informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationConstructing compact 8manifolds with holonomy Spin(7)
Constructing compact 8manifolds 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 informationCHARACTERISTIC 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 informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowingup operation amounts to replace a point in
More informationIndex theory on manifolds with corners: Generalized GaussBonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized GaussBonnet formulas Paul Loya Index theory on singular manifolds I
More informationLecture 5: Hodge theorem
Lecture 5: Hodge theorem Jonathan Evans 4th October 2010 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 1 / 15 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 2 / 15 The aim of
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationLAGRANGIAN BOUNDARY CONDITIONS FOR ANTISELFDUAL INSTANTONS AND THE ATIYAHFLOER CONJECTURE. Katrin Wehrheim
LAGRANGIAN BOUNDARY CONDITIONS FOR ANTISELFDUAL INSTANTONS AND THE ATIYAHFLOER CONJECTURE Katrin Wehrheim 1. Introduction The purpose of this survey is to explain an approach to the AtiyahFloer conjecture
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationRiemannian 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 informationThe transverse index problem for Riemannian foliations
The transverse index problem for Riemannian foliations John Lott UCBerkeley http://math.berkeley.edu/ lott May 27, 2013 The transverse index problem for Riemannian foliations Introduction Riemannian foliations
More informationTRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND GMANIFOLDS LECTURE NOTES
TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND GMANIFOLDS LECTURE NOTES KEN RICHARDSON Abstract. In these lectures, we investigate generalizations of the ordinary Dirac operator to manifolds
More informationCHAPTER 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 informationThe YangMills equations over Klein surfaces
The YangMills equations over Klein surfaces ChiuChu Melissa Liu & Florent Schaffhauser Columbia University (New York City) & Universidad de Los Andes (Bogotá) Seoul ICM 2014 Outline 1 Moduli of real
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationLECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of Jholomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationIntroduction 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 informationTHE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction
THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationChapter One. The CalderónZygmund Theory I: Ellipticity
Chapter One The CalderónZygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More information1 Math 241AB Homework Problem List for F2015 and W2016
1 Math 241AB Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationALF spaces and collapsing Ricciflat metrics on the K3 surface
ALF spaces and collapsing Ricciflat metrics on the K3 surface Lorenzo Foscolo Stony Brook University Recent Advances in Complex Differential Geometry, Toulouse, June 2016 The Kummer construction Gibbons
More informationGravitating vortices, cosmic strings, and algebraic geometry
Gravitating vortices, cosmic strings, and algebraic geometry Luis ÁlvarezCónsul ICMAT & CSIC, Madrid Seminari de Geometria Algebraica UB, Barcelona, 3 Feb 2017 Joint with Mario GarcíaFernández and Oscar
More informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationInvariance Theory, the Heat Equation, and the AtiyahSinger Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the AtiyahSinger Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationΩ Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that
String theory and balanced metrics One of the main motivations for considering balanced metrics, in addition to the considerations already mentioned, has to do with the theory of what are known as heterotic
More informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationHeterotic Torsional Backgrounds, from Supergravity to CFT
Heterotic Torsional Backgrounds, from Supergravity to CFT IAP, Université Pierre et Marie Curie Eurostrings@Madrid, June 2010 L.Carlevaro, D.I. and M. Petropoulos, arxiv:0812.3391 L.Carlevaro and D.I.,
More informationSpin(10,1)metrics with a parallel null spinor and maximal holonomy
Spin(10,1)metrics with a parallel null spinor and maximal holonomy 0. Introduction. The purpose of this addendum to the earlier notes on spinors is to outline the construction of Lorentzian metrics in
More informationAN OPEN FOURMANIFOLD HAVING NO INSTANTON
N OPEN FOURMNIFOLD HVING NO INSNON MSKI SUKMOO bstract. aubes proved that all compact oriented fourmanifolds admit nonflat instantons. We show that there exists a noncompact oriented fourmanifold
More informationKä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 informationSingular Monopoles and Instantons on Curved Backgrounds
Singular Monopoles and Instantons on Curved Backgrounds Sergey Cherkis (Berkeley, Stanford, TCD) C k U(n) U(n) U(n) Odense 2 November 2010 Outline: Classical Solutions & their Charges Relations between
More informationLinear 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 informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be ndimensional topological manifolds. Prove that the disjoint union X Y is an ndimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationALF spaces and collapsing Ricciflat metrics on the K3 surface
ALF spaces and collapsing Ricciflat 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 informationarxiv:mathph/ v1 10 Oct 2005
DISCRETE MODELS O THE SELDUAL AND ANTISELDUAL EQUATIONS arxiv:mathph/0510041v1 10 Oct 2005 Volodymyr Sushch Lviv, Uraine; Koszalin, Poland Abstract. In the case of a gaugeinvariant discrete model
More informationThe Higgs bundle moduli space
The Higgs bundle moduli space Nigel Hitchin Mathematical Institute University of Oxford Hamburg September 8th 2014 Add title here 00 Month 2013 1 re ut on 1977... INSTANTONS connection on R 4, A i (x)
More informationTHE 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 informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very nonlinear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of kforms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationUNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah
UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES AUGSBURG, MAY 2007 Claude Sabbah Introduction Let f : (C ) n C be a Laurent polynomial, that I assume to be convenient and nondegenerate,
More informationLECTURE 2: SYMPLECTIC VECTOR BUNDLES
LECTURE 2: SYMPLECTIC VECTOR BUNDLES WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic Vector Spaces Definition 1.1. A symplectic vector space is a pair (V, ω) where V is a finite dimensional vector space (over
More informationDeterminant lines and determinant line bundles
CHAPTER Determinant lines and determinant line bundles This appendix is an exposition of G. Segal s work sketched in [?] on determinant line bundles over the moduli spaces of Riemann surfaces with parametrized
More informationPeriodic monopoles and difference modules
Periodic monopoles and difference modules Takuro Mochizuki RIMS, Kyoto University 2018 February Introduction In complex geometry it is interesting to obtain a correspondence between objects in differential
More informationThe topology of asymptotically locally flat gravitational instantons
The topology of asymptotically locally flat gravitational instantons arxiv:hepth/0602053v4 19 Jan 2009 Gábor Etesi Department of Geometry, Mathematical Institute, Faculty of Science, Budapest University
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationHyperkä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 informationSelfDual YangMills Fields in Eight Dimensions
arxiv:hepth/9603001v1 1 ar 1996 SelfDual Yangills Fields in Eight Dimensions Ayşe Hümeyra Bilge, Tekin Dereli, Şahin Koçak Department of athematics, Anadolu University, Eskişehir, Turkey e.mail: bilge@yunus.mam.tubitak.gov.tr
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive Gequivariant line bundle over X. We use a Witten
More informationChernSimons gauge theory The ChernSimons (CS) gauge theory in three dimensions is defined by the action,
Lecture A3 ChernSimons gauge theory The ChernSimons (CS) gauge theory in three dimensions is defined by the action, S CS = k tr (AdA+ 3 ) 4π A3, = k ( ǫ µνρ tr A µ ( ν A ρ ρ A ν )+ ) 8π 3 A µ[a ν,a ρ
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4tensors that is antisymmetric with respect to
More informationA loop of SU(2) gauge fields on S 4 stable under the YangMills flow
A loop of SU(2) gauge fields on S 4 stable under the YangMills flow Daniel Friedan Rutgers the State University of New Jersey Natural Science Institute, University of Iceland MIT November 3, 2009 1 /
More informationGeneralized complex geometry and topological sigmamodels
Generalized complex geometry and topological sigmamodels Anton Kapustin California Institute of Technology Generalized complex geometry and topological sigmamodels p. 1/3 Outline Review of N = 2 sigmamodels
More informationTransparent connections
The abelian case A definition (M, g) is a closed Riemannian manifold, d = dim M. E M is a rank n complex vector bundle with a Hermitian metric (i.e. a U(n)bundle). is a Hermitian (i.e. metric) connection
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationCritical metrics on connected sums of Einstein fourmanifolds
Critical metrics on connected sums of Einstein fourmanifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds EinsteinHilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g
More informationNOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES
NOTES ON FORMAL NEIGHBORHOODS AND JET BUNDLES SHILIN U ABSTRACT. The purpose of this note is to review the construction of smooth and holomorphic jet bundles and its relation to formal neighborhood of
More informationDiffeomorphism 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 informationGeometric 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 informationHermitian vs. Riemannian Geometry
Hermitian vs. Riemannian Geometry Gabe Khan 1 1 Department of Mathematics The Ohio State University GSCAGT, May 2016 Outline of the talk Complex curves Background definitions What happens if the metric
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 GromovWitten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationTOEPLITZ OPERATORS. Toeplitz studied infinite matrices with NWSE diagonals constant. f e C :
TOEPLITZ OPERATORS EFTON PARK 1. Introduction to Toeplitz Operators Otto Toeplitz lived from 18811940 in Goettingen, and it was pretty rough there, so he eventually went to Palestine and eventually contracted
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant 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 informationLecture 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 informationCALCULUS 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 informationInstantons 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 dmanifolds up to diffeomorphisms.
More informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationHamiltonian Systems of Negative Curvature are Hyperbolic
Hamiltonian Systems of Negative Curvature are Hyperbolic A. A. Agrachev N. N. Chtcherbakova Abstract The curvature and the reduced curvature are basic differential invariants of the pair: Hamiltonian system,
More informationAn Introduction to Kuga Fiber Varieties
An Introduction to Kuga Fiber Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Qsimple
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More informationPin (2)monopole theory I
Intersection forms with local coefficients Osaka Medical College Dec 12, 2016 Pin (2) = U(1) j U(1) Sp(1) H Pin (2)monopole equations are a twisted version of the SeibergWitten (U(1)monopole) equations.
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an ndimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationη = (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