Abstract
We prove a regularity theorem for the solutions of the Donaldson geometric flow equation on the space of symplectic forms on a closed smooth four-manifold, representing a fixed cohomology class. The minimal initial conditions lay in the Besov space \(B^{1,p}_{2}(M, {\varLambda }^{2})\) for p > 4. The Donaldson geometric flow was introduced by Simon Donaldson in Donaldson (Asian J. Math. 3, 1–16 1999). For a detailed exposition see Krom and Salamon (J. Symplectic Geom. 17, 381–417 2019).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a smooth closed Riemannian four-manifold. Denote by g the Riemannian metric, denote by dvol ∈Ω4(M) the volume form of g and let ∗ : Ωk(M) →Ωn−k(M) be the Hodge ∗-operator associated to the metric and orientation. Let ω be a symplectic form on M compatible with the metric and let \({\mathscr{S}}_{a}\) be the space of symplectic forms representing the cohomology class \(a = [w] \in H^{2}(M; \mathbb R)\). This is formally an infinite dimensional manifold and the tangent space at any element \(\rho \in {\mathscr{S}}_{a}\) is the space of exact two-forms. The Donaldson geometric flow on \({\mathscr{S}}_{a}\) is given by the evolution equation
where Θρ and ∗ρ are defined pointwise on M by the equations
for all one-forms λ ∈Ω1(M). The operator ∗ρ is the Hodge star operator for the metric gρ which is uniquely determined by the conditions
for all ω ∈Λ2T∗M. A detailed explanation of the construction of the metric gρ and the operator ∗ρ is given in [5]. Each ρ ∈Ω2 with ρ2 > 0 determines an inner product 〈⋅,⋅〉ρ on the space of exact two-forms defined by
These inner products determine a metric on the infinite dimensional space \({\mathscr{S}}_{a}\) called the Donaldson metric. The Donaldson geometric flow is the negative gradient flow with respect to the Donaldson metric of the energy functional \({\mathscr{E}}:{\mathscr{S}}_{a} \to \mathbb R\) defined by
The Donaldson flow equation has a beautiful geometric origin laid out in Donaldson’s paper [1]. The key idea is that the space of diffeomorphisms of a hyperKähler surface has the structure of an infinite dimensional hyperKähler manifold. The group of symplectomorphisms with respect to a preferred symplectic structure ω then acts by composition on the right and this group action is generated by a hyperKähler moment map. In analogy with the finite dimensional case, one then studies the negative gradient flow to the moment map square functional with respect to the L2-inner product. If we push the preferred symplectic structure ω forward by the diffeomorpisms of M to the space of symplectic structures in a fixed cohomology class, we obtain the Donaldson flow equation (1). If we push the moment map square forward, we obtain the energy functional \({\mathscr{E}}:{\mathscr{S}}_{a} \to \mathbb R\) in (3) and if we push the L2-metric forward, we obtain the Donaldson metric (2). The Donaldson flow remains the negative gradient flow to this energy functional with respect to the Donaldson metric (2) on the space of symplectic structures in a fixed cohomology class. The Donaldson flow remains well defined for a general symplectic 4-manifold (M,ω) equipped with a compatible Riemannian metric g.
The motivation to study the Donaldson flow on the space of symplectic structures comes from the longstanding open uniqueness problem for symplectic structures on closed four-manifolds (see [9] for an exposition). The hope is that the Donaldson flow provides a tool to settle this question at least in some favorable cases, such as the hyperKähler surface and the complex projective plane \({\mathbb C\mathrm {P}}^{2}\). This hope is strengthened by the observation that the preferred symplectic structure ω is the unique absolute minimum and that the Hessian of the energy functional \({\mathscr{E}}\) is positive definite at the absolute minimum (see [5]). In the case of \(M={\mathbb C\mathrm {P}}^{2}\), we can further show that the Fubini-Study form is the only critical point of the flow. Thus, if longtime existence and convergence of the Donaldson flow can be established, the Donaldson flow would provide a proof for the uniqueness of the symplectic structures on \({\mathbb C\mathrm {P}}^{2}\) of a given cohomology class up to isotopy. In the case of the hyperKähler surface, Donaldson [1] proved that the higher critical points are not strictly stable. The idea would then be to perturb the flow near the critical points such that eventually the perturbed flow converges towards the unique absolute mimimum.
The main result of this paper is the regularity for critical points and the regularity for the flow (Section 4). Local existence and the semiflow property of the Donaldson flow have been established in the Ph.D. thesis of the author [6]. These results lay the foundation for future studies focusing on longtime existence and the problem of solutions escaping to infinity. Section 2 contains the main geometric ideas, in particular a result by Donaldson [2] that shows that the map \(\rho \mapsto \frac {\rho ^{+}}{u}\) from the space of symplectic forms representing a cohomology class in a fixed affine space in \(H^{2}(M; \mathbb R)\) with dimension equal to \(b_{2}^{+}\) to the space of self-dual two-forms is a local Banach space diffeomorphism. In Section 3 we then study the evolution of \(\frac {\rho ^{+}}{u}\) if ρ evolves by the Donaldson flow equation. This evolution equation is the key to prove the regularity theorem for solutions of the Donaldson flow equation in Section 4.
Notation and Conventions
Let (M,g) be a closed Riemannian oriented four-manifold. Let \(\pi : E \rightarrow M\) be a natural k-dimensional vector bundle over M. We denote by Wℓ,p(M,E) the Sobolev completion of the space of sections Ω0(M,E). If the bundle in question is clear from the context, we will just write Wℓ,p instead of Wℓ,p(M,E). We will suppress the constants that solely depend on the parameters \({\dim }(M), \text {vol}(M), k, p\) from the notations when we make estimates in Sobolev norms. We denote by \({\mathscr{S}}\) the space of smooth symplectic structures on M compatible with the orientation. We write \({\mathscr{S}}_{a}\) for \(\rho \in {\mathscr{S}}\) that represent a fixed cohomology class \(a\in H^{2}(M; \mathbb R)\). Let \(L \in H^{2}(M; \mathbb R)\) be an affine subspace. Then, \({\mathscr{S}}_{L}\) denotes the subset of \({\mathscr{S}}\) such that the symplectic structures represent cohomology classes in L. We define
A cohomology class or an affine subspace of cohomology classes as subscript has the same meaning as in the smooth counterpart. A linear subspace \(\mathcal H \subset H^{2}(M; \mathbb R)\) is called positive, if and only if for all \(0 \neq a\in \mathcal H\) we have a2([M]) > 0, where [M] denotes the fundamental homology class of M. Finally, a polynomial with positive real coefficients in several variables is a polynomial given by
where the sum runs over all multi-indices \(\alpha = (\alpha _{1},\ldots , \alpha _{\ell }) \in \mathbb N_{0}^{\ell }\) with \(\left |{\alpha }\right | = {\sum }_{i=1}^{\ell } \alpha _{i} \leq m\) and aα ≥ 0 for all α.
2 The Map K
In this section, we study the map
from the space of symplectic forms to the space of self-dual two-forms. We apply a theory developed by Donaldson [2] on elliptic problems for closed two-forms on four dimensional closed manifolds that fullfill a pointwise constraint with ‘negative tangents’. The main insight is that this map is a local Banach space diffeomorphism between appropriately choosen spaces and the regularity of \(\frac {\rho ^{+}}{u}\) determines the regularity of ρ. The precise statement is given in Theorem 1.
We will use the construction of a Riemannian metric determined by a nondegenerate two-form and a volume form explained in [5]. Here is a brief overview. Fix a nondegenerate two-form ρ ∈Ω2(M) such that ρ ∧ ρ > 0. There exists a Riemannian metric gρ such that its volume form agrees with dvol of (M,g). The associated Hodge star operator ∗ρ : Ω1(M) →Ω3(M) is given by
If X ∈Vect(M) is a vector field then
The map
is an involution that preserves the exterior product, acts as the identity on the orthogonal complement of ρ with respect to the exterior product and it sends ρ to − ρ. Moreover, it maps Ω+ to \({\varOmega }^{+^{\rho }}\), the self-dual forms with respect to the metric gρ. The Hodge star operator ∗ρ : Ω2(M) →Ω2(M) associated to gρ is given by
Let ω ∈Ω2(M) be a self-dual two-form and let J : TM → TM be an almost complex structure such that g = ω(⋅,J⋅). We define the almost complex structure Jρ by
and a self-dual two-form ωρ with respect to gρ by
Then,
and
for all one-forms λ ∈Ω1(M).
Now, fix a symplectic form \(\rho \in {\mathscr{S}}_{a}\). Let \({\mathscr{S}}_{a+\mathcal H^{\rho }}\) be the space of symplectic forms representing a cohomology class in the affine space \(a + \mathcal H^{\rho } \subset H^{2}(M; \mathbb R)\). Define the map \(K: {\mathscr{S}}_{a+\mathcal H^{\rho }} \to {\varOmega }^{+}\) by
Denote the extension of this map to the Sobolev space \({\mathscr{S}}^{k,p}_{a+\mathcal H_{\rho }}\) also by K.
Theorem 1
(The Map K) Let \(k - \frac {4}{p}> 0\).(i) For every \(\rho \in {\mathscr{S}}^{k,p}_{a + \mathcal H_{\rho }}\), there exists a Wk,p-neighborhood of ρ such that K restricted to this neighborhood is a diffeomorphism of Banach spaces.(ii) Let \(\mathcal H \in H^{2}(M;\mathbb R)\) be a positive linear subspace and \(a\in H^{2}(M; \mathbb R)\). The map \(K: {\mathscr{S}}_{a + \mathcal H} \to {\varOmega }^{+}\) is injective.(iii) There exist polynomials \(\mathfrak {p}_{1}, \mathfrak {p}_{2}\) with positive coefficients with the following significance. If \(\rho \in {\mathscr{S}}^{k,p}\) and K(ρ) ∈ Wk+ 1,p(M,Λ+) with \(\frac {1}{u} \leq C < \infty \), then \(\rho \in {\mathscr{S}}^{k+1,p}\) and
Proof
See page 7. □
We will need the following three lemmas to prove Theorem 1.
Lemma 1
(Negative chords) Let V be a real four-dimensional vector space equipped with the standard metric, 𝜃 ∈Λ+V with 𝜃2 = dvol and \(\rho _{1},\rho _{2} \in {\varLambda }^{2}V\) such that
Then,
and
Proof
Since \(\rho _{1}^{+} = \lambda _{1} \theta \) and \(\rho _{2}^{+} = \lambda _{2}\theta \) for λ1,λ2 ≥ 1, we find
Thus,
Since
we have \(|{\rho _{i}^{-}}|^{2} = {\lambda _{i}^{2}} -1\) and hence
By the Cauchy-Schwarz inequality \(\langle \rho _{1}^{-},\rho _{2}^{-}\rangle \leq |{\rho _{1}^{-}}||{\rho _{2}^{-}}|\) and equality holds if and only if \(\rho _{1}^{-}\) and \(\rho _{2}^{-}\) are colinear. Thus,
and equality holds only if \(\rho _{1}^{-}\) and \(\rho _{2}^{-}\) are colinear. Suppose \(\left (\rho _{1} - \rho _{2}\right )^{2} \geq 0\). Then,
Squaring both sides of the inequality yields
Hence, we find
and equality holds if and only if \(\rho _{1}^{-}\) and \(\rho _{2}^{-}\) are colinear. But clearly
and it follows that λ1 = λ2 and \(\rho _{1}^{-}\) and \(\rho _{2}^{-}\) are colinear. From \(\rho _{i}^{+} = \lambda _{i} \theta \), we get \(\rho _{1}^{+}= \rho _{2}^{+}\). Furthermore, since λ1 = λ2 and \(|{\rho _{i}^{-}}|^{2} = {\lambda _{i}^{2}} - 1\), we get \(|{\rho _{1}^{-}}| = |{\rho _{2}^{-}}|\) and therefore \(\rho _{1}^{-} = \pm \rho _{2}^{-}\). However, if \(\rho _{2} = \rho _{1}^{+} - \rho _{1}^{-}\) and \(|{\rho _{1}^{-}}| > 0\), then \(\left (\rho _{1} - \rho _{2} \right )^{2} \le 0\) is in violation to our assumption. We conclude that ρ1 = ρ2. □
Remark 1
The set
for a fixed volume form dvol and a self-dual two-form 𝜃 was considered by Donaldson in [2] in the context of the following problem: How many symplectic structures ρ exist, such that ρ ∧ ρ = dvol for a prescribed volume form dvol, ρ is compatible with a prescribed almost complex structure and ρ lays in a given positive affine subspace of \(H^{2}(M, \mathbb R)\)? The answer is that it is unique. The set \(\mathcal P_{\text {dvol}, \theta }\) is a three-dimensional submanifold of Λ2V with two components. The key property of this manifold established in Lemma 1 is called ‘negative chords’.
Lemma 2
(The Linearization of K) Let ρs be a path of nondegenerate 2-forms and \({\widehat {\rho }} = \left .\frac {d}{ds}\right |_{s=0} \rho _{s}\), ρ = ρ0. Then,
In particular,
Proof
We compute
For the last equality, we used that the linear map Rρ : Λ2V → Λ2V is an involution on Λ2V for a 4-dimensional real vector space V and it maps Λ+ to \({\varLambda }^{+^{\rho }}\) and vice versa, where \({\varLambda }^{+^{\rho }}\) is the space of self-dual 2-forms for the metric gρ (see [5] for a proof of these facts). □
Lemma 3
(Lie Derivative) Let X be a vector field on M and ρ a nondegenerate two-form. Then,
Proof
Let ψs, s ≥ 0 be the family of diffeomorphisms on M generated by the vector field X. Then,
Thus,
Using Lemma 2, we then compute
This proves the lemma. □
Proof Proof of Theorem 1
We prove (i). By Lemma 2 the linearization of K is given by
We claim that this is an isomorphism. Then, (i) follows from the inverse function theorem for Banach spaces. By Hodge’s theory for the operator \(d^{*^{\rho }}d + dd^{*^{\rho }}\) every \(\sigma \in {\mathscr{S}}^{k,p}_{a + \mathcal H^{\rho }}\) can be written as a sum σ = ρ + dλ + h for a unique λ ∈ Wk+ 1,p(M,T∗M) and a \(h \in \mathcal H^{\rho }\) such that \({\int \limits }_{M} d\lambda \wedge *^{\rho } h =0\) and \(d^{*^{\rho }}\lambda =0\). Hence,
for such unique λ and h. Now suppose \({\widehat {K}} {\widehat {\rho }} = 0\). It follows that
Since h is closed, \(dd^{(+^{\rho })}\lambda = 0\), and thus
Since \(0 = {\int \limits }_{M} d\lambda \wedge d\lambda = {\int \limits }_{M} |{d^{(+^{\rho })}\lambda }| - |{d^{(-^{\rho })}\lambda }|\text {dvol}\), it follows that
Together with \(d^{*^{\rho }}\lambda = 0\), this implies that λ is harmonic and h = 0. This shows that \({\widehat {K}}\) is injective. Now, let η ∈ Wk,p(M,Λ+). Since Wk,p is closed under products and composition with smooth functions for \(k - \frac {4}{p} > 0\), u0Rρη is in \( W^{k,p}(M,{\varLambda }^{+^{\rho }})\) and by Hodge’s theory there exists a unique one-form λ ∈ Wk+ 1,p(M,T∗M) and a harmonic two-form h which is self-dual with respect to ∗ρ such that u0Rρη = dλ + h. Then, \({\widehat {K}} \left (d\lambda + h \right ) = {\widehat {K}} \left (u_{0} R^{\rho } \eta \right ) = \eta \) and this shows that \({\widehat {K}}\) is surjective. This proves (i).
We prove (ii). Let \(\mathcal H\subset H^{2}(M; \mathbb R)\) be a positive linear subspace. Let ρ1,ρ2 be two elements of \({\mathscr{S}}_{a + \mathcal H}\) such that
Define
Then,
and
for i = 1,2. It now follows from Lemma 1 that
pointwise. On the other hand, since \([\rho _{1}], [\rho _{2}] \in a + \mathcal H\) and \(\mathcal H\) is a positive subspace of H2(M), we have
and therefore (ρ1 − ρ2)2 = 0. We conclude with Lemma 1 that ρ1 = ρ2. This proves (ii).
We prove (iii). Let \(\rho \in {\mathscr{S}}^{k,p}\) and let \(\mathcal L \rho \) be a Lie derivative of ρ in an arbitrary direction. By Cartan’s formula the Lie derivative of ρ is exact and by Lemma 3
The right hand side is a term of the form
for polynomials P1,P2,P3 with smooth coefficient functions in the indicated variables. It follows from elliptic regularity theory and product estimates for Sobolev spaces (see, e.g. [6, Lemma A.2]) that \(\mathcal L \rho \in W^{k,p}\) and that there exist polynomials \(\mathfrak {p}_{1}, \mathfrak {p}_{2}\) with positive coefficients independent of ρ with the following significance
for \(C = \sup _{x \in M} \frac {1}{u(x)}\). Since the Lie derivative \(\mathcal L \rho \) was arbitrary, the result follows. □
3 The Evolution Equation for K(ρ)
In view of Theorem 1, the Donaldson flow has an equivalent description on the space of self-dual two-forms given by the evolution equation for \(K(\rho ) = \frac {\rho ^{+}}{u}\). This equation exposes the parabolic nature of the Donaldson flow equation and it is the key for the regularity theorems which we will prove in the later sections.
To obtain a global formula, we introduce the operator Sρ,
where λ ∈Ω1, Rρ is defined by (4) and ρ(Xλ,⋅) := λ. We say \(\omega _{1},\omega _{2},\omega _{3} \in {\varOmega }^{+}\) form a standard local frame of Ω+ if and only if locally
Theorem 2
(The Evolution of \(\frac {\rho ^{+}}{u}\))(i) Suppose ρ is a smooth solution to the Donaldson flow equation. Then, the evolution of the 2-form \(\frac {\rho ^{+}}{u}\) is given by the equation
Here, Rρ is defined by (4).(ii) (8) is the same as
where Sρ is defined by (7), \(\left (S^{\rho }\right )^{*^{\rho }}\) is the adjoint of Sρ with respect to the inner products \({\int \limits }_{M} \langle {\cdot },{\cdot }\rangle _{g^{\rho }}\text {dvol}\) on Ω1 and \({\int \limits }_{M}\langle {\cdot },{\cdot }\rangle _{g} \text {dvol}\) on Ω+ and
(iii) Let ω1,ω2,ω3 form a local standard frame of Ω+. Then, the evolution of the functions \( K_{i} := \frac {\rho \wedge \omega _{i}}{\text {dvol}_{\rho }} \) is given by
Here, XH denotes the Hamiltonian vector field of the function H. The bracket {⋅,⋅}ρ denotes the Poisson bracket with respect to the symplectic structure ρ. \(E^{\rho }_{\omega }\) and \({E^{\prime }}^{\rho }_{\omega }\) are error terms depending on the frame ω1,ω2,ω3 that vanish whenever ∇ωi = 0 and are given by
for \(f=(f_{1}, f_{2},f_{3}) \in {\varOmega }^{0}(M, \mathbb R^{3})\).(iv) Assume the hyperKähler case. Then, the evolution of the functions \( K_{i} = \frac {\rho \wedge \omega _{i}}{\text {dvol}_{\rho }} \) is given by
Proof
See page 13. □
We need the following lemma on the properties of Sρ and its adjoint \((S^{\rho })^{*^{\rho }}\).
Lemma 4
(The Operators Sρ, \((S^{\rho })^{*^{\rho }}\)) Let \(\rho \in {\mathscr{S}}_{a}\).(i) The adjoint of Sρ : Ω1(M) →Ω+(M) with respect to the inner products \({\int \limits }_{M}\langle {\cdot },{\cdot }\rangle _{g^{\rho }}\text {dvol}\) on Ω1 and \({\int \limits }_{M}\langle {\cdot },{\cdot }\rangle _{g}\text {dvol}\) on Ω+ is given by
where \(g(\nabla \frac {\rho ^{+}}{u}, \xi )\) is the 1-form given by \(X \mapsto g(\nabla _{X} \frac {\rho ^{+}}{u}, \xi )\) for a vector field X.(ii) \((S^{\rho })^{*^{\rho }} \frac {2\rho ^{+}}{u} = *^{\rho } d\theta ^{\rho }\), where \(\theta ^{\rho } = \frac {2\rho ^{+}}{u} + |{\frac {\rho ^{+}}{u}}|^{2}\rho \).(iii) Let ω ∈Ω+. Then,
In particular, \((S^{\rho })^{*^{\rho }} \omega \) is independent of derivatives of ρ and if ∇ω = 0, then \((S^{\rho })^{*^{\rho }} \omega = 0\).(iv) The operator \((S^{\rho })^{*^{\rho }}\) satisfies the following Leibniz rule,
for all ξ ∈Ω+ and \(f \in {\varOmega }^{0}(M, \mathbb R)\).(v) Let ω1,ω2,ω3 be a standard frame for Ω+ with respect to the background metric g and \(f_{i} \in {\varOmega }^{0}(M, \mathbb R)\), then
(vi) In the hyperKähler case,
(vii) Let ω1,ω2,ω3 be a standard frame for Ω+ with respect to the background metric g and \(f_{i} \in {\varOmega }^{0}(M, \mathbb R)\), then
where \(K_{i}^{\rho } := \frac {\omega _{i} \wedge \rho }{\text {dvol}_{\rho }}\) and \(E^{\rho }_{\omega }: {\varOmega }^{0}(M, \mathbb R^{3}) \to {\varOmega }^{+} \) is the linear first order differential operator given by (9). It vanishes whenever ∇ωi = 0 for i = 1,2,3.
Proof
We prove (i). To compute the adjoint of Sρ let λ be a 1-form and ξ ∈Ω+, then
where
Here, we used the identity
in the last equation. Using this identity again together with the definition of the Hodge star operator ∗ρ, we have
Thus, we have proved that
for all self-dual two-forms ξ ∈Ω+(M) and one-forms λ ∈Ω1(M). This proves (i).
Part (ii) follows from the computation
where we used that \(*^{\rho } R^{\rho } \frac {2\rho ^{+}}{u} = R^{\rho } \frac {2\rho ^{+}}{u}\) in the first equation. This proves (ii).
We prove (iii). Let ω ∈Ω+. Observe that
and hence
Now suppose ∇ω = 0. Then, we have dω = 0 and it follows from the last equation that \((S^{\rho })^{*^{\rho }} \omega = 0\). This proves (iii).
We prove (iv). Let ξ ∈Ω+ and \(f \in {\varOmega }^{0}(M, \mathbb R)\). Then,
This proves (iv).
We prove (v). It follows from (iv) that
where the last equality follows from identity (5). This proves (v).
(vi) follows directly from (v) since \((S^{\rho })^{*^{\rho }} \omega _{i} = 0\) by (iii) for the hyperKähler structures ω1,ω2,ω3.
We prove (vii). It follows from (v) that in a standard frame ω1,ω2,ω3 for Ω+, Sρ is given by
for a 1-form λ. Again by (v)
Observe that
Then by identity (5) and the hyperKähler relations for \(J_{i}^{\rho }\),
and hence
This proves (vii). □
We end the section with a proof of Theorem 2.
Proof Proof of Theorem 2
We prove (i). Let ρ be a smooth solution to the Donaldson flow equation ∂tρ = d ∗ρd𝜃ρ. Then by (6),
Here, we use that Rρ maps Λ+ to \({\varLambda }^{+^{\rho }}\) and vise versa in the second equation. This proves (i).
We prove (ii). By the definition of the operator Sρ given by (7) and Lemma 4 (ii),
Together with (i), this proves (ii).
We prove (iii). First note that in a local standard frame ω1,ω2,ω3 for Ω+ we have \( \frac {2\rho ^{+}}{u} = {\sum }_{i} K_{i} \omega _{i}\) and by Lemma 4 (ii) and (v)
Since
the vector field \(X_{*^{\rho } d \theta ^{\rho }}\) that satisfies \(\rho (X_{*^{\rho } d \theta ^{\rho }}, \cdot )= *^{\rho } d \theta ^{\rho }\) is given by
Hence,
for K = (K1,K2,K3). By Lemma 4 (vii)
Thus, from
we find that
We prove (iv). Since ∇ωi = 0 for the three hyperKähler structures ω1,ω2,ω3 we have dωi = 0 and \((S^{\rho })^{*^{\rho }}\omega _{i} = 0\). Hence, the error terms \(E^{\rho }_{\omega }\) and \({E^{\prime }}_{\omega }\) vanish and (iv) follows from (iii). □
4 Regularity
In this section, we prove that a solution to the Donaldson flow equation is as smooth as its initial condition allows, given that it is an element of L2(I,W2,p) ∩ W1,2(I,Lp) for p > 4. In particular, it is smooth if its initial conditions are smooth. The proof combines two insights. First, the regularity of \(\frac {\rho ^{+}}{u}\) determines the regularity of ρ. This is the content of Theorem 1 (iii). Second, the evolution of \(\frac {\rho ^{+}}{u}\) is given by a parabolic operator, where the right hand side of the equation is essentially a product of two derivatives. This is the content of Theorem 2 (iii). This allows bootstrapping. The details are given in the next two theorems. The first theorem illustrates the ideas in the simpler case of a critical point.
Theorem 3
(Critical Point) Let p > 4 and let ρ ∈ W1,p(M,Λ2) be a critical point of the Donaldson flow. Then, ρ is smooth.
The next lemma will be needed in the bootstrapping process.
Lemma 5
Let \(p^{\prime }> p > 4\). If ρ ∈ W1,p is a symplectic form with \( \frac {\rho ^{+}}{u} \in W^{1,p^{\prime }} \) then \(\rho \in W^{1,p^{\prime }}\) as well.
Proof
Let \(\mathcal L \rho \) be a Lie derivative of ρ in an arbitrary direction. Let ρ0 be a smooth nondegenerate form such that \(\|{\rho - \rho _{0}\|}_{L^{\infty }} < \delta \) for a small δ > 0. Then, there exists a unique 1-form λ ∈ W1,p such that \(d\lambda = \mathcal L \rho \) and \(d^{*^{\rho _{0}}}\lambda = 0\). By elliptic regularity theory for the operator \(d^{+^{\rho _{0}}} + d^{*^{\rho _{0}}}\) there exists a constant c > 0 such that
Since
for a polynomial \(\mathfrak {p}\) with positive coefficients vanishing at zero, we have
for a small enough δ > 0. Further, since
we have
By Lemma 3,
Therefore,
for polynomials with positive coefficient \(\mathfrak {p}_{1}\) and \(\mathfrak {p}_{2}\), and
Since this is true for an arbitrary Lie derivative of ρ and small enough δ > 0, it follows that
This proves the lemma. □
We will need the following lemma on elliptic regularity of the operator \(d^{*^{\rho }}\frac {d}u : C^{\infty }(M) \to C^{\infty }(M)\) in the case that ρ and thus the coefficients are not smooth.
Lemma 6
(Elliptic Regularity) Let p > 4, q > 1, k ≥ 0 and let ρ ∈ Wk+ 1,p(M,Λ2) such that ρ ∧ ρ > 0. Assume there exists a constant c0 > 0 such that for all \(v,w\in C^{\infty }(M)\) and all ε > 0 we can estimate
Let v ∈ W1,q(M) and f ∈ Wk,q(M) such that
for all φ ∈ C1(M). Then, v is an element of Wk+ 2,q(M) and there exists a constant \(c=c(q,k,M, \|{\rho }\|_{W^{1,p}})\) such that
Proof
We only prove the case k = 0, the general case follows by induction over k. Choose coordinate charts for M and a subordinate partition of unity of M. Let \(\psi \in C^{\infty }_{0}(M)\) be a cutoff function. Then, we have
for all φ ∈ C1(M) and
Let \(B \subset \mathbb R^{4}\) be a ball around zero. Let △ be the Hodge laplacian on \(\mathbb R^{4}\) with respect to the standard metric. We know from ellpitic regularity if \(v \in W^{1,p}_{0}(B)\) is a weak solution to the equation
in the sense that for every \(\varphi \in {C^{1}_{0}}(B)\) we have
for an f ∈ Lq(B) and q > 1, then v ∈ W2,q(B) and there exists a constant c1(q,B) such that
We choose a coordinate chart such that the image of the support of ψ is contained in B and the push-forward of ρ equals the standard symplectic structure at 0 ∈ B. We can always achieve this by a change of coordinates. Let us denote the push-forward of ρ under this coordinate by ρα. Furthermore, we denote by \(\triangle ^{\rho _{\alpha }}\) the operator \(d^{*^{\rho }}\frac {d}{u}\) expressed in this chart and by vα, \(f^{\prime }_{\alpha }\) the push-forward of \(\psi v, f^{\prime }\), respectively. By estimate (10), there exists a polynomial with positive coefficents \(\mathfrak {p}\) such that
By interpolating \(\|{\partial v_{\alpha }}\|_{L^{q}} \leq c \|{v_{\alpha }}\|^{\frac 12}_{L^{q}} \|{v_{\alpha }}\|^{\frac 12}_{W^{2,q}}\) with the Galgliardo-Nirenberg interpolation inequality, we find
If vα is a smooth solution to
then it also solves
By choosing ε and the ball B small, we see that there exits a constant \(c_{4} = c_{4}(q,\|{\rho }\|_{W^{1,p}})\) such that
Here, we are using that W1,p(M)↪C0(M) for p > 4 and therefore \(\|{\rho _{\alpha } - \rho _{0}}\|_{L^{\infty }(B)}\) is small for a small ball. If v ∈ W1,q(M) is a weak solution to \(d^{*^{\rho }}\frac {d}{u} v = f\) in the sense that
for all φ ∈ C1(M) then we approximate f and ρ by smooth functions fk, respectively, smooth nondegenerate two-forms ρk, such that
For each pair (fk,ρk) we find by standard L2-theory for elliptic operators a smooth function vk that solves
and \({\int \limits }_{M} v_{k} \text {dvol} = {\int \limits }_{M} v \text {dvol}\). The constant c4 in (12) can be choosen uniformly in k for big k and it follows that \(\{v_{k}\}_{k\in \mathbb N}\) has a weakly convergent subsequence with limit \(\bar {v} \in W^{2,q}\) that satisfies the estimate (12) and \(d^{*^{\rho }}\frac {d}{u} \bar {v} = f\). Hence,
for all φ ∈ C1(M). By choosing a sequence φk ∈ C1(M) such that φk converges to \((v - \bar {v})\) in W1,2(M) we see that \(\bar {v} = v\). This proves the lemma. □
Proof Proof of Theorem 3
If ρ is a critical point of the Donaldson flow then it follows from Theorem 2 (iii) that for a local standard frame ω1,ω2,ω3 and
we have the equations
for cyclic permutations of i,j,k. The right hand side of this equation consists of products of derivatives of the functions Ki times a polynomial in the ρ and \(\frac {1}{u}\) variables plus lower order terms in the functions Ki times another polynomial of the same form. Thus, schematically we may write
Since \(1-\frac {4}{p}>0\), ρ ∈ C0 and since we assume that ρ is a symplectic structure, we have \(\sup _{M} \frac {1}{u} < \infty \). It follows that the \(L^{\infty }\)-norms of P1,P2 are bounded. Using Hölder’s inequality we see that the right hand side is an element of \(L^{\frac {p}{2}}\). For two functions \(v,w \in C^{\infty }(M)\), we have the estimate
where we used Hölder’s inequality in the first inequality and the Gagliardo-Nirenberg interpolation inequality in the second. It follows from Lemma 6 that K is in \(W^{2,\frac {p}{2}}\). By Rellich’s embedding theorem \(W^{1,\frac {p}{2}} \hookrightarrow L^{p^{\prime }}\) where
For 4 < p < 8, we have
Thus, \(K \in W^{1,p^{\prime }}\) and by Lemma 5 \(\rho \in W^{1,p^{\prime }}\). If we repeat this argument with p replaced by \(p^{\prime }\), we find that \(K \in W^{1,\frac {p^{\prime \prime }}{2}}\), \(p^{\prime \prime } > p^{\prime }\) and
Hence, eventually we find that K ∈ W2,q and ρ ∈ W1,q for all q ≥ p. Now, we can use Theorem 1 to see that ρ ∈ W2,q as well. This implies that the right hand side of (13) is in W1,q and elliptic regularity gives us that K ∈ W3,q. Now, an obvious iteration of these arguments using elliptic regularity and Theorem 1 deduces the regularity of ρ from the regularity of K, proving the theorem. □
Let T > 0 and
For p > 4, and integers k ≥ 2, \(0 \leq r \leq \lfloor \frac {k}{2}\rfloor \) define the Sobolev space Wr,k,p of functions on I × M such that the weak derivatives \({\partial ^{s}_{t}} \partial ^{\ell }\) exist and are bounded in the Lp − L2-norm for 2s + ℓ ≤ k, s ≤ r,
This definition extends in an obvious way to functions from I to the space of sections of a vector bundle over M. In the case at hand, the relevant vector bundle is the bundle of two-forms over M and the corresponding space will be denoted by
If the vector bundle in question is clear, we will simply write Wr,k,p. The norm on this space is given by
The Besov space \(B^{s,p}_{q}(\mathbb R^{n}, \mathbb C)\) (see [4]) is the completion of the space \(C^{\infty }_{0}(\mathbb R^{n}, \mathbb C)\) with respect to the norm
for \(f\in C^{\infty }_{0}(\mathbb R^{n}, \mathbb C)\), where
An excellent self-contained exposition of parabolic Lp − Lq estimates and the role of Besov spaces for the initial conditions of parabolic flows can be found in [8]. The next proposition shows that the Besov space \(B^{k-1,p}_{2}(M, {\varLambda }^{2})\) is the natural space for the initial conditions for solutions \(u \in W^{r,k,p}(M_{I}, {\varLambda }^{2})\) of a parabolic evolution equation.
Proposition 1
(Besov Spaces) Let k ≥ 2.1) The restriction map ρ↦ρ(t = 0,⋅) extends to a bounded linear operator
where \(B^{k-1,p}_{2}(M, {\varLambda }^{2})\) denotes the Besov space with exponents p and q = 2. 2) This restriction map is surjective and it has a bounded right inverse. 3) The identity operator on the space of real smooth functions on I to sections in the vector bundle Λ2 over M with compact support extends to a bounded linear operator
4) Let k ≥ 1. It holds
Proof
For k = 2, the statements 1), 2) and 3) follow directly from [8, Corollary 1.7 and Corollary 1.8] after choosing local coordinates for M and a subordinate partition of unity. For k = 1, 4) follows from [8, Corollary 13.9 iii)]. 1)–4) can be extended to higher k by using [8, Theorem 14.1 iii)].
□
Theorem 4
(Flow Lines) Let ρ ∈ W1,2(I,Lp) ∩ L2(I,W2,p) be a solution to the Donaldson flow equation for p > 4 with initial condition ρ(t = 0,⋅) = ρ0. For every integer k ≥ 1 and all 4 < p′ < p the following are equivalent:1) \(\rho _{0} \in B^{k,p^{\prime }}_{2}(M, {\varLambda }^{2})\).2) \(\rho \in W^{\frac {k+1}{2}, k+1, p^{\prime }}(M, {\varLambda }^{2})\).
The proof of this theorem uses parabolic regularity theory. In particular, we use the ‘maximal regularity’ property of parabolic operators in divergence form. We refer to [7] for these results. The maximal regularity property is usually formulated for operators with time independent smooth coefficients in divergence form, the Hodge laplacian being the archetypal example. The next lemma assures that the operator
has the maximal regularity property as well, even though its coefficients depend on time and are non-smooth in our used case.
Lemma 7
(Maximal Regularity) Let p > 4, q > 1. Let
be a path of nondegenerate forms. Assume that there exists a constant c0 > 0 such that for all \(v,w \in C^{\infty }(M)\) and all ε > 0 we can estimate
Then for all \(v\in C_{0}^{\infty }(\mathbb R, C_{0}^{\infty }(M))\), there exists a constant \(c(q,\|{\rho }\|_{L^{\infty }(\mathbb R, W^{1,p})})>0\) such that
Proof
Choose coordinate charts for \(\mathbb R \times M\) and a subordinate partition of unity. Let \(\psi \in C^{\infty }(\mathbb R \times M)\) be a cutoff function. Let \(I\times B\in \mathbb R \times \mathbb R^{4}\) be a ball around (0,0). Choose a coordinate chart such that the support of ψ is mapped into I × B and such that the pushforward of ρ under this coordinate chart at (0,0) equals the standard symplectic structure on \(\mathbb R^{4}\). We can always achieve this by a change of coordinates. Let us denote the pushforward of ρ under this coordinate chart by ρα and the operator \(d^{*^{\rho }}\frac {d}{u}\) expressed in this chart by \(\triangle ^{\rho _{\alpha }}\). Further we denote by vα the function ψv expressed in this chart. From maximal regularity for the standard Laplace operator △ on \(\mathbb R \times \mathbb R^{4}\) there exists a constant c1 = c1(q) > 0 such that
By choosing the partition of unity such that ψ has small enough support and using the estimate (11), we find that there exists a constant
such that
From this the global estimate,
follows by choosing a partition of unity such that the previous estimates hold for all chart domains and by estimating additional first order terms appearing from the multiplication of v with the cutoff functions with the Gagliardo-Nirenberg interpolation inequality. This proves the lemma. □
Proof Proof of Theorem 4
Let \(\rho (t=0,\cdot ) = \rho _{0} \in B^{2,p}_{2}\) and let
be an extension of ρ0 with \({\widetilde {\rho }}_{0}(t=0,\cdot ) = \rho _{0}\). From Theorem 2 (iii), it follows that the evolution of the functions \(K_{i} = \frac {\rho \wedge \omega _{i}}{\text {dvol}_{\rho }}\) in a local standard frame ω1,ω2,ω3 is given by
where K = Kk for an arbitrary k ∈{1,2,3}, ∂ is an arbitrary space derivative and \(P_{1,2}(\frac {1}{u}, \rho )\) are polynomials in the variables \(\frac {1}{u}\) and ρ with coefficients that are smooth functions on the manifold. Let
The evolution of the functions \({\widehat {K}}_{i}\) is given by the equations
for a polynom P3 with smooth coefficient functions. By assumption, ρ is an element of W1,2(I,Lp) ∩ L2(I,W2,p) and therefore ρ,K ∈ C0(I,W1,p). It follows from Hölder’s inequality that
Since W1,p ⊂ C0 for p > 4, we have
The last term on the right handside of (15) is in L2(I,W1,p), hence the right hand side of (15) is in \(L^{2}(I, W^{1, \frac {p}{2}})\). As in the critical point case, the estimate (14) is valid for any two functions \(v,w\in C^{\infty }(M)\). Then by the ellipitic regularity Lemma 6 and the maximal regularity Lemma 7, we have
By Rellich’s theorem,
For 4 < p < 8 we have
Since \({\widetilde {K}}_{0} \in C^{0}(I, W^{2,p}) \subseteq C^{0}(I, C^{1})\), it follows that \(K \in C^{0}(I, W^{1,p^{\prime }})\). Then with Lemma 5, we find
If we now repeat these arguments with p replaced by \(p^{\prime }\), we find that \({\widehat {K}} \in C^{0}(I, W^{1,p^{\prime \prime }})\) with \(p^{\prime \prime } > p^{\prime }\) and
Hence, we eventually find that
for all q ≥ 1. In particular, the right hand side of (15) is in \(L^{2}(I, W^{1,p^{\prime \prime \prime }})\) for a \(4 < p^{\prime \prime \prime } < p\) and
We claim that the following implications hold for k ≥ 3, p > 4,
The statement of the theorem then follows by induction over k ≥ 3 and \(p=p^{\prime \prime \prime }\). We prove the first implication. It follows from Theorem 1 that ρ ∈ L2(I,Wk,p) under the stated assertions. Then from the Donaldson flow equation,
Because the expressions ∗ρ,𝜃ρ are given by polynomials in the variables \(\rho , \frac {1}{u}\), this expression is bounded in terms of a polynomial with positive real coefficients of the Sobolev norms of its factors (see, e.g. [6, A.2 and A.3]). The second implication follows again using the product estimates in Sobolev spaces. To see the third implication, note that there exists an extension of ρ0 to an element \({\widetilde {\rho }}_{0}\) such that \({\widetilde {K}}_{0} \in W^{\lfloor \frac {k+1}{2} \rfloor , k+1,p}\). It follows from (15) and maximal regularity for the operator \(\frac {1}{u}d^{*^{\rho }}d\) that \({\widehat {K}} \in W^{\lfloor \frac {k+1}{2} \rfloor , k+1,p}\) and hence so is K. This proves the theorem. □
The following is an immediate corollary to Theorem 4.
Corollary 1
(Instant Regularity) Let ρ ∈ L2(I,W2,p) ∩ W1,2(I,Lp) be a solution to the Donaldson flow equation. For all 4 < p′ < p the following holds true. If \(\rho (t=0,\cdot ) \in B_{2}^{k,p'}\) then the map t↦ρ(t,⋅) is a continous map from (0,T) to \(B^{k+1,p'}_{2}\). In particular, ρ(t,⋅) is smooth for all t ∈ (0,T).
Remark 2
Theorem 4 can be refined by using a more sophisticated machinery of maximal Lp − Lq-regularity and the theory of Besov spaces. The correct space for the initial condition for a solution in the space
is the Besov space \(B^{s,p}_{q}\) for
For sp > 4 a solution is continuous in space and time and this bound is sharp. The argument of Theorem 4 can be used to show that a solution in this space but initial conditions in \(B^{s+1,p}_{q}\) is in
References
Donaldson, S. K.: Moment maps and diffeomorphisms. Asian J. Math. 3, 1–16 (1999)
Donaldson, S. K.: Two-forms on four-manifolds and Elliptic equations. Nankai Tracts in Mathematics. World Scientific 11, 153–172 (2006)
Friedman, A.: Partial Differential Equations. Robert E. Krieger Publishing Company, Huntington (1976)
Grigor’yan, A., Liu, L.: Heat kernel and Lipschitz-Besov spaces. Forum Math. 27(6), 3567–3613 (2015)
Krom, R. S., Salamon, D. A.: The Donaldson geometric flow for symplectic four-manifolds. J. Symplectic Geom. 17, 381–417 (2019)
Krom, R.S.: The Donaldson geometric flow is a local smooth semiflow. arXiv:https://arxiv.org/abs/1512.09199 (2015)
Lamberton, L.: Équations d’évolution linéaires associées à des semi-groupes de contraction dans les espace Lp. J. Funct. Anal. 72(2), 252–262 (1987)
Salamon, D.A.: Parabolic Lp − Lq estimates. ETH Preprint. http://www.math.ethz.ch/~salamon/PREPRINTS/parabolic.pdf (2016)
Salamon, D. A.: Uniqueness of symplectic structures. Acta Math. Vietnam. 38, 123–144 (2013)
Acknowledgements
The author would like to thank Dietmar Salamon for many insightful discussions.
Funding
Open Access funding provided by ETH Zurich. This research was partially supported by the Swiss National Science Foundation Grant 200021-127136 and performed when the author was a Ph.D. student at ETH Zürich.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Krom, R.S. Regularity of the Donaldson Geometric Flow. Acta Math Vietnam 47, 611–633 (2022). https://doi.org/10.1007/s40306-021-00454-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-021-00454-x