Abstract

We prove an energy identity for anti-self-dual connections on the product
$\mathbb{C}\times \Sigma $
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
$SU\left(2\right)$
-bundles this identity supports the conjecture that the finite energy anti-self-dual instantons correspond to holomorphic bundles over
$\mathbb{C}{\mathbb{P}}^{1}\times \Sigma $
.

Such anti-self-dual instantons on
$SU\left(n\right)$
and
$SO\left(3\right)$
-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
$\Sigma $
be a Riemann surface and consider the trivial
$SU\left(2\right)$
-bundle over
$\mathbb{C}\times \Sigma $
.

A connection
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
on this bundle is a
$1$
-form
$\Xi \in {\Omega}^{1}(\mathbb{C}\times \Sigma ;\mathfrak{s}\mathfrak{u}(2\left)\right)$
with values in the Lie algebra
$\mathfrak{s}\mathfrak{u}\left(2\right)$
. Gauge transformations
$u\in \mathcal{G}(\mathbb{C}\times \Sigma )$
of the bundle are represented by maps
$u\in Map(\mathbb{C}\times \Sigma ,SU(2\left)\right)$
and act on
$\mathcal{A}(\mathbb{C}\times \Sigma )$
by
${u}^{*}\Xi ={u}^{-1}\Xi u+{u}^{-1}du$
. We equip
$\mathbb{C}\times \Sigma $
with a product metric of the Euclidean metric on
$\mathbb{C}$
and a fixed metric on
$\Sigma $
. Then a connection
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
is called an ASD instanton if its curvature is anti-self-dual,
$${F}_{\Xi}+*{F}_{\Xi}=0,$$
where
$*$
is the Hodge operator w.r.t. the metric on
$\mathbb{C}\times \Sigma $
. The curvature
${F}_{\Xi}=d\Xi +\Xi \wedge \Xi $
transforms under gauge transformations
$u\in \mathcal{G}(\mathbb{C}\times \Sigma )$
as
${F}_{{u}^{*}\Xi}={u}^{-1}{F}_{\Xi}u$
, hence the anti-self-duality equation is gauge invariant. Next, we equip
$\mathfrak{s}\mathfrak{u}\left(2\right)$
with the
$SU\left(2\right)$
-invariant inner product
$\langle \xi ,\eta \rangle =-tr\left(\xi \eta \right)$
. Then the energy of a connection
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
is the gauge invariant quantity

The main purpose of this note is to establish the following energy identity.

$$\begin{array}{cc}\mathcal{\mathcal{E}}(\Xi ):=\frac{1}{2}{\int}_{\mathbb{C}\times \Sigma}|{F}_{\Xi}{|}^{2}.& \end{array}$$ |

$$\begin{array}{}\end{array}$$ |

Its surprisingly simple proof is given in section 2 . For the sake of simplicity we first focus our attention to
$SU\left(2\right)$
-bundles. Later, we will also indicate how to generalize this result to other structure groups and nontrivial bundles over
$\Sigma $
.

Theorem 1.1
Let
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
be an ASD instanton. If it has finite energy
$\mathcal{\mathcal{E}}(\Xi )<\infty $
, then actually
$\mathcal{\mathcal{E}}(\Xi )\in 4{\pi}^{2}{\mathbb{N}}_{0}$
.

This energy quantization supports a conjectural correspondence between finite energy ASD instantons on
$\mathbb{C}\times \Sigma $
and holomorphic bundles over
$\mathbb{C}{\mathbb{P}}^{1}\times \Sigma $
. For
$\Sigma ={\mathbb{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
$\mathbb{C}{\mathbb{P}}^{1}\times {\mathbb{T}}^{2}$
.
Here the holomorphic structure induced by an instanton
$\Xi $
extends over
$\{\infty \}\times {\mathbb{T}}^{2}$
to define a bundle
$E$
, whose second Chern number is given by the instanton energy,
${c}_{2}\left(E\right)=\frac{1}{8{\pi}^{2}}\int \langle {F}_{\Xi}\wedge {F}_{\Xi}\rangle $
, see [4,
§
2.3] . By our result this formula continues to give integer (Chern ?) numbers for finite energy instantons and any surface
$\Sigma $
.

Remark 1.2
A similar energy identity holds for ASD instantons on
$\mathbb{C}\times P$
for any principal bundle
$P\to \Sigma $
with compact structure group
$G$
:

Suppose that the Lie algebra
$\mathfrak{g}$
is equipped with a
$G$
-invariant metric that satisfies (H) below. Then the statement of theorem 1.1 holds with
$4{\pi}^{2}$
replaced by the constant
${\kappa}_{\mathfrak{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{\times}_{c}G$
(using the conjugation action on
$G$
). We can pick a
$G$
-invariant inner product on
$\mathfrak{g}$
(and thus on
${\mathfrak{g}}_{P}=P{\times}_{Ad}\mathfrak{g}$
).
Then the Maurer-Cartan
$3$
-form on each fibre of
${G}_{P}$
induces a closed
$3$
-form
${\eta}_{G}:=\frac{1}{12}\langle {g}^{-1}dg\wedge [{g}^{-1}dg\wedge {g}^{-1}dg]\rangle $
on
${G}_{P}$
. We need the following assumption.

(H): There exists
${\kappa}_{\mathfrak{g}}>0$
such that
$\left[{\kappa}_{\mathfrak{g}}{\eta}_{G}\right]\in {H}^{3}({G}_{P},\mathbb{R})$
is an integral class.

This holds for example with
${\kappa}_{\mathfrak{s}\mathfrak{o}\left(3\right)}=4{\pi}^{2}$
for any
$SO\left(3\right)$
-bundle when we choose the inner product
$-2tr\left(\xi \eta \right)$
for
$\xi ,\eta \in \mathfrak{s}\mathfrak{o}\left(3\right)$
. It can also be achieved for any simply connected compact Lie group
$G$
,^{
$\text{1}$
}
e.g. for the trivial
$SU\left(n\right)$
-bundles. Finally,
${N}_{G}$
is the least common multiple of
$\{1,2,\dots ,{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
$SO\left(3\right)$
we have
${N}_{SO\left(3\right)}=1$
.

One source of interest in the ASD instantons on
$\mathbb{C}\times \Sigma $
is the following adiabatic limit. Let
$\Sigma \hookrightarrow X\to M$
be a fibre bundle with
$dimX=4$
. Consider ASD instantons
${\Xi}_{\varepsilon}$
over
$X$
with respect to metrics
${g}_{M}+{\varepsilon}^{2}{g}_{\Sigma}$
for a sequence
$\varepsilon \to 0$
. If
$\left|{F}_{{\Xi}_{\varepsilon}}{|}_{\text{fibre}}\right|+{\varepsilon}^{2}\left|{F}_{{\Xi}_{\varepsilon}}{|}_{\text{mix}}\right|$
converges to a nonzero value, then local rescaling on
$M$
(but not in the fibre) yields an ASD instanton on
$\mathbb{C}\times \Sigma $
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.

^{
$\text{1}$
}
In that case the bundle is automatically trivial and
$G$
is isomorphic to a product
${S}_{1}\times \dots \times {S}_{k}$
of simply connected, simple, and compact Lie groups
${S}_{j}$
with
${\pi}_{3}\left({S}_{j}\right)\sim =\mathbb{Z}$
. So we can pick a metric on each factor
${S}_{j}$
for which
$\left[{\eta}_{{S}_{j}}\right]\in {H}^{3}({S}_{j},\mathbb{R})$
is integral.

2 Proof of the energy identity

In the following,
${S}_{r}\subset \mathbb{C}$
denotes the circle of radius
$r$
centered at
$0$
. We moreover denote by
${D}_{r}\subset \mathbb{C}$
the disk of radius
$r$
, and we introduce polar coordinates
$(r,\phi )\in (0,\infty )\times {S}^{1}$
on
${\mathbb{C}}^{*}=\mathbb{C}\backslash \left\{0\right\}$
, with
${S}^{1}=\mathbb{R}/2\pi \mathbb{Z}$
. Then on
${\mathbb{C}}^{*}\times \Sigma $
we can write a connection
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
in the splitting
$$\Xi =A\left(r\right)+R\left(r\right)dr+\Phi \left(r\right)d\phi $$
with
$A\left(r\right):{S}^{1}\to \mathcal{A}(\Sigma )$
and
$R\left(r\right),\Phi \left(r\right):{S}^{1}\to {\Omega}^{0}(\Sigma ,\mathfrak{s}\mathfrak{u}(2\left)\right)$
for all
$r\in (0,\infty )$
.

The anti-self-duality equation becomes in this splitting
$$\{\begin{array}{cc}{r}^{-1}\left({\partial}_{r}\Phi -{\partial}_{\phi}R+[\Phi ,R]\right)+*{F}_{A}& =0,\\ {r}^{-1}\left({\partial}_{\phi}A-{d}_{A}\Phi \right)-*\left({\partial}_{r}A-{d}_{A}R\right)& =0.\end{array}$$
By
${F}_{\Xi}\left(r\right)$
we denote the curvature of
$\Xi \in \mathcal{A}(\mathbb{C}\times \Sigma )$
over
${S}_{r}\times \Sigma $
(but as a
$2$
-form on
$\mathbb{C}\times \Sigma $
). Then the curvature of an ASD instanton is
$$\frac{1}{2}\left|{F}_{\Xi}\right(r){|}^{2}=|{F}_{A\left(r\right)}{|}^{2}+{r}^{-2}{\left|{\partial}_{\phi}A\left(r\right)-{d}_{A\left(r\right)}\Phi \left(r\right)\right|}^{2}.$$
The energy of an ASD instanton on
${D}_{r}\times \Sigma $
can be expressed in terms of the Chern-Simons functional of
$B\left(r\right):=A\left(r\right)+\Phi \left(r\right)d\phi \in \mathcal{A}({S}^{1}\times \Sigma )$
,
$$\frac{1}{2}{\int}_{{D}_{r}\times \Sigma}|{F}_{\Xi}{|}^{2}=-\frac{1}{2}{\int}_{{D}_{r}\times \Sigma}\langle {F}_{\Xi}\wedge {F}_{\Xi}\rangle =-\mathcal{C}\mathcal{S}(B\left(r\right)).$$
The Chern-Simons functional on connections
$B=A+\Phi d\phi \in \mathcal{A}({S}^{1}\times P)$
is

For future reference we note the following identity which shows that the Chern-Simons functional is continuous with respect to the
${W}^{1,\frac{3}{2}}$
-norm. (Note that
${W}^{1,\frac{3}{2}}\hookrightarrow {L}^{3}$
on a
$3$
-manifold.) For all
$B,{B}^{0}\in \mathcal{A}({S}^{1}\times \Sigma )$

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
$SU\left(2\right)\sim ={S}^{3}$
): For all
$B\in \mathcal{A}({S}^{1}\times \Sigma )$
and
$u\in \mathcal{G}({S}^{1}\times \Sigma )$

For a general (possibly nontrivial) bundle
$P\to \Sigma $
one has to fix a flat reference connection. Then connections are given by
$1$
-forms with values in
${\mathfrak{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
$\int {u}^{*}{\eta}_{G}$
. So under the assumption (H) we have
$\mathcal{C}\mathcal{S}\left(B\right)-\mathcal{C}\mathcal{S}\left({u}^{*}B\right)\in {\kappa}_{\mathfrak{g}}\mathbb{Z}$
.

$$\begin{array}{cc}\mathcal{C}\mathcal{S}\left(B\right)& =\frac{1}{2}{\int}_{{S}^{1}\times \Sigma}\langle B\wedge \left({F}_{B}-\frac{1}{6}[B\wedge B]\right)\rangle \end{array}$$ |

$$\begin{array}{cc}& ={\int}_{{S}^{1}}{\int}_{\Sigma}\frac{1}{2}\langle {\partial}_{\phi}A\wedge A\rangle +\langle {F}_{A},\Phi \rangle .\end{array}$$ | (1) |

$$\begin{array}{}\end{array}$$ |

$$\begin{array}{cc}& \mathcal{C}\mathcal{S}\left(B\right)-\mathcal{C}\mathcal{S}\left({B}^{0}\right)\end{array}$$ | (2) |

$$\begin{array}{cc}& =\int \frac{1}{2}\langle ({F}_{B}+{F}_{{B}^{0}})\wedge (B-{B}^{0})\rangle -\frac{1}{12}\langle \left[\right(B-{B}^{0})\wedge (B-{B}^{0}\left)\right]\wedge (B-{B}^{0})\rangle .\end{array}$$ |

$$\begin{array}{}\end{array}$$ |

$$\begin{array}{c}\mathcal{C}\mathcal{S}\left(B\right)-\mathcal{C}\mathcal{S}\left({u}^{*}B\right)=4{\pi}^{2}deg\left(u\right)\in 4{\pi}^{2}\mathbb{Z}\end{array}$$ | (3) |

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
$SU\left(2\right)$
and
$SO\left(3\right)$
-bundles, and we will give the argument for a general bundle
$P\to \Sigma $
, indicating how to proceed for other structure groups.

Lemma 2.1
For every flat connection
$B\in {\mathcal{A}}_{flat}({S}^{1}\times \Sigma )$
there is a gauge transformation
$u\in \mathcal{G}({S}^{1}\times \Sigma )$
such that
$\mathcal{C}\mathcal{S}\left({u}^{*}B\right)=0$
, and consequentially
$\mathcal{C}\mathcal{S}\left(B\right)=4{\pi}^{2}deg\left(u\right)\in 4{\pi}^{2}\mathbb{Z}$
.

Proof: We periodically extend the given flat connection to
$B\in {\mathcal{A}}_{flat}(\mathbb{R}\times P)$
.
Then one can find
$u:\mathbb{R}\to \mathcal{G}\left(P\right)$
such that
$u\left(0\right)\equiv 1l$
and
${u}^{*}B\in {\mathcal{A}}_{flat}(\mathbb{R}\times P)$
has no
$d\phi $
-component. Thus the curvature component
${\partial}_{\phi}\left({u}^{*}B\right)$
vanishes, and hence
${u}^{*}B\equiv {A}^{0}\in {\mathcal{A}}_{flat}\left(P\right)$
. This is done by solving
${\partial}_{\phi}u=-\Phi u$
, so due to the periodicity of
$\Phi $
we obtain the twisted periodicity
$u(\phi +2\pi )=u\left(\phi \right)u\left(2\pi \right)$
for the gauge transformation. Unless
$u\left(2\pi \right)\equiv 1l$
this does not define a gauge transformation on
${S}^{1}\times P$
. However, we know that
$u\left(2\pi \right)$
lies in the isotropy subgroup
${\mathcal{G}}_{{A}^{0}}$
, since
$u(2\pi {)}^{*}{A}^{0}=u(2\pi {)}^{*}B(2\pi ,\cdot ){|}_{\Sigma}=u\left(0{)}^{*}B\right(0,\cdot ){|}_{\Sigma}={A}^{0}$
. If
${\mathcal{G}}_{{A}^{0}}$
is connected, then we can multiply
$u$
with a path within
${\mathcal{G}}_{{A}^{0}}$
from
$1l$
to
$u(2\pi {)}^{-1}$
to obtain the required gauge transformation
$w\in \mathcal{G}({S}^{1}\times P)$
. It satisfies
${w}^{*}B={A}^{0}+{\Phi}^{0}d\phi $
with
${\partial}_{\phi}{A}^{0}=0$
but possibly nonzero
${\Phi}^{0}$
. Now compare ( 1 ) to see that
$\mathcal{C}\mathcal{S}\left({w}^{*}B\right)=0$
, and so
$\mathcal{C}\mathcal{S}\left(B\right)=4{\pi}^{2}deg\left(w\right)$
by ( 3 ).

For
$SO\left(3\right)$
-bundles, any isotropy subgroup is connected since any centralizer (of the holonomy subgroup) in
$SO\left(3\right)$
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\pi {)}^{n}$
is homotopic to the identity for some integer
$n\le {n}_{G}$
. Then an ”
$n$
-fold cover”
${B}^{\left(n\right)}$
of
$B$
can be put into a gauge whose Chern-Simons functional vanishes, and thus
$\mathcal{C}\mathcal{S}\left(B\right)={n}^{-1}\mathcal{C}\mathcal{S}\left({B}^{\left(n\right)}\right)\in {\kappa}_{\mathfrak{g}}{n}^{-1}\mathbb{Z}\subset {\kappa}_{\mathfrak{g}}{N}_{G}^{-1}\mathbb{Z}$
if (H) holds.

For
$SU\left(2\right)$
we would have
${n}_{G}=2$
due to the centralizer
$\{1l,-1l\}$
. However, since the isotropy element
$u\left(2\pi \right)=-1l$
is a constant, we do not need to go to a cover. More generally suppose that
$u\left(2\pi \right)=exp\left(2\pi \xi \right)$
for some constant
$\xi \in \mathfrak{g}$
.

Let
$v\left(\phi \right):=exp(-\phi \xi )$
, then
$w:=uv\in \mathcal{G}({S}^{1}\times \Sigma )$
and
${w}^{*}B={v}^{-1}{A}^{0}v-\xi d\phi $
(and both are of class
${W}^{1,\infty}$
). Then using
${F}_{{A}^{0}}=0$
and
$d\xi =0$
we obtain

$\square $
In the subsequent proof of the energy identity we also work with a general bundle
$P\to \Sigma $
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.

$$\begin{array}{cc}\mathcal{C}\mathcal{S}\left({w}^{*}B\right)& ={\int}_{{S}^{1}}{\int}_{\Sigma}\frac{1}{2}\langle {v}^{-1}[\xi ,{A}^{0}]v\wedge {v}^{-1}{A}^{0}v\rangle \end{array}$$ |

$$\begin{array}{cc}& ={\int}_{{S}^{1}}{\int}_{\Sigma}\langle \xi ,{A}^{0}\wedge {A}^{0}\rangle =-{\int}_{{S}^{1}}{\int}_{\Sigma}\langle \xi ,d{A}^{0}\rangle =0.\end{array}$$ |

$$\begin{array}{}\end{array}$$ |

Proof of theorem 1.1 : Note that for
$B\left(r\right)\in \mathcal{A}({S}^{1}\times \Sigma )$
given by
$\Xi $
on
${S}_{r}\times \Sigma $
we have
$|{F}_{B\left(r\right)}{|}^{2}=|{F}_{A\left(r\right)}{|}^{2}+\left|{\partial}_{\phi}A\right(r)-{d}_{A\left(r\right)}\Phi (r){|}^{2}\le \frac{1}{2}{r}^{2}|{F}_{\Xi}\left(r\right){|}^{2}$
when
$r\ge 1$
, so
$${\int}_{1}^{\infty}{r}^{-1}\parallel {F}_{B\left(r\right)}{\parallel}_{{L}^{2}({S}^{1}\times \Sigma )}^{2}dr\le \mathcal{\mathcal{E}}(\Xi )<\infty .$$
Thus we find a sequence
${r}_{i}\to \infty $
with
$\parallel {F}_{B\left({r}_{i}\right)}{\parallel}_{{L}^{2}({S}^{1}\times \Sigma )}\to 0$
. By Uhlenbeck's weak compactness [7] we then find a further subsequence, gauge transformations
${u}_{i}\in \mathcal{G}({S}^{1}\times P)$
, and a flat limit connection
${B}^{\infty}\in {\mathcal{A}}_{flat}({S}^{1}\times P)$
such that
$\parallel {u}_{i}^{*}B\left({r}_{i}\right)-{B}^{\infty}{\parallel}_{{W}^{1,2}({S}^{1}\times \Sigma )}\to 0$
.^{
$\text{2}$
}
So we have
$\mathcal{C}\mathcal{S}\left({u}_{i}^{*}B\right({r}_{i}\left)\right)\to \mathcal{C}\mathcal{S}\left({B}^{\infty}\right)$
due to the convergence of
${u}_{i}^{*}B\left({r}_{i}\right)$
and ( 2 ). On the other hand the energy is finite, so

This shows that
$\mathcal{C}\mathcal{S}\left(B\right({r}_{i}\left)\right)$
also converges. Now for an
$SU\left(2\right)$
-bundle we have
$\mathcal{C}\mathcal{S}\left({B}^{\infty}\right)\in 4{\pi}^{2}\mathbb{Z}$
from lemma 2.1 . Thus
$\mathcal{C}\mathcal{S}\left(B\right({r}_{i}\left)\right)=\mathcal{C}\mathcal{S}\left({u}_{i}^{*}B\right({r}_{i}\left)\right)+4{\pi}^{2}deg\left({u}_{i}\right)$
must converge to some value in
$4{\pi}^{2}\mathbb{Z}$
. This proves the claim since that limit is also the energy
$\mathcal{\mathcal{E}}(\Xi )$
. For a general bundle under the assumption (H) we similarly obtain
$\mathcal{\mathcal{E}}(\Xi )\in {\kappa}_{\mathfrak{g}}{N}_{G}^{-1}\mathbb{Z}$
.
$\square $
References

$$\begin{array}{cc}\mathcal{\mathcal{E}}(\Xi )=-{lim}_{i\to \infty}{\int}_{{D}_{{r}_{i}}\times \Sigma}\langle {F}_{\Xi}\wedge {F}_{\Xi}\rangle =-{lim}_{i\to \infty}\mathcal{C}\mathcal{S}\left(B\right({r}_{i}\left)\right).& \end{array}$$ |

$$\begin{array}{}\end{array}$$ |

- O Biquard, M Jardim, Asymptotic behavious and the moduli space of doubly-periodic instantons, J. Eur. Math. Coc. 3 (2001), 335–375.
- J Chen, Convergence of anti-self-dual connections on $SU\left(n\right)$ -bundles over product of two Riemann surfaces, Comm. Math. Phys. 196 (1998), no. 3, 571–590.
- S Dostoglou, D A Salamon, Self-dual instantons and holomorphic curves, Annals of Mathematics 139 (1994), 581–640.
- M Jardim, Nahm transform and spectral curves for doubly-periodic instantons Comm. Math. Phys. 225 (2002), no. 3, 639–668.
- T Nishinou, Convergence of Hermitian-Yang-Mills Connections on Kähler Surfaces and mirror symmetry, preprint, math.SG/0301324.
- 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.
- K K Uhlenbeck, Connections with ${L}^{p}$ -bounds on curvature, Comm. Math. Phys. 83 (1982), 31–42.
- K Wehrheim, Uhlenbeck Compactness, EMS, Zürich, 2004.
- 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.

^{
$\text{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}_{\infty}}^{*}({v}_{\nu}^{*}{A}_{\nu}-{A}_{\infty})=0$
. Moreover, we have
${d}_{{A}_{\infty}}({v}_{\nu}^{*}{A}_{\nu}-{A}_{\infty})={v}_{\nu}^{-1}{F}_{{A}_{\nu}}{v}_{\nu}-\frac{1}{2}\left[\right({v}_{\nu}^{*}{A}_{\nu}-{A}_{\infty})\wedge ({v}_{\nu}^{*}{A}_{\nu}-{A}_{\infty}\left)\right]$
. 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.