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

Similar documents
THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

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

FLAT BUNDLES ON AFFINE MANIFOLDS. 1. Introduction

AFFINE YANG MILLS HIGGS METRICS. 1. Introduction

A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface

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

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

HOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT

2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d

Stability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group

INDRANIL BISWAS AND GEORG HEIN

F. LAYTIMI AND D.S. NAGARAJ

Gravitating vortices, cosmic strings, and algebraic geometry

HYPERKÄHLER MANIFOLDS

Stability and Hermitian-Einstein metrics for vector bundles on framed manifolds

AFFINE HERMITIAN-EINSTEIN METRICS

ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5

MODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE

arxiv: v2 [math.ag] 5 Jun 2018

The Atiyah bundle and connections on a principal bundle

arxiv:math/ v1 [math.ag] 18 Oct 2003

A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES

ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX

GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH. Dedicated to Professor Karen K. Uhlenbeck, on the occasion of her 60th birthday.

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

ON A THEOREM OF CAMPANA AND PĂUN

The Calabi Conjecture

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

Morse theory and stable pairs

Higgs Bundles and Character Varieties

arxiv:alg-geom/ v1 29 Jul 1993

From holonomy reductions of Cartan geometries to geometric compactifications

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

THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS

The Yau-Tian-Donaldson Conjectuture for general polarizations

Uniformization in several complex variables.

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

LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS

Moment map flows and the Hecke correspondence for quivers

arxiv: v3 [math.dg] 29 Jun 2017

arxiv: v1 [math.ag] 13 Mar 2019

NOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS

Geometric Structures in Mathematical Physics Non-existence of almost complex structures on quaternion-kähler manifolds of positive type

Comparison for infinitesimal automorphisms. of parabolic geometries

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

LIMITING PROPERTIES OF CERTAIN GEOMETRIC FLOWS IN COMPLEX GEOMETRY. Adam J. Jacob

Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016

Quaternionic Complexes

MIYAOKA-YAU-TYPE INEQUALITIES FOR KÄHLER-EINSTEIN MANIFOLDS

Citation Osaka Journal of Mathematics. 49(3)

The Higgs bundle moduli space

CONFORMAL LIMITS AND THE BIA LYNICKI-BIRULA

A NOTE ON HERMITIAN-EINSTEIN METRICS ON PARABOLIC STABLE BUNDLES

CANONICAL METRICS AND STABILITY OF PROJECTIVE VARIETIES

BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS

Some Remarks on Prill s Problem

Holomorphic line bundles

LECTURE 2: SYMPLECTIC VECTOR BUNDLES

Stable bundles with small c 2 over 2-dimensional complex tori

AN ALMOST KÄHLER STRUCTURE ON THE DEFORMATION SPACE OF CONVEX REAL PROJECTIVE STRUCTURES

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

Universität Regensburg Mathematik

Deformations of trianalytic subvarieties nal version, Oct Deformations of trianalytic subvarieties of. hyperkahler manifolds.

EXISTENCE THEORY FOR HARMONIC METRICS

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

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

Structure theorems for compact Kähler manifolds

Res + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X

L 2 extension theorem for sections defined on non reduced analytic subvarieties

class # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS

HITCHIN KOBAYASHI CORRESPONDENCE, QUIVERS, AND VORTICES INTRODUCTION

Generalized complex geometry and topological sigma-models

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

On the Convergence of a Modified Kähler-Ricci Flow. 1 Introduction. Yuan Yuan

Bibliography. 1. Thesis, On a holomorphic differerential equation, UC Berkeley, 1973.

arxiv:math/ v1 [math.dg] 16 Mar 2004

The Yang-Mills equations over Klein surfaces

Kähler manifolds and variations of Hodge structures

arxiv:math/ v1 [math.dg] 19 Nov 2004

AFFINE SPHERES AND KÄHLER-EINSTEIN METRICS. metric makes sense under projective coordinate changes. See e.g. [10]. Form a cone (1) C = s>0

Donaldson Invariants and Moduli of Yang-Mills Instantons

arxiv:alg-geom/ v2 9 Jun 1993

Tamagawa Numbers in the Function Field Case (Lecture 2)

arxiv:math/ v2 [math.ag] 1 Jul 2004

Constructing compact 8-manifolds with holonomy Spin(7)

Adapted complex structures and Riemannian homogeneous spaces

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

Periodic monopoles and difference modules

Morse Theory for the Space of Higgs Bundles

Kähler-Einstein metrics and K-stability

AN EXTENTION OF MILNOR'S INEQUALITY

REPRESENTATIONS OF COMPLEX HYPERBOLIC LATTICES INTO RANK 2 CLASSICAL LIE GROUPS OF HERMITIAN TYPE

Stable bundles on CP 3 and special holonomies

RICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

SYMPLECTIC GEOMETRY: LECTURE 5

Universität Regensburg Mathematik

Topics in Geometry: Mirror Symmetry

Let F be a foliation of dimension p and codimension q on a smooth manifold of dimension n.

Transcription:

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 connected special affine manifold, we first construct a natural filtration of E, compatible with both and ϕ, such that the successive quotients are polystable flat Higgs vector bundles. This is done by combining the Harder Narasimhan filtration and the socle filtration that we construct. Using this filtration, we construct a smooth Hermitian metric h on E and a smooth 1 parameter family {A t } t R of C automorphisms of E with the following property. Let t and ϕ t be the flat connection and flat Higgs field respectively on E constructed from and ϕ using the automorphism A t. If θ t denotes the extended connection form on E associated to the triple h, t and ϕ t, then as t +, the connection form θ t converges in the C Fréchet topology to the extended connection form θ on E given by the affine Yang Mills Higgs metrics on the polystable quotients of the successive terms in the above mentioned filtration. In particular, as t +, the curvature of θ t converges in the C Fréchet topology to the curvature of θ. 1. Introduction An affine manifold is a smooth real manifold equipped with a flat torsion free connection D on its tangent bundle [CY]. An affine manifold is called special if it admits a volume form which is covariant constant with respect to this flat connection D. The Donaldson Uhlenbeck Yau correspondence, which says that a holomorphic vector bundle V on a compact Kähler manifold admits a Yang Mills metric if and only if V is polystable ([UY], [Do]), extends to flat vector bundles on compact special affine manifolds [Lo]. In [BLS], flat Higgs vector bundles on affine manifolds were introduced and a Donaldson Uhlenbeck Yau type correspondence for such bundles was established. In other words, a flat Higgs vector bundle over a compact connected special affine manifold admits an affine Yang Mills Higgs metric if and only if it is polystable. Given a non polystable holomorphic vector bundle V on a compact Kähler manifold, it is natural to ask whether V admits Hermitian metrics which are arbitrarily close to a Yang Mills metric. A similar question can be asked in other related contexts. There is an extensive literature providing affirmative answers to this question in various contexts (see [Br], [DW], [Ra], [HT], [Wi] and references therein). Our aim here is to address the above question for flat Higgs vector bundles over a compact connected special affine manifold. (Note this includes the case of flat vector bundles as well: simply set the Higgs field to zero.) 2000 Mathematics Subject Classification. 53C07, 57N16. Key words and phrases. Affine manifold, Higgs bundle, Yang Mills Higgs metric, Harder Narasimhan filtration, socle filtration. 1

2 I. BISWAS, J. LOFTIN, AND M. STEMMLER Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric g, and let (E,, ϕ) be a flat Higgs vector bundle over M. The vector bundle E is allowed to be real or complex. The socle of a semistable flat Higgs vector bundle over M is the unique maximal polystable flat Higgs subbundle of it (see Definition 3.6). We first show the following (see Proposition 3.8): Proposition 1.1. There is a unique filtration of E by flat subbundles such that for each i [1, l], 0 = F 0 F 1 F l 1 F l = E ϕ(f i ) T M F i, (F i /F i 1, i, ϕ i ) is a polystable flat Higgs bundle, where i is the flat connection on F i /F i 1 induced by, and ϕ i is the flat Higgs field on (F i /F i 1, i ) induced by ϕ, µ g (F 1 ) µ g (F 2 /F 1 ) µ g (F i /F i 1 ) µ g (F l /F l 1 ), and the flat Higgs bundle (F i /F i 1, i, ϕ i ) is the socle of the maximal semistable subbundle of E/F i 1 equipped with the flat connection induced by and the flat Higgs field induced by ϕ. The C vector bundle E is isomorphic to the direct sum l Gr := F i /F i 1. i=1 Fix a filtration preserving C isomorphism γ : E Gr that induces the identity map of Gr. Denote by the flat connection on Gr obtained from via γ, and by ϕ the flat Higgs field on (Gr, ) obtained from ϕ via γ. Let i be the flat connection on F i /F i 1 induced by, and let ϕ i be the flat Higgs field on (F i /F i 1, i ) induced by ϕ. By Theorem 2.4, each polystable flat Higgs bundle (F i /F i 1, i, ϕ i ) admits an affine Yang Mills Higgs metric h i. Let θ i be the extended connection form of the Hermitian flat Higgs bundle (F i /F i 1, i, ϕ i, h i ). Define l (1.1) θ := θ i. i=1 This form θ is the extended connection form on Gr equipped with the flat connection l i=1 i, the flat Higgs field l i=1 ϕ i and the Hermitian metric h := l i=1 h i. We prove the following theorem (see Theorem 4.1): Theorem 1.2. There is a smooth 1 parameter family {A t } t R of C automorphisms of Gr, such that if t is the flat connection on Gr obtained from by the automorphism A t, ϕ t is the flat Higgs field on (Gr, t ) obtained from ϕ by the automorphism A t, and θ ϕ,t is the extended connection form of (Gr, t, ϕ t, h) (both and ϕ are defined above), then as t +, the extended connection form θ ϕ,t converges in the C Fréchet topology to

APPROXIMATE YANG MILLS HIGGS METRICS 3 θ (see (1.1)). In particular, as t +, the extended curvature form of θ ϕ,t converges to the extended curvature form of θ in the C Fréchet topology. The proof involves adapting a technique Bradlow uses to study vector bundles over Riemann surfaces [Br]. The key point is that for affine manifolds, as well as for Riemann surfaces, the relevant filtration in Proposition 3.8 is via subbundles and not singular subsheaves. It may be mentioned that in [BBJS], the results of [Br] are extended to higher dimensions. 2. Preliminaries Let (M, D) be an affine manifold of dimension n, meaning D is a flat torsion free connection on the tangent bundle T M of M. The flat connection on the cotangent bundle T M induced by D will be denoted by D. The vector bundle of (p, q) forms on M is defined as A p,q (M) := p T M q T M. See [Lo] for the definition of and operators and the wedge product on these forms. The affine manifold M is called special if it admits a volume form ν (meaning a nowhere vanishing smooth section of n T M) which is covariant constant with respect to the flat connection on n T M induced by D. On a special affine manifold (M, D, ν), the volume form ν induces homomorphisms A n,q (M) q T M, A p,n (M) p T M, ν χ ( 1) n(n 1) 2 χ, χ ν ( 1) n(n 1) 2 χ ; both these homomorphisms will be called division by ν. If M is compact, an (n, n) form χ on M can be integrated by considering the integral χ ν. M A smooth Riemannian metric g on M gives rise to a (1, 1) form ω g (see [Lo], [BL]). The metric g is called an affine Gauduchon metric if (ω n 1 g ) = 0 (recall that n is the dimension of M). By [Lo, Theorem 5], on a compact connected special affine manifold, every conformal class of Riemannian metrics contains an affine Gauduchon metric, and this affine Gauduchon metric is unique up to multiplication by a positive constant. Let (E, ) be a flat real or complex vector bundle over M, meaning E is a smooth vector bundle and is a flat connection on E. Given a Hermitian metric h on E, one can define a pair ( h, ) = ( h,, ),

4 I. BISWAS, J. LOFTIN, AND M. STEMMLER where h, : E A 1,0 (E) and : E A 0,1 (E) are smooth differential operators. Here we write A p,q (E) := A p,q (M) E. This pair ( h, ) is called the extended Hermitian connection of (E,, h). Similarly, there is the locally defined extended connection form and the extended curvature form We also have the extended mean curvature θ C (A 1,0 (End(E))) R = θ C (M, A 1,1 (End(E))). (2.1) K = tr g R C (M, End(E)) and the extended first Chern form c 1 (E, h) = tr R C (M, A 1,1 (M)) (see [Lo] for details). Here tr g denotes contraction of differential forms using the Riemannian metric g, and tr denotes the trace map on the fibers of End(E). The degree of (E, ) with respect to a Gauduchon metric g on M is defined to be c 1 (E, h) ωg n 1 deg g (E) := ; ν it is well defined (see [Lo, p. 109]). As usual, if rank(e) > 0, the slope of E with respect to g is defined to be We recall from [BLS]: M µ g (E) := deg g(e) rank(e). Definition 2.1. Let (E, ) be a smooth vector bundle on M equipped with a flat connection. A flat Higgs field on (E, ) is defined to be a smooth section ϕ of T M End(E) such that (i) ϕ is covariant constant, meaning the connection operator (2.2) : T M End(E) T M T M End(E) defined by the connections and D on E and T M respectively, annihilates ϕ, and (ii) ϕ ϕ = 0. If ϕ is a flat Higgs field on (E, ), then (E,, ϕ) is called a flat Higgs bundle. Definition 2.2. Let (E,, ϕ) be a flat Higgs bundle on M. (i) (E,, ϕ) is called stable (respectively, semistable) if for every flat subbundle F of E with 0 < rank(f ) < rank(e) such that ϕ(f ) T M F, we have (2.3) µ g (F ) < µ g (E) (respectively, µ g (F ) µ g (E)).

APPROXIMATE YANG MILLS HIGGS METRICS 5 (ii) The flat Higgs bundle (E,, ϕ) is called polystable if N (E,, ϕ) = (E i, i, ϕ i ), i=1 where each (E i, i, ϕ i ) is a stable flat Higgs bundle of slope µ g (E i ) = µ g (E). Let h be a Hermitian structure on a flat Higgs bundle (E,, ϕ). The extended mean curvature K ϕ of (E,, ϕ, h) is defined to be (2.4) K ϕ := tr g ( θ + [ϕ, ϕ ] ) = K + tr g [ϕ, ϕ ] A 0,0 (End E), where θ is the earlier mentioned extended connection, and K is defined in (2.1). Definition 2.3. An affine Yang Mills Higgs metric on a flat Higgs bundle (E,, ϕ) is a Hermitian metric h on E such that the extended mean curvature K ϕ of (E,, ϕ, h) satisfies the equation (2.5) K ϕ = γ Id E for some constant scalar γ. The following is proved in [BLS, Corollary 4.1]: Theorem 2.4. Let (E,, ϕ) be a flat Higgs vector bundle over M. Then E admits an affine Yang Mills Higgs metric if and only if it is polystable. Moreover, a polystable flat Higgs vector bundle over M admits a unique Yang Mills Higgs connection. 3. A natural filtration of flat Higgs bundles Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric g. In the following, by a vector bundle on M, we will mean either a real or a complex vector bundle. 3.1. The Harder Narasimhan filtration. Lemma 3.1. Let (E,, ϕ) be a flat Higgs bundle on M of positive rank. (i) There is a filtration of E by subbundles 0 = E 0 E 1 E l 1 E l = E such that for each i [1, l], the subbundle E i is preserved by, ϕ(e i ) T M E i, and (E i /E i 1, i, ϕ i ) is a stable flat Higgs bundle, where i is the flat connection on E i /E i 1 induced by, and ϕ i is the flat Higgs field on (E i /E i 1, i ) induced by ϕ. (ii) Fix a filtration 0 = E 0 E 1 E l 1 E l = E satisfying the conditions in (i). Let V E be a subbundle of positive rank such that

6 I. BISWAS, J. LOFTIN, AND M. STEMMLER V is preserved by, ϕ(v ) T M V, and (V, V, ϕ V ) is a semistable flat Higgs bundle. Then µ g (V ) Max ( {µ g (E i /E i 1 )} l i=1). Proof. Part (i) will be proved using induction on the rank of E. If rank(e) = 1, then statement (i) is obvious. Assume that (i) is proved for all E with rank(e) r 1. Now assume that rank(e) = r. If the flat Higgs bundle (E,, ϕ) is stable, then there is nothing to prove. If (E,, ϕ) is not stable, then there is a proper subbundle F E of positive rank such that F is preserved by, ϕ(f ) T M F, and µ g (F ) µ g (E). Let F (respectively, E/F ) be the flat connection on F (respectively, E/F ) induced by, and let ϕ F (respectively, ϕ E/F ) be the flat Higgs field on (F, F ) (respectively, (E/F, E/F )) induced by ϕ. By the induction hypothesis, (i) holds for both (F, F, ϕ F ) and (E/F, E/F, ϕ E/F ). A filtration of E/F given by (i) produces a filtration of E using the natural projection E E/F. Combined with the filtration of F given by (i), this produces a filtration of E satisfying the conditions in (i). This completes the proof of part (i). To prove part (ii), note that if (V 1, V1, ϕ V1 ) and (V 2, V2, ϕ V2 ) are semistable flat Higgs bundles with µ g (V 1 ) > µ g (V 2 ), then there is no nonzero homomorphism from V 1 to V 2 that intertwines both the flat connections and the flat Higgs fields. Assume that µ g (V ) > µ g (E i /E i 1 ) for all i [1, l]. Then the above observation implies that there is no nonzero homomorphism from V to E i /E i 1 that intertwines both the flat connections and the flat Higgs fields. This, in turn, implies that there is no nonzero homomorphism from V to E that intertwines both the flat connections and the flat Higgs fields. But this contradicts the fact that V is a subbundle of E preserved by both and ϕ. Therefore, we conclude that This completes the proof of part (ii). µ g (V ) Max ( {µ g (E i /E i 1 )} l i=1). Let E := (E,, ϕ) be a flat Higgs bundle on M of positive rank. Define (3.1) δ 0 (E) := Sup {µ g (F ) F is a nonzero flat subbundle of E with ϕ(f ) T M F }. Note that δ 0 (E) < by Lemma 3.1. Lemma 3.2. (i) There is a subbundle F E of positive rank such that

APPROXIMATE YANG MILLS HIGGS METRICS 7 F is preserved by, ϕ(f ) T M F, and µ g (F ) = δ 0 (E) (defined in (3.1)). (ii) There is a unique maximal subbundle V in (i). E satisfying all the three conditions Proof. Fix k [1, rank(e)] such that δ 0 (E) = Sup {µ g (F ) F is a flat subbundle of E of rank k with ϕ(f ) T M F }. Since rank(e) <, such a k exists. Fix a point x 0 M. Let Gr(k, E x0 ) be the Grassmannian parametrizing k dimensional subspaces of E x0. Since M is connected, a flat subbundle of E of rank k is uniquely determined by the point of Gr(k, E x0 ) given by its fiber at x 0. In other words, given any element z Gr(k, E x0 ), there is at most one flat subbundle of E of rank k whose fiber at x 0 gives z. For each positive integer j, fix a point z j there is a flat subbundle F (j) point of Gr(k, E x0 ) given by the fiber F x (j) 0 Gr(k, E x0 ) such that above observation), ϕ(f (j) ) T M F (j), where F (j) is as above, and µ g (F (j) ) > δ 0 (E) 1 j. E of rank k satisfying the condition that the is z j (note that F (j) is unique by the Since Gr(k, E x0 ) is compact, the subset {z j } j=1 has an accumulation point. Let z Gr(k, E x0 ) be an accumulation point of {z j } j=1. Let ρ : π 1 (M, x 0 ) GL(E x0 ) be the monodromy representation for the flat connection on E. Consider the action of π 1 (M, x 0 ) on Gr(k, E x0 ) given by ρ and the standard action of GL(E x0 ) on Gr(k, E x0 ). We note that a point z Gr(k, E x0 ) corresponds to the fiber at x 0 of a flat subbundle of E of rank k if and only if z is fixed by the action of ρ(π 1 (M, x 0 )) on Gr(k, E x0 ). In particular, the action of π 1 (M, x 0 ) on Gr(k, E x0 ) fixes each point z j. From this it follows that the accumulation point z is also fixed by the action of π 1 (M, x 0 ) on Gr(k, E x0 ). Indeed, π 1 (M, x 0 ) is finitely generated, and for each element c of a generating set, the action of ρ(c) on Gr(k, E x0 ) fixes z. Since z is fixed by the action of π 1 (M, x 0 ) on Gr(k, E x0 ), there is a flat subbundle F E of rank k such that the point of Gr(k, E x0 ) given by the fiber F x0 is z. As noted above, the flat subbundle F is unique. Since ϕ(f x (j) 0 ) Tx 0 M F x (j) 0 for all j, we conclude that ϕ(f x0 ) T x 0 M F x0. As the section ϕ is flat with respect to the connection on T M End(E) induced by D and, this immediately implies that ϕ(f ) T M F.

8 I. BISWAS, J. LOFTIN, AND M. STEMMLER From the given condition that µ g (F (j) ) > δ 0 (E) 1 j for all j, we conclude that µ g(f ) δ 0 (E). But µ g (F ) δ 0 (E) by definition of δ 0 (E). Hence µ g (F ) = δ 0 (E). This completes the proof of part (i). To prove part (ii), let C be the collection of all subbundles of E of positive rank that satisfy the three conditions in part (i). Take subbundles F 1, F 2 C. Let F 1 + F 2 E be generated by F 1 and F 2 ; it is the image of F 1 F 2 under the natural homomorphism F 1 F 2 E. We will show that F 1 + F 2 C. Since F 1 and F 2 are flat subbundles of E, it follows that F 1 + F 2 is also a subbundle of E, and F 1 + F 2 is flat. From the given condition that ϕ(f 1 ) T M F 1 and ϕ(f 2 ) T M F 2 it follows immediately that ϕ(f 1 + F 2 ) T M (F 1 + F 2 ). Therefore, (3.2) µ g (F 1 + F 2 ) δ 0 (E). We will show that (3.3) µ g (F 1 + F 2 ) = δ 0 (E). Since F 1 and F 2 are flat subbundles of E, the intersection F 1 F 2 is also a flat subbundle of E. We have a short exact sequence of flat bundles (3.4) 0 F 1 F 2 F 1 F 2 F 1 + F 2 0 where F 1 F 2 is equipped with the flat connection F1 F2. If F 1 F 2 is of rank zero, then µ g (F 1 + F 2 ) = µ g (F 1 F 2 ) = δ 0 (E), because µ g (F 1 ) = δ 0 (E) = µ g (F 2 ). So (3.3) holds if the rank of F 1 F 2 is zero. Therefore, assume that the rank of F 1 F 2 is positive. From (3.4) we have (3.5) µ g (F 1 F 2 ) = µ g(f 1 F 2 ) rank(f 1 F 2 ) + µ g (F 1 + F 2 ) rank(f 1 + F 2 ) rank(f 1 F 2 ) + rank(f 1 + F 2 ) Note that ϕ(f 1 F 2 ) T M (F 1 F 2 ), because ϕ(f i ) T M F i, i = 1, 2. Hence (3.6) µ g (F 1 F 2 ) δ 0 (E). Since µ g (F 1 F 2 ) = δ 0 (E), in view of (3.2) and (3.6), from (3.5) we conclude that (3.7) µ g (F 1 + F 2 ) = δ 0 (E) = µ g (F 1 F 2 ). Therefore, the subbundle F 1 + F 2 C. Since the rank of E is finite, this implies that V E generated by all subbundles in the family C also lies in C. This completes the proof of the lemma..

APPROXIMATE YANG MILLS HIGGS METRICS 9 Consider the unique maximal subbundle V of E in Lemma 3.2. Since µ g (V ) = δ 0 (E), it follows that V := (V, V, ϕ V ) is semistable. This flat Higgs bundle V will be called the maximal semistable subbundle of E. Lemma 3.2 has the following corollary: Corollary 3.3. Let (E,, ϕ) be a flat Higgs bundle on M of positive rank. There is a unique filtration of E by subbundles such that for each i [1, l], 0 = F 0 F 1 F l 1 F l = E the subbundle F i is preserved by, ϕ(f i ) T M F i, (F i /F i 1, i, ϕ i ) is a semistable flat Higgs bundle, where i is the flat connection on F i /F i 1 induced by, and ϕ i is the flat Higgs field on (F i /F i 1, i ) induced by ϕ, and µ g (F 1 ) > µ g (F 2 /F 1 ) > > µ g (F i /F i 1 ) > > µ g (F l /F l 1 ). Proof. For each i [1, l], the quotient F i /F i 1 equipped with the flat connection induced by and the flat Higgs field induced by ϕ is the maximal semistable subbundle of E/F i 1 equipped with the flat connection induced by and the flat Higgs field induced by ϕ. 3.2. The socle filtration. Let E := (E,, ϕ) be a semistable flat Higgs bundle over M of positive rank. Let Let F 1 and F 2 be two flat subbundles of E of positive rank such that for i = 1, 2, ϕ(f i ) T M F i, µ g (F i ) = µ g (E), and the flat bundle F i equipped with the flat Higgs field ϕ Fi F 1 + F 2 E is polystable. be generated by F 1 and F 2. We saw in the proof of Lemma 3.2 that F 1 + F 2 is a flat subbundle of E, and ϕ(f 1 + F 2 ) T M (F 1 + F 2 ). Proposition 3.4. The following two hold: (1) µ g (F 1 + F 2 ) = µ g (E), and (2) the flat vector bundle F 1 +F 2 equipped with the flat Higgs field ϕ F1 +F 2 is polystable. Proof. The first statement is already proved; see (3.7). Note that δ 0 (E) = µ g (E) because (E,, ϕ) is semistable. To prove the second statement, first note that (3.4) is in fact a short exact sequence of flat Higgs bundles (all the Higgs fields are induced by ϕ). We have µ g (F 1 F 2 ) = µ g (E) (see (3.7)). The flat vector bundle F 1 F 2 equipped with the Higgs field ϕ F1 ϕ F2 is polystable of slope µ g (E). Hence (F 1 F 2, F1 F 2, ϕ F1 F 2 ) is also polystable.

10 I. BISWAS, J. LOFTIN, AND M. STEMMLER Writing the flat polystable Higgs bundle (F 1 F 2, F1 F2, ϕ F1 ϕ F2 ) as a direct sum of stable Higgs bundles, we conclude that it is isomorphic to the direct sum of flat Higgs bundles (F 1 F 2, F1 F 2, ϕ F1 F 2 ) (F 1 + F 2, F1 +F 2, ϕ F1 +F 2 ) (in other words, the short exact sequence of flat Higgs bundles given by (3.4) splits). Therefore, the last statement of the proposition is proved. Corollary 3.5. There is a unique maximal flat subbundle F of E such that ϕ(f ) T M F, µ g (F ) = µ g (E), and the flat bundle F equipped with the flat Higgs field ϕ F is polystable. Proof. Let F E be generated by all flat subbundles of E satisfying the three conditions in the corollary. From Proposition 3.4 we conclude that F is a flat subbundle of E satisfying the three conditions in the corollary. Definition 3.6. If F is the unique maximal flat subbundle of E satisfying the conditions in Corollary 3.5, then the polystable flat Higgs bundle F := (F, F, ϕ F ) is called the socle of E. Corollary 3.7. Let E := (E,, ϕ) be a semistable flat Higgs bundle over M of positive rank. There is a unique filtration of E by flat subbundles such that for each j [1, m], 0 = F 0 F 1 F m 1 F m = E ϕ(f j ) T M F j, and the flat subbundle F j /F j 1 E/F j 1 equipped with the flat Higgs field induced by ϕ is the socle of the flat semistable vector bundle E/F j 1 equipped with the flat Higgs field induced by ϕ. 3.3. The combined filtration. Let E := (E,, ϕ) be a flat Higgs bundle over M of positive rank. Let 0 = F 0 F 1 F l 1 F l = E be the unique filtration of E given by Corollary 3.3. For each i [1, l], consider the quotient F i /F i 1 equipped with the flat connection induced by and the flat Higgs field induced by ϕ. Since it is semistable, F i /F i 1 has a unique filtration given by Corollary 3.7. These filtrations together produce a unified filtration of E as follows. Proposition 3.8. There is a unique filtration of E by flat subbundles such that for each i [1, l], ϕ(f i ) T M F i, 0 = F 0 F 1 F l 1 F l = E

APPROXIMATE YANG MILLS HIGGS METRICS 11 (F i /F i 1, i, ϕ i ) is a polystable flat Higgs bundle, where i is the flat connection on F i /F i 1 induced by, and ϕ i is the flat Higgs field on (F i /F i 1, i ) induced by ϕ, µ g (F 1 ) µ g (F 2 /F 1 ) µ g (F i /F i 1 ) µ g (F l /F l 1 ), and the flat Higgs bundle (F i /F i 1, i, ϕ i ) is the socle of the maximal semistable subbundle of E/F i 1 equipped with the flat connection induced by and the flat Higgs field induced by ϕ. 4. Flow under a 1 parameter group of automorphisms As before, let M be a compact connected special affine manifold equipped with an affine Gauduchon metric g. Let (E,, ϕ) be a flat Higgs bundle over M. Let (4.1) 0 = F 0 F 1 F l 1 F l = E be the filtration constructed in Proposition 3.8. Fix C subbundles V i E, 0 i l, such that (1) the natural homomorphism is an isomorphism, and (2) for every j [0, l], γ : Note that V 0 = 0, and the composition l V i E i=0 ( j ) γ V i = F j. (4.2) V i F i F i /F i 1 is an isomorphism for all i [1, l]. i=0 Let i be the flat connection on V i induced by using the isomorphism of V i with F i /F i 1 in (4.2). Let ϕ i be the flat Higgs field on (V i, i ) induced by ϕ using the isomorphism in (4.2). Let be the flat connection on l i=1 V i given by using the isomorphism γ. Let ϕ be the flat Higgs field on ( l i=1 V i, ) given by ϕ using the isomorphism γ. Each of the polystable flat Higgs bundles (V i, i, ϕ i ) is equipped with an affine Yang Mills Higgs metric h i (Theorem 2.4). Let l h := i=1 be the induced Hermitian metric on l i=1 V i. Let (4.3) θ denote the extended connection form on the bundle l i=1 V i equipped with the flat connection l i=1 i, the flat Higgs field l i=1 ϕ i and the Hermitian metric h. Note that θ is h i

12 I. BISWAS, J. LOFTIN, AND M. STEMMLER the direct sum of the extended connection forms on (V i, i, ϕ i ) associated to the affine Yang Mills Higgs metrics h i. For every t R, define a C automorphism of l i=1 V i l (4.4) A t := exp(jt) Id Vj. Define t := A t A 1 t j=1 and ϕ t := A t ϕ A 1 t. In particular, the flat Higgs bundle i=1 V i,, ϕ) for all t. Hence ( l i=1 V i, t, ϕ t ) is isomorphic to the flat Higgs bundle ( l ( l i=1 V i, t, ϕ t ) is isomorphic to (E,, ϕ) for all t. Keep the Hermitian metric h on l i=1 V i fixed, meaning it is not changed as t changes. Let θ t be the extended connection form on the bundle l i=1 V i equipped with the flat connection t and the Hermitian metric h. Let (4.5) θ ϕ,t := ( θ t + ϕ t, (ϕ t ) ) be the extended connection form on ( l i=1 V i, t, ϕ t, h); here (ϕ t ) denotes the adjoint of ϕ t with respect to h. (See [BLS, p. 6].) Theorem 4.1. As t +, the extended connection form θ ϕ,t in (4.5) converges in the C Fréchet topology to the extended connection form θ in (4.3). Therefore, as t +, the extended curvature form of θ ϕ,t converges in the C Fréchet topology to the extended curvature form of θ. Proof. For notational convenience, we only give a proof for the case where l = 2. The proof for filtrations of arbitrary length works analogously. Since the Hermitian metric h on V 1 V 2 is kept fixed, to prove the theorem it suffices to show that as t +, the flat connection t converges in the C Fréchet topology to 1 2, and as t +, the Higgs field ϕ t converges in the C Fréchet topology to ϕ 1 ϕ 2. In terms of the direct sum decomposition V 1 V 2, we have ( ) 1 α =, 0 2 where α is a smooth complex 1 form on M with values in Hom(V 1, V 2 ). From the definition of A t (see (4.4)), we obtain ( ) t 1 exp( t) α =. 0 2 This implies that as t +, the flat connection t converges in the C Fréchet topology to 1 2. Analogously, we have ϕ = ( ϕ1 β 0 ϕ 2 ),

APPROXIMATE YANG MILLS HIGGS METRICS 13 where β is a smooth section of A 1,0 (Hom(V 2, V 1 )). It follows that ( ) ϕ t = A t ϕ A 1 ϕ1 exp( t) β t =, 0 ϕ 2 implying that as t +, the Higgs field ϕ t converges in the C Fréchet topology to ϕ 1 ϕ 2. This completes the proof. References [BL] I. Biswas and J. Loftin: Hermitian Einstein connections on principal bundles over flat affine manifolds, Int. Jour. Math. 23, No. 4 (2012), doi:10.1142/s0129167x12500395. [BLS] I. Biswas, J. Loftin and M. Stemmler: Affine Yang Mills Higgs metrics, Jour. Symp. Geom. 11 (2013), 377 404. [BBJS] I. Biswas, S. B. Bradlow, A. Jacob and M. Stemmler: Automorphisms and connections on Higgs bundles over compact Kähler manifolds, Diff. Geom. Appl. (to appear). [Br] S. B. Bradlow: Hermitian Einstein inequalities and Harder Narasimhan filtrations, Int. Jour. Math. 6 (1995), 645 656. [CY] S. Y. Cheng and S. T. Yau: The real Monge Ampère equation and affine flat structures, Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations, Vol. 1, 2, 3 (Beijing, 1980), 339 370, Science Press, Beijing, 1982. [DW] G. D. Daskalopoulos and R. A. Wentworth: Convergence properties of the Yang Mills flow on Kähler surfaces, Jour. Reine Angew. Math. 575 (2004), 69 99. [Do] S. K. Donaldson: Infinite determinants, stable bundles and curvature, Duke Math. Jour. 54 (1987), 231 247. [HT] M. C. Hong and G. Tian: Asymptotical behaviour of the Yang Mills flow and singular Yang Mills connections, Math. Ann. 330 (2004), 441 472. [Lo] J. Loftin: Affine Hermitian Einstein metrics, Asian Jour. Math. 13 (2009), 101 130. [Ra] J. Råde: On the Yang Mills heat equation in two and three dimensions, Jour. Reine Angew. Math. 431 (1992), 123 163. [UY] K. Uhlenbeck and S. T. Yau: On the existence of Hermitian Yang Mills connections in stable vector bundles, Commun. Pure Appl. Math. 39 (1986), 257 293. [Wi] G. Wilkin: Morse theory for the space of Higgs bundles, Comm. Anal. Geom. 16 (2008), 283 332. School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400005, India E-mail address: indranil@math.tifr.res.in Department of Mathematics and Computer Science, Rutgers University at Newark, Newark, NJ 07102, USA E-mail address: loftin@rutgers.edu Fachbereich Mathematik und Informatik, Philipps Universität Marburg, Hans Meerwein Straße, Lahnberge, 35032 Marburg, Germany E-mail address: stemmler@mathematik.uni-marburg.de