An Energy Gap for Complex Yang-Mills Equations
We use the energy gap result of pure Yang-Mills equation [Feehan P.M.N., Adv. Math. 312 (2017), 547-587] to prove another energy gap result of complex Yang-Mills equations [Gagliardo M., Uhlenbeck K., J. Fixed Point Theory Appl. 11 (2012), 185-198], when Riemannian manifold X of dimension n≥2 satisf...
Збережено в:
Дата: | 2017 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Інститут математики НАН України
2017
|
Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/148730 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | An Energy Gap for Complex Yang-Mills Equations / T. Huang // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 21 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-148730 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1487302019-02-19T01:27:26Z An Energy Gap for Complex Yang-Mills Equations Huang, T. We use the energy gap result of pure Yang-Mills equation [Feehan P.M.N., Adv. Math. 312 (2017), 547-587] to prove another energy gap result of complex Yang-Mills equations [Gagliardo M., Uhlenbeck K., J. Fixed Point Theory Appl. 11 (2012), 185-198], when Riemannian manifold X of dimension n≥2 satisfies certain conditions. 2017 Article An Energy Gap for Complex Yang-Mills Equations / T. Huang // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 21 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 58E15; 81T13 DOI:10.3842/SIGMA.2017.061 http://dspace.nbuv.gov.ua/handle/123456789/148730 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
English |
description |
We use the energy gap result of pure Yang-Mills equation [Feehan P.M.N., Adv. Math. 312 (2017), 547-587] to prove another energy gap result of complex Yang-Mills equations [Gagliardo M., Uhlenbeck K., J. Fixed Point Theory Appl. 11 (2012), 185-198], when Riemannian manifold X of dimension n≥2 satisfies certain conditions. |
format |
Article |
author |
Huang, T. |
spellingShingle |
Huang, T. An Energy Gap for Complex Yang-Mills Equations Symmetry, Integrability and Geometry: Methods and Applications |
author_facet |
Huang, T. |
author_sort |
Huang, T. |
title |
An Energy Gap for Complex Yang-Mills Equations |
title_short |
An Energy Gap for Complex Yang-Mills Equations |
title_full |
An Energy Gap for Complex Yang-Mills Equations |
title_fullStr |
An Energy Gap for Complex Yang-Mills Equations |
title_full_unstemmed |
An Energy Gap for Complex Yang-Mills Equations |
title_sort |
energy gap for complex yang-mills equations |
publisher |
Інститут математики НАН України |
publishDate |
2017 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/148730 |
citation_txt |
An Energy Gap for Complex Yang-Mills Equations / T. Huang // Symmetry, Integrability and Geometry: Methods and Applications. — 2017. — Т. 13. — Бібліогр.: 21 назв. — англ. |
series |
Symmetry, Integrability and Geometry: Methods and Applications |
work_keys_str_mv |
AT huangt anenergygapforcomplexyangmillsequations AT huangt energygapforcomplexyangmillsequations |
first_indexed |
2025-07-12T20:05:50Z |
last_indexed |
2025-07-12T20:05:50Z |
_version_ |
1837472950429679616 |
fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 13 (2017), 061, 15 pages
An Energy Gap for Complex Yang–Mills Equations
Teng HUANG †‡
† Key Laboratory of Wu Wen-Tsun Mathematics, Chinese Academy of Sciences, P.R. China
‡ School of Mathematical Sciences, University of Science and Technology of China, P.R. China
E-mail: oula143@mail.ustc.edu.cn
Received May 31, 2017, in final form July 26, 2017; Published online August 08, 2017
https://doi.org/10.3842/SIGMA.2017.061
Abstract. We use the energy gap result of pure Yang–Mills equation [Feehan P.M.N., Adv.
Math. 312 (2017), 547–587] to prove another energy gap result of complex Yang–Mills
equations [Gagliardo M., Uhlenbeck K., J. Fixed Point Theory Appl. 11 (2012), 185–198],
when Riemannian manifold X of dimension n ≥ 2 satisfies certain conditions.
Key words: complex Yang–Mills equations; energy gap; gauge theory
2010 Mathematics Subject Classification: 58E15; 81T13
1 Introduction
Let X be an oriented n-manifold endowed with a smooth Riemannian metric g. Let P be
a principle G-bundle over X. The structure group G is assumed to be a compact Lie group with
Lie algebra g. We denote a connection on P as A and its curvature as FA. Let gP be the adjoint
bundle of P . We define by dA the exterior covariant derivative on section of Λ•T ∗X⊗(P ×G gP )
with respect to the connection A. The curvature FA of the complex connection A := dA+
√
−1φ,
φ ∈ Ω1(X, gP ) is a two-form with values in P ×G (gCP ):
FA =
[(
dA +
√
−1φ
)
∧
(
dA +
√
−1φ
)]
= FA − 1
2 [φ ∧ φ] +
√
−1dAφ.
The complex Yang–Mills functional is defined in any dimension as the norm squared of the
complex curvature [9, Section 3]
YMC(A, φ) :=
∫
X
|FA|2 =
∫
X
(
|FA − φ ∧ φ|2 + |dAφ|2
)
.
This functional reduces to the pure Yang–Mills functional when the extra field φ vanishes. The
Euler–Lagrange equations for this functional are
d∗A(FA − φ ∧ φ) + (−1)n ∗ [φ, ∗dAφ] = 0,
d∗AdAφ− (−1)n ∗ [φ, ∗(FA − φ ∧ φ)] = 0. (1.1)
They can also be succinctly written as
d∗AFA = 0.
These equations are not elliptic, even after the real gauge-equivalence, so it is necessary to add
the moment map condition
d∗Aφ = 0.
In this article, we call dA +
√
−1φ the solution of the complex Yang–Mills equations, it not only
satisfies equations (1.1), but also satisfies the moment map condition. These equations called
complex just because the connection dA +
√
−1φ is a 1-form with value in P ×G (gC), the base
manifold is always a real Riemannian manifold.
mailto:oula143@mail.ustc.edu.cn
https://doi.org/10.3842/SIGMA.2017.061
2 T. Huang
Remark 1.1. Some examples of complex Yang–Mills equations:
(1) Kapustin–Witten equations [9]
(FA − φ ∧ φ)+ = 0, (dAφ)− = 0, dA ∗ φ = 0
on four-dimensional manifolds.
(2) On a stable Higgs bundle (E, θ), there exists a Hermitian metric h such that the Hitchin–
Simpson connection dAh + θ + θ∗,h satisfies the Einstein condition [12, 16]
√
−1Λω
(
FAh +
[
θ, θ∗,h
])
− λ IdE = 0,
the connection dAh + θ + θ∗,h also satisfies complex Yang–Mills equations.
In particular, it is easy to see that if φ = 0, the complex Yang–Mills equations will reduce
to the pure Yang–Mills equation d∗AFA = 0. Many researchers have studied the energy gap of
Yang–Mills equation. The motivation of these gap results is partly from physics and partly from
math which would be help to better understand the behavior of the Yang–Mills functional near
its critical points. In [1, 2, 3, 10, 14], they all require some positive hypotheses on the curvature
tensors of a Riemannian metric. In [8], Feehan applied the Lojasiewicz–Simon gradient inequa-
lity [8, Theorem 3.2] to remove the positive hypothesis on the Riemannian curvature tensors.
In [13], the author gave another proof of energy gap theorem of pure Yang–Mills equation without
using Lojasiewicz–Simon gradient inequality. We also want to understand the behaviour of the
complex Yang–Mills functional near its critical points. It is an interesting question to consider,
whether the complex Yang–Mills equations have the energy gap phenomenon. In this article,
we give a positive answer to this question when X satisfies certain conditions.
Theorem 1.2. Let X be a closed, oriented, smooth Riemannian manifold of dimension n ≥ 2
with smooth Riemannan metric g, P be a G-bundle over X with G being a compact Lie group,
let 2p > n when n 6= 2, 4 or p ≥ 2 when n = 2, 4. Then there is a positive constant ε = ε(n, p, g)
with the following significance. Suppose that all flat connections on P are non-degenerate in
the sense of Definition 3.5. If the pair (A, φ) is a C∞-solution of complex Yang–Mills equations
over X, the curvature FA of connection A obeys
‖FA‖Lp(X) ≤ ε,
then A is a flat connection and φ must vanish.
Remark 1.3. In fact, the extra fields will vanish if the Ricci tensor of a Riemannian metric
of X is positive (see Corollary 2.3). For a general Riemannian metric, we will not know whether
ker ∆Γ|Ω1(X,gP ) = {0} (Γ is any flat connection on P ) unless we assume some topological hy-
potheses for X, such as π1(X) = {1}, so P ∼= X ×G if and only if P is flat [5, Theorem 2.2.1].
In this case, Γ is gauge-equivalent to the product connection and ker ∆Γ|Ω1(X,gP )
∼= H1(X,R),
so the hypothesis for X ensures that the kernel vanishes.
If FA = 0, i.e., FA − φ ∧ φ = 0 and dAφ = 0, then we call A = dA +
√
−1φ a complex flat
connection. Now, we denote the moduli space of solutions of complex flat-connections by
M(P, g) :=
{
(A, φ) | (FA − φ ∧ φ) = 0 and dAφ = d∗Aφ = 0
}
/GP .
In particular, the moduli space M(P, g) can be embedded into M(P, g) via A 7→ (A, 0), where
M(P, g) := {Γ: FΓ = 0}/GP ,
is the moduli space of gauge-equivalence class [Γ] of flat connection Γ on P . Obviously, the com-
plex flat connection also satisfies the complex Yang–Mills equations. Using the gap Theorem 1.2
of complex Yang–Mills equations, we can have a gap result for the extra fields as follows
An Energy Gap for Complex Yang–Mills Equations 3
Corollary 1.4. Let X be a closed, oriented, smooth Riemannian manifold of dimension n ≥ 2
with smooth Riemannan metric g, P be a G-bundle over X with G being a compact Lie group.
Then there is a positive constant ε = ε(g, n) with the following significance. Suppose that all
flat connections on P are non-degenerate in the sense of Definition 3.5. If the pair (A, φ) is
a C∞-solution of complex flat connection over X, the L2-norm of extra field φ obeys
‖φ‖L2(X) ≤ ε,
then φ vanishes and A is a flat connection. In particular, if M(P, g) and M(P, g)\M(P, g) are
both not empty, then the moduli space M(P, g) is non-connected.
The organization of this paper is as follows. In Section 2, first we set our notations and
recall some basic definitions in differential geometry. Next, we recall some identities and some
estimates for the solutions of complex Yang–Mills equations which were proved by Gagliardo
and Uhlenbeck [9]. Finally, we recall an energy gap result of the pure Yang–Mills equation due
to Feehan [8]. Since the Theorem 2.6 plays an essential role in our proof of our main result, we
provide more details to prove the theorem by another method. In Section 3, we define the least
eigenvalue λ(A) of dAd∗A + d∗AdA|Ω1(X,gP ) with respect to connection A. We extend the idea of
Feehan [6] to prove that λ(A) has a lower bound that is uniform with respect to [A] obeying
‖FA‖Lp(X) ≤ ε for a small enough ε = ε(g, n, p) under some conditions for g, G, P , and X. We
conclude Section 4 with the proofs of Theorem 1.2 and Corollary 1.4.
2 Fundamental preliminaries
We shall generally adhere to the now standard gauge-theory conventions and notation of Don-
aldson and Kronheimer [5] and Feehan [8]. Throughout our article, G denotes a compact Lie
group and P a smooth principal G-bundle over a compact Riemannnian manifold X of di-
mension n ≥ 2 and endowed with Riemannian metric g, gP denote the adjoint bundle of P ,
endowed with a G-invariant inner product and Ωp(X, gP ) denote the smooth p-forms with va-
lues in gP . Given a connection on P , we denote by ∇A the corresponding covariant derivative
on Ω∗(X, gP ) induced by A and the Levi-Civita connection of X. Let dA denote the exterior
derivative associated to ∇A.
For u ∈ Lp(X, gP ), where 1 ≤ p <∞ and k is an integer, we denote
‖u‖Lpk,A(X) :=
k∑
j=0
∫
X
|∇jAu|
pdvolg
1/p
,
where ∇jA := ∇A ◦ · · · ◦ ∇A (repeated j times for j ≥ 0). For p =∞, we denote
‖u‖L∞k,A(X) :=
k∑
j=0
ess sup
X
∣∣∇jAu∣∣.
2.1 Identities for the solutions
In this section, we recall some basic identities that the solutions to complex Yang–Mills connec-
tions obey. A nice discussion of these identities can be found in [9].
Theorem 2.1 (Weitezenböck formula).
d∗AdA + dAd∗A = ∇∗A∇A + Ric(·) + ∗[∗FA, ·] on Ω1(X, gP ), (2.1)
where Ric is the Ricci tensor.
4 T. Huang
Proposition 2.2 ([9, Theorem 4.3]). If dA +
√
−1φ is a solution of the complex Yang–Mills
equations, then
∇∗A∇Aφ+ Ric ◦φ+ ∗[∗(φ ∧ φ), φ] = 0. (2.2)
By integrating (2.2) over X, we have an identity
‖∇Aφ‖2L2(X) + 〈Ric ◦φ, φ〉L2(X) + 2‖φ ∧ φ‖2L2(X) = 0. (2.3)
Then the results by Gagliardo–Uhlenbeck give a following consequence result for the extra fields.
Corollary 2.3 ([9, Corollary 4.5]). If X is a compact manifold with a positive Ricci curvature,
then solutions of the complex Yang–Mills equations reduce to solutions of the pure Yang–Mills
equation with φ = 0.
Proposition 2.4 (energy identity). If dA +
√
−1φ is a solution of the complex Yang–Mills
equations, then
YMC(A, φ) = ‖FA‖2L2(X) − ‖φ ∧ φ‖
2
L2(X).
Proof. By using the moment condition d∗Aφ = 0, the complex Yang–Mills functional is written
as
YMC(A, φ) =
∫
X
(
|FA − φ ∧ φ|2 + |dAφ|2 + |d∗Aφ|
)
=
∫
X
|FA|2 + |φ ∧ φ|2 − 2〈FA, φ ∧ φ〉+ |dAφ|2 + |d∗Aφ|
=
∫
X
|FA|2 + |φ ∧ φ|2 + |∇Aφ|2 + 〈Ric ◦φ, φ〉
= ‖FA‖2L2(X) − ‖φ ∧ φ‖
2
L2(X).
For the last identity, we use the equation (2.3). �
As an application of the maximum principle, Gagliardo–Uhlenbeck obtain a priori L∞-
estimate for the extra fields.
Theorem 2.5 ([9, Corollary 4.6]). Let G be a compact Lie group, P be a G-bundle over a closed,
smooth manifold X of dimension n ≥ 2 and endowed with a smooth Riemannian metric g. Then
there is a positive constant C = C(g, n) with the following significance. If (A, φ) is a smooth
solution of complex Yang–Mills equation, then
‖φ‖L∞(X) ≤ C‖φ‖L2(X).
2.2 Energy gap for Yang–Mills connections
In this section, first we recall an energy gap result of Yang–Mills equation.
Theorem 2.6 ([8, Theorem 1.1]). Let X be a closed, oriented, smooth Riemannian manifold
of dimension n ≥ 2 with smooth Riemannan metric g, P be a G-bundle over X, let 2p ≥ n
when n ≥ 3 or p ≥ 2 when n = 2. Then any Yang–Mills connection A over X with compact Lie
group G is either satisfies∫
X
|FA|pdvolg ≥ C0
for a constant C0 > 0 depending only on X, n, p, G or the connection A is flat.
An Energy Gap for Complex Yang–Mills Equations 5
In [13], the author proves the energy gap theorem of Yang–Mills connection without using
the Lojasiewicz–Simon gradient inequality. Here, we give a proof in detail for the readers con-
venience. We review a key result due to Uhlenbeck for the connections with Lp-small curvature
(2p > n) [20] which provides existence of a flat connection Γ on P , a global gauge transforma-
tion u of A to Coulomb gauge with respect to Γ and a Sobolev norm estimate for the distance
between Γ and A.
Theorem 2.7 ([20, Corollary 4.3] and [8, Theorem 5.1]). Let X be a closed, smooth manifold
of dimension n ≥ 2 and endowed with a Riemannian metric g, and G be a compact Lie group,
and 2p > n. Then there are constants, ε = ε(n, g,G, p) ∈ (0, 1] and C = C(n, g,G, p) ∈ [1,∞),
with the following significance. Let A be a Lp1 connection on a principal G-bundle P over X. If
the curvature FA obeys
‖FA‖Lp(X) ≤ ε,
then there exists a flat connection, Γ, on P and a gauge transformation u ∈ Lp2(X) such that
(1) d∗Γ(u∗(A)− Γ) = 0 on X,
(2) ‖u∗(A)− Γ‖Lp1,Γ ≤ C‖FA‖Lp(X), and
(3) ‖u∗(A)− Γ‖
L
n
2
1,Γ
≤ C‖FA‖Ln2 (X)
.
Next, we also review another key result due to Uhlenbeck [18, Theorem 3.5] concerning a priori
estimate for the curvature of a Yang–Mills connection over a closed Riemannian manifold.
Theorem 2.8 ([8, Corollary 4.6]). Let X be a compact manifold of dimension n ≥ 3 and endowed
with a Riemannian metric g, let A be a smooth Yang–Mills connection with respect to the metric g
on a smooth G-bundle P over X. Then there exist constants ε = ε(n, g) > 0 and C = C(n, g)
with the following significance. If the curvature FA obeys
‖FA‖Ln2 (X)
≤ ε,
then
‖FA‖L∞(X) ≤ C‖FA‖L2(X).
Proof Theorem 2.6. For any p ≥ 2n (n ≥ 3), the estimate in Theorem 2.8 yields
‖FA‖Lp(X) ≤ C‖FA‖L∞(X) ≤ C‖FA‖L2(X), (2.4)
for C = C(g, n). If n ≥ 4, then
‖FA‖L2(X) ≤ C‖FA‖Ln2 (X)
. (2.5)
If n = 3, the Lp interpolation [11, equation (7.9)] implies that
‖FA‖L2(X) ≤ C‖FA‖
3/4
L
3
2 (X)
‖FA‖1/4L∞(X) ≤ C‖FA‖
3/4
L
3
2 (X)
‖FA‖1/4L2(X)
,
and thus
‖FA‖L2(X) ≤ C‖FA‖L 3
2 (X)
. (2.6)
Therefore, combining (2.4)–(2.6), we obtain
‖FA‖Lp(X) ≤ C‖FA‖Ln/2(X), ∀ 2p ≥ n and n ≥ 3.
6 T. Huang
Hence, if we suppose ‖FA‖Ls(X) sufficiently small (2s ≥ n when n ≥ 3 or s ≥ 2 when n = 2) such
that ‖FA‖Lq(X) (2q > n when n ≥ 3 or q ≥ 2 when n = 2) satisfies the hypothesis of Theorem 2.7,
then Theorem 2.7 will provide a flat connection Γ on P , and a gauge transformation u ∈ GP
and the estimate
‖u∗(A)− Γ‖Lq1(X) ≤ C(q)‖FA‖Lq(X),
and
d∗Γ(u∗(A)− Γ) = 0.
We denote à := u∗(A) and a := u∗(A)− Γ, then the curvature of à is
FÃ = dΓa+ a ∧ a.
The connection à also satisfies Yang–Mills equation
0 = d∗
Ã
FÃ. (2.7)
Hence taking the L2-inner product of (2.7) with a, we obtain
0 = (d∗
Ã
FÃ, a)L2(X) = (FÃ, dÃa)L2(X)
= (FÃ, dΓa+ 2a ∧ a)L2(X) = (FÃ, FÃ + a ∧ a)L2(X).
Then we get
‖FA‖2L2(X) = ‖FÃ‖
2
L2(X) = −(FÃ, a ∧ a)L2(X)
≤ ‖FÃ‖L2(X)‖a ∧ a‖L2(X) = ‖FA‖L2(X)‖a ∧ a‖L2(X),
here we use the fact |Fu∗(A)| = |FA| since Fu∗(A) = u ◦ FA ◦ u−1.
If n ≥ 4,
‖a ∧ a‖L2(X) ≤ C‖a‖2L4(X) ≤ C‖a‖
2
Ln(X) ≤ C‖a‖
2
L
n
2
1 (X)
≤ C‖FA‖2
L
n
2 (X)
≤ C‖FA‖2L∞(X) ≤ C‖FA‖
2
L2(X),
here we apply the Sobolev embedding L
n
2
1 ↪→ Ln.
If n = 2, 3,
‖a ∧ a‖L2(X) ≤ C‖a‖2L4(X) ≤ C‖a‖
2
L2
1(X) ≤ C‖FA‖
2
L2(X),
here we apply the Sobolev embedding L2
1 ↪→ L4.
Combining the preceding inequalities we have
‖FA‖2L2(X) ≤ C‖FA‖
3
L2(X).
We can choose ‖FA‖L2(X) sufficiently small such that C‖FA‖L2(X) < 1, hence ‖FA‖L2(X) ≡ 0
and thus A must be a flat connection. Then we complete the proof. �
3 Eigenvalue bounds for Laplacian ∆A
In this section, we will show that the least eigenvalue λ(Γ) of d∗ΓdΓ + dΓd∗Γ has a positive lower
bound λ that is uniform with respect to [Γ] ∈M(P, g) under the given conditions on X and P .
The method is similar to Feehan [7] that has proved the least eigenvalue µg(A) of d+,g
A d
+,∗g
A which
has a positive lower bound µ0 that is uniform with respect to [A] ∈ B(P, g) obeys ‖F+,g
A ‖L2 ≤ ε,
for a small enough ε and under the given sets of conditions on g, G, P and X.
An Energy Gap for Complex Yang–Mills Equations 7
3.1 Continuity for the least eigenvalue of ∆A
From Uhlenbeck compactness theorem [19, 21], we know
Proposition 3.1. Let G be a compact Lie group, P be a G-bundle over a closed, smooth mani-
fold X of dimension n ≥ 2 and endowed with a smooth Riemannian metric g. Then the moduli
space M(P, g) is compact.
The definition of the least eigenvalue of ∆A on L2(X,Ω1(gP )) is similar to [17, Definition 3.1].
Definition 3.2 (least eigenvalue of ∆A). Let G be a compact Lie group, P be a G-bundle
over a closed, smooth manifold X of dimension n ≥ 2 and endowed with a smooth Riemannian
metric g. Let A be a connection of Sobolev class L2
1 on P . The least eigenvalue of ∆A on
L2(X,Ω1(gP )) is
λ(A) := inf
v∈Ω1(gP )\{0}
〈∆Av, v〉L2
‖v‖2
. (3.1)
The method to prove the continuity of the least eigenvalue of ∆A with respect to the con-
nection is similar to one by means of which Feehan proved continuity of the least eigenvalue
of d+
Ad+,∗
A with respect to the connection in [6, 7].
We give a priori estimate for v ∈ Ω1(X, gP ) when the curvature FA is sufficiently small in
some Lp-norms.
Lemma 3.3. Let G be a compact Lie group, P be a G-bundle over a closed, smooth manifold X
of dimension n ≥ 2 and endowed with a smooth Riemannian metric g, let 2p ≥ n when n ≥ 3
or p > 1 when n = 2. Then there are positive constants, c = c(g, p) and ε = ε(g, p) ∈ (0, 1], with
the following significance. If A is a connection on P over X such that
‖FA‖Lp(X) ≤ ε, (3.2)
and v ∈ Ω1(X, gP ), then
‖v‖2L2
1(X) ≤ c
(
‖dAv‖2L2(X) + ‖d∗Av‖2L2(X) + ‖v‖2L2(X)
)
. (3.3)
Proof. The Weitzenböck formula for v ∈ Ω1(X, gP ), namely,
(dAd∗A + d∗AdA)v = ∇∗A∇Av + Ric ◦v + ∗[∗FA, v].
Hence
‖∇Av‖2L2(X) ≤ ‖d
∗
Av‖2L2(X) + ‖dAv‖2L2(X) + c‖v‖2L2(X) + |〈∗[∗FA, v], v〉L2(X)|,
where c = c(g).
If n ≥ 3, by Hölder inequality, we see that
|〈∗[∗FA, v], v〉L2(X)| ≤ ‖FA‖Ln/2(X)‖v‖
2
L2n/(n−2)(X)
≤ c‖FA‖Ln/2(X)‖v‖
2
L2
1(X) ≤ c‖FA‖Lp(X)‖v‖2L2
1(X),
for some c = c(g).
If n = 2, define q ∈ (1,∞) by 1/q = 1− 1/p, we have
|〈∗[∗FA, v], v〉L2(X)| ≤ ‖FA‖Lp(X)‖v‖2L2q(X) ≤ c‖FA‖Lp(X)‖v‖2L2
1(X),
here we use the Sobolev embedding L2
1 ↪→ L2q.
8 T. Huang
Combining of the preceding inequalities and Kato inequality |∇|v|| ≤ |∇Av| yields
‖v‖2L2
1(X) ≤
(
‖∇Av‖2L2(X) + ‖v‖2L2(X)
)
≤ ‖d∗Av‖2L2(X) + ‖dAv‖2L2(X) + (c+ 1)‖v‖L2(X) + c‖FA‖Lp(X)‖v‖2L2
1(X),
for some c = c(g). Provided c‖FA‖Lp(X) ≤ 1/2, rearrangements gives (3.3). �
Following the idea of [6, Lemma 35.12], we also have a useful lemma.
Lemma 3.4 (L2p-continuity of least eigenvalue of ∆A with respect to the connection). Let G
be a compact Lie group, P be a G-bundle over a closed, smooth manifold X of dimension n ≥ 2
and endowed with a smooth Riemannian metric g, let 2p ≥ n or n ≥ 3 and p > 1 when n = 2.
Then there are positive constants, C = C(g, p) and ε = ε(g, p), with the following significance.
If A0, A are smooth connections on P that obey the curvatures bounded (3.2) and
‖A−A0‖L2p(X) ≤ ε,
then, we denote a := A−A0,(
1−C‖a‖2L2p(X)
)
λ(A0)− C‖a‖2L2p(X) ≤ λ(A) ≤
(
1− C‖a‖2L2p(X)
)−1(
λ(A0)+C‖a‖2L2p(X)
)
.
Proof. For convenience, write a := A−A0 ∈ Ln(X,Ω1⊗ gP ). For v ∈ L2
1(X,Ω1⊗ gP ), we have
dAv = dA0v + [a, v].
If n ≥ 3, by Hölder inequality
‖dAv‖2L2(X) = ‖dA0v + [a, v]‖2L2(X) ≥ ‖dA0v‖2L2(X) − ‖[a, v]‖2L2(X)
≥ ‖dA0v‖2L2(X) − 2‖a‖2Ln(X)‖v‖
2
L2n/(n−2)(X)
≥ ‖dA0v‖2L2(X) − 2c1‖a‖2Ln(X)‖v‖
2
L2
1,A0
(X)
≥ ‖dA0v‖2L2(X) − 2c1‖a‖2L2p(X)‖v‖
2
L2
1,A0
(X),
where c1 = c1(g) is the Sobolev embedding constant for L2
1 ↪→ L2n/(n−2).
Similarly, d∗Av = d∗A0
v ± ∗[a, ∗v] and
‖d∗Av‖2L2(X) = ‖d∗A0
v ± ∗[a, ∗v]‖2L2(X) ≥ ‖d
∗
A0
v‖2L2(X) − ‖[a, ∗v]‖2L2(X)
≥ ‖d∗A0
v‖2L2(X) − 2‖a‖2Ln(X)‖v‖
2
L2n/(n−2)(X)
≥ ‖d∗A0
v‖2L2(X) − 2c1‖a‖2Ln(X)‖v‖
2
L2
1,A0
(X)
≥ ‖dA0v‖2L2(X) − 2c1‖a‖2L2p(X)‖v‖
2
L2
1,A0
(X).
If n = 2, define q ∈ (1,∞) by 1 = 1/p+ 1/q,
‖dAv‖2L2(X) = ‖dA0v + [a, v]‖2L2(X) ≥ ‖dA0v‖2L2(X) − ‖[a, v]‖2L2(X)
≥ ‖dA0v‖2L2(X) − 2‖a‖2L2p(X)‖v‖
2
L2q(X)
≥ ‖dA0v‖2L2(X) − 2c1‖a‖2L2p(X)‖v‖
2
L2
1,A0
(X),
here we use the Sobolev embedding L2
1 ↪→ L2q.
Applying the a priori estimate (3.3) for ‖v‖L2
1(X) from Lemma 3.3, with c = c(g) and smooth
enough ε = ε(g), we get
‖v‖2L2
1(X) ≤ c
(
‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X) + ‖v‖2L2(X)
)
.
An Energy Gap for Complex Yang–Mills Equations 9
Combining of the preceding inequalities gives
‖dAv‖2L2(X) + ‖d∗Av‖2L2(X) ≥
(
‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X)
)
− 4cc1‖a‖2L2p(X)‖v‖
2
L2(X)
− 4c1c‖a‖2L2p(X)
(
‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X)
)
.
Now take v to be an eigenvalue of ∆A with eigenvalue λ(A) and ‖v‖L2(X) = 1 and also suppose
that ‖A − A0‖L2p(X) is small enough that 4c1c‖a‖2L2p(X) ≤ 1/2. The preceding inequality then
gives
λ(A) ≥
(
1− 4c1c‖a‖2L2p(X)
)(
‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X)
)
− 4c1c‖a‖2L2p(X).
Since ‖v‖L2(X) = 1, we have (‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X)) ≥ λ(A0), hence
λ(A) ≥
(
1− 4c1c‖a‖2L2p(X)
)
λ(A0)− 4c1c‖a‖2L2p(X).
To obtain the upper bounded for λ(A), we exchange the roles of A and A0 that yields the
inequality,
λ(A0) ≥
(
1− 4c1c‖a‖2L2p(X)
)
λ(A)− 4c1c‖a‖2L2p(X). �
3.2 Uniform positive lower bound for the least eigenvalue of ∆A
Our results in Section 3.1 assure the continuity of λ(·) with respect to the Uhlenbeck topology,
and they will be applied here. Before doing this, we recall
Definition 3.5 ([4, Definition 2.4]). Let G be a compact Lie group, P be a G-bundle over
a closed, smooth manifold X of dimension n ≥ 2 and endowed with a smooth Riemannian
metric g. The flat connection, Γ, is non-degenerate if
ker ∆Γ|Ω1(X,gP ) = {0}.
Then we use the results of the continuous of λ[·] and compactness of M(P, g) to prove that λ[·]
has a uniform lower positive bound.
Proposition 3.6. Let G be a compact Lie group, P be a G-bundle over a closed, smooth mani-
fold X of dimension n ≥ 2 and endowed with a smooth Riemannian metric g. Then there
is a positive constant λ with the following significance. Suppose all flat connections on P are
non-degenerate. If Γ is a flat connection, then
λ(Γ) ≥ λ,
where λ(Γ) is as in Definition 3.2.
Proof. The conclusion is a consequence of the fact that M(P, g) is compact,
λ[·] : M(P, g) 3 [Γ]→ λ(Γ) ∈ [0,∞),
to M(P, g) is continuous by Lemma 3.4, the fact that λ(Γ) > 0 for [Γ] ∈M(P, g). �
We consider the open subset of the space B(P, g) defined by
Bε(P, g) := {[A] ∈ B(P, g) : ‖FA‖Lp(X) < ε},
where p is a constant such that 2p > n. Then we have
10 T. Huang
Theorem 3.7. Let G be a compact Lie group, P be a G-bundle over a closed, smooth mani-
fold X of dimension n ≥ 2 and endowed with a smooth Riemannian metric g, and 2p > n.
Then there is a positive constant ε = ε(g, n) with the following significance. Suppose all flat
connections on P are non-degenerate. If A is a smooth connection on P such that
‖FA‖Lp(X) ≤ ε,
and λ(A) is as in Definition 3.2, then
λ(A) ≥ λ/2,
where λ is the constant in Proposition 3.6.
Proof. For a smooth connection A on P with ‖FA‖Lp(X) ≤ ε, where ε is as in the hypotheses of
Theorem 2.7. Then there exists a flat connection Γ on P and a gauge transformation g ∈ Lp2(X)
such that
‖g∗(A)− Γ‖Lp1,Γ(X) ≤ C‖FA‖Lp(X).
For ‖FA‖Lp(X) sufficiently small, we can apply Lemma 3.4 for A and Γ to obtain
λ(A) ≥
(
1− c‖g∗(A)− Γ‖L2p(X)
)
λ(Γ)− c‖g∗(A)− Γ‖L2p(X)
≥
(
1− c‖g∗(A)− Γ‖Lp1,Γ(X)
)
λ(Γ)− c‖g∗(A)− Γ‖Lp1,Γ(X)
≥ λ− Cc‖FA‖Lp(X)(1 + λ),
here we use Sobolev embedding Lp1 ↪→ L2p. We choose ‖FA‖Lp(X) sufficiently small such that
|FA‖Lp(X) ≤ λ
2Cc(1+λ) , then we have λ(A) ≥ λ/2. �
3.3 The case of dimension four
In this section, we will show a theorem similar to Theorem 3.7 in the case of dimension four,
but we only need to suppose that FA with L2-norm is sufficiently small. First, we recall a priori
the Lp estimate for the connection Laplace operator which was proved by Feehan.
Lemma 3.8 ([6, Lemma 35.5]). Let X be a smooth manifold X of dimension n ≥ 4 and endowed
with a smooth Riemannian metric g and q ∈ (n,∞). Then there is a positive constant c = c(g, p)
with the following significance. Let r ∈ (n3 ,
n
2 ) be defined by 1/r = 2/n + 1/q. Let A is a C∞
connection on a vector bundle E over X. If v ∈ C∞(X,E), then
‖v‖Lq(X) ≤ c
(
‖∇∗A∇Av‖Lr(X) + ‖v‖Lr(X)
)
. (3.4)
We now apply Lemma 3.8 to E = Ω1 ⊗ gP , then we give a priori Lp-estimate for ∆A.
Lemma 3.9. Let G be a compact Lie group, P be a G-bundle over a closed, smooth mani-
fold X of dimension n ≥ 4 and endowed with a smooth Riemannian metric g and q ∈ (n,∞).
Then there are positive constants, c = c(g) and ε = ε(g), with the following significance. Let
r ∈ (n3 ,
n
2 ) defined by 1/r = 2/n + 1/q. Let A be a C∞ connection on P that each obeys the
curvature bounded (3.2). If v ∈ Ω1(X, gP ), then
‖v‖Lq(X) ≤ c
(
‖∆Av‖Lr(X) + ‖v‖Lr(X)
)
. (3.5)
An Energy Gap for Complex Yang–Mills Equations 11
Proof. For v ∈ Ω1(X, gP ), from the Weitzenböck formula, we have
∆Av = ∇∗A∇Av + Ric ·v + {v, FA}.
Hence
‖∆Av‖Lr(X) ≤ ‖∇∗A∇Av‖Lr(X) + c‖v‖Lr(X) + ‖{v, FA}‖Lr(X),
for some c = c(g). Since 1/r = 2/n+ 1/q by hypothesis, we see that
‖{v, FA}‖Lr(X) ≤ c‖FA‖Ln/2(X)‖v‖Lq(X),
for some c = c(g). Combining the preceding inequalities with the equation (3.4) we get
‖v‖Lq(X) ≤ ‖∇∗A∇Av‖Lr(X) + c‖v‖Lr(X) + c‖FA‖Ln/2(X)‖v‖Lq(X),
for some c = c(g, q). Provided c‖FA‖Ln/2(X) ≤ 1/2, the rearrangement gives (3.4). �
Hence, following the idea of [8, Lemma 35.13], we also have a useful lemma.
Lemma 3.10 (Lp continuity of least eigenvalue of ∆A with respect to the connection for
2 < p ≤ 4). Let G be a compact Lie group, P be a G-bundle over a closed, smooth four-mani-
fold X and endowed with a smooth Riemannian metric g. Then there are positive constants,
c = c(g) and ε = ε(g), with the following significance. If A0 and A are C∞ connections on P
that each obeys the curvature bounded (3.2), we denote a := A−A0, then λ(A) satisfies
λ(A) ≥ λ(A0)− c0
(
1 + λ2(A)
)
‖a‖2Lp(X),
and
λ(A) ≤ λ(A0) + c0
(
1 + λ2(A0)
)
‖a‖2Lp(X).
Proof. For convenience, write a := A − A0 ∈ Lp(X,Ω1 ⊗ gP ). Define q ∈ [2,∞) by 1/2 =
1/p+1/q and consider v ∈ L2
1(X,Ω1⊗gP ). We use dAv = dA0v+[a, v] and the Höler inequalities
to give
‖dAv‖2L2(X) = ‖dA0v + [a, v]‖2L2(X) ≥ ‖dA0v‖2L2(X) − ‖[a, v]‖2L2(X)
≥ ‖dA0v‖2L2(X) − 2‖a‖2Lp(X)‖v‖
2
Lq(X).
Similarly, d∗Av = d∗A0
v ± ∗[a, ∗v] and
‖d∗Av‖2L2(X) = ‖d∗A0
v ± ∗[a, ∗v]‖2L2(X) ≥ ‖d
∗
A0
v‖2L2(X) − ‖ ∗ [a, ∗v]‖2L2(X)
≥ ‖d∗A0
v‖2L2(X) − 2‖a‖2Lp(X)‖v‖
2
Lq(X).
For p > 4, we have 2 ≤ q < 4 and ‖v‖Lq(X) ≤ (vol(X))1/q−1/4‖v‖L4(X), while for 2 < p ≤ 4, we
have 4 ≤ q < ∞. Therefore, it suffices to consider the case 4 ≤ q < ∞. Applying the a priori
estimate (3.4) and r ∈ (4/3, 2) defined by 1/r = 1/2 + 1/q, we get
‖v‖2Lq(X) ≤ c
(
‖∆Av‖2L4/3(X)
+ ‖v‖2Lr(X)
)
≤ c
(
‖∆Av‖2L2(X) + ‖v‖2Lr(X)
)
.
Combining the preceding inequalities, we get
‖dAv‖2L2(X) + ‖d∗Av‖2L2(X)
≥ ‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X) − 2c1‖a‖2Lp(X)
(
‖∆Av‖2Lr(X) + ‖v‖2Lr(X)
)
≥ ‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X) − 2c0‖a‖2Lp(X)
(
‖∆Av‖L2(X) + ‖v‖2L2(X)
)
,
12 T. Huang
for c0 = c0(p, q) = 2c1vol(X)2/q, using the fact that ‖v‖Lr(X) ≤ vol(X)1/q‖v‖L2(X) for r ∈
(4/3, 2) and 1/r = 1/2 + 1/q. By taking v ∈ L2
1(X,Ω1 ⊗ gP ) to be an eigenvector of ∆A with
eigenvalue λ(A) such that ‖v‖L2(X) = 1 and noting that ‖∆Av‖L2(X) = λ(A) we obtain the
bound
λ(A) ≥ ‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X) − c0
(
1 + λ2(A)
)
‖a‖2Lp(X).
But ‖dA0v‖2L2(X) + ‖d∗A0
v‖2L2(X) ≥ λ(A0) and thus we have the inequality
λ(A) ≥ λ(A0)− c0
(
1 + λ2(A)
)
‖a‖2Lp(X).
Interchanging of the roles A and A0 in the preceding derivation yields
λ(A) ≤ λ(A0) + c0
(
1 + λ2(A0)
)
‖a‖2Lp(X). �
We consider a sequence of C∞ connections {Ai}i∈N on P such that sup ‖FAi‖L2(X) <∞. We
denote
Σ =
{
x ∈ X : lim
r↘0
lim sup
i→∞
‖FAi‖2L2(Br)(x) ≥ ε̃
}
,
the constant ε̃ ∈ (0, 1] as in [15, Theorem 3.2]. We can see Σ is a finite points {x1, . . . , xL} in X.
In our article, we consider the open subset of the space B(P, g) defined by
Bε = {[A] ∈ B(P, g) : ‖FA‖L2(X) < ε}.
We can choose ε sufficiently small such that any sequence {Ai}i∈N has the empty set Σ. From
[15, Theorem 3.1] and [6, Theorem 35.15], we have
Theorem 3.11. Let G be a compact Lie group and P be a principal G-bundle over a close,
smooth four-dimensional X with Riemannian metric g. If {Ai}i∈N is a sequence of C∞ connec-
tions on P such that ‖FAi‖L2(X) ≤ ε, there exists a subsequence, a countable set of arbitrarily
small geodesic balls {Bα}α∈N covering X, C∞-sections
σα,i : Bα → P, Aα ∈ L2
1
(
Bα; Ω1Bα ⊗ g
)
, gαβ ∈ L4
1(Bα ∩Bβ;G),
such that
(1) d∗Aα(i) = 0, for all i sufficiently large,
(2) d∗Aα = 0,
(3) gαβ(i) ⇀ gαβ weakly in L4
1(Bα ∩Bβ;G),
(4) Fα(i) ⇀ Fα weakly in L2(Bα; Ω2Bα ⊗ g),
(5) the sequence {Aα(i)}i∈N obeys
(a) Aα(i) ⇀ Aα weakly in L2
1(Bα; Ω1Bα ⊗ g), and
(b) Aα(i)→ Aα strongly in Lp(Bα; Ω1Bα ⊗ g) for 1 ≤ p < 4,
(6) Aα = g−1
αβAβgαβ + g−1
αβdgαβ.
Here Aα(i) = σ∗αAi, Fα = dAα + [Aα, Aα], Fα(i) = dAα(i) + [Aα(i), Aα(i)] and d∗ is the formal
adjoint of d with respect to the flat metric defined by a choice of geodesic normal coordinates
on Bα.
From [15, Theorem 4.3] and [6, Theorem 35.17], we have
An Energy Gap for Complex Yang–Mills Equations 13
Theorem 3.12. Let G be a compact Lie group and P be a principal G-bundle over a close,
smooth four-dimensional X with Riemannian metric g. If {Ai}i∈N is a sequence of C∞ connec-
tions on P , in the sense that
YM(Ai)↘ 0 as i→∞,
then the following hold, for each α, β ∈ N,
(1) Aα ∈ C∞(Bα; Ω1Bα ⊗ g) and a solution to the flat connection,
(2) gαβ ∈ C∞(Bα
⋂
Bβ;G),
(3) the sequence, {Aα}α∈N and {gαβ}α,β∈N define a C∞ flat connection A∞ on a principal
G-bundle P∞ over X.
Then, we have the useful
Corollary 3.13. Assume the hypotheses of Theorem 3.12, then
lim
i→∞
λ(Ai) = λ(A∞),
where λ(Γ) is as in Definition 3.2.
Proof. From Theorem 3.12, σ∗α,iAi ⇀ σ∗A∞ weakly in L2
1(Bα,Ω
1Bα ⊗ gP ). For L2
1 b Lp,
(2 < p < 4), hence
‖σ∗α,iAi − σ∗A∞‖Lp(Bα) → 0 as i→∞,
for sequences of local sections {σα,m}m∈N of P � Bα and a local section σα of P∞ � Bα and
‖Ai −A∞‖Lp(X) ≤
∑
a
‖σ∗α,mAm − σ∗A∞‖Lp(Bα).
Hence from Lemma 3.10, we have
lim
i→∞
λ(Ai) ≥ λ(A∞)− c0
(
1 + lim
i→∞
λ2(Ai)
)
lim
i→∞
‖ai‖Lp(X),
and
lim
i→∞
λ(Ai) ≤ λ(A∞) + c0
(
1 + λ2(A∞)
)
lim
i→∞
‖ai‖Lp(X).
Then we obtain
lim
i→∞
λ(Ai) = λ(A∞). �
Then we have
Theorem 3.14. Let G be a compact Lie group, P be a G-bundle over a closed, smooth 4-
manifold and endowed with a smooth Riemannian metric g. Then there is a positive constant
ε = ε(g) ∈ (0, 1] with the following significance. Suppose all flat connections on P are non-
degenerate. If A is a C∞ connection on P such that
‖FA‖L2(X) ≤ ε,
and λ(A) is as in Definition 3.2, then
λ(A) ≥ λ
2
,
where λ is the positive constant in Proposition 3.6.
Proof. Suppose that the constant λ ∈ (0, 1] does not exist. We may then choose a sequence
{Ai}i∈N of connections on P such that ‖FAi‖L2(X) → 0 and λ(Ai) → 0 as i → ∞. Since
lim
i→∞
λ(Ai) = λ(A∞) and λ(A∞) > 0 by A∞ is a flat connection, then it contradicts our initial
assumption regarding the sequence {Ai}i∈N. �
14 T. Huang
4 Proof of the main Theorem 1.2
Now, we begin to prove the energy gap result for the complex Yang–Mills equations. At first,
we prove the complex Yang–Mills equations will be reduce to pure Yang–Mills equation under
the certain conditions for g, G, P , and X.
Proposition 4.1. Let X be a closed, oriented, smooth Riemannian manifold of dimension n ≥ 2
with smooth Riemannian metric g, P be a G-bundle over X, let 2p > n when n 6= 4 or p ≥ 2
when n = 4. Then there exists a positive constant ε = ε(g, n, p) with the following significance.
Suppose that all flat connections on P are non-degenerate. If the pair (A, φ) is a C∞-solution
of complex Yang–Mills equations over X and the curvature FA of connection A obeys
‖FA‖Lp(X) ≤ ε,
then φ vanishes.
Proof. If we suppose that
‖FA‖Lp(X) ≤ ε,
where p and ε are the constants satisfying the hypotheses in Theorems 3.7 and 3.14, then there
exists a positive constant λ such that
‖dAv‖2L2(X) + ‖d∗Av‖2L2(X) ≥ λ/2‖v‖
2
L2(X), ∀ v ∈ Ω1(X, gP ).
We have an identity for the solution of complex Yang–Mills equations
‖dAφ‖2L2(X) + ‖d∗Aφ‖2L2(X) + 2‖φ ∧ φ‖2L2(X) − 2〈FA, φ ∧ φ〉L2(X) = 0.
Hence, we have
λ/2‖φ‖2L2(X) ≤ ‖dAφ‖
2
L2(X) + ‖d∗Aφ‖2L2(X) ≤ |〈FA, φ ∧ φ〉L2(X)|
≤ C‖FA‖Lp(X)‖φ‖2L2q(X) ≤ C‖FA‖Lp(X)‖φ‖2L2(X),
where 1/q = 1 − 1/p, C = C(g, p). We can choose ‖FA‖Lp(X) ≤ ε sufficiently small such that
Cε ≤ λ/4, then the extra field φ vanishes. �
Proof Theorem 1.2. From Proposition 4.1, the complex Yang–Mills equations reduce to the
pure Yang–Mills equation d∗AFA = 0 and the curvature obeys ‖FA‖Lp(X) ≤ ε, then by the energy
gap of Yang–Mills connection, we obtain that the connection A is flat. �
Proof Corollary 1.4. For a smooth solution (A, φ) of complex flat connection, from the iden-
tity FA = φ ∧ φ and we apply Theorem 2.5 to obtain
‖FA‖Lp(X) ≤ ‖φ ∧ φ‖Lp(X) ≤ C‖φ‖2L2(X),
where C = C(g, n, p). We can choose ‖φ‖L2(X) sufficiently small such that ‖FA‖Lp(X) ≤ ε,
where ε is the constant in Theorem 1.2. Then we can prove that φ vanishes and A is a flat
connection.
It is easy to see the map (A, φ) 7→ ‖φ‖L2(X) is continuous, then the moduli space of complex
flat connections is non-connected. �
An Energy Gap for Complex Yang–Mills Equations 15
Acknowledgements
I would like to thank Karen Uhlenbeck and Michael Gagliardo for helpful comments regarding
their article [9] and Paul Feehan for helpful comments regarding his articles [6, 7, 8]. I thank the
anonymous referees for a careful reading of my article and helpful comments and corrections.
This work is partially supported by Wu Wen-Tsun Key Laboratory of Mathematics of Chinese
Academy of Sciences at USTC.
References
[1] Bourguignon J.-P., Lawson H.B., Stability and isolation phenomena for Yang–Mills fields, Comm. Math.
Phys. 79 (1981), 189–230.
[2] Bourguignon J.-P., Lawson H.B., Simons J., Stability and gap phenomena for Yang–Mills fields, Proc. Nat.
Acad. Sci. USA 76 (1979), 1550–1553.
[3] Dodziuk J., Min-Oo M., An L2-isolation theorem for Yang–Mills fields over complete manifolds, Compositio
Math. 47 (1982), 165–169.
[4] Donaldson S.K., Floer homology groups in Yang–Mills theory, Cambridge Tracts in Mathematics, Vol. 47,
Cambridge University Press, Cambridge, 2002.
[5] Donaldson S.K., Kronheimer P.B., The geometry of four-manifolds, Oxford Mathematical Monographs, Ox-
ford Science Publications, The Clarendon Press, Oxford University Press, New York, 1990.
[6] Feehan P.M.N., Global existence and convergence of smooth solutions to Yang–Mills gradient flow over
compact four-manifolds, arXiv:1409.1525.
[7] Feehan P.M.N., Energy gap for Yang–Mills connections, I: Four-dimensional closed Riemannian manifolds,
Adv. Math. 296 (2016), 55–84, arXiv:1412.4114.
[8] Feehan P.M.N., Energy gap for Yang–Mills connections, II: Arbitrary closed Riemannian manifolds, Adv.
Math. 312 (2017), 547–587, arXiv:1502.00668.
[9] Gagliardo M., Uhlenbeck K., Geometric aspects of the Kapustin–Witten equations, J. Fixed Point Theory
Appl. 11 (2012), 185–198, arXiv:1401.7366.
[10] Gerhardt C., An energy gap for Yang–Mills connections, Comm. Math. Phys. 298 (2010), 515–522,
arXiv:0908.0767.
[11] Gilbarg D., Trudinger N.S., Elliptic partial differential equations of second order, Grundlehren der Mathe-
matischen Wissenschaften, Vol. 224, 2nd ed., Springer-Verlag, Berlin, 1983.
[12] Hitchin N.J., The self-duality equations on a Riemann surface, Proc. London Math. Soc. 55 (1987), 59–126.
[13] Huang T., A proof on energy gap for Yang–Mills connection, arXiv:1704.02772.
[14] Min-Oo M., An L2-isolation theorem for Yang–Mills fields, Compositio Math. 47 (1982), 153–163.
[15] Sedlacek S., A direct method for minimizing the Yang–Mills functional over 4-manifolds, Comm. Math.
Phys. 86 (1982), 515–527.
[16] Simpson C.T., Constructing variations of Hodge structure using Yang–Mills theory and applications to
uniformization, J. Amer. Math. Soc. 1 (1988), 867–918.
[17] Taubes C.H., Self-dual Yang–Mills connections on non-self-dual 4-manifolds, J. Differential Geom. 17 (1982),
139–170.
[18] Uhlenbeck K.K., Removable singularities in Yang–Mills fields, Comm. Math. Phys. 83 (1982), 11–29.
[19] Uhlenbeck K.K., Connections with Lp bounds on curvature, Comm. Math. Phys. 83 (1982), 31–42.
[20] Uhlenbeck K.K., The Chern classes of Sobolev connections, Comm. Math. Phys. 101 (1985), 449–457.
[21] Wehrheim K., Uhlenbeck compactness, EMS Series of Lectures in Mathematics, European Mathematical
Society (EMS), Zürich, 2004.
https://doi.org/10.1007/BF01942061
https://doi.org/10.1007/BF01942061
https://doi.org/10.1017/CBO9780511543098
https://arxiv.org/abs/1409.1525
https://doi.org/10.1016/j.aim.2016.03.034
https://arxiv.org/abs/1412.4114
https://doi.org/10.1016/j.aim.2017.03.023
https://doi.org/10.1016/j.aim.2017.03.023
https://arxiv.org/abs/1502.00668
https://doi.org/10.1007/s11784-012-0082-3
https://doi.org/10.1007/s11784-012-0082-3
https://arxiv.org/abs/1401.7366
https://doi.org/10.1007/s00220-010-1073-0
https://arxiv.org/abs/0908.0767
https://doi.org/10.1007/978-3-642-61798-0
https://doi.org/10.1007/978-3-642-61798-0
https://doi.org/10.1112/plms/s3-55.1.59
https://arxiv.org/abs/1704.02772
https://doi.org/10.1007/BF01214887
https://doi.org/10.1007/BF01214887
https://doi.org/10.2307/1990994
https://doi.org/10.4310/jdg/1214436701
https://doi.org/10.1007/BF01947068
https://doi.org/10.1007/BF01947069
https://doi.org/10.1007/BF01210739
https://doi.org/10.4171/004
1 Introduction
2 Fundamental preliminaries
2.1 Identities for the solutions
2.2 Energy gap for Yang–Mills connections
3 Eigenvalue bounds for Laplacian A
3.1 Continuity for the least eigenvalue of A
3.2 Uniform positive lower bound for the least eigenvalue of A
3.3 The case of dimension four
4 Proof of the main Theorem 1.2
References
|