The Higgs bundle moduli space

Similar documents
Higgs Bundles and Character Varieties

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current

HYPERKÄHLER MANIFOLDS

DIFFERENTIAL GEOMETRY AND THE QUATERNIONS. Nigel Hitchin (Oxford) The Chern Lectures Berkeley April 9th-18th 2013

Modern Geometric Structures and Fields

The Strominger Yau Zaslow conjecture

Constructing compact 8-manifolds with holonomy Spin(7)

A DIRECT EXISTENCE PROOF FOR THE VORTEX EQUATIONS OVER A COMPACT RIEMANN SURFACE

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

Gravitating vortices, cosmic strings, and algebraic geometry

Stable bundles on CP 3 and special holonomies

arxiv: v2 [math.ag] 5 Jun 2018

Moduli Space of Higgs Bundles Instructor: Marco Gualtieri

Morse theory and stable pairs

The Yang-Mills equations over Klein surfaces

THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

THE GEOMETRY OF B-FIELDS. Nigel Hitchin (Oxford) Odense November 26th 2009

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

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

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

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

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

Linear connections on Lie groups

Poisson modules and generalized geometry

Topological Solitons from Geometry

Moment Maps and Toric Special Holonomy

FLAT BUNDLES ON AFFINE MANIFOLDS. 1. Introduction

Torus actions and Ricci-flat metrics

B-FIELDS, GERBES AND GENERALIZED GEOMETRY

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

Donaldson Invariants and Moduli of Yang-Mills Instantons

Some new torsional local models for heterotic strings

Solvability of the Dirac Equation and geomeric applications

Pacific Journal of Mathematics

Periodic monopoles and difference modules

Singular Monopoles and Instantons on Curved Backgrounds

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

The topology of asymptotically locally flat gravitational instantons

Topological reduction of supersymmetric gauge theories and S-duality

EXISTENCE THEORY FOR HARMONIC METRICS

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

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

The Topology of Higgs Bundle Moduli Spaces

THE SELF-DUALITY EQUATIONS ON A RIEMANN SURFACE

The twistor theory of the Ernst equations

TOPOLOGICAL REDUCTION OF 4D SYM TO 2D σ MODELS

Stability data, irregular connections and tropical curves

On the BCOV Conjecture

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

TWISTORS AND THE OCTONIONS Penrose 80. Nigel Hitchin. Oxford July 21st 2011

Pietro Fre' SISSA-Trieste. Paolo Soriani University degli Studi di Milano. From Calabi-Yau manifolds to topological field theories

Mirror symmetry, Langlands duality and the Hitchin system I

Lecture 1: Introduction

Think Globally, Act Locally

A NOTE ON HERMITIAN-EINSTEIN METRICS ON PARABOLIC STABLE BUNDLES

1. Vacuum Charge and the Eta-Function, Comm. Math. Phys. 93, p (1984)

Published as: J. Geom. Phys. 10 (1993)

How to recognise a conformally Einstein metric?

QUADRATIC EQUATIONS AND MONODROMY EVOLVING DEFORMATIONS

Flat connections on 2-manifolds Introduction Outline:

Quaternionic Complexes

Radial balanced metrics on the unit disk

THE MASTER SPACE OF N=1 GAUGE THEORIES

Spectral curves and the mass of hyperbolic monopoles. Nuno M. Romão. Massachusetts Institute of Technology Cambridge MA, USA

ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE

A wall-crossing formula for 2d-4d DT invariants

Heterotic Torsional Backgrounds, from Supergravity to CFT

N = 2 supersymmetric gauge theory and Mock theta functions

A Bird Eye s view: recent update to Extremal metrics

A loop of SU(2) gauge fields on S 4 stable under the Yang-Mills flow

CONFORMAL LIMITS AND THE BIA LYNICKI-BIRULA

CLASSIFICATION OF NON-ABELIAN CHERN-SIMONS VORTICES

GLASGOW Paolo Lorenzoni

Hyperkähler geometry lecture 3

Dynamics of Multiple Kaluza-Klein Monopoles in M- and String Theory

Minimal surfaces in quaternionic symmetric spaces

September 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

SÉMINAIRE N. BOURBAKI

THE HITCHIN FIBRATION UNDER DEGENERATIONS TO NODED RIEMANN SURFACES

Geometry of the Calabi-Yau Moduli

CHARACTERISTIC CLASSES

Research Statement. Jayadev S. Athreya. November 7, 2005

BRST and Dirac Cohomology

QUANTIZATION OF A DIMENSIONALLY REDUCED SEIBERG-WITTEN MODULI SPACE RUKMINI DEY

Supersymmetric Gauge Theories, Matrix Models and Geometric Transitions

Symmetries, Groups, and Conservation Laws

arxiv:hep-th/ v2 14 Oct 1997

AFFINE YANG MILLS HIGGS METRICS. 1. Introduction

A dispersionless integrable system associated to Diff(S 1 ) gauge theory

Self-dual conformal gravity

Two simple ideas from calculus applied to Riemannian geometry

Hard Lefschetz Theorem for Vaisman manifolds

Ω Ω /ω. To these, one wants to add a fourth condition that arises from physics, what is known as the anomaly cancellation, namely that

The exceptional holonomy groups and calibrated geometry

Chern-Simons Theory and Its Applications. The 10 th Summer Institute for Theoretical Physics Ki-Myeong Lee

Generalized N = 1 orientifold compactifications

HAMILTONIAN ACTIONS IN GENERALIZED COMPLEX GEOMETRY

Refined Donaldson-Thomas theory and Nekrasov s formula

Transcription:

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) n n skew Hermitian covariant derivative i = x i + A i curvature F ij =[ i, j ] equations F 12 + F 34 =0=F 13 + F 42 =0=F 14 + F 23

anti-self-dual Yang-Mills F + F = 0 boundary conditions F R 4 2 < gauge equivalence g : R 4 U(n) i g 1 i g 1 M.F.Atiyah,N.J.Hitchin,V.G.Drinfeld & Yu.I.Manin: Construc tion of instantons, Phys. Lett. A 65 (1978) 185-187.

1981... MONOPOLES

connection on R 3 A i (x) + Higgs field φ, n n skew Hermitian curvature F ij =[ i, j ] equations F 12 +[ 3, φ] =0=F 23 +[ 1, φ] =0=F 31 +[ 2, φ]

connection on R 3 A i (x) + Higgs field φ, n n skew Hermitian curvature F ij =[ i, j ] equations F 12 +[ 3, φ] =0=F 23 +[ 1, φ] =0=F 31 +[ 2, φ]

anti-self-dual Yang-Mills, invariant under x 4 -translation φ A 4 boundary conditions R 3 F 2 + φ 2 < N.J.Hitchin On the construction of monopoles, Comm.Math.Phys. 83 (1982) 579 602.

TWO DIMENSIONS...

connection on R 2 A i (x) + Higgs fields φ 1, φ 2, n n skew Hermitian curvature F ij =[ i, j ] equations F 12 +[φ 1, φ 2 ]=0=[ 1, φ 2 ]+[ 2, φ 1 ]=[ 1, φ 1 ]+[ 2, φ 2 ]

Volume 70B, number 3 PHYSICS LETTERS 10 October 1977 TWO- AND THREE-DIMENSIONAL INSTANTONS M.A. LOHE Theoretical Physics, Blackett Laboratory, Imperial College, London SW7 2BZ, U.K. Received 6 June 1977 The four-dimensional Yang-Mills Lagrangian implies corresponding structures in lower dimensions. Instantons, characterized by a zero energy-momentum tensor as well as finite action, emerge as the solutions of coupled first order equations. For the Abelian case all such solutions are determined by the nonqinear Poisson-Boltzmann equation.

term have acquired special values. One can obtain first order equations which imply the field equations, and these are deduced from eqs. (6): F~ = +-e eijeabc~b c, Dit) a +- ei/d/4 a = O. (1 I) Unfortunately, in this case the model is not interesting Unfortunately, in this case the mo because the action is always zero.

[ 1 + i 2, φ 1 + iφ 2 ] = 0 Cauchy-Riemann z = x 1 + ix 2 C Φ =(φ 1 + iφ 2 )d(x 1 + ix 2 ) F +[Φ, Φ ] = 0 conformally invariant define on any Riemann surface

C Hermitian vector bundle E connection A+ Higgs field Φ Ω 1,0 (End E) Equations: A Φ =0, F A +[Φ, Φ ]=0 moduli space M = all solutions modulo C unitary automorphisms of E

THE CASE OF U(1) E = line bundle L, End L trivial bundle Φ = holomorphic 1-form A = flat connection on L moduli space = Jac(Σ) H 0 (Σ,K)=T Jac(Σ)

M finite-dimensional non-compact hyperkähler metric

SOLUTIONS

HOLOMORPHIC VECTOR BUNDLES Riemann surface Σ + holomorphic vector bundle E + holomorphic section Φ of End E K

HOLOMORPHIC VECTOR BUNDLES Riemann surface Σ + holomorphic vector bundle E + holomorphic section Φ of End E K Hermitian metric on E compatible connection... find a metric such that F A +[Φ, Φ ]=0

(E,Φ) stable there exists a unique solution NJH, The self-duality equations on a Riemann surface, Proc. London Math. Soc. (3) 55 (1987), 59 126. (modelled on Donaldson s proof of Narasimhan-Seshadri) C.Simpson, Higgs bundles and local systems, Inst. Études Sci. Publ. Math. 75 (1992), 595. Hautes (modelled on Uhlenbeck-Yau s theorem on Hermitian Yang- Mills)

V E subbundle Φ-invariance = Φ(V ) V K E K stable = for each Φ-invariant subbundle V deg(v ) rk V < deg(e) rk E

FLAT VECTOR BUNDLES Riemann surface Σ flat connection on vector bundle E

FLAT VECTOR BUNDLES Riemann surface Σ flat connection on vector bundle E Hermitian metric on E π 1 -equivariant map f : Σ GL(n, C)/U(n)... find an equivariant harmonic map f.

irreducible (irreducible representation π 1 (Σ) GL(n, C)) there exists a unique solution S.K.Donaldson, Twisted harmonic maps and the self-duality equations, Proc. London Math. Soc. 55 (1987) 12713. K.Corlette, Flat G-bundles with canonical metrics, J.Differential Geom. 28 (1988), 361382.

irreducible (irreducible representation π 1 (Σ) GL(n, C)) there exists a unique solution S.K.Donaldson, Twisted harmonic maps and the self-duality equations, Proc. London Math. Soc. 55 (1987) 12713. K.Corlette, Flat G-bundles with canonical metrics, J.Differential Geom. 28 (1988), 361382. Equations 0,1 Φ =0, F A +[Φ, Φ ]=0 A + Φ + Φ is a flat connection

ANOTHER VIEWPOINT

charge one SU(2)-instanton on R 4 SO(4)-invariant solution quaternion x = x 0 + ix 1 + jx 2 + kx 3 connection A =Im xd x 1+ x 2

curvature F A = dx d x (1 + x 2 ) 2 translate from centre 0 to a i A 1 +...+ A k approximate charge k solution if a i far apart Taubes grafting exact solution

charge one SU(2)-monopole on R 3 SO(3)-invariant solution x = ix 1 + jx 2 + kx 3 1 connection A = sinh r 1 r 1 r x dx Higgs field φ = 1 tanh r 1 r 1 r x

translate from centre 0 to a i A 1 +...+ A k approximate charge k solution if a i far apart Taubes grafting exact solution A.Jaffe & C.Taubes, Vortices and monopoles, Birkhäuser, Boston (1980)

SU(2) Higgs bundle equations on R 2 SO(2)-invariant? = anti-self-dual Yang-Mills on R 4 invariant by R 2 SO(2)

L.Mason & N.Woodhouse, Self-duality and the Painlevé transcendents, Nonlinearity 6 (1993), 569 581. further reductions to PI and PE. Pm: Two translations and a rotation: x=ai Y=tag-{af z=a,. The reduction by Y and X + Z gives the Emst equation, which is known to have a further reduction to Pm (as well as to Pv): see the papers cited in [l, p 3441. Prv: A null translation, a rotation combined with a dilatation, and an anti-self-dual Ernst equation: stationary axisymmetric spacetimes Painlevé III: ψxx = 1 2 e2x sinh 2ψ

L.Mason & N.Woodhouse, Self-duality and the Painlevé transcendents, Nonlinearity 6 (1993), 569 581. further reductions to PI and PE. Pm: Two translations and a rotation: x=ai Y=tag-{af z=a,. The reduction by Y and X + Z gives the Emst equation, which is known to have a further reduction to Pm (as well as to Pv): see the papers cited in [l, p 3441. Prv: A null translation, a rotation combined with a dilatation, and an anti-self-dual Ernst equation: stationary axisymmetric spacetimes Painlevé III: ψxx = 1 2 e2x sinh 2ψ

R.Mazzeo, J.Swoboda, H.Weiss & F.Witt, Ends of the moduli space of Higgs bundles, arxiv 1405.5765v2 D.Gaiotto, G.Moore, & A.Neitzke Wall crossing, Hitchin systems and the WKB approximation Ad in Math. 234 (2013) 239 403.

A SINGULAR SOLUTION connection A = 1 8 dz 1 0 0 1 z d z z U(1)-connection F A = da =0 Higgs field Φ, need [Φ, Φ ]=0 Φ = 0 r 1/2 zr 1/2 0 dz normal using the constant Hermitian metric

A REGULAR SOLUTION connection A t = f t (r) dz 1 0 0 1 z d z z Higgs field Φ = 0 r 1/2 e h t(r) e iθ r 1/2 e h t(r) 0 dz h t (r) =ψ(log(8tr 3/2 /3)) f t (r) = 1 8 + 1 4 rdh t dr ψ special solution to Painlevé III

Thm (MSWW) (A t, Φ t ) is smooth at the origin and converges exponentially in t, uniformly in r>r 0 to the singular solution. (A t, Φ t ) satisfy the equations A Φ t =0,F At + t 2 [Φ t, Φ t ]=0 (A t,tφ t ) satisfies the Higgs bundle equations.

COMPACT RIEMANN SURFACE g>1

compact Riemann surface Σ can t widely separate approximate solutions but...if (V,Φ) is stable, so is (V,tΦ) t = 0 (stability condition on Φ-invariant subbundles) if (A, Φ) is a solution, then there is also a solution (A t,tφ)

study solutions (A t,tφ) ast Note 1: (A, e iθ Φ) is a solution if (A, Φ) is ([e iθ Φ, (e iθ Φ) ]=[Φ, Φ ]) Note 2: Consider V = L L Φ = 0 a 0 0 tφ = t 1/2 0 0 t 1/2 0 a 0 0 t 1/2 0 0 t 1/2 defines same point in moduli space

Higgs field Φ = 0 r 1/2 e h t(r) e iθ r 1/2 e h t(r) 0 dz det Φ = zdz 2 in general, for SU(2), det Φ is a holomorphic quadratic differential on the Riemann surface Σ invariant by gauge transformations Φ g 1 Φg defined by equivalence class in the moduli space.

quadratic differential = holomorphic section of K 2 deg K 2 =4g 4, g = genus generically det Φ has 4g 4 simple zeros.

Definition: A limiting configuration for a Higgs bundle (A, Φ) where det Φ has simple zeros is (A, Φ ) satisfying F A =0, [Φ, Φ ]=0 and behaving like the model singular solution near each zero of det Φ.

Φ = 0 r 1/2 zr 1/2 0 dz put z = w 2, det Φ = zdz 2 = (2w 2 dw) 2 eigenvalues of Φ ±2w 2 dw holomorphic 1-form α =2w 2 dw σ(w) = w, σ α = α

GLOBALLY... det Φ = q, q holomorphic section of K 2 K defines a double covering S branched over the zeros of q S compact Riemann surface genus g S =4g 3

GLOBALLY... det Φ = q, q holomorphic section of K 2 K defines a double covering S branched over the zeros of q S compact Riemann surface genus g S =4g 3 x = q defines a holomorphic 1-form α with double zeros on the ramification points involution σ : S S exchanges sheets, σ α = α

on S let L be a flat line bundle with σ L = L rank 2 vector bundle E = L L Higgs field Φ =(α, α) satisfies equations with [Φ, Φ ]=0 (E,Φ) isσ-invariant

σ-invariant Higgs bundle on S = orbifold Higgs bundle on Σ parabolic Higgs bundle, singular connection...

Thm (MSWW) Take a limiting configuration (A, Φ ). Then there exists a family (A t,tφ t ) of solutions to the Higgs bundle equations for large t where (A t, Φ t ) (A, Φ ) If (A, Φ ) is associated to a solution (A 0, Φ 0 ) then (A t, Φ t ) is gauge-equivalent to (A 0, Φ 0 ).

Thm (MSWW) Take a limiting configuration (A, Φ ). Then there exists a family (A t,tφ t ) of solutions to the Higgs bundle equations for large t where (A t, Φ t ) (A, Φ ) If (A, Φ ) is associated to a solution (A 0, Φ 0 ) then (A t, Φ t ) is gauge-equivalent to (A 0, Φ 0 ). describes [A 0,tΦ 0 ] in moduli space as t

GEOMETRY OF THE MODULI SPACE

M has a natural complete hyperkähler metric complex structures I,J,K Kähler forms ω 1, ω 2, ω 3 circle action fixing ω 1, rotating ω 2, ω 3

HIGGS BUNDLES Σ compact Riemann surface V smooth vector bundle with Hermitian metric A = infinite-dimensional affine space of -operators on V A A : Ω 0 (V ) Ω 0,1 (V ) A (fs) = f A (s) + fs A B Ω 0,1 (End(V ))

M = A Ω 1,0 (End(V )) T A M = Ω 0,1 (End(V )) Ω 1,0 (End(V )) Hermitian form ω 1 Σ (tr aa + tr φφ ) ω 2 + iω 3 Σ tr aφ flat hyperkähler manifold

G = group of U(n) gauge transformations g = {ψ Ω 0 (End(V )), ψ = ψ} g = {ω Ω 2 (End(V )), ω = ω}

G = group of U(n) gauge transformations g = {ψ Ω 0 (End(V )), ψ = ψ} g = {ω Ω 2 (End(V )), ω = ω} moment map µ( A, Φ) = (F A + [Φ, Φ ], A Φ) F A = curvature of Hermitian connection with 0,1 = A

µ( A, Φ) = (F A + [Φ, Φ ], A Φ) hyperkähler quotient = µ 1 (0)/G = moduli space A Φ = 0 = holomorphic Higgs field Φ End(V ) K

µ( A, Φ) = (F A + [Φ, Φ ], A Φ) hyperkähler quotient = µ 1 (0)/G = moduli space A Φ = 0 = holomorphic Higgs field Φ End(V ) K + Φ + Φ connection F = [ 1,0 + Φ, 0,1 + Φ ] = 0 flat GL(n, C) connection

µ( A, Φ) = (F A + [Φ, Φ ], A Φ) hyperkähler quotient = µ 1 (0)/G = moduli space A Φ = 0 = holomorphic Higgs field Φ End(V ) K + Φ + Φ connection complex structure I F = [ 1,0 + Φ, 0,1 + Φ ] = 0 flat GL(n, C) connection complex structure J

R.Mazzeo, J.Swoboda, H.Weiss & F.Witt, Ends of the moduli space of Higgs bundles, arxiv 1405.5765v2

R.Mazzeo, J.Swoboda, H.Weiss & F.Witt, Ends of the moduli space of Higgs bundles, arxiv 1405.5765v2 R.Bielawski, Asymptotic behaviour of SU(2) monopole metrics, J. Reine Angew. Math. 468 (1995), 139 165. (well separated monopoles simple zeros of det Φ.)

R.Mazzeo, J.Swoboda, H.Weiss & F.Witt, Ends of the moduli space of Higgs bundles, arxiv 1405.5765v2 R.Bielawski, Asymptotic behaviour of SU(2) monopole metrics, J. Reine Angew. Math. 468 (1995), 139 165. (well separated monopoles simple zeros of det Φ.) R.Bielawski, Asymptotic metrics for SU(N)-monopoles with maximal symmetry breaking, Comm. Math. Phys. 199 (1998), 297 325. (higher rank groups)

R.Mazzeo, J.Swoboda, H.Weiss & F.Witt, Ends of the moduli space of Higgs bundles, arxiv 1405.5765v2 R.Bielawski, Asymptotic behaviour of SU(2) monopole metrics, J. Reine Angew. Math. 468 (1995), 139 165. (well separated monopoles simple zeros of det Φ.) R.Bielawski, Asymptotic metrics for SU(N)-monopoles with maximal symmetry breaking, Comm. Math. Phys. 199 (1998), 297 325. (higher rank groups) R.Bielawski, Monopoles and clusters., Comm. Math. Phys. 284 (2008), 675 712. (clusters multiple zeros of det Φ.)