Energy identity for anti-self-dual instantons on C × Σ  

Katrin Wehrheim

November 27, 2006

Abstract
We prove an energy identity for anti-self-dual connections on the product C × Σ   of the complex plane and a Riemann surface. The energy is a multiple of a basic constant that is determined from the values of a corresponding Chern-Simons functional on flat connections and its ambiguity under gauge transformations.
For S U ( 2 )   -bundles this identity supports the conjecture that the finite energy anti-self-dual instantons correspond to holomorphic bundles over C P 1 × Σ   .
Such anti-self-dual instantons on S U ( n )   and S O ( 3 )   -bundles arise in particular as bubbles in adiabatic limits occurring in the context of mirror symmetry and the Atiyah-Floer conjecture. Our identity proves a quantization of the energy of these bubbles that simplifies and strengthens the involved analysis considerably.

1 Introduction

Let Σ   be a Riemann surface and consider the trivial S U ( 2 )   -bundle over C × Σ   .
A connection Ξ ∈ A ( C × Σ )   on this bundle is a 1   -form Ξ ∈ Ω 1 ( C × Σ ; s u ( 2 ) )   with values in the Lie algebra s u ( 2 )   . Gauge transformations u ∈ G ( C × Σ )   of the bundle are represented by maps u ∈ M a p ( C × Σ , S U ( 2 ) )   and act on A ( C × Σ )   by u * Ξ = u − 1 Ξ u + u − 1 d u   . We equip C × Σ   with a product metric of the Euclidean metric on C   and a fixed metric on Σ   . Then a connection Ξ ∈ A ( C × Σ )   is called an ASD instanton if its curvature is anti-self-dual, F Ξ + * F Ξ = 0 ,   where *   is the Hodge operator w.r.t. the metric on C × Σ   . The curvature F Ξ = d Ξ + Ξ ∧ Ξ   transforms under gauge transformations u ∈ G ( C × Σ )   as F u * Ξ = u − 1 F Ξ u   , hence the anti-self-duality equation is gauge invariant. Next, we equip s u ( 2 )   with the S U ( 2 )   -invariant inner product 〈 ξ , η 〉 = − t r ( ξ η )   . Then the energy of a connection Ξ ∈ A ( C × Σ )   is the gauge invariant quantity
ℰ ( Ξ ) : = 1 2 ∫ C × Σ | F Ξ | 2 .
The main purpose of this note is to establish the following energy identity.
Its surprisingly simple proof is given in section  2 . For the sake of simplicity we first focus our attention to S U ( 2 )   -bundles. Later, we will also indicate how to generalize this result to other structure groups and nontrivial bundles over Σ   .
Theorem 1.1 Let Ξ ∈ A ( C × Σ )   be an ASD instanton. If it has finite energy ℰ ( Ξ ) < ∞   , then actually ℰ ( Ξ ) ∈ 4 π 2 N 0   .
This energy quantization supports a conjectural correspondence between finite energy ASD instantons on C × Σ   and holomorphic bundles over C P 1 × Σ   . For Σ = T 2   Biquard and Jardim [1] showed that the gauge equivalence classes of ASD instantons with quadratic curvature decay are in one-to-one correspondence to a class of rank 2 stable holomorphic bundles over C P 1 × T 2   .
Here the holomorphic structure induced by an instanton Ξ   extends over { ∞ } × T 2   to define a bundle E   , whose second Chern number is given by the instanton energy, c 2 ( E ) = 1 8 π 2 ∫ 〈 F Ξ ∧ F Ξ 〉   , see [4, § 2.3] . By our result this formula continues to give integer (Chern ?) numbers for finite energy instantons and any surface Σ   .
Remark 1.2 A similar energy identity holds for ASD instantons on C × P   for any principal bundle P → Σ   with compact structure group G   :
Suppose that the Lie algebra g   is equipped with a G   -invariant metric that satisfies (H) below. Then the statement of theorem  1.1 holds with 4 π 2   replaced by the constant κ g N G − 1   given below.
On a nontrivial bundle P   the gauge transformations are represented by sections in the associated bundle G P = P × c G   (using the conjugation action on G   ). We can pick a G   -invariant inner product on g   (and thus on g P = P × A d g   ).
Then the Maurer-Cartan 3   -form on each fibre of G P   induces a closed 3   -form η G : = 1 12 〈 g − 1 d g ∧ [ g − 1 d g ∧ g − 1 d g ] 〉   on G P   . We need the following assumption.
(H): There exists κ g > 0   such that [ κ g η G ] ∈ H 3 ( G P , R )   is an integral class.
This holds for example with κ s o ( 3 ) = 4 π 2   for any S O ( 3 )   -bundle when we choose the inner product − 2 t r ( ξ η )   for ξ , η ∈ s o ( 3 )   . It can also be achieved for any simply connected compact Lie group G   , 1   e.g. for the trivial S U ( n )   -bundles. Finally, N G   is the least common multiple of { 1 , 2 , … , n G }   , where n G   denotes the maximal number of connected components that the centralizer of a subgroup in G   can have. This is finite since G   is compact. For S O ( 3 )   we have N S O ( 3 ) = 1   .
One source of interest in the ASD instantons on C × Σ   is the following adiabatic limit. Let Σ ↪ X → M   be a fibre bundle with dim X = 4   . Consider ASD instantons Ξ ɛ   over X   with respect to metrics g M + ɛ 2 g Σ   for a sequence ɛ → 0   . If | F Ξ ɛ | fibre | + ɛ 2 | F Ξ ɛ | mix |   converges to a nonzero value, then local rescaling on M   (but not in the fibre) yields an ASD instanton on C × Σ   in the limit. This bubbling phenomenon is a central difficulty of the limiting process.
Adiabatic limits of this type have fascinating consequences from topology to mathematical physics. They were first considered by Dostoglou-Salamon [3] , and recently by Chen [2] and Nishinou [5] . The energy quantization presented here simplifies and strengthens the bubbling analysis and results in all these cases.
It can also be used for the Atiyah-Floer conjecture project [6, 9] .
I would like to thank Benoit Charbonneau, Kenji Fukaya, Marcos Jardim, Tom Mrowka, and Dietmar Salamon for helpful discussions.

1   In that case the bundle is automatically trivial and G   is isomorphic to a product S 1 × … × S k   of simply connected, simple, and compact Lie groups S j   with π 3 ( S j ) ∼ = Z   . So we can pick a metric on each factor S j   for which [ η S j ] ∈ H 3 ( S j , R )   is integral.

2 Proof of the energy identity

In the following, S r ⊂ C   denotes the circle of radius r   centered at 0   . We moreover denote by D r ⊂ C   the disk of radius r   , and we introduce polar coordinates ( r , φ ) ∈ ( 0 , ∞ ) × S 1   on C * = C \ { 0 }   , with S 1 = R / 2 π Z   . Then on C * × Σ   we can write a connection Ξ ∈ A ( C × Σ )   in the splitting Ξ = A ( r ) + R ( r ) d r + Φ ( r ) d φ   with A ( r ) : S 1 → A ( Σ )   and R ( r ) , Φ ( r ) : S 1 → Ω 0 ( Σ , s u ( 2 ) )   for all r ∈ ( 0 , ∞ )   .
The anti-self-duality equation becomes in this splitting { r − 1 ( ∂ r Φ − ∂ φ R + [ Φ , R ] ) + * F A = 0 , r − 1 ( ∂ φ A − d A Φ ) − * ( ∂ r A − d A R ) = 0 .   By F Ξ ( r )   we denote the curvature of Ξ ∈ A ( C × Σ )   over S r × Σ   (but as a 2   -form on C × Σ   ). Then the curvature of an ASD instanton is 1 2 | F Ξ ( r ) | 2 = | F A ( r ) | 2 + r − 2 | ∂ φ A ( r ) − d A ( r ) Φ ( r ) | 2 .   The energy of an ASD instanton on D r × Σ   can be expressed in terms of the Chern-Simons functional of B ( r ) : = A ( r ) + Φ ( r ) d φ ∈ A ( S 1 × Σ )   , 1 2 ∫ D r × Σ | F Ξ | 2 = − 1 2 ∫ D r × Σ 〈 F Ξ ∧ F Ξ 〉 = − C S ( B ( r ) ) .   The Chern-Simons functional on connections B = A + Φ d φ ∈ A ( S 1 × P )   is
C S ( B ) = 1 2 ∫ S 1 × Σ 〈 B ∧ ( F B − 1 6 [ B ∧ B ] ) 〉
= ∫ S 1 ∫ Σ 1 2 〈 ∂ φ A ∧ A 〉 + 〈 F A , Φ 〉 . (1)
For future reference we note the following identity which shows that the Chern-Simons functional is continuous with respect to the W 1 , 3 2   -norm. (Note that W 1 , 3 2 ↪ L 3   on a 3   -manifold.) For all B , B 0 ∈ A ( S 1 × Σ )  
C S ( B ) − C S ( B 0 ) (2)
= ∫ 1 2 〈 ( F B + F B 0 ) ∧ ( B − B 0 ) 〉 − 1 12 〈 [ ( B − B 0 ) ∧ ( B − B 0 ) ] ∧ ( B − B 0 ) 〉 .
The Chern-Simons functional is not gauge invariant, but its ambiguity on gauge orbits is determined by the degree of the gauge transformations (as maps to S U ( 2 ) ∼ = S 3   ): For all B ∈ A ( S 1 × Σ )   and u ∈ G ( S 1 × Σ )  
C S ( B ) − C S ( u * B ) = 4 π 2 d e g ( u ) ∈ 4 π 2 Z (3)
For a general (possibly nontrivial) bundle P → Σ   one has to fix a flat reference connection. Then connections are given by 1   -forms with values in g P   and the Chern-Simons functional depends on the choice of this reference connection only up to an additive constant. (The proof of theorem  1.1 will show that a flat connection exists.) The right hand side of ( 2 ) is then given by ∫ u * η G   . So under the assumption (H) we have C S ( B ) − C S ( u * B ) ∈ κ g Z   .
The second point that affects the constant in the energy identity is the possible values of the Chern-Simons functional on flat connections. The following result holds for S U ( 2 )   and S O ( 3 )   -bundles, and we will give the argument for a general bundle P → Σ   , indicating how to proceed for other structure groups.
Lemma 2.1 For every flat connection B ∈ A f l a t ( S 1 × Σ )   there is a gauge transformation u ∈ G ( S 1 × Σ )   such that C S ( u * B ) = 0   , and consequentially C S ( B ) = 4 π 2 d e g ( u ) ∈ 4 π 2 Z   .
Proof: We periodically extend the given flat connection to B ∈ A f l a t ( R × P )   .
Then one can find u : R → G ( P )   such that u ( 0 ) ≡ 1 l   and u * B ∈ A f l a t ( R × P )   has no d φ   -component. Thus the curvature component ∂ φ ( u * B )   vanishes, and hence u * B ≡ A 0 ∈ A f l a t ( P )   . This is done by solving ∂ φ u = − Φ u   , so due to the periodicity of Φ   we obtain the twisted periodicity u ( φ + 2 π ) = u ( φ ) u ( 2 π )   for the gauge transformation. Unless u ( 2 π ) ≡ 1 l   this does not define a gauge transformation on S 1 × P   . However, we know that u ( 2 π )   lies in the isotropy subgroup G A 0   , since u ( 2 π ) * A 0 = u ( 2 π ) * B ( 2 π , ⋅ ) | Σ = u ( 0 ) * B ( 0 , ⋅ ) | Σ = A 0   . If G A 0   is connected, then we can multiply u   with a path within G A 0   from 1 l   to u ( 2 π ) − 1   to obtain the required gauge transformation w ∈ G ( S 1 × P )   . It satisfies w * B = A 0 + Φ 0 d φ   with ∂ φ A 0 = 0   but possibly nonzero Φ 0   . Now compare ( 1 ) to see that C S ( w * B ) = 0   , and so C S ( B ) = 4 π 2 d e g ( w )   by ( 3 ).
For S O ( 3 )   -bundles, any isotropy subgroup is connected since any centralizer (of the holonomy subgroup) in S O ( 3 )   is connected. Thus the proof is finished.
For a general Lie group whose centralizers have up to n G   components, one finds that u ( 2 π ) n   is homotopic to the identity for some integer n ≤ n G   . Then an ” n   -fold cover” B ( n )   of B   can be put into a gauge whose Chern-Simons functional vanishes, and thus C S ( B ) = n − 1 C S ( B ( n ) ) ∈ κ g n − 1 Z ⊂ κ g N G − 1 Z   if (H) holds.
For S U ( 2 )   we would have n G = 2   due to the centralizer { 1 l , − 1 l }   . However, since the isotropy element u ( 2 π ) = − 1 l   is a constant, we do not need to go to a cover. More generally suppose that u ( 2 π ) = exp ( 2 π ξ )   for some constant ξ ∈ g   .
Let v ( φ ) : = exp ( − φ ξ )   , then w : = u v ∈ G ( S 1 × Σ )   and w * B = v − 1 A 0 v − ξ d φ   (and both are of class W 1 , ∞   ). Then using F A 0 = 0   and d ξ = 0   we obtain
C S ( w * B ) = ∫ S 1 ∫ Σ 1 2 〈 v − 1 [ ξ , A 0 ] v ∧ v − 1 A 0 v 〉
= ∫ S 1 ∫ Σ 〈 ξ , A 0 ∧ A 0 〉 = − ∫ S 1 ∫ Σ 〈 ξ , d A 0 〉 = 0 .
□   In the subsequent proof of the energy identity we also work with a general bundle P → Σ   and only for the final conclusion use the knowledge from lemma  2.1 on the possible values of the Chern-Simons functional on flat connections.
Proof of theorem  1.1 : Note that for B ( r ) ∈ A ( S 1 × Σ )   given by Ξ   on S r × Σ   we have | F B ( r ) | 2 = | F A ( r ) | 2 + | ∂ φ A ( r ) − d A ( r ) Φ ( r ) | 2 ≤ 1 2 r 2 | F Ξ ( r ) | 2   when r ≥ 1   , so ∫ 1 ∞ r − 1 ∥ F B ( r ) ∥ L 2 ( S 1 × Σ ) 2 d r ≤ ℰ ( Ξ ) < ∞ .   Thus we find a sequence r i → ∞   with ∥ F B ( r i ) ∥ L 2 ( S 1 × Σ ) → 0   . By Uhlenbeck's weak compactness [7] we then find a further subsequence, gauge transformations u i ∈ G ( S 1 × P )   , and a flat limit connection B ∞ ∈ A f l a t ( S 1 × P )   such that ∥ u i * B ( r i ) − B ∞ ∥ W 1 , 2 ( S 1 × Σ ) → 0   . 2   So we have C S ( u i * B ( r i ) ) → C S ( B ∞ )   due to the convergence of u i * B ( r i )   and ( 2 ). On the other hand the energy is finite, so
ℰ ( Ξ ) = − lim i → ∞ ∫ D r i × Σ 〈 F Ξ ∧ F Ξ 〉 = − lim i → ∞ C S ( B ( r i ) ) .
This shows that C S ( B ( r i ) )   also converges. Now for an S U ( 2 )   -bundle we have C S ( B ∞ ) ∈ 4 π 2 Z   from lemma  2.1 . Thus C S ( B ( r i ) ) = C S ( u i * B ( r i ) ) + 4 π 2 d e g ( u i )   must converge to some value in 4 π 2 Z   . This proves the claim since that limit is also the energy ℰ ( Ξ )   . For a general bundle under the assumption (H) we similarly obtain ℰ ( Ξ ) ∈ κ g N G − 1 Z   . □   References

  1. O Biquard, M Jardim, Asymptotic behavious and the moduli space of doubly-periodic instantons, J. Eur. Math. Coc. 3 (2001), 335–375.
  2. J Chen, Convergence of anti-self-dual connections on S U ( n )   -bundles over product of two Riemann surfaces, Comm. Math. Phys. 196 (1998), no. 3, 571–590.
  3. S Dostoglou, D A Salamon, Self-dual instantons and holomorphic curves, Annals of Mathematics 139 (1994), 581–640.
  4. M Jardim, Nahm transform and spectral curves for doubly-periodic instantons Comm. Math. Phys. 225 (2002), no. 3, 639–668.
  5. T Nishinou, Convergence of Hermitian-Yang-Mills Connections on Kähler Surfaces and mirror symmetry, preprint, math.SG/0301324.
  6. D A Salamon, Lagrangian intersections, 3   -manifolds with boundary, and the Atiyah–Floer conjecture, Proceedings of the ICM, Zürich 1994, Vol. 1, 526–536.
  7. K K Uhlenbeck, Connections with L p   -bounds on curvature, Comm. Math. Phys. 83 (1982), 31–42.
  8. K Wehrheim, Uhlenbeck Compactness, EMS, Zürich, 2004.
  9. K Wehrheim, Lagrangian boundary conditions for anti-self-dual instantons and the Atiyah-Floer conjecture, Proceedings of the conference on Symplectic Topology in Stare Jablonki, Poland, J. Symplectic Geom., preprint.

2   Originally, this convergence is only in the weak W 1 , 2   -topology and in the L 4   -norm due to a compact Sobolev embedding.

By a local slice theorem (e.g. [8,Theorem 8.1] ) one can achieve the additional relative Coulomb gauge condition d A ∞ * ( v ν * A ν − A ∞ ) = 0   . Moreover, we have d A ∞ ( v ν * A ν − A ∞ ) = v ν − 1 F A ν v ν − 1 2 [ ( v ν * A ν − A ∞ ) ∧ ( v ν * A ν − A ∞ ) ]   . So from the regularity of the Hodge decomposition of 1   -forms (e.g. [8,Theorem 5.1] ) one obtains the convergence in the W 1 , 2   -norm.