Gluing -Harmonic Spinors and Seiberg–Witten Monopoles on 3-Manifolds
Abstract.
Given a -harmonic spinor satisfying some genericity assumptions, this article constructs a 1-parameter family of two-spinor Seiberg–Witten monopoles converging to it after renormalization. The proof is a gluing construction beginning with the model solutions from [41]. The gluing is complicated by the presence of an infinite-dimensional obstruction bundle for the singular limiting linearized operator. This difficulty is overcome by introducing a generalization of Donaldson’s alternating method in which a deformation of the -harmonic spinor’s singular set is chosen at each stage of the alternating iteration to cancel the obstruction components.
1. Introduction
The Uhlenbeck compactification of the moduli space of anti-self-dual (ASD) Yang-Mills instantons on a compact 4-manifold exemplifies a philosophy for constructing natural compactifications of moduli spaces that is ubiquitous in modern differential geometry. The construction has two main steps: first, K. Uhlenbeck’s compactness theorem shows that any sequence of ASD instantons subconverges either to another instanton, or to a limiting object consisting of a background instanton of lower charge and bubbling data [57, 58]. Second, C. Taubes’s gluing results reverse this process, showing that each pair is the limit of smooth ASD instantons [47]. Together, these results allow the construction of boundary charts which endow the moduli space with the structure of a smoothly stratified manifold. This structure of the moduli space is the basis for the celebrated applications of Yang-Mills theory to 3 and 4-dimensional topology [7].
C. Taubes’s more recent extension of Uhlenbeck’s compactness theorem to connections introduced a new type of non-compactness [50], which has since been shown to be quite general in 3 and 4 dimensional gauge theories. It is exhibited by most generalized Seiberg–Witten (SW) equations [15, 61], a class of equations that includes the Kapuastin–Witten equations [54, 55], the Vafa–Witten equations [53], the complex ASD equations [49], the Seiberg–Witten equations with multiple spinors [32, 52], and the ADHM Seiberg–Witten equations [65]. For these equations, a sequence of solutions need not converge but, after renormalization, subconverges either to another solution or to the limiting data of a Fueter section – a solution of a different elliptic PDE that is usually degenerate, and in many cases non-linear [8, 20, 48].
It is natural to ask whether this more subtle limiting process can be reversed by a gluing construction. An affirmative answer would provide an essential step in constructing compactifications of the moduli spaces of solutions to generalized Seiberg–Witten equations, which are expected to be necessary to study the conjectured relations of these equations to the geometry of manifolds cf. [59, 13, 63, 64, 22, 33, 23, 14]. Such a gluing result would produce, from a given Fueter section , a family of solutions to the corresponding generalized Seiberg–Witten equation that converges to after renormalization.
The purpose of this article is to prove a gluing result of this form in the case of the two-spinor Seiberg–Witten equations on a compact 3-manifold, where the corresponding Fueter sections are -harmonic spinors. In most cases, -harmonic spinors possess a singular set which is stable under perturbations, along which the relevant linearized operator degenerates. This degenerate operator carries an infinite-dimensional obstruction bundle, making the gluing problem considerably more challenging than most gluing problems in the literature.
Despite the presence of the infinite-dimensional obstruction bundle, the gluing can still be accomplished for a set of parameters with finite codimension. Geometrically, the infinite-dimensional obstruction arises because the location of the singular set may vary during the limiting process. This freedom plays an important role in previous work of the author [43], R. Takahashi [46], and S. Donaldson [12] on the deformation theory of -harmonic spinors. To account for it here, deformations of the -harmonic spinor’s singular set are included as an infinite-dimensional gluing parameter. This leads to an infinite-dimensional family of Seiberg–Witten equations coupled to embeddings of the singular set; the first-order effect of deforming the singular set may then be calculated by differentiating this family with respect to the embedding. The crucial result that allows the gluing to succeed is that the linearized deformations of the singular set perfectly pair with the infinite-dimensional obstruction, allowing it to be cancelled.
Once this analytic set-up is in place, the gluing is accomplished by adapting Donaldson’s alternating method [9] to the semi-Fredholm setting. The starting point is an approximate solution constructed by splicing the model solution constructed in [41] onto a neighborhood of the singular set. The gluing iteration is then a three-step cycle, which adds corrections to the approximate solution near the singular set, then away from it, and at the start of each new cycle, deforms the singular set to cancel the obstruction. The iteration is complicated by the fact that the linearized deformation operator displays a loss of regularity, which necessitates refining the approach to deforming the singular set in [43, 46, 12] by introducing specially adapted families of smoothing operators. The end result of the iteration is a family of Seiberg–Witten solutions converging to a given -harmonic spinor after renormalization. The framework developed here may also be useful for addressing other geometric problems requiring the deformation of a singular set [12, 26, 62, 11].
1.1. The Seiberg–Witten Equations
Let be a closed, oriented, Riemannian 3-manifold, and fix a -structure with spinor bundle . Choose a rank 2 complex vector bundle with trivial determinant, and fix a smooth background -connection on . The two-spinor Seiberg–Witten equations are the following equations for pairs of an -valued spinor and a connection on :
(1.1) | |||||
(1.2) |
where is the twisted Dirac operator formed using on and the Spinc connection induced by on , is the curvature of , and is a pointwise-quadratic map. The equations are invariant under -gauge transformations. Solutions of (1.1–1.2) are called monopoles.
Unlike for the standard (one-spinor) Seiberg–Witten equations, sequences of solutions to (1.1–1.2) may lack subsequences where remains bounded, thus no subsequences can converge. The renormalization procedure alluded to above simply scales this -norm to unity by setting where . The re-normalized equations become
(1.3) | |||||
(1.4) | |||||
(1.5) |
and diverging sequences are now described by the degenerating family of equations with parameter . A theorem of Haydys–Walpuski [32] (Theorem 3.2 in Section 3.1) shows that sequences of solutions for which must converge, in an appropriate sense, to a solution of the equations, i.e. to a pair where is a normalized harmonic spinor with pointwise values in , which is a 5-dimensional cone. Up to gauge, such solutions are equivalent (via the Haydys Correspondence, Section 3.2) to harmonic spinors valued in a vector bundle up to a sign ambiguity. The latter are -harmonic spinors, which are the simplest non-trivial type of Fueter section.
A key feature of convergence for a sequence is the concentration of curvature, which gives rise to a singular set. As , curvature may concentrate along a closed subset of Hausdorff codimension 2, so that the -norm of diverges on any neighborhood of for . In fact, [24] shows that represents the Poincaré dual of in , hence it is necessarily non-empty if the structure is non-trivial. Away from , the connections converge to a flat connection with holonomy in , the data of which is equivalent to that of a real Euclidean line bundle . This limiting connection and line bundle may have holonomy around that is the remnant of the curvature that has “bubbled” away. If this holonomy is non-trivial, the Dirac equation twisted by such a limiting connection is singular along ; a -harmonic spinor is, more accurately, a solution of such a singular equation on the complement of .
1.2. -Harmonic spinors
Let be as in Section 1.1, and now fix a spin structure with spinor bundle . Let be a zeroth order, -linear perturbation to the spin connection that commutes with Clifford multiplication. Given a closed submanifold of codimension 2, choose a real Euclidean line bundle and let be the unique flat connection with -holonomy on . The twisted spinor bundle carries a Dirac operator twisted by on , and perturbed using . A -harmonic spinor is a solution of the twisted Dirac equation on satisfying
(1.6) |
is called the singular set of the -harmonic spinor. A -harmonic spinor is denoted by the triple where is the singular set, is the unique flat connection determined by the line bundle , and is the spinor itself.
When is empty, solutions of (1.6) are classical harmonic spinors whose study goes back to the work of Lichnerowicz [35], Atiyah-Singer [3], and Hitchin [27]. When the singular set is non-empty, the twisted Dirac operator is a type of degenerate elliptic operator known as an elliptic edge operator. This class of operators has little precedent in gauge theory, but extensive tools for their study have been developed in microlocal analysis [36, 39, 18]. Doan–Walpuski established the existence and abundance of solutions with on compact 3-manifolds in [16], and a stronger version of their result will appear in [31]. Additional examples have been constructed in [56, 25, 29].
The equations (1.6) do not carry an action of -gauge transformations; there is only a residual action of by sign. In particular, (1.6) is not a gauge theory. On the other hand (1.6) is -linear, so admits a scaling action by (note that the assumption that the perturbation is -linear means that the Dirac operator is also only -linear). -harmonic spinors are considered as equivalence classes modulo these two actions; the scaling action is eliminated by fixing the normalization condition (1.5, leaving a residual action. Notice that (1.6) defines -harmonic spinors without reference to the Seiberg–Witten equations; it is therefore not a priori clear whether an arbitrary -harmonic spinor (1.6) should arise as a limit of (1.3)–(1.5).
1.3. The Gluing Problem
The gluing problem may now be stated more precisely. Fix a -harmonic spinor . The goal is to construct a family of solutions to (1.3–1.5) for sufficiently small such that
(1.7) |
in the sense of Haydys–Walpuski’s compactness theorem (Theorem 3.2). In particular, this requires reconstructing a smooth -valued spinor (note is a section of a different bundle of real rank 4 over ), and re-introducing the highly concentrated curvature by smoothing the singular connection . The latter implicitly requires recovering the -structure, which is lost in the limit as .
In the simplest case, when and standard elliptic theory applies, Doan–Walpuski [15] showed that all classical harmonic spinors arise as limits of a family as in (1.7). Reversing the convergence by a gluing in the singular case is far more challenging, and requires new analytic tools for elliptic edge operators and their desingularizations. The concentration of curvature along the singular set as manifests by making the linearization of the version of (1.3)–(1.5) a singular elliptic edge operator with an infinite-dimensional obstruction to solving. This prevents the application of the standard Fredholm approaches that have historically been used in gluing problems [7, 34, 38, 10].
The presence of the infinite-dimensional obstruction bundle does not mean that the gluing can only be accomplished for a subset of parameters of infinite codimension. Rather, this obstruction is an artifact arising from inadvertently fixing the singular set . In fact, the location of the singular set is a degree of freedom that may also vary as . Indeed, work of the author [43] and R. Takahashi [46] has shown that constructing families of -harmonic spinors with respect to families of metrics for requires allowing the singular set to depend on . Because the gluing problem is a de-singularization of the same situation, one anticipates the same phenomenon will occur. It is therefore necessary to include space of all possible singular sets nearby as a parameter in the gluing construction. This approach has some precedent in the work of Pacard–Ritoré [44] on gluing problems in minimal surface theory arising from the Allen-Cahn and Yang-Mills-Higgs equations [5], though the obstruction in these situations is more tractable.
As explained in the introduction, the main idea of this paper is to show that the deformations of the singular set pair with the infinite-dimensional obstruction to create a Fredholm gluing theory. Key aspects of this approach rely on the theory developed in [41], and [43], and this article is in some sense the sequel to and culmination of these. The first, [43] develops the deformation theory for the singular set for -harmonic spinors alone, without reference to Seiberg–Witten theory. The second, [41] constructs model solutions near the singular set , which are the starting point of the gluing construction. To keep this article self-contained, the relevant parts of [43] and [41] are reviewed in detail in Sections 4–6 and Section 7, respectively.
1.4. Main Results
To state the main result, we first describe several necessary assumptions on the starting data.
Let be a compact, oriented three-manifold. The two-spinor Seiberg–Witten equations (1.1–1.2) depend on a smooth background parameter pair of a Riemannian metric and an auxiliary -connection on in the space
(1.8) |
of all such choices. The definition of a -harmonic spinor makes reference to a similar parameter pair where is now a perturbation to the spin connection on that is inherited from the connection denoted by the same symbol. The gluing construction can be carried out beginning from a -harmonic spinor satisfying several conditions; these conditions constrain the parameters to lie in the complement of the locus admitting -harmonic spinors with worse singular behavior.
Definition 1.1.
A -harmonic spinor with respect to a parameter pair is said to be regular if it satisfies the following three conditions:
-
(i)
(Smooth) the singular set is a smooth, embedded link, and the holonomy of is equal to around the meridian of each component.
-
(ii)
(Isolated) is the unique -harmonic spinor for the pair with respect to up to normalization and sign.
-
(iii)
(Non-degenerate) has non-vanishing leading-order, i.e. there is a constant such that
For a fixed singular set , the twisted Dirac operator,
(1.9) |
is semi-Fredholm, where denotes the Sobolev space of sections whose covariant derivative is with appropriate weights, and is the spinor bundle of the spin structure hosting (see Section 4 for details). For weights requiring that a solution satisfy the integrability requirement in (1.6), this operator is left semi-Fredholm and has infinite-dimensional cokernel. This cokernel gives rise to the infinite-dimensional obstruction of the linearized Seiberg–Witten equations at .
As explained above, cancelling the obstruction requires deforming the singular set. Any singular set nearby defines a flat connection whose holonomy is homotopic to , thus it defines an accompanying real line bundle isomorphic to the original. Allowing the singular set to vary over the space of embedded links gives an infinite-dimensional family of Dirac operators parameterized by embeddings, which we combine into a universal Dirac operator
(1.10) |
which is fully non-linear in the first argument and linear in the second. The theory of the universal Dirac operator was developed in detail in [43] and is reviewed in Section 6.
The idea that the derivative of (1.10) with respect to the embedding should cancel the cokernel was investigated for the twisted Dirac operator alone (as opposed to the Seiberg–Witten equations) in [43] (see also the work of Takahashi [46] and Donaldson [12], which take a different approach). The first main result of [43] is the following theorem, which makes precise the idea that the linearized deformations of the singular set at a -harmonic spinor cancel the obstruction.
Theorem 1.2.
([43, Thm 1.3]) Let be a regular -harmonic spinor, and let denote the projection onto the cokernel of (1.9). Then the cokernel component of the linearization of the universal Dirac operator with respect to deformations of
(1.11) |
is an elliptic pseudo-differential operator of order and its Fredholm extension has index . ∎
Here, the domain is thought of as the tangent space at to the space of embedded singular sets of Sobolev regularity . Section 5 gives a precise characterization of the cokernel, which results in an equivalence with the space of sections of a vector bundle . Viewed in this guise, (1.11) is a map between spaces of sections of vectors bundles on , and the assertion that it is an elliptic pseudo-differential operator then has the standard meaning.
Definition 1.3.
A -harmonic spinor is unobstructed if the Fredholm extension of (1.11) has trivial kernel.
Since the Seiberg-Witten equations in dimension 3 have index 0, one does not expect 1-parameter families of solutions converging to a -harmonic spinor for the fixed parameter , but rather for a 1-dimensional family of parameters which coincides with at . The third condition necessary for the gluing result is a requirement on such a 1-parameter family, and says that arises as a transverse spectral crossing in this family.
The following theorem, proved in [43], ensures that this notion makes sense in an analogous way to classical harmonic spinors in three dimensions. The added complexity here is that the singular set of the spinor is defined implicitly as a function of the parameter . The proof of the theorem uses the linearized result of Theorem 1.2 and the Nash-Moser Implicit Function Theorem.
Theorem 1.4.
([43] Corollary 1.5) Suppose that is a smooth path of parameters, and that is a regular, unobstructed -harmonic spinor with respect to . Then, there is a such that for , there exist -eigenvectors with eigenvalues satisfying
(1.12) |
where each member of the tuples is defined implicitly as a smooth function of . Moreover, are regular and unobstructed for each .
Definition 1.5.
The family of Dirac operators is said to have transverse spectral crossing at if the family of -eigenvectors has
where denotes the derivative with respect to .
We now state the main result, which establishes the existence of two-spinor Seiberg-Witten solutions converging to a -harmonic spinor satisfying the above conditions. Here, denotes the spinor bundle of a Spin structure that hosts a -harmonic spinor as in (1.6), while is reserved for the spinor bundle of the -structure in the Seiberg–Witten equations.
Theorem 1.6.
Suppose that is a regular, unobstructed -harmonic spinor with respect to a parameter , and that is a path of parameters such that the corresponding family (1.12) has transverse spectral crossing.
Then, for each orientation of , there is a unique structure with spinor bundle , an , and a family of configurations for satisfying the following.
-
(1)
The structure is characterized by
-
(2)
The configurations solve two-spinor Seiberg-Witten equations
on with respect to where is defined implicitly as a function of and satisfies either or .
-
(3)
The spinor has -norm
(1.13) and after renormalizing by setting , the solutions converge to , i.e.
in after applying gauge transformations defined on , and in for some .
Remark 1.7.
It is expected that all -harmonic spinors are regular and unobstructed for generic parameters among those admitting -harmonic spinors (see Section 1.5). We do not undertake the task of establishing the genericity results here. A partial result for the genericity of the non-degeneracy condition in Definition 1.1 is proved in [25] in the situation of -harmonic 1-forms. It is straightforward to show (see Remark 1.11) that a generic path has transverse spectral crossing.
Remark 1.8.
By a simple diagonalization argument, Theorem 1.6 may be extended to the case of a -harmonic spinor that is instead a limit of -harmonic spinors satisfying the hypotheses of the theorem. In particular, the singular set of such a limiting -harmonic spinor need not be embedded.
The discussion in the upcoming Section 1.5 suggests it is likely that every isolated -harmonic spinor arises as such a limit. If this were the case, Theorem 1.6 would imply every isolated -harmonic spinor on a compact 3-manifold arises as the limit of Seiberg–Witten monopoles (in fact in multiple ways—one for each structure whose first chern class is Poincaré dual to some orientation of the singular set).
Remark 1.9.
The solutions have curvature that is highly concentrated in a neighborhood around a smooth embedded curve that lies in a neighborhood of the singular set . Slightly surprisingly, the proof shows that the -distance from to is smaller than the concentration scale of the curvature, while -distance is larger than the concentration scale. For the specific parameters used in the proof of Theorem 1.6, one finds that lies in a neighborhood of in and a neighborhood in for some .
1.5. Wall-Crossing Formulas
The non-compactness of the moduli space of solutions to (1.3)–(1.5) prevents the (signed) count of two-spinor Seiberg–Witten monopoles from being a topological invariant. In particular, the compactness theorem (Theorem 3.2) suggests that along a path of parameters such that admits a -harmonic spinor, a family of monopoles may diverge so that the signed count of solutions changes; in fact, Theorem 1.6 shows that this necessarily happens if the -harmonic spinor is regular and unobstructed.
Rather than being a topological invariant, it is conjectured that signed count is a chambered invariant with wall-crossing formulas. That is, it is conjectured that the subset of parameters admitting -harmonic spinors has codimension 1, and divides its complement in into a collection of open chambers inside which the count is invariant, with a well-defined formula for how the count changes as it crosses the “wall” . This chambered invariant is conjectured to fit into a larger scheme of constructing invariants by summing chambered invariants with cancelling wall-crossing formulas (see [13, 33, 23, 14] for details and examples).
The main result of [43] provides a step towards confirming this picture by proving that indeed forms a “wall” near regular, unobstructed -harmonic spinors.
Theorem 1.10.
( [43, Thm 1.4]) Suppose that is a regular, unobstructed -harmonic spinor with respect to . Then there is an open neighborhood of such that ,
is locally a smooth Fréchet submanifold of codimension 1.
More generally, it is expected that is a stratified space with the following global structure. The top stratum should consist of a disconnected Fréchet submanifold of codimension 1 whose components are labeled by isotopy classes of embedded links in , and where each parameter admits a (unique) regular, unobstructed -harmonic spinor. Confirming this expectation would, in particular, require confirming the prediction of Taubes that the singular set of a -harmonic spinor is smooth for generic choices of smooth parameters [50, pg. 9]. Deeper strata of higher finite codimension are expected to consist of the locus where the singular set has the structure of an embedded graph with increasingly complicated self-intersections, and the loci where the regular or unobstructed condition fails. There should also be strata of infinite codimension where wilder singular behavior can occur. The work of [56, 16, 29, 28] support this picture.
Theorem 1.6 shows that the count changes along a path of parameters crossing transversely, which provides a key step in confirming the conjectured wall-crossing formula. In particular, Theorem 1.6 constructs a subset of the parameterized moduli space over for either or that is homeomorphic to a half-open interval . A complete proof of a wall-crossing formula would additionally require investigating orientations to determine the sign of the crossing as in [16], and showing that the homeomorphism to determines a boundary chart for the moduli space. The latter involves showing the surjectivity of gluing, i.e. that the family of monopoles in Theorem 1.6 is the unique family converging to , and will be the subject of future work.
Remark 1.11.
A path has transverse spectral crossing (Definition 1.5) at a regular, unobstructed -harmonic spinor if and only if is a transverse intersection. The genericity of this condition follows easily from the latter characterization.
1.6. Outline
The article has 12 sections which build towards the proof of Theorem 1.6.
The proof is accomplished by generalizing Donaldson’s alternating method to the semi-Fredholm setting. Section 2 is a self-contained introduction to gluing using the alternating method and describes this generalization. Briefly, the alternating method decomposes the manifold into two regions
each of which admits a model solution. These model solutions are spliced into a global approximate solution, which is then corrected to a true solution by alternating making corrections localized on and using the linearized equations. We take to be a tubular neighborhood of the singular set, and to be the complement of a slightly smaller tubular neighborhood.
In our semi-Fredholm setting, the linearized equations on have an infinite-dimensional obstruction coming from the cokernel of (1.9), and an addition step cancelling this obstruction by deforming the singular set is required. Thus the alternation becomes a three-step cyclic iteration:
(1.14) |
Sections 3–12 are devoted to setting up and carrying out this cyclic iteration scheme. In this, there are several key technical difficulties (described in detail in Section 2.5) that conspire to make naive attempts at the iteration (1.14) fail to converge. The most important of these is that the deformation operator (1.11) displays a loss of regularity [19]. Overcoming this loss of regularity requires developing a more sophisticated way of deforming singular sets than was used in [43, 46, 12]. These new deformations depend on the spectral decomposition of a linearized deformation. Somewhat surprisingly, this approach eliminates the need to use tame Fréchet spaces and Nash-Moser theory, which are the standard tools used to deal with a loss of regularity as in [43, 46, 12]. Section 2 ends with a glossary of notation.
Section 3 covers background necessary to set up the gluing argument, beginning by reviewing the compactness theorem for (1.3)–(1.5) and the Haydys Correspondence.
Sections 4–7 analyze the linearized Seiberg–Witten equations on . Section 4 begins by studying the singular Dirac operator (1.9) for a fixed singular set, which appears as a direct summand of the linearized Seiberg–Witten equations on .
Section 5 considers the infinite-dimensional obstruction of (1.9). In particular, it is shown that there is a natural basis of the obstruction indexed by the eigenvalues of a 1-dimensional Dirac operator on , whose pointwise norms increasingly concentrate near as the eigenvalue increases.
Section 6 deals with the universal Dirac operator (1.10). The main goal is to calculate the derivative with respect to the embedding of the singular set to give a refined version of Theorem 1.2. This is done by defining a family of diffeomorphisms parameterized by linearized deformations such that the curves form an open neighborhood of in a sufficient space of embeddings. By the naturality of the Dirac operator, varying the singular set over curves while fixing the metric is equivalent to varying the metric over the family of pullback metrics while keeping fixed:
(1.15) |
The derivative with respect to the family of pullback metrics on the right is then calculated using a result of Bourguignon-Gauduchon [6] (see Theorem 6.4).
Section 7 describes the model solutions on constructed in [41] and summarizes results about the linearized Seiberg–Witten equations at these.
Section 8 constructs the infinite-dimensional family of model solutions parameterized by deformations alluded to in the introduction. This family is used to define a universal version of the Seiberg–Witten equations analogous to (1.10), which is differentiated using the same trick as in (1.15). Section 9 shows that this derivative of the universal Seiberg–Witten equations with respect to deformations of is simply a small perturbation of the derivative of the universal Dirac operator (1.10). This allows the deformations to be used to cancel the obstruction on , just as in Theorem 1.2.
Sections 10–11 use the results of Sections 4–9 to carry out the cyclic iteration scheme (1.14). The iteration is shown to converge to a smooth two-parameter family of Seiberg–Witten “eigenvectors” solving
(1.16) |
for every pair , where , is as in Theorem 1.4, and is a smooth function on . Thus (1.16) are solutions of the Seiberg–Witten equations precisely when the one-dimensional obstruction vanishes. Finally, Section 12 uses a trick due to T. Walpuski [60] to show the condition that this one-dimensional obstruction vanishes defines implicitly as a function of , completing the proof of Theorem 1.6.
Acknowledgements
The author gratefully acknowledges the support and guidance of his Ph.D. advisor, Clifford Taubes throughout this project. This work also benefitted from the interest and expertise of many other people, including Aleksander Doan, Siqi He, Rafe Mazzeo, Tom Mrowka, and Thomas Walpuski. The author is supported by an NSF Mathematical Sciences Postdoctoral Research Fellowship (Award No. 2303102).
2. Gluing by the Alternating Method
This section reviews Donaldson’s Alternating method for gluing [9, Sec. 4], and introduces the semi-Fredholm generalization that is used to prove Theorem 1.6. The reader is referred to [10] for additional exposition of general approaches to gluing, and to [34, Ch. 19], and [7, 38, 60] for expositions of other particular instances of gluing results.
2.1. The Structure of Gluing Problems
Let be a compact manifold, and let be a non-linear elliptic PDE viewed as a continuous map between Banach spaces of sections of vector bundles. Suppose that is the union of two overlapping open regions
each of which hosts a solution (called model solutions) of on (or more generally, a near solution, ).
The associated gluing problem is to produce a global solution of on beginning with the model solutions. This is done by splicing the model solutions together to form an approximate solution
on , which is then corrected to a true solution. Here, denotes a splicing procedure, usually performed using a cut-off function, which is allowed to depend on a parameter called the gluing parameter(s). The true solution is obtained by a particular gluing procedure, which is method for correcting approximate solutions,
that is applied iteratively starting from the initial approximation above to construct a sequence of successively improving approximations. Usually, the gluing procedure is a variation of Newton’s method which repeatedly solves some version of the linearized equations to produce corrections .
If the resulting sequence converges in a sufficient function space for appropriate choices of the gluing parameter , the limit is a global solution of on (or more generally, a family of global solutions parameterized by appropriate choices of ). Oftentimes, the gluing procedure and convergence are packaged into a suitable version of the Implicit Function Theorem or related contraction mapping.
The following example explains how the above framework applies in the context of gluing ASD instantons. This framework has been applied in dozens of other well-known gluing problems in geometric analysis, and many of these could be substituted as equally instructive examples.
Example 2.1.
(Gluing ASD Instantons, [47]) In the context of Uhlenbeck compactness on a compact -manifold , one seeks to construct an ASD instanton of charge by gluing two connections with being a “bubble”. In this case, is the standard instanton of charge and dilation parameter on a ball of radius around the bubbling point, and is an instanton of charge on the complement of a smaller ball. Here, the dilation of the standard instanton is the gluing parameter. See [7, 17, 40] for details.
Notice the following two features of Example 2.1 that will be pertinent for the upcoming case of -harmonic spinors. (1) the decomposition depends on the gluing parameter , with shrinking as . (2) While the problem has a natural “invariant scale” of radius , the two regions overlap in a “neck region” which extends from radius to , and the much of the gluing analysis occurs there.
Returning now to the case of -harmonic spinors, let be a compact 3-manifold and a -harmonic spinor satisfying the hypotheses of Theorem 1.6. In this case the regions are a tubular neighborhood of the singular set whose radius depends on the parameter , and its complement. More specifically, let be a radius to be specified later, and set
(2.1) |
The model solutions on are the concentrating local family of model solutions constructed in [41] and reviewed in Section 7; the model solutions on are simply the limiting -harmonic spinor . In this case, we tacitly refer to the region including the singular set as the “inside” region, and as the “outside” region; the overlap is referred to as the “neck” region as in Example 2.1. The gluing parameters in our situation are triples of the -norm, the metric parameter, and a deformation of the singular set, and there is, more precisely, a decomposition (2.1) for each such triple.
2.2. The Alternating Method
The gluing procedure employed to prove Theorem 1.6 is a generalization of the alternating method.
The alternating method iteratively corrects approximate solutions by alternating making corrections localized to the two regions . This method was first used by S. Donaldson [9] to give a different perspective on C. Taubes’s gluing theorem for ASD instantons (Example 2.1). More specifically, the successively approximations at the stage have the form
(2.2) |
where are corrections supported in the two regions respectively, and are cut-off function restricting them to their respective regions. The iteration may be summarized by the following schematic:
where . Thus a single stage of the overall iteration constitutes one alternation back and forth. In the notation of Section 2.1, one has where and likewise for . The iteration converges to a solution if the errors .
To explain further, let us give a more precise meaning to the steps of “solve on ”. The equations at a small perturbation of an approximate solution may be written
(2.3) |
where is the linearization of at , and the higher-order terms. The solving steps on involve solving the linearized equation. Since are open regions, it is often necessary to choose extensions on which has sufficient invertibility properties. This is typically done by attaching a tubular ends to or imposing boundary conditions (see also Section 2.3). Write for the linearization acting on sections over sufficiently chosen extensions . We assume that naturally extends the restriction of the linearization on , and that the vector bundles and model solutions likewise admit natural extensions to .
The alternating method, in its standard guise, requires the following two assumptions.
-
(I)
The linearizations at the sequence of approximate solutions are uniformly invertible in the gluing parameter .
-
(II)
The solution of decays away from the support of in both regions in the following sense. If , then
(2.4) for some , where is the principal symbol.
Given that (I)–(II) hold, the starting point of the alternating method is an initial approximation so that the error of this initial approximation is sufficiently small and supported where . The iteration then proceeds inductively, with a single step given as follows.
-
(1)
Let be the unique solution of
(2.5) on given by the Inverse Function Theorem.
-
(2)
Set , and . This intermediate approximation satisfies
where .
-
(3)
Since is supported where , the solution decays across the neck region by condition (II) so that for some fixed factor .
-
(4)
Repeat steps (1)–(3) on to obtain a correction so , then set
The resulting error, , then satisfies .
If is sufficiently small that , the sequence constructed by iterating Steps (1)–(4) converges to a limit which solves .
The content of proving a gluing result using the alternating method is showing a sufficient version of the hypotheses (I) and (II) are met. Verifying the statement (I) requires identifying suitable extensions and proving that the restricted operator can be sufficiently inverted. The decay requirements in condition (II) can be concluded from knowledge of the linearization’s Green’s function, or from using weighted function spaces.
The main advantage of the alternating method over other gluing procedures, and indeed the reason it is suitable in our setting, is that it can effectively treat asymmetry between the two regions . In particular, the method only requires analysis of in the two distinct regions separately, and never the analysis of a global linearization whose properties are an (in our case quite opaque) combination of those inherited from the two regions. This allows the asymmetric character of the equation in the two regions to be isolated and analyzed separately; indeed, [41] and [43] are most effectively viewed for the present purposes as manuals for the Seiberg–Witten theory on and respectively.
Remark 2.2.
A slight variation on Steps (1)–(4) above is to solve the strictly linear equation at each step. Thus Step (1) is replaced by solving
where denotes the higher-order error from the correction at the previous stage, and likewise for the inside. This formulation is equivalent, though it comes at the cost of disrupting the fact that the error terms are entirely supported where . In our case, the higher-order terms are sufficiently mild that the linearized version suffices.
2.3. Gluing as Non-linear Excision
The alternating method can be rephrased using the language of parametrix patching and contraction mappings. This rephrasing is helpful for addressing questions the regarding uniqueness of gluing and smooth dependence on parameters. It also clarifies the relationship of the alternating method to other gluing methods that use parametrices.
At first glance, the alternating method does not result in a contraction mapping or a Fredholm problem in an obvious way. Indeed, there is an infinite-dimensional ambiguity in the construction, coming from the freedom to alter (2.2) by on the overlap region. This ambiguity can be resolved by framing the alternating method as a non-linear analogue of the excision problem for the index of elliptic operators. With this perspective, it becomes clear that the redundancy in the description can be eliminated by considering the “virtual” gluing problem solved by on the neck region. The author learned this perspective on gluing from [40].
To explain further, let us briefly review the excision principle for elliptic operators. For convenience, assume here that is a first-order elliptic operator. Let be vector bundles whose sections form the domain and codomain of the linearization, so that is Fredholm. The closed manifold can be reconstructed from by the following cut-and-paste procedure. Let be the overlap. Assume that the inclusion separates into two connected components, so that we may write the extended domain as the union of the original domain and the extension (this being a tubular end or collar neighborhood of ). Cutting the domains along and pasting them together again exchanging the second component,
(2.6) |
gives rise to the closed manifold and an extra copy of the neck region . As in Section 3.2, assume that the restrictions of extend so that these bundles are well-defined on any of the four manifolds above; let denote the four manifestations of the linearized equations.
The cut-off functions extend by or to each piece. Using these, define maps
by
(2.7) |
which cut-and paste sections of along with (2.6). These satisfy .
Proposition 2.3 (Excision).
Assume that are Fredholm. Then is also Fredholm, and the indices satisfy
Proof.
Let denote parametrices for , and define
(2.8) |
is Fredholm because are and are invertible. Setting , a quick calculation (see [34, Page 245]) shows that and are compact operators consisting of terms involving , hence is Fredholm. It follows that is also Fredholm, and the indices satisfy . ∎
The correction to the approximate solution (2.2) constructed by the alternating method, is the -component of with as in (2.7). The relevance of excision to the alternating method is that it shows resolving the ambiguity on requires dictating the fate of the -component of . The alternation described in Section 2.2 implicitly requires that this component is zero. To see this, let be a partition of unity so that on , and set
(2.9) |
i.e. is the image of where is as in (2.7) but now formed using in place of . A quick inspection of Steps (1)–(4) in Section 2.2 shows that the correction lands in at each stage of the iteration.
At a functional analytic level, the alternating method constructs a sequence of approximate inverses to on the space . This is most easily understood as a slight extension of the linear setting (i.e. in 2.3), which we now explain in detail. In the linear setting, Steps (1)–(4) produce a sequence of approximate inverses to by a nested parametrix patching. (2.8) is an unsophisticated version of parametrix patching; indeed, it patches together the two parametrices on their respective regions using the cut-off functions . When the -component in the codomain vanishes, one may replace the component of (2.8) by
(2.10) |
In this instances and fail to be the identity by compact terms involving . The alternating method corrects to recursively cancel these errors, as the next proposition demonstrates.
Proposition 2.4.
Proof.
Since are surjective, it may be assumed that are injective; thus is an isomorphism, and in particular has index 0. Set
(2.11) |
so that . Then, with as in (2.10) with being the two terms, recursively define
(2.12) |
and take . Expanding shows
is a telescoping series. Moreover, using (II) repeatedly shows that , where is as in (2.4) because both are a nested composition of terms each of which gains a decay factor of from condition (II). Provided for depending on , it follows that is surjective and injective. Since differs from by compact terms involving , is index 0, hence it is an isomorphism thus so is . ∎
The nested parametrix patching in the proof of Proposition 2.4 may be also be phrased as a contraction finding the true inverse of . Indeed, for , the map given by
(2.13) |
applied iteratively starting from reconstructs the sequence of approximations . For sufficiently small, is a contraction. (In fact, on the subset of for which the error is supported where , itself behaves as a contraction, and the first application imposes this condition).
The non-linear version of the alternating method is essentially dentical, where is now given by
(2.14) |
and where is as in (2.10), with now being inverses of the non-linear equations (2.5). In this case, on the sequence of approximate solutions constructed by Steps (1)–(4) in Section 2.2 expands to mirror the telescoping cancellation of Proposition 2.4, but (2.11) now also includes non-linear error terms. Again, is a contraction, provided sufficient control on the non-linearity.
Remark 2.5.
In many gluing problems (including all previous gluing problems in gauge theory known to the author), a single iteration of the nested parametrix construction (2.10) resulting in is sufficient. In these situations, the geometry (e.g. stretching a neck so that ) or function spaces (appropriate weights) is such that in (2.11), in the appropriate norm as the gluing parameter . When this is not the case (and indeed it is not for gluing -harmonic spinors), the nested construction of Proposition 2.4 provides a more refined approximate inverse. The alternating method described in Sections 2.2 and 2.3 therefore subsumes the methods used in many standard gluing constructions with appropriate reorganization of the proof. More relevant here, it allows the upcoming generalization.
2.4. The Semi-Fredholm Alternating Method
As explained in the introduction, condition (I) in Section 2.2 fails for in the context of gluing -harmonic spinors because the linearized Seiberg–Witten equation at a -harmonic spinor are only semi-Fredholm and therefore not invertible. In fact, for effectively the same reason, condition (I) fails for as well, but in this case what fails is the uniformity of invertibility, rather than invertibility itself. The gluing problem for -harmonic spinors therefore departs the setting of standard gluing problems in several key ways, and requires the following more sophisticated generalization of the alternating method.
Replace assumptions (I)–(II) from Section 2.2 by the following weaker hypotheses:
-
(I’)
The linearizations at the sequence of approximate solutions are invertible.
-
(II’)
Condition (II) from Section 2.2 continues to hold for constants .
-
(III’)
The linearizations at the sequence of approximate solutions are left semi-Fredholm with uniformly bounded left-inverses.
-
(IV’)
There is a family of operators on configurations, parameterized by an infinite-dimensional parameter which generate a corresponding family of approximate solutions . Moreover, the projection of the derivative
(2.15) is uniformly invertible at the family of approximate solutions, where , and denotes the projection to the cokernel.
Notice that Item (I’) is identical to Item (I) from Section 2.2 for the inside except that it omits the requirement of uniformity. Note also the similarity of the map in Item (IV’) to that of (1.11) in Theorem 1.2 in the introduction.
The approximate solutions in the sequence (2.2) now also depends on the parameter that is adjusted in each step of the iteration, and have the form
(2.16) |
The alternating iteration procedure is similarly adjusted to become the three-stage cycle (1.14), which may now be written as follows:
(2.17) |
Commensurately, Steps (1)–(4) in the previous subsection are augmented by a Step (0) corresponding to the horizontal arrow in (2.17), and Step (1) is altered accordingly. Here, we retain the notation of Steps (1)–(4) from the previous subsection. Assuming that the codomain of is a Hilbert space, may be viewed as the orthogonal projection to cokernel viewed as the orthogonal complement of the range, thus denotes the projection to the range of .
-
(0)
Let denote the unique solution of
(2.18) and set .
-
(1)
Let be the unique solution of
(2.19)
Steps (2)–(4) then proceed as before, with the following minor adjustment. Due to the lack of uniform invertibility of , the constant in the decay factor (written in Step (3) in Section 2.2) may now depend on the gluing parameter . Thus the condition for the sequence for converge becomes that
(2.20) |
The decay constants may themselves depend on the gluing parameter.
The discussion of Section 2.3 carries over to the semi-Fredholm setting with analogous modifications. There are now three parametrices , with being a parametrix for , and the cyclic iteration (2.17) may again be phrased as a non-linear analogue of the nested parametrix patching akin to how (2.14) is a non-linear version of (2.13). The linear version extending (2.13) in this case is constructed analogously to Proposition 2.4, replacing (2.9) by and (2.10) and (2.12) by a sequence
(2.21) | |||||
(2.22) | |||||
(2.23) | |||||
where , and . Each successive approximation is defined by with cycling between , and mod 3. Equivalently, is characterized by
(2.24) | |||||
(2.25) |
which is as in (2.13) for .
The main tasks in the proof of Theorem 1.6 are establishing the analogues of Lemma 2.3 and Proposition 2.4 in this setting. This is done in Sections 10–11 in the Seiberg–Witten setting, where in Item (IV’) parameterizes small deformations of the the singular set , and (2.15) is the operator in Theorem 1.2.
2.5. Key Technical Difficulties
Despite the fact that versions of the statements (I’)–(IV’) are established in [41, 43], there are still several key technical difficulties to overcome to carry out the alternating iteration. Addressing these in a systematic way to turn the scheme outlined in Section 2.4 into a proof of Theorem 1.6 occupies the bulk of Sections 4–11. In this subsection, we briefly sketch the most important technical problems that arise, and how they are solved.
2.5.1. Loss of Regularity
The main technicality that complicates the application of the cyclic iteration in Section 2.4 to prove Theorem 1.6 is the following:
(Difficulty I): The deformation operator (1.2) displays a loss of regularity of order .
Loss of regularity is an intriguing (though sometimes technical) pheomenon in certain non-linear PDEs [19, 1, 30]. While the linearized deformation operator (1.11) is a pseudo-elliptic operator of order , the non-linear terms and the -components are of order . Thus one cannot choose function spaces for which it is simultaneously the case that the linear operator is Fredholm and the non-linear terms are bounded. This loss of regularity necessitates the use of a version of the Nash-Moser Implicit Function Theorem in [43] (see Sections 7 and 8 therein).
Here, the loss of regularity manifests differently, and (perhaps surprisingly) the use of a Nash-Moser type iteration involving smoothing operators is not necessary. In Section 5, it is shown that for a bundle and that the cokernel increasingly concentrates around as the Fourier index increases, so that the mode has characteristic length scale . Consequently, a restriction on the support of a spinor away from at distance leads to unexpectedly rapid decay on the Fourier modes of its cokernel component once the Fourier index exceeds . The error terms in the alternating iteration are supported where the cut-off and therefore obey such a restriction. Consequently, it is possible to cancel the obstruction at each stage using deformations that lie in a large finite-dimensional space with Fourier modes only up to . In particular, each deformation is smooth, and the use of smoothing operators is not required.
This does not, however, mean that the loss of regularity is inconsequential. If is the deformation correction at the stage, given by (2.18), then the elliptic estimates for gives a bound on in the Sobolev space of regularity . Due to the loss of regularity, however, bounding other terms requires control of in the space of regularity . Because of the restriction on Fourier modes of , this norm is larger by a power of . The loss of regularity therefore manifests as adverse powers of in certain error terms.
More specifically, the problematic term is in (2.19). In the proof of Theorem 1.6, this term takes the following form. Splitting the codomain of the linearization on as and supplementing the domain to be , the linearization can be written as the block matrix
(2.26) |
In this guise, there first two arrows of (2.17) (i.e. Step (0)–(1) in (2.18)) are precisely solving the first and second rows of (2.26) respectively. The problematic term is indicated by a box: in the Seiberg–Witten setting bounding this term requires a bound on . Without careful set-up of the entire iteration scheme, the extraneous powers of from the loss of regularity make this term too large for the iteration to converge.
As explained briefly in Section 1.6, the key idea that overcomes this difficulty is a more sophisticated method of deforming the singular set:
(Solution I): Use mode-dependent deformations of the singular set.
These are introduced in Section 6.3. Just as the Fourier mode of the cokernel has characteristic length scale as explained above, the mode-dependent deformations purposely manufacture a similar relationship for the diffeomorphisms used in (1.15). This link between the spatial domain on and the Fourier domain of the deformations results in unexpectedly strong control of the boxed term (the crucial result for this being Lemma 6.12), without disrupting the solvability of .
2.5.2. Non-local Deformation Operator
The alternating iteration scheme only converges because of the decay property (II) and (II’) in Sections 2.2 and 2.4, which causes each iteration to reduce the error by a factor of the decay across the neck region. In particular, in Section 2.2 the error on is supported where and the solution in Step (1) decays across the region between the supports of . The first stage in (2.17) disrupts this property:
(Difficulty II): The projection and deformation operator and are non-local.
In particular, both terms of (2.19) are supported globally on , regardless of the support of the error term in Step (0).
This at first makes it seem that there can be no decay factor when solving on . Were the decay factor on sufficiently strong, this would present no issue, but in our situation in (2.20) grows as due to the non-invertibility of the linearization on and so must at least compensate for this factor. This is achieved by
(Solution II): Sobolev spaces of spinors with “effective” support.
The notion of effective support (Definition 4.6) generalizes the standard support, and imposes constraints on how the norms of a spinor grow as a weight increases. The results of Sections 6, and 9.2 show that the mode-dependent deformations from Subsection 2.5.1 above mean that the deformation operator preserves effective support, and this is enough for a decay result.
2.5.3. Non-Uniform Invertibility
This final difficulty is the problem that was solved in [41], and the solution may be treated as a black box here. It still bears mentioning, however, because it makes Difficulties I and II above more unforgiving. Since the model solutions on converge to , the family of elliptic linearizations converge to the degenerate elliptic linearization at with infinite-dimensional obstruction.
(Difficulty III): The linearizations are not uniformly invertible in .
This situation is effectively mandated by the fact that there must be an infinite-dimensional subspace that becomes the infinite-dimensional obstruction in the limit, and the accompanying elliptic estimates necessarily fail to be uniform on this subspace (in any norms with locally defined norm density).
It is not overly difficult to achieve estimates showing that the norm of is for some . All naive approaches, however, frustratingly result in the constant that makes the powers of in (2.20) precisely cancel, preventing convergence (even once Solutions I and II are optimized). In order to achieve stronger control, one must identify quite precisely the subspace from which the infinite-dimensional obstruction arises, and treat this subspace independently. This was achieved in [41] by introducing boundary conditions which capture a certain high-dimensional subspace that approaches the obstruction.
(Solution III): Use twisted APS boundary conditions.
These boundary conditions are packaged in Lemma 7.9. Details may be found in [41, Section 7].
Appendix of Gluing Parameters
This appendix collects the notation and gluing parameters used throughout the remainder of the article. References to the section where the items are defined in the body of the text are included.
(1) Notation for the Seiberg–Witten Equations
-
•
the two-spinor bundle (Section 3.1).
-
•
the real and imaginary subbundles of , defined over (Section 3.2).
-
•
the bundle of -valued and -forms.
- •
-
•
the initial global approximate solutions on (Section 7.2).
-
•
used to denote corrections on (Section 7.1).
- •
-
•
the linearized SW equations at the re-normalized configuration (Section 4.1).
-
•
the universal Dirac operator and its linearization (Section 6.1).
-
•
the universal Seiberg–Witten equations and their linearization (Section 8.2).
(2) Gluing Parameters
-
•
the -norm parameter.
-
•
the coordinate along the parameter path . Assumed to satisfy (1.5).
-
•
the convergence factor from a single cycle of (1.14).
-
•
small numbers, say .
-
•
a linearized deformation of (Section 6.1).
-
•
a re-normalized linearized deformation (Section 9.1).
-
•
the inside weight.
-
•
the outside weight.
(3) Regions and Cut-offs
-
•
the inside region: a tubular neighborhood of radius (Section 7).
-
•
the outside region: the complement of a neighborhood of radius .
-
•
a logarithmic cut-off equal to for and vanishing for .
-
•
a logarithmic cut-off equal to for and vanishing for .
-
•
the indicator function of the set .
-
•
the indicator function of the complementary region.
3. -Harmonic Spinors and Compactness
This section reviews the compactness properties of the two-spinor Seiberg–Witten equations from [32], and begins the set-up of the gluing analysis. More detailed expositions of the same material may be found in [41, 16, 61, 32, 52].
3.1. Compactness Theorem
Let be a compact, oriented, 3-manifold. With as in Section 1.1 and as in (1.8), set . Clifford multiplication on induces a Clifford multiplication which acts trivially on . Define the moment map by
(3.1) |
where is a local orthonormal frame of . Unlike for the single-spinor Seiberg–Witten equations, there are with .
For the two-spinor Seiberg–Witten equations (1.1–1.2) to be an elliptic system on a 3-manifold, the an auxiliary -form is required. Revising the notation slightly, let , and denote
(3.2) |
where is the Dirac operator on formed using the spin connection of , the connection , and the background connection on , and is the curvature of .
Definition 3.1.
The (extended) two-spinor Seiberg-Witten Equations for the parameter are the following equations for configurations :
(3.3) | |||||
(3.4) |
where and are as in (3.2). These equations are invariant under the action of the gauge group .
Notice that definition (3.1) of differs by a sign from what is used by many other authors [37, 34, 15]. Consequently, the sign in the curvature equation (3.4) also reverses, leaving the equations unaltered. If solves (3.3–3.4) and , then integration by parts shows that . For the purposes of Theorem 1.6, it therefore suffices to solve the extended equations. From here onward, we work exclusively with the extended equations.
Standard elliptic theory shows that a sequence of solutions to (3.3–3.4) with an a priori bound on the spinors’ -norm admits a convergent subsequence [37, 34, 32]. In the case of the standard (one-spinor) Seiberg–Witten equations, such an a priori bound follows from the Weitzenböck formula, the maximum principle, and a pointwise identity for . In fact, the bound in that case is where is the -norm of the scalar curvature. In the case of two-spinors, the same pointwise identity for fails, and there may be sequences of solutions such that which therefore admit no convergent subsequence.
The behavior of such sequences can be understood by renormalizing the spinor to have unit -norm. Thus, with we define renormalized spinors
(3.5) |
so that . As in the introduction, the re-normalized or blown-up Seiberg-Witten equations for a triple become (1.3–1.5), where is now as in (3.2) . The following theorem of Haydys–Walpuski describes the convergence behavior of sequences of solutions to the blown-up equations. The theorem states that sequences of solutions along which converge to solution of the -version of (1.3–1.5) away from a singular set .
Theorem 3.2.
(Haydys–Walpuski [32, 42, 66, 51]) Suppose that is a sequence of solutions to (1.3–1.5) with respect to a converging sequence of parameters such that . Then there exists a triple where
-
•
is a closed, rectifiable subset of Hausdorff codimension 2,
-
•
is a flat -connection on with holonomy in ,
-
•
is a spinor on such that extends continuously to with ,
satisfying
(3.6) |
on , and after passing to a subsequence, , and in modulo gauge transformations, and in for some .
Remark 3.3.
The above statement combines the original result of Haydys–Walpuski with refinements proved by Taubes [51], Zhang [66] and the author [42]. In [51], Taubes showed that the singular set has finite 1-dimensional Hausdorff content; building on this Zhang showed in [66] that the singular set is rectifiable. In [42], the author improved the convergence to the limit from weak for the spinor and weak for the connection to for both. Taubes also proved a four-dimensional version of Theorem 3.2 in [52], to which the same refinements apply.
Remark 3.4.
Theorem 3.2 is a particular instance of a family of similar compactness results for generalized Seiberg–Witten equations which originated with C. Taubes’s generalization of Uhlenbeck Compactness to connections. Generalizations and similar results for other generalized Seiberg–Witten equations can be found in [54, 53, 52, 49, 65, 61, 45].
3.2. The Haydys Corresondence
The limiting configurations in Theorem 3.2 are equivalent to -harmonic spinors as defined in the Section 1.2. This equivalence is a particular instance of the Haydys Correspondence [21, 15].
A limiting configuration as in Theorem 3.2 induces a decomposition of the restriction of the two-spinor bundle to as follows. Since is flat with holonomy in , is trivial, and admits a reduction of structure to . Thus, there is a “charge conjugation” map such that ; since is an -bundle it admits a similar map, denoted . The product satisfies , i.e. it is a real structure on . Consequently, there is a decomposition
(3.7) |
where
are the “real” and “imaginary” subbundles respectively.
These subbundles have the following useful characterization, which is proved in [41, Sec. 2], and [16, Sec. 3].
Lemma 3.5.
-
(1)
The decomposition is parallel with respect to the connection induced by .
-
(2)
Clifford multiplication by -valued forms preserves the decomposition, i.e.
and likewise for . Conversely, Clifford multiplication by -valued forms reverses it.
-
(3)
, and there exists a spin structure on with spinor bundle and a real Euclidean line bundle such that
on . Moreover, under this isomorphism, is taken to the connection formed from the spin connection on and the unique flat connection on , with an -linear perturbation commuting with arising from . ∎
As a consequence of items (1) and (2) above, the Dirac operator on restricts to a Dirac operator
(3.8) |
and likewise for the imaginary part. When the subbundle in question is evident, we will omit the superscript from the notation. The isomorphism in Item (3) intertwines (3.8) and the Dirac operator on formed using the connection in Item (3). This leads to the following equivalence, which is the manifestation of the Haydys Correspondence in this particular setting.
Corollary 3.6.
Suppose that is a smooth, embedded link. Then the data of a limiting configuration satisfying (3.6) as in Theorem 3.2 is equivalent to a -Harmonic spinor on satisfying
with respect to .
Proof.
The purpose of the Haydys Correspondence is that it takes advantage of the gauge freedom to temper the singular nature of the limiting equations. To explain this further, limiting configurations are considered up to gauge transformations and solve the globally degenerate system of equations (3.6); indeed, the symbol (after gauge-fixing) in the curvature equation of (1.4) vanishes everywhere as , leading to a loss of ellipticity. On the other side of the Haydys correspondence, -harmonic spinors are considered only up to the action of by sign on , and solve the Dirac equation on , which is a singular elliptic equation whose symbol degenerates only locally along (see the local description in Section 4.1). While the first type of degeneracy appears to at first be rather intractable, the latter description places the problem in the well-studied class of elliptic edge problems [36, 39].
Remark 3.7.
Items (1) and (2) show that is a 4-dimensional real Clifford module on . The isomorphism in Item (3) of Lemma 3.5 endows it with a complex structure, but not canonically so. In particular, the induced Dirac operator (3.8) is only -linear if the -connection is non-trivial (as it must be for condition (2) of Definition 1.1 to be met). In four-dimensions, the bundle need not be topologically isomorphic to the spinor bundle twisted by a real line bundle.
3.3. Recovering Structures
By Corollary 3.6, a limiting configuration gives rise to a -harmonic spinor. The reverse is not immediately true because, in contrast to the Seiberg–Witten equations, the definition of a -harmonic spinor makes no references to a structure. The topological information of the structure is lost in the limiting process of Theorem 3.2 and must be reconstructed before the gluing analysis begins.
Specifically, we seek a structure with spinor bundle such that as defined by (3.7) satisfies the isomorphism of Item (3) from Lemma 3.5 for the twisted spinor bundle that hosts . Given such an , Corollary 3.6 implies that may be viewed as a (non-smooth) configuration on the subbundle of two-spinor bundle formed from , and the gluing analysis begins from there.
The following lemma reconstructs the correct -structure for the gluing, given an orientation of . The proof may be found in Section 3 of [41]; see also [24] for more results in this direction.
Lemma 3.8.
Let be a regular -harmonic spinor on . An orientation of determines a unique -structure with spinor bundle satisfying the following criteria.
-
(1)
The first chern class satisfies
with the specified orientation of .
-
(2)
extends in the sense that . Moreover, there is an isomorphism
where , which makes a smooth section of .
Notice that we do not assume is connected, thus there are possible choices of orientation when has components.
Given Lemma 3.8, the data of a regular -harmonic spinor (with an orientation of ) is equivalent to that of a limiting configuration using the induced -structure on . From here on, we therefore cease to distinguish between a regular (oriented) -harmonic spinor and the corresponding limiting configuration denoted (purposefully) by the same triple.
3.4. Adapted Coordinates
In order to describe Seiberg–Witten configurations in a neighborhood of , we use adapted coordinate systems, constructed as follows.
Fix a component of with length and an arclength parameterization . Choose an orthonormal frame for the pullback of the normal bundle, ordered so that is an oriented frame of along . Let denote the tubular neighborhood of radius around , measured in the geodesic distance of .
Definition 3.9.
A system of Fermi coordinates of radius where is the injectivity radius of is the diffeomorphism defined by
on each component of , where is the normalized coordinate in the direction. In these coordinates the metric has the form
(3.9) |
We denote the corresponding cylindrical coordinates by . Given a smooth family as in Theorem 1.4 it may be arranged that the Fermi coordinate systems depend smoothly on .
A system of Fermi coordinates induces a trivialization of . The next lemma, which is proved in Section 3 of [41], provides a satisfactory trivialization of the two-spinor bundle .
Lemma 3.10.
In the neighborhood of each component of , there is a local trivialization
with the following properties.
-
(1)
The connection has the form
-
(2)
There is an such that the restriction of to is given by
Again, for the -parameterized family of Theorem 1.4, and it may be assumed that this family of trivializations depends smoothly on (using and respectively).
4. The Singular Linearization
The linearized Seiberg–Witten equations play an essential role in carrying out the alternating iteration outlined in Section 2.4. This section introduces the linearized equations, which are a singular elliptic system at a -harmonic spinor.
4.1. Singular Linearization
Differentiating, (3.3–3.4), the linearized (extended) Seiberg–Witten equations at a (renormalized) configuration acting on a linearized deformation are
(4.1) | |||||
(4.2) |
where is as in (3.5).
where denotes the adjoint of the exterior derivative. Extend (the polarization of) to a bilinear map by
where is what were previously denoted by .
Lemma 4.1.
Suppose that is a smooth configuration on . Then the (extended, gauge-fixed) linearized Seiberg–Witten equations at on a linearized deformation take the form:
(4.4) |
where . Moreover, is a self-adjoint elliptic operator. ∎
Notice that the parameter is kept implicit in the notation
A -harmonic spinor (or eigenvector) is not a smooth configuration on , and the ellipticity in Lemma 4.1 fails when linearizing at these. At a -harmonic spinor, however, the linearization admits a pleasing block form with respect to the decomposition of Lemma 3.5. Note in this case the operator acts on sections of bundles only defined over .
Lemma 4.2.
The (extended, gauge-fixed) linearized Seiberg–Witten equations at take the following form on a linearized deformation :
(4.5) |
The same applies at an eigenvector .
Proof.
The proof is an immediate consequence of Lemma 3.5. ∎
As explained in the introduction, the Dirac operator at the singular connection is a degenerate elliptic edge operator111An elliptic edge operator is an elliptic combination of the derivatives in Fermi coordinates; technically speaking, is the edge operator in question, but the factor of only shifts the weight. [36]. In the local coordinates and trivializations of Lemma 3.10, the degenerate nature becomes manifest. Near , it has the form
(4.6) |
where is a first order operator vanishing along , and is a bounded zeroth order operator. In particular, the second term, which arises from the non-trivial holonomy of , is unbounded on . Equivalently, is a elliptic operator with -bounded terms whose symbol degenerates along . In fact, there are no function spaces with local norms for which the extension of this operator is Fredholm.
4.2. The Singular Dirac Operator
This section summarizes results from the elliptic edge theory of the singular Dirac operator (4.6). More generally, Lemmas 3.5 and 4.2 (and the expression 4.6) apply for any , and we consider the family of operators
(4.7) |
where the dependence of on is suppressed in the notation. More detailed discussion and proofs of the statements in this subsection may be found in Sections 2–4 of [43], and a discussion from the perspective of the microlocal analysis of elliptic edge operators is contained in [28].
To begin, consider the following function spaces. Let be a smooth weight function such that
(4.8) |
where the distance is measured using the metric (though we omit this from the notation), and is as in Definition 3.9.
Definition 4.3.
For a constant , the weighted edge Sobolev spaces (of regularity ) are defined by
(4.9) | |||||
(4.10) |
where denotes the covariant derivative on formed from and the background pair . These spaces are equipped with the norms given by the (positive) square root integrals required to be finite, and the Hilbert space structures arising from their polarizations.
extends to a bounded linear operator
(4.11) |
Lemma 4.4.
For ,
-
(A)
(4.11) is left semi-Fredholm (i.e. is finite-dimensional, and is closed.)
-
(B)
There is a constant such that the following “semi-elliptic” estimate holds:
(4.12) where is the -orthogonal projection onto the finite-dimensional kernel.
- (C)
The finite-dimensional kernel for is, by definition, the set of -harmonic spinors. The upcoming Lemma 4.5 implies that this space is independent of in the range .
A -harmonic spinor is not necessarily smooth. Notice that the estimate (4.12) assumes a priori that and does not imply that an -solution can be bootstrapped to . Thus elliptic bootstrapping in the standard sense fails for . Consequently, even for , the kernel and cokernel of (4.11) need not coincide, despite the fact that is formally self-adjoint. This is a general phenomenon for elliptic edge operators; the appropriate substitute for smoothness in this setting is the existence of polyhomogeneous expansions along the singular set as we now explain.
Fix a choice of Fermi coordinates near as in Definition 3.9. The results of [36, Sec. 7] imply the following regularity result about -harmonic spinors (see also [26, App. A], [43, Section 3.3], and [18] for more general exposition).
Lemma 4.5.
Suppose that is a -harmonic spinor or eigenvector. Then admits a local polyhomogenous expansion of the following form:
(4.13) |
where . Here, denotes convergence in the following sense: for every , the partial sums
satisfy the pointwise bounds
(4.14) |
for constants determined by the background data and choice of local coordinates and trivialization. Here, is a multi-index of derivatives in the directions normal to . ∎
Notice that the non-degeneracy condition of Definition 1.1 is equivalent to the statement that the leading coefficients satisfy for all . Note also that the existence of the expansion (4.13) implies that the second condition of (1.6) is equivalent to the requirement that extends continuously to with as in Theorem 3.2.
4.3. Polynomial Decay
This section establishes that solution of the Dirac equation in obey a decay property towards the singular set. This decay property is the precise manifestation of requirement (II) in the alternating method described in Section 2.2.
Because the projection to the obstruction bundle is a highly non-local operator on , cancelling the obstruction using the deformations of the singular set (the horizontal arrow in 2.17) disrupts the property that the error is supported where . The following generalization of support is needed to address this.
Definition 4.6.
A spinor is said to have -effective support if there is a constant such that for all
(4.15) |
holds.
The definition (4.10) implies this property holds holds if lies in the region where .
The following lemma provides the relevant decay property for solutions of the Dirac equation in the outside region. In the statement, are in Section 2.
Lemma 4.7.
Suppose that has -effective support, and let be the unique -perpendicular solution to
Then
(4.16) |
Proof.
For the duration of the proof set, , and . The elliptic estimate (4.12) from Lemma 4.4 applies to show that
Then, since is a logarithmic cut-off function with , and is supported where ,
Relabeling and combining power of gives the bound on the first term of (4.16). Since , a similar argument covers the second term. ∎
Remark 4.8.
The decay of solutions of away from the support of can alternatively be obtained using the decay of the operator’s Schwartz kernel as in [36]. For our purposes, the above approach using weights is easier, and also applies to the inside region, where the properties of the Schwartz kernel of the linearization become quite opaque.
5. The Obstruction Bundle
This section characterizes the infinite-dimensional cokernel of (4.11) for the weight . The cokernel may be canonically identified with the -solutions of the formal adjoint operator, which for is itself (now understood in a weak sense with domain , see Section 2.2 of [43]).
5.1. The Obstruction Basis
To understand the form of the cokernel it is instructive for consider the model case of . Endow with coordinates and the product metric where has length , and set . Let be the trivial bundle equipped with the product connection. As in Section 3.2, is given elements of the form . The Dirac operator takes the form (4.6) here with . By Section 3 of [43] or by direct computation, the -kernel of on is given by the span of
(5.1) |
for . Note that any -linear combination lies in and is smooth away from , but fails to lie in , because . In this case, may be identified with via Fourier series with . 222Here, we are glossing over the fact that the modes are not in on the non-compact ; compactness of ameliorates this, see Section 4.3 of [43].
For a general compact manifold , the cokernel has a similar characterization given in the upcoming Propositions 5.2 and 5.3. In this case, there is the following caveat: because of the appearance of the -harmonic spinor at , the family of cokernels has a discontinuity at (the cokernel would jump in dimension here, were it finite-dimensional). Instead, we work with the following “thickening” of the family of cokernels.
Definition 5.1.
The Obstruction Space associated to the data is the (infinite-dimensional) subspace of defined by
(5.2) |
This has an -orthogonal decomposition
The Obstruction Bundle is the family of obstruction spaces parameterized by
The below proposition shows that Ob is a smooth Banach vector bundle, with fiber modeled on a space of spinors on . For this purpose, let
(5.3) |
be rank 1 complex Clifford module whose fiber is the eigenspace of where is the normalized, oriented unit tangent vector to and is Clifford multiplication both defined using the metric .
Proposition 5.2.
There is a family of continuous linear isomorphisms
that endow the obstruction bundle with the structure of a smooth Hilbert vector bundle over . Moreover, restricted to the factor is the inclusion of the span of .
Proof.
See Propositions 4.2 and 8.5 in [43]. ∎
The next proposition gives an explicit basis for indexed by , and gives bounds showing that the support of these basis elements increasingly concentrates near as the first index increases, just as in the model case of .
For the statement of the proposition, let be as defined preceding Proposition 5.2). For simplicity, we state the proposition in the case that has a single component; the general case is the obvious extension with an additional index ranging over . A choice of arclength coordinate on induces a trivialization of , and there is a Dirac operator on given by in this trivialization. Let denote the eigenfunctions of this Dirac operator, which are associated with for in the trivialization.
Proposition 5.3.
([43, Prop 4.3] For , there is a bounded linear isomorphism
(5.4) |
and a basis of which satisfy the following properties.
-
(A)
When is complex linear, there is a complex basis of indexed by such that the -component of a spinor under (5.4) is given by
(5.5) where is the hermitian inner product. Moreover,
where
-
•
are the -orthonormalized Euclidean obstruction elements (5.1) and is a cutoff function supported on a tubular neighborhood of .
-
•
is a perturbation with -norm which decays exponentially away from with exponent .
-
•
is a perturbation of -norm for any .
-
•
-
(B)
In the case that is only -linear, then there is a real basis
satisfying identical bounds where (5.5) uses the inner product
∎
A more precise meaning of the second and third bullet points is given in Proposition 4.3 of [43], but is not needed for our purposes here.
As a consequence of the concentration of the cokernel modes around as , the obstruction space displays a rather different type of regularity than the Sobolev regularity of the spinors on (see Section 6.1 of [43] for more discussion). Regularity of a spinor , means that for some . By Proposition 5.3, this is a question of how fast the sequence of inner products (5.5) decays as . Because of the concentration, latter depends both on the Sobolev regularity of and its rate of decay toward ; in particular if a spinor is compactly supported in ’s complement, its obstruction components enjoy high regularity, even if all its covariant derivatives fail to be integrable on in the normal sense. This improved regularity is crucial in Sections 9–11, where it is applied to the error terms in the alternating iteration which are compactly supported away from in the neck region.
The next lemma makes this improvement of regularity precise. Given , let
denote the Fourier projector to modes less than in .
Lemma 5.4.
For any , there are such that the following is satisfied. If is a spinor and is such that . Then for any ,
holds for any . In particular, .
Proof.
By Proposition 5.3, the projection is given by
(5.6) |
The result then follows straightforwardly from using the decomposition . More specifically, using the first two bullet points of Item (A) in Proposition 5.3, the first two terms contribute since the assumption on implies . For sufficiently small, this dominates . Using Cauchy-Schwartz on and the third bullet point of Item (A) with then gives the desired bound. Applying the estimate repeatedly for shows that for every . ∎
5.2. The Surjective Weights
By the general theory of elliptic edge operators ([36, Thm 6.1]), a first order elliptic edge operator
is semi-Fredholm provided that the weight lies outside the discrete set of indicial roots. More specifically, there are critical weights such that (i) is left semi-Fredholm (finite-dimensional kernel and closed range) for , and (ii) is right semi-Fredholm (finite-dimensional cokernel) for . For the singular Dirac operator , the critical weights (by [28, Prop 3.9]) are:
(5.7) |
Thus when the weight decreases past the critical weight , flips from being left semi-Fredholm to being right semi-Fredholm.
Lemma 4.4 shows (4.11) is left semi-Fredholm for . The next lemma shows it is right semi-Frehdolm in the specific case .
Lemma 5.5.
For ,
(5.8) |
has a finite-dimensional cokernel. Moreover, for , the elliptic estimate
holds uniformly in .
Corollary 5.6.
There is a closed subspace such that
is an isomorphism. In particular, there is a such that if , then there exists a unique satisfying
where is uniform in .
Proof.
Corollary 5.6 shows that there is a subspace of consisting of singular spinors which hit the infinite-dimensional obstruction of (4.11). The next point is important, though. The spinors in this subspace of cannot be used to cancel the obstruction components in the alternating iteration. Since these spinors grow across the overlap region, rather than decay, an alternating iteration scheme employing them will not satisfy requirement (II) of Section 3.2, and will therefore not converge.
Remark 5.7.
In fact, [36, Thm. 7.14] describes the form of more precisely. That result implies that the maximal domain consists of spinors of the form
and is right semi-Fredholm. Proposition 5.3 implies that consists of -spinors whose leading coefficients (modulo a compact operator) lie in the subspace where . The spinors , modulo and compact operator, fill the subspace where .
6. Deformations of Singular Sets
This section extends the theory of the singular Dirac operator to the case where the singular set varies. We begin by defining the universal Dirac operator as in (1.10), which is the infinite-dimensional family of singular Dirac operators parameterized by embedded singular sets. We then calculate the derivative with respect to deformations of the singular set and give a more precise version of Theorem 1.2.
6.1. The Universal Dirac Operator
Let denote the Banach manifold of embedded singular sets with Sobolev regularity . The tangent space at a singular set is naturally identified with the space of sections of the normal bundle . To begin, we construct families of charts around using families of diffeomorphisms deforming .
Choose a family of diffeomorphisms
(6.1) | |||||
(6.2) |
that associates to each a diffeomorphism with and such that is a vector field extending smoothly to . We also assume that (6.1) depends smoothly on . Then set
(6.3) | |||||
(6.4) |
is a local diffeomorphism on a neighborhood of by the Inverse Function Theorem (cf [43, Lem 5.3]). Fix small enough that is a diffeomorphism on the ball of radius for for every . In a slight abuse of notation, we use to denote both this ball and its image under . We will use these charts with one choice of the family (6.1) in (6.12) and another more sophisticated choice in (6.21).
Each defines
-
(1)
A flat connection on with holonomy in homotopic to that of .
- (2)
-
(3)
Hilbert spaces , and as in Definition 4.3.
Note each of these depends implicitly on ; in particular the weights used in the norms are defined analogously to (4.8) using the geodesic distance of .
Using these, define families of Hilbert spaces and by
with the the obvious projections.
Lemma 6.1.
Each choice of a family as in (6.1) determines trivializations
Together, these trivializations endow the spaces on the left with the structure of locally trivial Hilbert vector bundles over .
Proof.
The following definition gives a more precise meaning to the operator defined in (1.10).
Definition 6.2.
The Universal Dirac Operator is the section defined by
The next proposition calculates the linearization of the universal Dirac operator
(6.5) |
at the pair in the trivialization of Lemma 6.1. Since is linear on fibers, differentiation in the fiber directions is trivial. As explained in Section 1.6, the naturality of the Dirac operator with respect to diffeomorphisms allows us to recast differentiation with respect to the embedding as differentiation with respect to the metrics obtained via pullback by the diffeomorphisms . For each fixed and , set
and denote the derivative by . There is again an implicit dependence on .
Proposition 6.3.
The linearization (6.5) is given by
(6.6) |
where
(6.7) |
in which is a smooth term that involves first derivatives of and is zeroth order in , Clifford multiplication . is that of the metric , and denotes the perturbation to the spin connection formed from .
Proof Sketch..
(See [43, Section 5.2] for complete details). The derivative with respect to is immediate, becuase is linear in . Differentiating with respect to the family of metrics requires associating the spinor bundles for distinct metrics. This is done as follows. For a fixed , let
(6.8) |
denote the metric cylinder on . For , the positive spinor bundle is isomorphic to the spinor bundle of with the metric , while for it is isomorphic to that with the metric . Let denote the isomorphism between the two spinor bundles for defined by parallel transport along rays using the spin connection on (perturbed by ).
The partial derivative with respect to is then given by
(6.9) |
where denotes the singular Dirac operator using the metric and twisted around the fixed singular set . Minus a few additional details regarding pulling back the perturbation , which gives rise to the term , the proposition is now completed by the below theorem of Bourguignon-Gauduchon, which calculates (6.9). ∎
Generalizing the above situation slightly, let be a family of metrics on , and denote by the association of spinor bundles in the proof of Proposition 6.3 by parallel transport on the cylinder (6.8).
Theorem 6.4.
(Bourguignon-Gauduchon [6]) The derivative of the Dirac operator with respect to the family of metrics at acting on a spinor is given by
(6.10) |
where is the Dirac operator of the metric , and are respectively an orthonormal frame and co-frame, Clifford multiplication, the divergence of a symmetric tensor, and the spin connection of the metric . ∎
In (6.10), the first term arises from differentiating the symbol/Clifford multiplication of the Dirac operator, while the last two terms arise from differentiating the spin connection.
6.2. The Deformation Operator
This subsection calculates the projection of the derivative (6.7) to the obstruction bundle.
Let be the -orthogonal projection onto the span of the eigenvector . Using the orthogonal splitting where , the derivative (6.6) can be written as a block matrix:
(6.11) |
Composing with the isomorphism from Proposition 5.3 where is as in (5.3), the top left block of (6.11) can be written as where is the composition:
In particular, is an operator on sections of vector bundles over the fixed curve .
The form of depends on the selection of the family of diffeomorphisms . This is effectively a choice of gauge on the bundle , as the trivializations of Lemma 6.1 also depend on (cf Remark 6.11). One natural choice is as follows. Fix a system of Fermi coordinates as in Definition 3.9 with radius , and choose a cut-off function equal to 1 for and vanishing for . Then define a family of diffeomorphisms (6.1) by setting
(6.12) |
and extending by the identity outside of . This is a diffeomorphism provided is sufficiently small (see [43, Lem 5.3]).
The following theorem combines the statements of Theorem 6.1 and Lemma 6.7 from [43]. It is a refined version of Theorem 1.2 in the introduction.
Theorem 6.5.
([43]). For the family of diffeomorphisms (6.12), the operator is an elliptic pseudo-differential operator of order , and its Fredholm extension
(6.13) |
has index 0. Specifically, on sections , it is given by the formula
(6.14) |
where is the length of , is the Laplacian on , is the second covariant derivative on induced by the Levi-Civita connection of , is a pseudo-differential operator of order (hence compact), and is the zeroth order operator given by
where is the Hilbert transform in the trivialization of induced by the arclength parameterization, and are the leading coefficients of from the expansion (4.13). In particular, depends smoothly on . ∎
The unobstructed condition in Definition 1.3 can be restated in terms of the operator .
Corollary 6.6.
If -harmonic spinor has unobstructed deformations, then is invertible for sufficiently small.
Proof.
As a consequence of Theorem 6.5, the following version of standard elliptic estimates hold. They are proved by repeated differentiation (or integration by parts for ).
Corollary 6.7.
For any , the extension
is Fredholm of index 0 and there are constants such that it satisfies
(6.15) |
∎
A more quantitative version of these elliptic estimates will also be needed, which is given in the next proposition. It says, roughly, that the constants in the elliptic estimates (6.15) grow only as fast as the derivatives of the metric and in the directions tangential to . In the statement of the proposition, is used to denote the product metric in Fermi coordinates on defined using . As in Definition 3.9, differs from by a symmetric tensor of size .
Corollary 6.8.
Suppose that there is an such that for each the bounds
hold on . Then there is a constant independent of such that if , then the following estimate holds for every :
(6.16) |
∎
Remark 6.9.
Note that there are several distinct notions of derivative being used. In the assumption of Corollary 6.8, refers to the derivative using the product connection d in Fermi coordinates. Moreover, the derivatives in e.g. 6.10 are 3-dimensional covariant derivatives on , while the derivatives in (6.14) and the norms are one-dimensional covariant derivatives denoted on arising from the restriction of the three-dimensional covariant derivatives to . It is not true that the isomorphism intertwines the derivatives, i.e. , though Lemma 4.17 in [43] shows that the regularity of the two sides match, i.e.
6.3. Mode-Dependent Deformations
This section introduces a more sophisticated choice of a family of diffeomorphisms (6.1) to deform singular sets. These new diffeomorphisms are constructed by taking a dyadic decomposition of the disks normal to by annuli with radii for . At , the action of the diffeomorphisms is identical to (6.12), but for the action is tempered so that on each dyadic annulus it depends on the Fourier modes of only up to . As explained in Section 1.4 these mode-dependent deformations are the crucial ingredient needed to make alternating iteration converge. More specifically, via the upcoming Proposition 6.12, they are tool that gives control over the loss of regularity described in Subsection 2.5.
To begin, we introduce the following notation. If is a family of smooth functions indexed by , let denote the operator
(6.17) | |||||
(6.18) |
where a fixed choice of Fermi coordinates is used to associate , and are the Fourier coefficients of . is a -parameterized family of pseudo-differential operators on whose Fourier multiplier is given by for each fixed .
Next, let be a large positive number to be specified shortly, and denote by a smooth cut-off function equal to 1 for and supported in the region where . Assume it is chosen so that
(6.19) |
Additionally, let denote a second smooth cut-ff function equal to 1 for and supported in . Then, for each , set
(6.20) |
The family gives rise an operator as in (6.17).
Using this, define a new family of diffeomorphisms by
(6.21) |
on and extended to by the identity. For and sufficiently small, the Inverse Function Theorem shows that is indeed a diffeomorphism on . As in Sections 5.1–5.2, gives rise to (i) an exponential map , (ii) trivializations , a (iii) a family of pullback metrics , (iv) a partial derivative , and (v) a deformation operator .
The following corollary states that the results of Section 6.2 carry over to the underlined versions. It also dictates a lower bound for the value of the constant used to define (6.17).
Corollary 6.10.
Proof Sketch.
The idea of the proof is straightforward, given the following observation: the cokernel elements are nearly isolated in the Fourier mode and decay exponentially with with exponent . Therefore, altering the deformation of the mode outside for large enough is a small perturbation. ∎
Remark 6.11.
(Cf. Remark 5.6 of [43] and Section 4.1 of [12]) There is an infinite-dimensional space of possible choices of a family of diffeomorphisms of (6.1). Any two choices differ by pre-composing with a family of diffeomorphisms that fix . By pullbacks, this latter group acts by infinite-dimensional gauge transformations on the bundles of Lemma 6.1. Thus the choice of a family of diffeomorphisms is effectively a choice of gauge, and the expressions for the operator (6.13) depend on this choice. The choice of mode-dependent deformations may be understood as a gauge in which certain stronger estimates are available, akin to the elliptic estimates provided by the Coulomb gauge in standard situations.
The next lemma provides key bounds that are used to control the loss of regularity in Sections 9–11. The collection of terms it will be necessary to bound have two general types.
-
(A)
Let be a spinor such that there is an , so that for all , and , where , or in Fermi coordinates. Consider terms of the form
(6.22) -
(B)
Let and set . Consider terms of the form
(6.23)
In these expressions, denotes the operator (6.17) formed analogously to (6.20) but using for a a multi-index of order , is the derivative of , and is chosen from a collection of fixed pointwise linear endomorphisms (e.g. ). We say terms of the form (6.22) and (6.23) have weights
respectively.
Lemma 6.12.
Let be a deformation, then the following bounds hold.
Proof.
The lemma is proved working locally in Fermi coordinates and an accompanying trivialization as in Section 3.4. Thus become and -valued functions respectively. The lemma is proved in the cases of ; the general cases are similar.
(A) To begin, consider the term and the case that . On each circle the multiplication map is uniformly boundedin . Applying this to the product for each pair ,
where we have replaced the integral over with a -parameterized sum over Fourier modes via Plancherel’s Theorem.
Since the integrand is uniformly bounded, and is independent of , the sum may be pulled outside, giving
(6.24) | |||||
(6.25) | |||||
(6.26) |
as desired.
For the term, the proof is the same, except we use the bound ; this adds a factor of to the integrand, but the same factor is lost by replacing by . For the term the same applies, now with . Likewise, for the terms involving , one power of is gained from using instead of , but the same factor is again lost since both have one less derivative. The case with is again similar.
(B) The proof in this case is essentially the same, except we use that multiplication is bounded, and apply it to the term since does not necessarily have pointwise bounds. First, divide into the sequence of annuli
for . Then
Now, since on for , we see that
where denotes the projection to Fourier modes . Since , the restriction on Fourier modes implies . Using this, the above is bounded by
as desired. Just as in (A), the terms lose a power of from the derivative but gain one from the derivatives of the cut-off. The terms with are the same without the factor. ∎
6.4. Non-Linear Terms
The universal Dirac operator is a fully non-linear function of the singular set . This section describes the non-linear terms. When solving the linearized equations in every step of the gluing iteration, these non-linear terms contribute a portion of the error for the subsequent step.
Given a configuration ,
where is the linearization (6.6) and is the non-linear term. Here, means as in (6.4) using the chart centered at . The following lemma characterizes the non-linear term .
Lemma 6.13.
The non-linear term has the following form:
where
-
•
is as in (6.7) with in place of .
-
•
is a term quadratic in and linear in which is a finite sum of terms of the form
where , is a linear term of type A in the sense of Lemma 6.12 with weight , and is a linear combination of , and .
-
•
is the same with the final term replace by a term of Type B in the sense of Lemma 6.12 with weight .
-
•
has the same form but with higher-order dependence on , so that it satisfies a bound
where are of the same form as respectively.
Proof.
To bound the non-linear terms later, we have the following analogue of Lemma 6.12. In the statement of the lemma, we tacitly use to denote a term having one derivative, i.e. a linear combination of and . denotes the same but with up to second derivatives.
Lemma 6.14.
Retaining the assumptions and notation of Lemma 6.12, the following bounds hold for .
-
(A’)
For a fixed small number number ,
-
(B’)
Likewise,
Proof.
Notice that the bound for each implies that . In each case above, a factor with one derivative can therefore be pulled out using the Sobolev embedding or equivalently for , after which the proofs proceed as in Lemma 6.12. ∎
7. Concentrating Local Solutions
This section reviews the model solutions constructed in [41]. This -parameterized family of model solutions solve the Seiberg–Witten equations on a tubular neighborhood of the singular set, and locally converge to , with curvature concentrating along as . Results are stated here without proof, with references to the relevant sections of [41]. These result here also include the trivial extension of [41] from a single -harmonic spinor to the -parameterized family of eigenvectors (1.12).
7.1. Hilbert Spaces and Boundary Conditions
This subsection defines Sobolev spaces with weights and boundary conditions on a tubular neighborhoods of each singular set . These -parameterized tubular neighborhoods — which eventually host the model solutions — shrink in diameter as for each fixed . More specifically, let
(7.1) |
and, immediately suppressing the dependence on , denote by the tubular neighborhood of the singular set for . It is equipped with Fermi coordinates as in Definition 3.9 using the metric .
The Sobolev norms depend on two weight functions, which we now describe. The latter of these is defined in terms of a “de-singularized spinor” , which is a precursor to the model solutions. Denote by the radius of the Fermi coordinate chart.
-
(1)
With , let be a smooth function defined as follows:
where is a uniformly bounded constant depending depending smoothly on defined in terms of the leading coefficients of .
-
(2)
For each , let be the de-singularized spinor as defined in Definition 4.5 of [41]. The norm is a smooth function on with the following properties for constants (see [41, Sec. 4]):
-
(2a)
For , it satisfies .
-
(2b)
For , it is a monotonically increasing function of with a uniform lower bound .
-
(2a)
The weight function is approximately equal to on a tubular neighborhood of , being constant outside this neighborhood, and leveling off at so that there is a uniform lower bound . The weight function is exponentially close to for . This latter weight function is effectively commensurate with , but is used instead because it naturally appears in the Weitzenböck formula for the linearized operator.
Definition 7.1.
Let be a weight. The “inside” Sobolev norms are defined by
(7.2) | |||||
(7.3) |
where the dependence of , and on is suppressed in the notation. Both norms give rise to inner products via their polarizations. Because is compact, these norms are equivalent to the standard and norms respectively (though not uniformly in ).
Next, Sobolev spaces are defined using these norms along with a set of boundary conditions on and orthogonality constraints in the interior. The boundary conditions are a twisted variation of APS boundary conditions; the details of these conditions are crucial for the proofs of the theorems in [41], but not needed here (see Remark 7.4 below). The reader is referred to Sections 7.1–7.3 of [41] for details, and in particular to Figure 2 of [41] which illustrates these conditions.
The following lemma is a restatement of Proposition 7.15 in [41] with unnecessary details omitted.
Lemma 7.2.
There exists a Hilbert subspace
where is a subspace of complex dimension with , and a projection operator given by the direct sum of the boundary restriction and the -orthogonal projection to , such that
(7.4) |
is Fredholm of Index 0 for any configuration .
Definition 7.3.
Define the “inside” Hilbert spaces by
They are equipped with the norms from Definition 7.1, and the inner products arising from their polarizations. They are defined over the domain , and depend implicitly on .
Remark 7.4.
Although the details of the boundary conditions defined by Lemma 7.2 are peripheral to our purposes here, their importance for the overall gluing construction cannot be overstated, nor should the reader be lulled into dismissing the result of the lemma as an application of standard APS theory. Although the existence of some space such that the result of Lemma 7.2 about the index holds is a consequence of standard APS theory [2, 34, 4], the linearized equations at the model solutions (as in the upcoming Theorem 7.7) will necessarily fail to be invertible in a suitable sense for any but a very precisely crafted boundary condition. The reasons for this are explained in detail in Section 7.1.3 of [41], and the correct definition of is the main challenge in [41].
7.2. Concentrating Local Solutions
This subsection states the main results of [41] about the model solutions and the linearization at these.
Theorem 1.2 of [41] first constructs model solutions on that satisfy the Seiberg–Witten equations and the boundary conditions of Lemma 7.9. Using the cut-off function (recall this is equal to for and vanishes for ), these are are extended by the limiting eigenvector and connection to form global approximate solutions:
(7.5) |
On the left, the dependence on is suppressed. The subscript “1” indicates that these are the first in the sequence of approximate solutions (2.2) arising in the alternating iteration.
Theorem 7.5.
([41], Theorem 1.2 ) Suppose that for are a family of -harmonic eigenvectors satisfying the hypotheses of Theorem 1.6. Then, there exist approximate solutions smoothly parameterized by and constructed as in (7.5) with the following properties.
-
(I)
They satisfy
where SW denotes the extended, gauge-fixed Seiberg–Witten equations with respect to , and are error terms obeying
-
(1)
, and
-
(2)
-
(3)
for , and .
for . Moreover, the derivatives also satisfy (1)–(3).
-
(1)
-
(II)
There is a configuration such that
where
(7.6) -
(III)
The -norm satisfies .
∎
Remark 7.6.
The de-singularization process used to obtain smoothes the -harmonic spinor and the accompanying singular connection , thereby re-introducing a highly concentrated “bubble” of curvature. Briefly, these de-singularized configurations are exponentially close to outside a neighborhood of radius , and for may be characterized as follows. is smooth and non-vanishing with , and is smooth and its connection form in the trivialization (3.10) vanishes at . The curvature is smooth with -norm of size , and -norm of size . See [41, Fig.1, pg.30]. The model solutions are a small perturbations a as in Item (II) and do not disrupt this qualitative behavior.
The next theorem gives a precise statement of the invertibility of the linearization at the approximate solutions from Theorem 7.5. Let denote the (extended, gauge-fixed) linearization at the model solutions (recall from Section 4.1 that this means the linearization at the un-renormalized spinor with norm ), and let denote its restrictions to .
Theorem 7.7.
([41], Theorems 1.4 & 7.1) For any ,
(7.7) |
is Fredholm of Index 0. Moreover, there exists an such that for , it is invertible, and there is a constant such that the bound
(7.8) |
holds uniformly for where . Moreover, is uniformly bounded on the spaces (7.7). ∎
Note in particular for is as in Section 2, then .
7.3. Outside Boundary Conditions
This subsection departs from [41] to discuss the linear theory for the Seiberg–Witten equations in . Recall from Lemma 4.2 that the linearized Seiberg–Witten equations at the limiting -harmonic spinor take the form
(7.9) |
where . In particular, the real component decouples from the imaginary and form components. The top left block is the operator that was studied in Section 4; the bottom block is a copy of the standard (i.e. single spinor) SW equations, can be reduced to standard elliptic theory by viewing it as a boundary-value problem using an adaptation of the boundary conditions of Lemma 7.9.
First, define the outside Sobolev norms with boundary conditions complementary to those of Definition 7.1. Let , and set .
Definition 7.8.
Let be a weight. The “outside” Sobolev norms are defined by
where the dependence of , and on is suppressed in the notation. Here, .
Notice this norm is not, technically speaking, a norm on sections of a vector bundle over the manifold ; in particular the section in the real component is integrated over all whereas the other two components only over . Notice also the difference in the sign convention for the weight between these spaces and those of Section 4 (which adopts the conventions standard for edge operators); in particular . Finally, observe that since and that on ; thus this norm is equivalent to the -norm on (since is exponentially small there).
The following lemma describes the boundary conditions on ; no boundary condition is imposed on the -component. In it, denotes the linearized Seiberg-Witten equations at a smooth configuration acting on tuples .
Lemma 7.9.
There exists a Hilbert subspace
and a projection operator given by the composition of restriction to the boundary and the -orthogonal projection such that
(7.10) |
is Fredholm of Index 0.∎
Definition 7.10.
Define the “outside” Hilbert spaces by
They are equipped with the norms from Definition 7.1, and the inner products arising from their polarizations. They depend implicitly on .
The following lemma establishes the invertibility of the bottom block matrix in (7.9), which we continue denote by .
Lemma 7.11.
For , the boundary-value problem
(7.11) |
is invertible for sufficiently small. Moreover, the estimate
holds uniformly in , and is uniformly bounded on the spaces (7.11). ∎
Proof Sketch.
The Weitzenböck formula ([41, Prop 2.13]) shows that
(7.12) |
where schematically has terms of the form and . Taking the inner product of (7.12) with shows that
Using that while , the terms involving and are dominated by the weight in (7.8) on where , and may be absorbed. The remainder of the proof is showing that the subspace of Lemma 7.9 may be chosen so that the boundary terms vanish (this is non-trivial because of factor of in the local expression (4.13), but is similar to the arguments in [41, Section 7]). ∎
7.4. Exponential and Polynomial Decay
Solutions of
(7.13) |
decay away from the support of . This section gives precise decay results that provide the operative version of requirement (II) from Section 2.2. On , real and imaginary/form components manifest two different types decay, respectively: (1) polynomial decay, akin to that of Lemma 4.7 and (2) exponential decay with exponent .
This next lemma address the polynomial decay. An analogous result holds for solutions of the equation in Lemma (7.11), but is not needed.
Lemma 7.12.
Suppose is the unique solutions of (7.13). If , then
Proof.
The proof follows an identical strategy to that of Lemma 4.7, with the following minor adjustments. First, Theorem 7.7 only applies for weights , the factor gained in the decay is reduced by half to . Second, the lack of uniform invertibility in (7.8) leads to an adverse factor of . Multiplying these and redefining yields the assertion of the lemma. ∎
One could (perhaps justifiably) gripe that Lemma 7.12 does not, at first glance, constitute a “decay” result because the decay factor diverges as . The point, however, is that this result still tempers that growth compared to the factor expected from (7.8), and does so sufficiently much that when combined with Lemma 4.7 the power of for a full cycle of (2.17) is positive.
The imaginary/form components of a solution to (7.13) obey a far stronger decay property. That this is so is a consequence of the intrinsic structure of generalized Seiberg–Witten equations, which allows them to be interpreted as a non-linear concentrating Dirac operator with degeneracy. This interpretation is developed extensively in [42], which establishes decay results in a quite general setting.
The following lemma specializes these results to the present case; it is proved in Appendix A of [42]. For the statement of the lemma, let denote a family of compact subsets of the complement of the singular set. Set . Let be a slightly larger family of compact sets so .
8. Universal Seiberg–Witten Equations
This section uses the concentrating local solutions defined in Section 7 to construct an infinite-dimensional family of model solutions parameterized by deformations of the singular sets . This family is used to define a universal version of the Seiberg–Witten equations akin to the universal Dirac operator (1.10).
8.1. Hilbert Bundles
This subsection defines Hilbert bundles of Seiberg–Witten configurations over the space of embedded singular sets, analogously to Section 6.1.
Let denote the ball on which is a diffeomorphism as in Section 6.3. For each , let , and be as in (6.3)–(6.4), and define
where are as in (7.1) and Definition 7.8 respectively. For each triple there are weight functions defined analogously to those in Section 7.1:
(8.1) | |||||
(8.2) |
where is the weight from Item (1) in Section 7.1 (which depends implicitly on ), and is the analogue of 6.1 defined in the proof of Lemma 8.2 below.
Definition 8.1.
Let be a weight. For each and each , define Hilbert spaces
where the norms are defined analogously to Definitions 7.3 and 7.10 using the domains indicated and the weights (8.1–8.2). For each , denote the -parameterized families by
(8.3) | |||||
(8.4) |
Finally, define global spaces by
(8.5) |
where the -norm is defined identically to the -norm in Definition 7.1, but integrated over all .
The following lemma shows that pulling back by the family of diffeomorphisms trivializes these vector bundles.
Lemma 8.2.
The family of diffeomorphisms determines trivializations
(8.6) | |||||
(8.7) |
which endow the spaces on the left with the structure of smooth Hilbert vector bundles. The same applies to .
Proof Sketch.
(See [43, Sec. 5.1] for further details). Fix . To begin, we define on the spinor components. For each , the is the map induced on sections by a fiberwise isomorphism where .
For clarity, fix a spin structure with spinor bundle and a complex line bundle so that the spinor bundle of the -structure is . is defined as the composition of the following three maps:
where
-
•
is the pullback by the diffeomorphism .
-
•
is the canonical isomorphism on the first factor, and the identity on .
-
•
is the parallel transport map from the proof of Proposition (6.3).
In the third bullet, parallel transport over on the bundles , using the connections and on the second and third factors where is a fixed smooth background connection on .
The definition of on the forms component is identical with the simplification that the bundle of forms is canonically identified with its pullback so the second map is not necessary. ∎
8.2. Concentrating Local Families
This subsection defines the universal Seiberg–Witten equations as sections of the vector bundles from Section 8.1. The equations are viewed as deformation equations around a universal family of concentrating approximate solutions.
Definition 8.3.
For and , define
-
(A)
The universal family of concentrating local solutions by
(8.8) i.e. as the pullback by of the constant section at the approximate solutions of Theorem 7.5.
-
(B)
The universal families of de-singularized configurations and -eigenvectors by
(8.9) using de-singularized configurations and the -eigenvectors respectively.
The family of de-singularized configurations was already used as the weight in definition (8.2). Strictly speaking, is defined to act on forms rather than connections. It is easy to verify, via the definition of in the proof of Lemma 8.2 that a connection can be pulled back equally well. By construction, (8.8) have curvature highly concentrated around the deformed curves .
For each triple , there are accompanying cut-off functions . To simplify notation, the latter two subscripts are omitted when they are clear in context. Consider the deformation equation of the Seiberg–Witten equations at the approximate solution (8.8), given by
(8.10) |
for and in the fibers over , where denotes the Seiberg–Witten equations with parameter . Additionally, denote the projection by .
Definition 8.4.
For each , the universal Seiberg–Witten equations (resp. eigenvector equation) are the sections
defined by
(8.11) | |||||
(8.12) |
where the domain of the latter also includes the trivial summand .
To be more precise, (8.10) means the extended, gauge-fixed Seiberg–Witten equations subject to the gauge-fixing condition
(8.13) |
where where for each . For , this is the gauge-fixing condition coincides with the one used in the proof of Theorem 7.5.
The purpose of introducing the family is that one only expects the deformation needed to correct (8.8) to a true solution to be small only in the weighted spaces for the correct deformation . Ultimately, each equation in the universal family (8.11) is simply the Seiberg–Witten equations on using the parameters acting on spaces with varying weights. In particular, to solve the SW equation on , it suffices to solve it for any parameter .
Corollary 8.5.
Suppose that and that , then
where is the configuration on the right side of (8.10), and is the Seiberg–Witten equation using the parameters . In particular, is smooth.
The equivalent statement holds for the eigenvector equations .
Proof.
The first statement is immediate from Definition 8.4. By Definition 8.1, and imply that . Since the background parameter is smooth, elliptic bootstrapping shows that is also smooth.
In the case of the eigenvector equation, because is smooth away from the singular set where . Since is smooth, is as well and elliptic bootstrapping applies again. ∎
8.3. Universal Linearization
This section calculates of the derivative of the universal Seiberg–Witten equations with respect to the deformation parameter.
Let . The (fiberwise component of) the linearization is a map
(8.15) |
where we have used the canonical splitting of along the zero-section. The next two propositions calculate this derivative in two steps, giving the analogues of Proposition 6.3 and Theorem 6.4 for the Seiberg–Witten equations.
In the following proposition, recall that . Remember also that the model solution depends implicitly on .
Proposition 8.6.
(8.16) |
where
Proof.
(see also [43, Prop. 5.5]) For the duration of the proof, we suppress the dependence on from the notation. Choose a path
such that , where . We may write , where . Using Definition 8.4 and (8.10), and then substituting Definition 8.8, the derivative (8.16) is then given by
where is used to denote the trivialization of both and .
(LABEL:tocalculate6.6) appears as the rightmost vertical arrow in the commuting diagram below. The diagram decomposes as in the proof of Lemma 8.2. It also abbreviates and , and , and also uses to denote the spinor bundle formed using the metric .
Expressing (LABEL:tocalculate6.6) as a composition using the vertical middle arrow in the diagram, and writing the Seiberg-Witten equations near a configuration as
(8.19) |
the derivative is given by
(8.21) | |||||
where the last equality is an instance of (8.19). Here, is the linearization of the Seiberg–Witten equations at using the parameter .
The next proposition gives a concrete formula for the term using Theorem 6.4. Set
Proposition 8.7.
The term in (8.16) is given by
(8.22) |
where
- (1)
- (2)
-
(3)
is the metric variation of the moment map given by
(8.25) where . and are as in Item (1). Here are indices and .
Proof.
(1) The metric variation formula of Bourguignon-Gauduchon (Theorem 6.4) applies equally well to twisted Dirac operators, provided the connection on the twisting bundle remains fixed. The -connection in (8.17) (i.e. in the middle arrow of the diagram in the proof of Proposition 8.6) is the fixed connection by Definition 8.8. The connection on differs from the fixed connection by a zeroth order (in both and ) term
In fact, a quick calculation shows is the contraction of the curvature with .
(2) Let be as in the proof of Lemma 8.2. Let denote a smooth connection on that extends the product connection in the trivialization of Lemma 3.10. Then
where is the Hodge star of . Since outside the neighborhood where , while vanishes inside , the first term is zero. Consequently, the variation of the curvature (when supplemented with the component and gauge-fixing) reduces to the metric variation of . The variation of this Dirac-type operator follows equally well from (Theorem 6.4), with the additional simplification that the form bundle does not depend on the metric.
8.4. Non-Linear Terms
This section characterizes the non-linear terms in the universal Seiberg-Witten equations. The equations have quadratic non-linearities in fiber directions of —these simply being the non-linearities of the original Seiberg-Witten equations, but are fully non-linear in the deformation parameter . There are also mixed terms fully non-linear in and linear or quadratic in the fiber directions.
The universal Seiberg-Witten equations at may be written
(8.26) |
where consists of the non-linear terms. Write where for to simplify notation.
Proposition 8.8.
The non-linear term has the form
(8.27) |
where
-
(1)
is the standard non-linearity of the Seiberg–Witten equations given by using Clifford multiplication with respect to .
-
(2)
is the non-linear portion of the metric variation of the Dirac operator on as in Lemma 6.13, taking and in the notation of that lemma.
-
(3)
is the non-linear portion of the metric variation of the de-Rham operator as in Lemma 6.13 taking and and appropriately substituting for Clifford multiplication.
-
(4)
is the non-linearity arising from the metric variation on the first component of , which has the form
where is a term of Type B in the sense of (6.23) taking with weight , and is a -linear combination of and higher order functions of these.
-
(5)
is the non-linearity arising from the metric variation of the moment map. Schematically, it has the form
where consists of quadratic and higher combinations of .
9. Relating Deformation Operators
This section relates the deformation operator for the universal Seiberg–Witten equations from Section 8.3 (Proposition 8.6) to the deformation operator for the universal Dirac operator from Section 6.1 (Proposition 6.3). In the outside region , the former is a small perturbation of the latter.
9.1. Two Deformation Operators
Because of the renormalization of the spinor in the model solutions (8.8), it is convenient to introduce the following inverse normalization for the deformation. For , define by
(9.1) |
Because of the exponential decay in Lemma 7.13, the (re-normalized) approximate solution is a small perturbation of the original -eigenvector outside the invariant scale of , thus one expects to also be a small perturbation of in this region. The following lemma gives a precise bound.
Lemma 9.1.
Let be a linearized deformation. There exists a constant such that
(9.4) |
where , with as in Lemma 6.12.
Proof.
By Proposition 6.3, and . By Proposition 8.7, we can therefore write
We first compare the spinor components. Let denote the difference
(9.5) |
which satisfies on the support of by (7.6) in Item (II) of Theorem 7.5 and the exponential bound on from Item(2b) in Section 7.1.
Then
(9.6) | |||||
Each term in (9.6) is of Type B in the sense of Lemma 6.12, each with weight . Applying Item (B) of that lemma with shows that
(9.7) |
as desired. In the final inequality, we have used that the and norms are comparable for . This establishes the desired bound for the spinor components.
For the , components, note that that the difference from the (flat) limiting connection and the imaginary components of are exponentially small on by Lemma 7.13; exponentially small here meaning for . Since depends only on the -component and only depend on the -component by Item (2) of Lemma 3.5 (up to an exponentially small factor coming from the difference in (2a) in Section 7.1), the same argument as the spinor components shows these components satisfy (9.4) with an exponential factor in place of , which may be absorbed once is sufficiently small. ∎
The situation for radii less than the invariant scale, i.e. for , stands in contrast to that of Lemma 9.1: there, the two deformation operators bear no meaningful relation. Since the invariant scale shrinks rapidly as , however, the norm of either deformation operator in this region decreases like a fixed positive power of so that is effectively negligible, as the upcoming lemma shows. Since the weight function is almost constant (up to a factor of ) on , the lemma considers only the unweighted norms.
The proof utilizes the following re-scaling, which plays an essential role in the proof of Theorem 7.5 (see [41, Sec. 5.3]). There is a re-scaled coordinate satisfying for constants such that de-singularized solutions are given by
(9.8) |
where are fixed, smooth, -independent functions on in Fermi coordinates (3.9). Moreover, for , and , where vanishes to second order at . See Section 4 of [41] for detailed proofs.
Lemma 9.2.
Let be a linearized deformation. There exists a constant such that
(9.9) | |||||
(9.10) |
where , with as in Lemma 6.12.
Proof.
(9.9) is immediate from (9.2) and the triangle inequality, so it suffices to show both terms on the right side of (9.9) satisfy the desired bound.
To begin with the deformations of the singular Dirac operator, the formula (6.7) shows
where summation is implicit in the first term. Since is polyhomogeneous with leading order by Lemma 4.5, each of these terms is of Type A in the sense of Lemma 6.12, with weight . Copying the proof of Item (A) of Lemma 6.12, but now only integrating over the support of shows that
as desired. The term is subsumed by these because it has weight . This shows the second term of (9.9) satisfies the desired bound.
We bound each term (I)–(III) separately. Beginning with (I), write where are as in Item (2) of Theorem 7.5. The term (I) is comprised of four subterms (Ia)–(Id) as in (8.23); for each of these there is a leading order part coming from and a perturbation coming from . We begin with the leading order part of (Ia). Omitting indices and subscripts and writing for clarity,
where we have changed variables to the rescaled coordinate (in both the volume and ) and then substituted (9.8). The last inequality follows from the fact that (as in the proof of Lemma 6.14), and the fact that for . The same argument applies to the terms (Ib)–(Id), except there is an additional factor of because there is no derivative to rescale, but the norm is needed.
Turning now to the leading order of term (II), which is again comprised of three sub-terms (IIa)–(IIc) as in (8.24), a similar rescaling argument applies to show
where we have substituted (and likewise for ), then used the fact that vanishes to second order at to combine these into a smooth bounded function . The last inequality follows just as in term (I). Terms (IIb)–(IIc) proceed with the same alterations as (Ib)–(Id).
In both terms (I)–(II) the perturbation terms arising from , the same integration as for the leading order terms is used. First, for terms (Ia) and (IIa), a factor of can be pulled out, reducing the integral to the -norm; for the other terms, the same applies to (Ib–Id) and (IIb)–(IIc) with (and the weight in the norm gives an extra factor of for these).
9.2. The Range Component of Deformations
The previous subsection provided bounds on the perturbation term in (9.2); this subsection bounds the main term . The range component is the crucial term affected by the loss of regularity whose significance was discussed in Subsection 2.5.1 (the boxed term in 2.26).
The key bound is provided by the following lemma. The lemma shows that, due to the use of the mode-dependent deformations, the derivative has effective support (Definition 4.6) equal to the support of the deformation in Fourier space.
Proposition 9.3.
Proof.
9.3. Non-Linear Bounds
This subsection bounds the non-linear terms in Proposition 8.8.
The statement of the next lemma involves an auxiliary partition of unity defined as follows. With being the constant such that is the indicator function of , let be a partition of unity consisting of two logarithmic cut-off functions such that , and where while . The purpose of introducing is that it is equal to on a neighborhood larger than the support of by a factor of ; this extra buffer zone allows the exponential decay of Lemma 7.13 to take effect on for configurations that decay away from the support of (see the proof of Corollary 10.8 in Section 10).
Lemma 9.4.
Let be the non-linear terms from Proposition 8.8. Then these satisfy the following bounds.
-
(I)
satisfies
-
(II)
Provided , then satisfy
and identically for with in place of .
-
(III)
Provided , then
Proof.
(I) Configurations on satisfy the interpolation inequality
(9.12) |
Since , and is bounded by the weight on the -terms in the -norm, applying this shows, e.g.
because the -norm dominates the -norm with an extra weight of . On the support of , the proof is the same but the fact that has at most one factor in means the weight gives an extra factor of for on and for .
(II) Follows from the same considerations as Lemmas 9.2 and 9.1 (with replacing in 9.5), and employing Lemma 6.14 in place of Lemma 6.12, then invoking the assumption that .
(III) Using Taylor’s theorem on the terms involving , then pulling out a factor of as in the proof of Lemma 6.14 reduces to terms of the form in (I) or of the form which are bounded by the -norm directly. ∎
10. Contraction Subspaces
This section and the next complete the bulk of the proof of Theorem 1.6. This is done by constructing three linear parametrices, to be denoted by , one each for the three steps of the cyclic iteration described in Section 2.4. These three parametrices are combined into a (non-linear) approximate inverse of as in (8.14), which is the non-linear analogue of (2.23). Then define
(10.1) |
where , so that each successive application of carries out a cycle of the alternating iteration (cf. 2.14).
Proposition 10.1.
There exist closed subspaces , and , and a closed ball containing such that the following hold for and , provided are sufficiently small.
-
(A)
The restriction is continuous and depends smoothly on .
-
(B)
-
(C)
where . In particular, is a contraction for sufficiently small.
Note the proposition implicitly uses the exponential map from Section 6.1 to conflate an open subset of with so that (10.1) makes sense. The remainder of the current section constructs the spaces , and Section 11 constructs the three parametrices to complete the proof of the proposition. Theorem 1.6 is deduced as a consequence of Proposition 10.1 in Section 12.
10.1. Three Fourier Regimes
The main challenge in the proof of Proposition 10.1 is controlling the loss of regularity of the deformation operator from Section (6.2). This requires careful analysis of three regimes of Fourier modes, which are dealt with differently; these are associated to three different length scales on .
There are two different spaces of sections on with Fourier decompositions, and these Fourier decompositions are linked to length scales on by two distinct mechanisms. First, the intrinsic concentration property of the obstruction (recall Proposition 5.3 and Lemma 5.4) links the length scales to the Fourier modes in . Second, by fiat, the use of mode-dependent deformations (Section 6.3) links length scales on to the Fourier modes of a deformation .
The three length scales and of the inside, the outside, and the neck regions respectively give rise to three corresponding Fourier regimes.
Definition 10.2.
For a fixed , set
and for define
We write e.g. as shorthand for the projections of an obstruction element to the corresponding Fourier regimes.
Lemma 5.4 yields the following statements for the projection operators of Definition 10.2: for sufficiently small, suppose that satisfy for where and . Then for any
(10.2) | |||||
(10.3) |
hold for constants . Specifically, these are obtained by applying Lemma 5.4 with taking in the statement of the lemma, where satisfies for as in Definition 10.2.
Sections 5.2 and 6.2 described respectively two invertible elliptic operators, either of which can be used to cancel the obstruction:
(10.4) | |||||
(10.5) |
The first is an isomorphism by Corollary 6.10, the second by Lemma 5.6. The pre-images of the three Fourier regimes in the codomain give rise to three corresponding regimes in each and .
(10.4) is used to cancel the low and medium modes, while (10.5) is used to cancel the high modes. There is an important and delicate balance that must be struck here. The higher the Fourier mode, the more extreme the loss of regularity of (10.4) is, thus there is an upper limit on the modes for which (10.4) may be used to cancel the obstruction, else the alternating iteration will not converge. Conversely, there is a lower limit to the modes which may be solved for using (10.5). Because solutions of (10.5) grow across the neck region rather than decay, the modes solved for this way must be smaller than the dominant error by at least that growth factor. (10.2) and (10.3) provide such estimates, but only in the case of spinors with support restricted away from . The support of error terms coming from the cut-off functions in the alternating method therefore yield a lower bound on the range of modes where using (10.5) is permissible 333This lower bound is dictated by the somewhat arbitrary choice that are supported where and . Different choices, however, also change the powers of appearing elsewhere (e.g. Theorem 7.5). Different choices result in different ranges for the three regimes in Definition 10.2, but the central issue cannot be avoided. The key point is that together, the regions enclosed by these upper and lower bounds cover the entire spectrum in .
Next, we will define a combined space and operator that cancels the obstruction using (10.4) for the low and medium modes and (10.5) in the high modes. First, however, one minor alteration is required. To achieve control on higher Sobolev norms, we replace (10.4) by an auxiliary operator which is a small perturbation of it, constructed as follows. In Fermi coordinates (Definition 3.9) and the accompanying trivialization (Lemma 3.10) on , smooth objects may be decomposed using Fourier modes in the -direction, leading to families of Fourier series smoothly parameterized by the normal coordinates . Since is supported in , we may define by restricting these Fourier modes. Write where is the product metric in Fermi coordinates, and set
(10.6) |
where from Definition 10.2 applied for every fixed . Let be the deformation operator defined analogously to (Theorem 6.5) using (10.6) in place of . By construction, obeys the hypotheses of Corollary (6.8) with , since are smooth in the -direction.
Corollary 10.3.
Let be such that . For any , there is a constant depending on such that
In particular for sufficiently small, is invertible, and the estimates (6.16) hold uniformly in . In this case, if and , then
(10.7) |
uniformly in for any . ∎
We use to denote deformations and spinors whose images under (10.4) and (10.5) fall in the corresponding regimes in , and likewise for the medium and high regimes. Note that need not precisely have modes restricted to the low regime in since does not preserve support in Fourier space; for the purposes of estimates, however, (10.7) says this is effectively true.
Definition 10.4.
Let be the subspace defined as the image of the following composition.
Equip with the norm
(10.8) |
By construction, is an isomorphism. The first two components give rise to a corresponding set of renormalized deformations .
Here, we may alter so that the projection smoothly interpolates between and on the mode with Fourier index . The same applies to the norm between the low and medium modes. It may therefore be arranged that the family form a smooth vector bundle over pairs .
10.2. Contraction Subspaces
This subsection defines the subspaces whose existence is asserted in Proposition 10.1. The definitions have two tasks: (1) finding a closed subspace on which the linearization has index 0 (cf. Proposition 2.4), and (2) defining correctly weighted norms.
The upcoming weighted norms are chosen in hindsight and are necessary for the map to satisfy Items (B) and (C) of Proposition 10.1. The proof that a single application of reduces the error as in (B) relies the error having a certain effective support property (recall Definition 4.6): the majority of its effective support must be clustered where . The weights in the upcoming norms impose this property (without Difficulty II from Section 2.5, the weighted norms could simply weight the integral over support of differently — the use of effective support should be thought of as imposing a slight generalization of this).
Recall that is isomorphic via (Lemma 8.2) to a trivial bundle with fiber . Notice that despite the lower regularity in (10.8), since only a finite-dimensional subspace of deformations is included.
Definition 10.5.
Set
where uses the solution in that is -orthgonal to on . Equip these with the norms
(10.9) | |||||
(10.10) |
where .
Definition 10.6.
Define
and equip these with the norms
(10.11) | |||||
(10.13) | |||||
where . These families of spaces form smooth Banach vector bundles over pairs for sufficiently small.
Note that the weighted terms dictate that the -weighted term in the norms is larger than the unweighted term by at most a factor of , despite the fact that on . This shows that configurations in have -effective support. Note also that Theorem 7.5 implies that the pullback (10.9) is indeed a norm.
The following lemma shows the linearized Seiberg–Witten equations are bounded on the above spaces with operator norm independent of (up to a factor of . This assertion is non-trivial: it means that the new norms control the loss of regularity of the deformation operator. Indeed, if one simply uses the and -norms, the operator norm is only bounded by .
Lemma 10.7.
There is a constant independent of such that the linearization satisfies
(10.14) |
for some .
Proof.
By Proposition 8.7, the linearization on where may be written in the trivialization of Lemma 8.2 as
(10.15) | |||||
(10.16) |
where is as in (9.2), and where , and . The proof now consists of four steps.
Step 1 ( terms): Abbreviating , and using the definition of ,
where the five terms are bounded respectively as follows. The first by the definition (10.9) of the -norm, the second is reduced to the case of the first by Lemma 7.12, and the third is identical to the second since is supported where . The fourth is exponentially small by Lemma (7.13) and Theorem 7.5 because the latter shows , and the fifth is polynomially small by (10.2).
Step 2 ( terms): Write . The boundedness of the terms now follows similarly to the above, using the decay result of Lemma 4.7 in place of Lemma 7.12, and the boundedness of (7.11) and (4.11) for both . In this, the bound is used, which comes from the -weight in (10.8),,
The only minor difference from Step 1 is for the -term in the -norm: this is zero on by definition, and on is dominated by the factor of in the norm. Finally, is exponentially small on by Lemma 7.13 (applied with ).
Step 3 ( term): The term is obviously bounded by because the weight cancels the in the denominator, and . The -term is smaller, because using Lemma 4.5.
Step 4 (deformation terms): Proceeding now to the terms involving , Corollary 10.3 provides bounds on the higher Sobolev norms of . Using these, Proposition 9.3 applied with and Proposition 9.1 show that
(10.17) | |||||
(10.18) | |||||
(10.19) |
Moreover, since on , (10.19) shows that
(10.20) |
as well. Next, Proposition 9.2 (and the bounds of Corollary 10.3 again) shows that
(10.21) | |||||
(10.22) |
Together, (10.17)–(10.22) show that all but the -term in the -norm are bounded for .
For this final term, one has
(10.23) |
by the triangle inequality, and we bound each of these terms separately.
For the second term of (10.23), split ; the portion involving is obviously bounded because the same weight appears in (10.8) and in the -norm. Thus it suffices to consider the terms. Write where the latter are formed using the metrics of Lemma 10.3. Just as in that lemma, and so the terms involving the latter are negligible. Recalling Proposition 5.3 now, is calculated by the sequence of inner-products for . The second and third bullet points of Proposition 5.3 show that the terms of are smaller by a factor of , which dominates the weight. For the leading order terms , the restriction of Fourier modes on and Cauchy-Schwartz imply
where the final line directly integrates (5.1) over , and invokes the second bound on the second term of (9.9) in Proposition 9.2, which applies equally well to . Returning to (10.23), the above combine to show
as desired. ∎
Lemma 9.4 may also be used to bound the nonlinear terms in terms of the -norms.
Corollary 10.8.
Suppose that satisfies . Then there is a such that
-
(A)
,
-
(B)
-
(C)
If , then
hold uniformly in .
Proof.
Let . Using that as in the proof of the previous lemma, it suffices to prove the corollary with tacitly standing in for .
(A) Let be the latter four nonlinear terms in Proposition (8.8). Definition (10.8) means , and Definition 10.5 and Theorem 7.5 imply . That the same holds for is immediate from Definition 10.5. Item (II) and (III) of Lemma 9.4 therefore imply
and because the weights in the -norm are larger than the -norm by at most , it follows that
Proceeding now to , there are four sub-terms coming from , and the cross-terms. We bound two pieces of each coming from the partition of unity in Proposition 9.4. By Item (I) of Proposition 9.4 and the above,
and likewise for the other three sub-terms where .
Where , the -components of are exponentially small by Lemma 7.13 applied with compact sets whose boundary lies halfway between and . In this same region, the -components of are smaller by a factor of by (10.10). Thus in this region, the right colum of Item (I) of Lemma 9.4 provdies the necessary bounds (in fact with .
(B) The derivative is given by the five terms of Proposition 8.8 viewed as multilinear functions of the arguments, with precisely one argument being chosen from the components of . The proof of the bound in (A) applies equally well in the bilinear setting to show that
and the assertion follows. More specifically, the requirement that , means , hence the assumptions of Items (II) and (III) in Lemma 9.4 are satisfied, and the terms of multi-linear in can be bounded just as in that lemma.
(C) Follows from Item (B) applied to the family configurations and integration. ∎
11. The Alternating Iteration
This section proves Proposition 10.1 by carrying out the cyclic iteration outlined in Section 2.4. This is done by constructing three parametrices , one corresponding to each of the three stages of the iteration (2.17).
11.1. The Deformation Step
This subsection constructs the deformation parametrix , and establishes the first of the three induction steps in the cyclic iteration (2.17). This step (which corresponds to the horizontal arrow in the diagram below (2.17)) shows the singular set can be adjusted to effectively cancel the obstruction components of an error term, without the error term growing much larger (in particular, this requires controlling the key term discussed in Section 2.5.1).
The following proposition is applied to the error terms inductively, beginning with the error of the initial approximate solutions in Theorem 7.5. For the remainder of Section 11, we fix, once and for all, a choice of and omit this dependence from the subscripts in the notation where no confusion will arise.
Let be the -orthogonal projection, so that in the orthogonal decomposition in Definition 5.1 where is the -orthogonal projection to the span of . Define the deformation parametrix
(11.1) |
where is the map from Definition 10.4, with the map ob now kept implicit in the notation. In the following proposition, is as in (11.30).
Proposition 11.1.
is a linear operator uniformly bounded in and satisfies the following property. If for , is a configuration with
-
(I)
-
(II)
(resp. ) where ,
then the updated configuration
(11.2) |
satisfies
(resp. the same for ), where , and obey
-
(1)
, and .
-
(2)
and .
-
(3)
-
(4)
.
Moreover, continues to satisfy (I).
Proof.
The error term may be written where
Define
so that
(11.3) | |||||
(11.4) | |||||
(11.5) |
where . The above estimates and the uniform bounds on coming from Corollary 6.8 (the version in Corollary 6.10) and Corollary 5.6 show that satisfy and .
We now proceed to calculate , where as in (11.2). First, with as previously, we compute:
(11.6) | |||||
(11.7) | |||||
where is as in Step 2 of the proof of Lemma 10.14.
With these, we now compute:
(11.9) | |||||
where (11.9) is obtained by substituting (11.6) and (11.7) with
(11.10) |
Splitting up the terms of (11.9), define
It now suffices to show that these satisfy the conclusions (1)–(4) of the proposition.
Beginning with (3), we have that
(11.11) |
By the bound from above and Corollary 10.3, all the terms of (11.10) except those involving are bounded by, say, and may be safely ignored. Corollary 9.4, and repeating the argument that obtained (10.19) for shows that . Since and , (11.11) follows, which is conclusion (2).
(4) follows directly from the definition of and Cauchy-Schwartz, since and
by Proposition 9.3.
For (1)–(2), the fact the and are immediate from the definitions. It remains to show that the asserted bounds hold. To re-iterate the cancellation that led to (11.9), adding and subtracting (11.4),(11.5), and , then using yields
Because are these may be safely ignored as in the proof of (3). Since is unchanged, and , it suffices to bound the three terms on the top line in the norm (10.13).
where each line, the definition of the -norm is used in conjunction with, (10.22), (10.17), and (10.18). For the , the same bounds hold by (2) and the fact that . Conclusion (1) follows from the first three lines, and (2) from the fourth.
That (I) holds for is immediate from the bounds , and the fact that it holds for . Finally, the proof of the (resp. ) statements is identical, omitting any mention of and . ∎
11.2. The Outside Step
This subsection covers the second of the three stages of the cyclic induction (2.17). Now that the error terms are essentially orthogonal to the obstruction, solving in the outside can proceed using Lemma 4.4 and Proposition 7.11.
Define the outside parametrix by
(11.12) |
where is understood to mean the coefficient of in . Notice that the first component indeed lands in by Definition (10.5).
Proposition 11.2.
is a linear operator uniformly bounded in and satisfies the following property. If for , is a configuration satisfying the conclusions of Proposition 11.1, then the updated configuration
(11.13) |
satisfies
Proof.
As in the proof of Proposition 11.1, write , where
(11.14) |
Conclusions (1)–(4) of Proposition 11.1 mean that , that , for both , and that and , where is the original error from Proposition 11.1.
Set
so that
where .
We now show that is uniformly bounded. Lemma 4.4 and Proposition 7.11 and the above bounds on show that these unique solutions (where ), satisfy
(11.15) | |||||
(11.16) | |||||
(11.17) | |||||
(11.18) |
To explain further how to obtain the bounds in the middle column, the condition that means that the version of Lemma 4.4 applies without the projection term, which yields (11.15). In turn, (11.15) and Cauchy-Schwartz show that since , after which (11.16) follows from Lemma 4.4 taking . (11.17) and (11.18) are immediate from Proposition 7.11 and the definition of . The final column follows immediately from the bounds on (11.14) and conclusion (4) of Proposition 11.1.
To show that is uniformly bounded, it must be shown that dominates each term in the middle column (since ignores ). Indeed, is, by its construction in the proof of Proposition 11.1, -orthogonal to . Therefore,
(11.19) | |||||
(11.20) |
The first of these is simply orthogonality along with fact that the -norm dominates the -norm. The second is the triangle inequality, then invoking the first one along with the fact that the and -norms are equivalent on the 1-dimensional span of . That in (11.17) is likewise bounded by the right side of (11.19) is immediate from the Definition of the -norm. This completes the claim that is uniformly bounded.
We now proceed to calculate where as in (11.13). First,
(11.21) | |||||
where we have used the fact that on the support of . Using the conclusion of Proposition 11.1 and the definitions (11.14), then substituting (11.21) yields
Then (re)-define
(11.22) | |||||
(11.23) |
Notice that now includes the crucial alternating error term .
To conclude, we show and satisfy conclusions (1)–(2). That (1) holds for the first term of in (11.22) is immediate from the bound on from 11.14. The bounds on in 11.14 also imply that has -effective support, hence Lemma 4.7 applies to show that
(11.24) |
Note that the term in Lemma 4.7 vanishes because on . (11.24) also holds for simply because of the weight on these components in (11.17). Finally, for the third term of in (11.22) , notice that direct integration using the fact that shows that , and (11.18) therefore shows the third term of is bounded by the right hand side of (11.24) with an extra factor of . Combining these three shows that
and because outside .
Using the bounds (11.15)–(11.17), the terms involving can be bounded identically to in the proof of Proposition 11.1. As in the proof of Lemma 10.14, is exponentially small, hence negligible. Conclusion (2) follows after increasing slightly.
Finally, that (I) continues to hold for and of the (resp. ) statements follows identically to in Proposition 11.1 using the uniform boundedness of . ∎
11.3. The Inside Step
The section completes the third stage of the cyclic induction by constructing . Define
(11.25) |
Definition 10.5 ensures that lands in .
Proposition 11.3.
is a linear operator uniformly bounded in and satisfies the following property. If for , is a configuration satisfying the conclusions of Proposition 11.2, then the updated configuration
(11.26) |
(resp. the same for satisfies the hypotheses of Proposition 11.1 with .
Proof.
Uniform boundedness is immediate from the definition of the -norm in Definition 10.5. Let be as in the conclusion of Proposition 11.2, so that we may write
where .
Set
so that
and
(11.27) |
We now proceed to calculate where as in (11.13).
(11.28) | |||||
The alternating error from has now been shifted back to the outside region.
Re-defining to include all three terms of (11.28), we claim that it satisfies (II) of Proposition 11.1 with . In fact, one has the slightly stronger bound
(11.29) |
Indeed, the terms involving in (11.28) may be bounded as in the proof of Proposition 11.1. Then, since is supported where , Lemma 7.12 implies
Finally, the original in (11.28) already satisfies (11.29) by virtue of (2’) in Proposition 11.2. (11.29) follows.
Over the course of the proofs of (a single cycle of) Propositions 11.1, 11.2, and 11.3, the constants have been increased a finite number of times. Let being the original constant in Item (II) of Proposition 11.1 and be the final versions of the constants appearing in (11.29). Since still, we may assume that
11.4. Proof of Proposition 10.1
This section completes the proof of Proposition 10.1.
Analogously to (2.23), define and by
(11.30) | |||||
(11.31) |
So that (analogously to 2.24),
(11.32) | |||||
(11.33) |
Thus applying carries one complete cycle of the iteration (2.17), and one complete cycle of the linearized iteration (the resp. statements in Propositions 11.1–11.3).
The next lemma is the analogue of Proposition 2.4.
Lemma 11.4.
The linearization is invertible, and there is a constant independent of such that
(11.34) |
holds.
Proof.
Let be defined by
where . Since the map defined by , which is built into the definitions of is an isomorphism, and so is each of , it follows that is an isomorphism hence Fredholm with index 0.
Then, the calculations (11.6), (11.7), and (11.21) and the subsequent bounds (e.g. 11.11) in the proofs of Propositions 11.1 and 11.2 show that
(11.35) | |||||
where consists of terms involving the 1-dimensional span of , and the accounts for terms involving and . The terms in the top line of (11.35) involving are compact, because they factor through either the compact inclusion or through the finite-dimensional spaces spanned by and respectively. Since , the terms may be safely ignored. It follows that is Fredholm of index 0 once is sufficiently small.
The same argument shows that defined by
is likewise Fredholm of Index 0. By construction (cf 2.21–2.24), applies stages of the (resp. ) alternating iteration from Propositions 11.1–11.3 starting from . We conclude that
It follows as in the proof of Proposition 2.4 that is an isomorphism. (11.34) follows from the bound above, and statement (I) in Propositions 11.1–11.3 with being the correction from , since . ∎
Proof of Proposition 10.1.
(A) is deduced assuming (C) as follows. Let , then since by Theorem 7.5,
where the bound on is a consequence of (I) in Propositions 11.1–11.3 with . Thus preserves . Continuity of is immediate from (C). Smooth dependence on is immediate from the smooth dependence of the Seiberg–Witten equations on , and the smooth dependence of and and the linearized equations at these and their inverses used to construct .
(B) By (11.32), applying constitutes a full cycle of the three-stage iteration carried out by Propositions 11.1–11.3. The conclusion follows from applying these inductively.
(C) Let be such that
where is as in (11.33). The same argument as (B), now using the (resp. ) statements in Propositions 11.1–11.3 shows that
Since once is sufficiently, small, the following bound completes (C):
(11.36) |
To prove (11.36), we calculate by expanding (11.32) and (11.33), with where the latter is shorthand for . Writing this shows
where is the same collection of terms replacing each instance of with . Since is constant, . Because each remaining term has at least one factor of , (11.36) now follows from the boundedness of in Propositions 11.1–11.3, the boundedness of from Lemma 10.14, along with Items (A) and (C) of Corollary 10.8. ∎
12. Gluing
This final section concludes the proof Theorem 1.6 using the cyclic iteration from Section 9. The iteration leads to glued solutions of a “Seiberg–Witten eigenvector” equation for every pair of parameters . These fail to solve the true Seiberg–Witten equations by a 1-dimensional obstruction coming from a multiple of the eigenvector. The condition that this obstruction vanish defines implicitly as a function of , completing the proof of the theorem.
12.1. Glued Configurations
Proposition 10.1 and the Banach fixed-point theorem (with smooth dependence on parameters) immediately imply the following.
Corollary 12.1.
12.2. The One-Dimensional Obstruction
The configurations (12.1) solve the Seiberg–Witten equations if and only if
(12.2) |
is satisfied. The next lemma shows that the assumption of transverse spectral crossing (Definition 1.5) means the condition (12.2) defines implicitly as a function of .
Lemma 12.2.
The solutions from Proposition 12.1 depend smoothly on . Moreover,
(12.3) |
holds uniformly.
Proof.
The standard proof of the Banach fixed point theorem with smooth dependence on parameters shows that a smooth family of fixed points satisfy
Because of the weight on in (10.6), it therefore suffices to show that
(12.4) |
By Theorem 7.5 Item (I), Lemma 7.11, the expression Proposition 8.7 (using Item (II) of Theorem 7.5), and the proofs of Propositions 9.1, 9.2, and 9.3 (which may be repeated equally well with ) show that
are uniformly bounded as maps the and . A similar argument applies to . Together with, Item (I) of Theorem 7.5, these show that is bounded by at . Differentiating for all three parametrices and using the bounds from Propositions 11.1–11.3 yields bounds on by at most . Using the product rule on (11.32) and combining these yields (12.4). ∎
The proof of the following lemma is essentially identical the treatment of [60, Eq. (10.6)].
Lemma 12.3.
If the family of parameters has a transverse spectral crossing, then (12.2) implicitly defines a function so that
for , and either or .
Proof.
The assumption that is a transverse spectral crossing means that and . By the inverse function theorem, there is an inverse defined on an open neighborhood of . Set , so that (12.2) becomes the condition that
Proof of Theorem 1.6.
Part (1) follows directly from Lemma 3.8. Along the family of parameters satisfying (12.2) constructed in Lemma 12.3, the glued configurations of Proposition 12.1 satisfy the (extended) Seiberg–Witten equations. Integrating by parts shows the -form component vanishes, and setting yields the solutions in Part (2).
The glued configurations have , and this norm depends smoothly on . By re-parameterizing, it may be assumed that as in (1.13). As , Theorem 3.2 shows that after renormalization, converges in to a -harmonic spinor for the parameter and that in . Since is regular, it is the unique -harmonic spinor for this parameter and must therefore be the limit. This establishes Part (3). ∎
Remark 12.4.
Recalling the construction of from Step 5 of the proof of Proposition 11.2 with , the leading order obstruction in the proof of Lemma 12.3 appears to be
(12.5) |
where is as in Item (II) of Theorem 7.5 for . In fact, since , simple integration shows that the second term is smaller by a factor of than the bound on obtained in the proof of Proposition 11.1. The latter bound, however, might not be optimal.
References
- AG [07] Serge Alinhac and Patrick Gérard, Pseudo-differential Operators and the Nash-Moser Theorem, vol. 82, American Mathematical Soc., 2007.
- APS [75] Michael F Atiyah, Vijay K Patodi, and Isadore M Singer, Spectral asymmetry and Riemannian geometry. I, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 77, Cambridge University Press, 1975, pp. 43–69.
- AS [63] Michael F Atiyah and Isadore M Singer, The index of elliptic operators on compact manifolds, Bulletin of the American Mathematical Society 69 (1963), no. 3, 422–433.
- BB [11] Christian Bär and Werner Ballmann, Boundary value problems for elliptic differential operators of first order, arXiv preprint (2011), arXiv:1101.1196.
- BdP [23] Marco Badran and Manuel del Pino, Entire solutions to 4 dimensional Ginzburg–Landau equations and codimension 2 minimal submanifolds, Advances in Mathematics 435 (2023), 109365.
- BG [92] Jean-Pierre Bourguignon and Paul Gauduchon, Spineurs, Opérateurs de Dirac et Variations de Métriques, Communications in Mathematical Physics 144 (1992), no. 3, 581–599.
- DK [97] Simon Kirwan Donaldson and Peter B Kronheimer, The Geometry of Four-Manifolds, Oxford university press, 1997.
- Doa [19] Aleksander Doan, Monopoles and Fueter sections on Three-manifolds, 2019.
- Don [86] Simon K Donaldson, Connections, cohomology and the intersection forms of 4-manifolds, Journal of Differential Geometry 24 (1986), no. 3, 275–341.
- Don [16] Simon Donaldson, Calabi-Yau metrics on Kummer surfaces as a model glueing problem, arXiv preprint (2016), arXiv:1007.4218.
- Don [17] Simon Donaldson, Adiabatic limits of co-associative Kovalev–Lefschetz fibrations, Algebra, Geometry, and Physics in the 21st Century: Kontsevich Festschrift (2017), 1–29.
- Don [21] by same author, Deformations of Multivalued Harmonic Functions, The Quarterly Journal of Mathematics 72 (2021), no. 1-2, 199–235.
- DS [11] Simon Donaldson and Ed Segal, Gauge Theory in Higher Dimensions, II, Surveys in differential geometry Volume XVI. Geometry of special holonomy and related topics. 16 (2011), 1–41.
- DW [19] Aleksander Doan and Thomas Walpuski, On Counting Associative Submanifolds and Seiberg-Witten Monopoles, Pure and Applied Mathematics Quarterly 15 (2019), no. 4, 1047–1133.
- DW [20] by same author, Deformation Theory of the Blown-up Seiberg–Witten Equation in Dimension Three, Selecta Mathematica 26 (2020), no. 3, 1–48.
- DW [21] by same author, On the Existence of Harmonic -Spinors, Journal of Differential Geometry 117 (2021), no. 3, 395–449.
- FU [12] Daniel S Freed and Karen K Uhlenbeck, Instantons and Four-manifolds, vol. 1, Springer Science & Business Media, 2012.
- Gri [01] Daniel Grieser, Basics of the b-calculus, Approaches to singular analysis, Springer, 2001, pp. 30–84.
- Ham [82] Richard S Hamilton, The Inverse Function Theorem of Nash and Moser, Bulletin (New Series) of the American Mathematical Society 7 (1982), no. 1, 65–222.
- Hay [08] Andriy Haydys, Nonlinear Dirac operator and Quaternionic Analysis, Communications in Mathematical Physics 281 (2008), 251–261.
- Hay [12] by same author, Gauge theory, Calibrated Geometry and Harmonic Spinors, Journal of the London Mathematical Society 86 (2012), no. 2, 482–498.
- Hay [15] by same author, Fukaya-Seidel Category and Gauge Theory, J. Symplectic Geom. 13 (2015), no. 1, 151–207.
- Hay [17] by same author, G2 Instantons and the Seiberg-Witten Monopoles, arXiv: 1703.06329.
- Hay [19] by same author, The Infinitesimal Multiplicities and Orientations of the Blow-up set of the Seiberg-Witten Equation with Multiple Spinors, Advances in Mathematics 5 (2019), 193–218.
- [25] Siqi He, Existence of Nondegenerate -Harmonic 1-forms via Symmetry, arXiv Preprint (2022), arXiv:2202.12283.
- [26] by same author, The Branched Deformations of the Special Lagrangian Submanifolds, arXiv Preprint (2022), arXiv 2202.12282.
- Hit [74] Nigel Hitchin, Harmonic Spinors, Advances in Mathematics 14 (1974), no. 1, 1–55.
- [28] Andriy Haydys, Rafe Mazzeo, and Ryosuke Takahashi, An index theorem for -harmonic spinors branching along a graph, arXiv preprint (2023), arXiv:2310.15295.
- [29] by same author, New examples of harmonic 1-forms and their deformations, arXiv preprint (2023), arXiv:2307.06227.
- Hor [76] Lars Hormander, The Boundary Problems of Physical Geodesy, Archive for Rational Mechanics and Analysis 62 (1976), no. 1, 1–52.
- HP [24] Siqi He and Gregory Parker, -Harmonic Spinors on Connect Sums, Forthcoming work (2024).
- HW [15] Andriy Haydys and Thomas Walpuski, A Compactness Theorem for the Seiberg–Witten Equation with Multiple Spinors in Dimension Three, Geometric and Functional Analysis 25 (2015), no. 6, 1799–1821.
- Joy [16] Dominic Joyce, Conjectures on counting associative 3-folds in -manifolds, arXiv preprint (2016), arXiv:1610.09836.
- KM [07] Peter B Kronheimer and Tomasz Mrowka, Monopoles and Three-Manifolds, vol. 10, Cambridge University Press Cambridge, 2007.
- Lic [63] A. Lichnerowicz, Spineurs Harmoniques, C.R. Acad. Sci. Paris, Series A–B (1963), no. 257, 7–9.
- Maz [91] Rafe Mazzeo, Elliptic Theory of Differential Edge Operators I, Communications in Partial Differential Equations 16 (1991), no. 10, 1615–1664.
- Mor [96] John W Morgan, The Seiberg-Witten Equations and Applications to the Topology of Smooth Four-manifolds, vol. 44, Princeton University Press, 1996.
- MS [12] Dusa McDuff and Dietmar Salamon, J-holomorphic curves and symplectic topology, vol. 52, American Mathematical Soc., 2012.
- MV [14] Rafe Mazzeo and Boris Vertman, Elliptic Theory of Differential Edge Operators, II: Boundary Value Problems, Indiana University Mathematics Journal (2014), 1911–1955.
- MW [19] Tomasz Mrowka and Donghao Wang, Lectures Notes on Math 18.937, 2019.
- Par [22] Gregory J. Parker, Concentrating Local Solutions of the Two-Spinor Seiberg-Witten Equations on 3-Manifolds, arXiv Preprint (2022), arXiv:2210.08148.
- [42] Gregory J Parker, Concentrating Dirac Operators and Generalized Seiberg-Witten Equations, arXiv preprint (2023), arXiv:2307.00694.
- [43] by same author, Deformations of -Harmonic Spinors on 3-Manifolds, arXiv preprint (2023), arXiv:2301.06245.
- PR [03] Frank Pacard and Manuel Ritore, From constant mean curvature hypersurfaces to the gradient theory of phase transitions, Journal of Differential Geometry 64 (2003), no. 3, 359–423.
- SN [23] Ahmad Reza Haj Saeedi Sadegh and Minh Lam Nguyen, The three-dimensional Seiberg-Witten equations for -spinors: a compactness theorem, arXiv preprint (2023), arXiv:2311.11902.
- Tak [15] Ryosuke Takahashi, The Moduli Space of -type Zero Loci for -Harmonic Spinors in Dimension 3, arXiv Preprint (2015), arXiv 1503.00767.
- Tau [82] Clifford Henry Taubes, Self-dual Yang-Mills connections on non-self-dual 4-manifolds, Journal of Differential Geometry 17 (1982), no. 1, 139–170.
- Tau [99] by same author, Nonlinear Generalizations of a 3-Manifold’s Dirac Operator, AMS IP Studies in Advanced Mathematics 13 (1999), 475–486.
- [49] by same author, Compactness Theorems for Generalizations of the 4-dimensional Anti-Self Dual Equations, arXiv Preprint (2013), arXiv:1307.6447.
- [50] by same author, Connections on 3-manifolds with Bounds on Curvature, Cambridge Journal of Mathematics 1 (2013), 239–397.
- Tau [14] by same author, The Zero Loci of -Harmonic Spinors in Dimension 2, 3 and 4, arXiv Preprint (2014), arXiv:1407.6206.
- Tau [16] by same author, On the Behavior of Sequences of Solutions to -Seiberg-Witten Systems in Dimension 4, arXiv Preprint (2016), arXiv:1610.07163.
- Tau [17] by same author, The Behavior of Sequences of Solutions to the Vafa-Witten Equations, arXiv Preprint (2017), arXiv:1702.04610.
- Tau [18] by same author, Sequences of Nahm pole Solutions to the Kapustin-Witten Equations, arXiv Preprint (2018), arXiv:1805.02773.
- Tau [19] by same author, The -invariant solutions to the Kapustin–Witten equations on with generalized Nahm pole asymptotics, arXiv preprint arXiv:1903.03539 (2019).
- TW [20] Clifford Henry Taubes and Yingying Wu, Examples of Singularity Models of -harmonic 1-forms and Spinors in Dimension 3, arXiv Preprint (2020), arXiv 2001.00227.
- [57] Karen K Uhlenbeck, Connections with bounds on curvature, 1982, pp. 31–42.
- [58] by same author, Removable singularities in Yang-Mills fields, Communications in Mathematical Physics 83 (1982), 11–29.
- VW [94] Cumrun Vafa and Edward Witten, A Strong Coupling Test of S-Duality, Nuclear Physics B 431 (1994), no. 1-2, 3–77.
- Wal [17] Thomas Walpuski, -Instantons, Associative Submanifolds and Fueter Sections, Communications in Analysis and Geometry 25 (2017), no. 4, 847–893.
- Wal [23] by same author, Lectures on Generalised Seiberg–Witten Equations, 2023.
- Wan [22] Yuanqi Wang, Atiyah classes and the essential obstructions in deforming a singular -instanton, Mathematische Zeitschrift 300 (2022), no. 3, 2997–3021.
- Wit [11] Edward Witten, Fivebranes and Knots, Quantum Topology 3 (2011), no. 1, 1–137.
- Wit [12] by same author, Khovanov Homology and Gauge Theory, Proceedings of the Freedman Fest 18 (2012), 291–308.
- WZ [21] Thomas Walpuski and Boyu Zhang, On the Compactness Problem for a Family of Generalized Seiberg-Witten Equations in Dimension 3, Duke Mathematical Journal 170(17) (2021), 239–397.
- Zha [17] Boyu Zhang, Rectifiability and Minkowski Bounds for the Zero Loci of -Harmonic Spinors in Dimension 4, arXiv Preprint (to appear in Comm. Analysis and Geom.) (2017), arXiv 2202.12282.