Coassociative K3 fibrations of compact G_2-manifolds
Alexei Kovalev
备注：
33 pages; v2: Proposition 5.50 revised and proof removed in favour of more general work of J.D. Lotay, minor correction in the main theorem (fibrations are only C^{1,α} on the singular fibres), new examples announced, Proposition 7.64 rewritten to correct an error, minor corrections and improvements, references added and updated
A class of examples of Riemannian metrics with holonomy G_2 on compact 7-manifolds was constructed by the author in arXiv:math.DG/0012189 and later in a joint work with N.-H. Lee in arXiv:0810.0957, using a certain `generalized connected sum' of two asymptotically cylindrical manifolds with holonomy SU(3). We consider, on each of the two initial SU(3)-manifolds, a fibration arising from a Lefschetz pencil of K3 surfaces. The gluing of the two K3 fibrations yields a coassociative fibration of the connected sum G_2-manifold over a 3-dimensional sphere. The singular fibres of this fibration are diffeomorphic to K3 orbifolds with ordinary double points and are parameterized by a Hopf-type link. We believe that these are the first examples of fibrations of compact manifolds of holonomy G_2 by coassociative minimal submanifolds.
We study the natural structure on the moduli space of deformations of compact coassociative submanifolds. We show that a G2-manifold with a T^4-action of isomorphisms such that the orbits are coassociative tori is locally equivalent to a minimal 3-manifold in R^{3,3} = H^2(T^4,R) with positive induced metric. By studying minimal surfaces in quadrics we show how to construct minimal 3-manifold cones in R^{3,3} and hence G2-metrics from equations similar to a set of affine Toda equations. The relation to semi-flat special Lagrangian fibrations and the Monge-Ampère equation are explained.
This paper studies the formal adiabatic limit of coassociative K3 fibred torsion free $G_2$ manifolds fibred over a contractible base, shows how to put this structure on a different fibration obtained by fibrewise performing Mukai duality of K3 surfaces, and furthermore relates the gauge theories on both fibrations by a Nahm transform. This gives a mathematical interpretation to the physical speculations of Gukov, Yau and Zaslow.
Bryant-Salamon constructed three 1-parameter families of complete manifolds with holonomy $\mathrm{G}_2$ which are asymptotically conical to a holonomy $\mathrm{G}_2$ cone. For each of these families, including their asymptotic cone, we construct a fibration by asymptotically conical and conically singular coassociative 4-folds. We show that these fibrations are natural generalizations of the following three well-known coassociative fibrations on $\mathbb R^7$: the trivial fibration by 4-planes, the product of the standard Lefschetz fibration of $\mathbb C^3$ with a line, and the Harvey-Lawson…
Inspired by a string duality, we construct a deformation family for $G_2$-orbifolds given as total spaces of coassociative fibrations by ADE singularities over a closed and oriented smooth three-manifold $Q$. The deformations are parametrized by sections of a fiber bundle on $Q$ that can be interpreted as spectral/cameral covers associated to certain Riemannian analogs of Higgs bundles. The spectral cover picture is a unifying framework for several different approaches to coassociative fibrations appearing in the literature. Our construction generalizes, to the context of $G_2$-geometry, a wel…
In this paper we investigate the geometry of Calibrated submanifolds and study relations between their moduli-space and geometry of the ambient manifold. In particular for a Calabi-Yau manifold we define Special Lagrangian submanifolds for any Kahler metric on it. We show that for a choice of Kahler metric the Borcea-Voisin threefold has a fibration structure with generic fiber being a Special Lagrangian torus. Moreover we construct a mirror to this fibration. Also for any closed G_2 form on a 7-manifold we study coassociative submanifolds and we show that one example of a G_2 manifold constru…
Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional orbits, we show that the only homogeneous coassociative submanifold is the zero section of $Λ^{2}_{-} S^{4}$ up to the automorphisms and construct many cohomogeneity one examples explicitly. In particular, we obtain examples of non-compact coassociative submanifolds with conical…
Given a coassociative 4-fold N with a conical singularity in a varphi-closed 7-manifold M (a manifold endowed with a distinguished closed 3-form varphi), we construct a smooth family, {N'(t): t\in(0,tau)} for some tau>0, of (smooth, nonsingular,) compact coassociative 4-folds in M which converge to N in the sense of currents, in geometric measure theory, as t tends to 0. This realisation of desingularizations of N is achieved by gluing in an asymptotically conical coassociative 4-fold in R^7, dilated by t, then deforming the resulting compact submanifold of M to the required coassociative 4-fo…
Coassociative 4-folds are a particular class of 4-dimensional submanifolds which are defined in a 7-dimensional manifold M with a G_2 structure given by a `positive' differential 3-form, sometimes called G_2-form. Assuming that a G_2-form on M is closed, we study deformations of a compact coassociative submanifold N with boundary contained in fixed, codimension 1 submanifold S of M with a compatible Hermitian symplectic structure. We show that `small' coassociative deformations of N with special Lagrangian boundary in S are unobstructed and form a smooth moduli space of finite dimension not gr…
This paper is dedicated to the study of deformations of coassociative 4-folds in a G_2 manifold which have conical singularities. We stratify the types of deformations allowed into three problems. The main result for each problem states that the moduli space is locally homeomorphic to the kernel of a smooth map between smooth manifolds. In each case, the map in question can be considered as a projection from the infinitesimal deformation space onto the obstruction space. Thus, when there are no obstructions the moduli space is a smooth manifold. Furthermore, we calculate a lower bound on the e…
McLean proved that the moduli space of coassociative deformations of a compact coassociative 4-submanifold C in a G_2-manifold (M,phi,g) is a smooth manifold of dimension equal to b^2_+(C). In this paper, we show that the moduli space of coassociative deformations of a noncompact, asymptotically cylindrical coassociative 4-fold C in an asymptotically cylindrical G_2-manifold (M,phi,g) is also a smooth manifold. Its dimension is the dimension of the positive subspace of the image of H^2_cs(C,R) in H^2(C,R).
We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds.
In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons.
Every closed, oriented, real analytic Riemannian 3-manifold can be isometrically embedded as a special Lagrangian submanifold of a Calabi-Yau 3-fold, even as the real locus of an antiholomorphic, isometric involution. Every closed, oriented, real analytic Riemannian 4-manifold whose bundle of self-dual 2-forms is trivial can be isometrically embedded as a coassociative submanifold in a G_2-manifold, even as the fixed locus of an anti-G_2 involution. These results, when coupled with McLean's analysis of the moduli spaces of such calibrated submanifolds, yield a plentiful supply of examples of c…
In an earlier paper, we proved that given an asymptotically cylindrical G_2-manifold M with a Calabi-Yau boundary X, the moduli space of coassociative deformations of an asymptotically cylindrical coassociative 4-fold C in M with a fixed special Lagrangian boundary L in X is a smooth manifold of dimension dim(V_+), where V_+ is the positive subspace of the image of H^2_{cs}(C,R) in H^2(C,R). In order to prove this we used the powerful tools of Fredholm Theory for noncompact manifolds which was developed by Lockhart and McOwen, and independently by Melrose. In this paper, we extend our result t…
In this paper we will investigate torus actions on complete manifolds with calibrations. For Calabi-Yau manifolds M^2n with a Hamiltonian structure-preserving k-torus action we show that any symplectic reduction has a natural holomorphic volume form. Moreover Special Lagrangian (SLag) submanifolds of the reduction lift to SLag submanifolds of M, invariant under the torus action. If k=n-1 and the first cohomology of M is trivial, then we prove that M is a fibration with generic fiber being a SLag submanifold. As an application we will see that crepant resolutions of singularities of a finite Ab…
We argue that G_2 manifolds for M-theory admitting string theory Calabi-Yau duals are fibered by coassociative submanifolds. Dual theories are constructed using the moduli space of M5-brane fibers as target space. Mirror symmetry and various string and M-theory dualities involving G_2 manifolds may be incorporated into this framework. To give some examples, we construct two non-compact manifolds with G_2 structures: one with a K3 fibration, and one with a torus fibration and a metric of G_2 holonomy. Kaluza-Klein reduction of the latter solution gives abelian BPS monopoles in 3+1 dimensions.
On a projective complex manifold, the Abelian group of Divisors maps surjectively onto that of holomorphic line bundles (the Picard group). On a $G_2$-manifold we use coassociative submanifolds to define an analogue of the first, and a gauge theoretical equation for a connection on a gerbe to define an analogue of the last. Finally, we construct a map from the former to the later. Finally, we construct some coassociative submanifolds in twisted connected sum $G_2$-manifolds.
In order to study tensor fields of type (0,2) on manifolds and fibrations we introduce the notion of s-spaces. With the help of these objects we generalized the concept of natural tensor without making use of the theory of natural operators and differential invariants.
In this work, we (partially) generalize two classical tools in study of collapsed manifolds with bounded sectional curvature: a (singular) fibration theorem by Fukaya (1987) and Cheeger-Fukaya-Gromov (1992), and the stability for isometric compact Lie group actions on manifolds by Palais (1961) and Grove-Karcher (1973), to manifolds with local bounded Ricci covering geometry. Our two generalized results have been used in a recent work of Xiaochun Rong in generalizing Gromov's almost flat manifolds theorem to maximally collapsed manifolds with local bounded Ricci covering geometry.
We describe a simple way of constructing torus fibrations $T^3\to X\to S^3$ which degenerate canonically over a knot or link in $S^3$. We show that the topological invariants of $X$ can be computed algebraically from the monodromy representation of the fibration. We use this to obtain some new $T^3$-fibrations $S^3\times S^3\to S^3$ and $(S^3\times S^3)#(S^3\times S^3)#(S^4\times S^2) \to S^3$ whose discriminant locus is a torus knot.
H-minimal Lagrangian submanifolds in general Kähler manifolds generalize special Lagrangian submanifolds in Calabi-Yau manifolds. In this paper we will use the deformation theory of H-minimal Lagrangian submanifolds in Kähler manifolds to construct minimal Lagrangian torus in certain Kähler-Einstein manifolds with negative first Chern class.
In the first part of this paper we begin the study of polysymplectic manifolds, and of their relationship with PDE's. This notion provides a generalization of symplectic manifolds which is very well suited for the geometric study of PDE's with values in a smooth manifold. Some of the standard tools of analytical mechanics, such as the Legendre transformation and Hamilton's equations, are shown to generalize to this new setting. There is a strong link with lagrangian fibrations, which can be used to build polysymplectic manifolds. We then provide the definition and some basic properties of s-Ka…
We investigate complete noncompact Ricci-flat manifolds which are not of maximal volume growth. We show that the manifolds with a curvature decay condition and a holonomy decay condition are asymptotic to torus fibrations over ALE spaces. In particular, we classify complete noncompact 4-dimensional hyperkäler manifolds by the volume growth. As an application, we give the uniqueness of tangent cones of collapsing manifolds with some conditions.
This article studies the geometry of moduli spaces of G2-manifolds, associative cycles, coassociative cycles and deformed Donaldson-Thomas bundles. We introduce natural symmetric cubic tensors and differential forms on these moduli spaces. They correspond to Yukawa couplings and correlation functions in M-theory. We expect that the Yukawa coupling characterizes (co-)associative fibrations on these manifolds. We discuss the Fourier transformation along such fibrations and the analog of the Strominger-Yau-Zaslow mirror conjecture for G2-manifolds. We also discuss similar structures and transform…
Hamiltonian stationary Lagrangian submanifolds (HSLAG) are a natural generalization of special Lagrangian manifolds (SLAG). The latter only make sense on Calabi-Yau manifolds whereas the former are defined for any almost Kähler manifold. Special Lagrangians, and, more specificaly, fibrations by special Lagrangians play an important role in the context of the geometric mirror symmetry conjecture. However, these objects are rather scarce in nature. On the contrary, we show that HSLAG submanifolds, or fibrations, arise quite often. Many examples of HSLAG fibrations are provided by toric Käh-ler g…
Essential dimension of a family of complex manifolds is the dimension of the image of its base in the Kuranishi space of the fiber. We prove that any family of hyperkähler manifolds over a compact simply connected base has essential dimension not greater than $1$. A similar result about families of complex tori is also obtained.
We study special Lagrangian fibrations of $\mathrm{SU}(3)$-manifolds, not necessarily torsion-free. In the case where the fiber is a unimodular Lie group $G$, we decompose such $\mathrm{SU}(3)$-structures into triples of solder 1-forms, connection 1-forms and equivariant $3\times3$ positive-definite symmetric matrix-valued functions on principal $G$-bundles over 3-manifolds. As applications, we describe regular parts of $G_2$-manifolds that admit Lagrangian-type 3-dimensional group actions by constrained dynamical systems on the spaces of the triples in the cases of $G=\mathrm{T}^3$ and $\math…
We construct examples of exponentially asymptotically cylindrical Riemannian 7-manifolds with holonomy group equal to G_2. To our knowledge, these are the first such examples. We also obtain exponentially asymptotically cylindrical coassociative calibrated submanifolds. Finally, we apply our results to show that one of the compact G_2-manifolds constructed by Joyce by desingularisation of a flat orbifold T^7/Γcan be deformed to one of the compact G_2-manifolds obtainable as a generalized connected sum of two exponentially asymptotically cylindrical SU(3)-manifolds via the method given by the f…
We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.
For the sake of hyperk{ä}hler SYZ conjecture, finding holomorphic Lagrangian fibrations becomes an important issue. Toric hyperk{ä}hler manifolds are real dimension $4n$ non-compact hyperk{ä}hler manifolds which are quaternion analog of toric varieties. The $n$ dimensional residue circle action on it admitting a hyperk{ä}hler moment map. We use the complex part of this moment map to construct a holomorphic Lagrangian fibration with generic fiber diffeomorphic to $(\mathbb{C}^*)^n$, and study the singular fibers.
A holomorphic Lagrangian fibration on a holomorphically symplectic manifold is a holomorphic map with Lagrangian fibers. It is known that a given compact manifold admits only finitely many holomorphic symplectic structures, up to deformation. We prove that a given compact manifold with $b_2 \geq 7$ admits only finitely many deformation types of holomorphic Lagrangian fibrations. We also prove that all known hyperkahler manifolds are never Kobayashi hyperbolic.
In this article we construct Lagrangian torus fibrations for general quintic \cy hypersurfaces near the large complex limit and their mirror manifolds using gradient flow method. Then we prove the Strominger-Yau-Zaslow mirror conjecture for this class of \cy manifolds in symplectic category.
We establish a compact analog of the P = W conjecture. For a holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kähler manifolds. We present two applications of our result, one on the topology of the base and fibers of a Lagrangian fibration, the other on the refined Gopakumar-Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration as…
In this paper we summarize our recent work in the construction of Lagrangian torus fibrations for Calabi-Yau hypersurfaces in toric varieties and the symplectic Strominger-Yau-Zaslow conjecture, together with some new development. It is submittded to the Proceedings of the Conference in Symplectic Geometry and Mirror Symmetry held in KIAS, Seoul, Korea. The paper was finished in Jan. 2001, with revisions and added reference.
We extend the adiabatic limit formula for eta-invariants by Bismut-Cheeger and Dai to Seifert fibrations. Our formula contains a new contribution from the singular fibres that takes the form of a generalised Dedekind sum. As an application, we compute the Eells-Kuiper and t-invariants of certain cohomogeneity one manifolds that were studied by Dearricott, Grove, Verdiani, Wilking, and Ziller. In particular, we determine the diffeomorphism type of a new manifold of positive sectional curvature.
For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.
We corrected a few errors in the previous submission. These do not affect any of the topological conclusions of the earlier version. We have also included a few observations about the Casson invariant of the Brieskorn homology spheres.
This is an announcement of the following construction: given an integral affine manifold $B$ with singularities, we build a topological space $X$ which is a torus fibration over $B$. The main new feature of the fibration $X\to B$ is that it has the discriminant in codimension 2.
A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this notion is a generalization of the usual holomorphic Lagrangian subvarieties known in hyperkaehler geometry. An HKT (hyperkaehler with torsion) metric on a hypercomplex manifold is a metric determined by a local potential, in a similar way to the Kaehler metric. We prove that a ba…
We show that if a compact, oriented 4-manifold admits a coassociative-free immersion into the Euclidean 7-space then its Euler characteristic and signature vanish. Moreover, in the spin case the Gauss map is contractible, so that the immersed manifold is parallelizable. The proof makes use of homotopy theory in particular obstruction theory. As a further application we prove a non-existence result for some infinite families of 4-manifolds that can not be addressed previously. We give concrete examples of parallelizable 4-manifolds with complicated non-simply-connected topology.
We construct a geometric model of eight-dimensional manifolds and realize them in the context of type II string theory. These eight-manifolds are constructed by non-trivial $T^{4}$ fibrations over Calabi-Yau two-folds. These give rise to eight-dimensional non-Kahler Hermitian manifolds with $SU(4)$ structure. The eight-manifold is also a circle fibration over a seven-dimensional $G_{2}$ manifold with skew torsion. The eight-manifolds of this type appear as internal manifolds with $SU(4)$ structure in type IIB string theory with $F_{3}$ and $F_{7}$ fluxes. These manifolds have generalized calib…
We investigate the maximal solid tubes around short simple geodesics in hyperbolic three-manifolds and how complex length of curves relate to closed, incompressible, least area minimal surfaces. As applications, we prove, there are some closed hyperbolic three-manifolds fibering over the circle which are not foliated by closed incompressible minimal surfaces diffeomorphic to the fiber. We also show, the existence of quasi-Fuchsian manifolds containing arbitrarily many embedded closed incompressible minimal surfaces. Our strategy is to prove main theorems under natural geometric conditions on t…
In this paper we classify symplectic Lefschetz fibrations (with empty base locus) on a four-manifold which is the product of a three-manifold with a circle. This result provides further evidence in support of the following conjecture regarding symplectic structures on such a four-manifold: if the product of a three-manifold with a circle admits a symplectic structure, then the three-manifold must fiber over a circle, and up to a self-diffeomorphism of the four-manifold, the symplectic structure is deformation equivalent to the canonical symplectic structure determined by the fibration of the t…
We consider a class of compact homogeneous CR manifolds, that we call $\mathfrak n$-reductive, which includes the orbits of minimal dimension of a compact Lie group $K_0$ in an algebraic homogeneous variety of its complexification $K$. For these manifolds we define canonical equivariant fibrations onto complex flag manifolds. The simplest example is the Hopf fibration $S^3\to\mathbb{CP}^1$. In general these fibrations are not $CR$ submersions, however they satisfy a weaker condition that we introduce here, namely they are CR-deployments.
Let X be a compact hyperkähler manifold containing a complex torus L as a Lagrangian subvariety. Beauville posed the question whether X admits a Lagrangian fibration with fibre L. We show that this is indeed the case if X is not projective. If X is projective we find an almost holomorphic Lagrangian fibration with fibre L under additional assumptions on the pair (X, L), which can be formulated in topological or deformation-theoretic terms. Moreover, we show that for any such almost holomorphic Lagrangian fibration there exists a smooth good minimal model, i.e., a hyperkähler manifold birationa…
In this note we extend to non trivial Hamiltonian fibrations over symplectically uniruled manifolds a result of Lu's, \cite{Lu}, stating that any trivial symplectic product of two closed symplectic manifolds with one of them being symplectically uniruled verifies the Weinstein Conjecture for closed separating hypersurfaces of contact type, under certain technical conditions. The proof is based on the product formula for Gromov-Witten invariants ($GW$-invariant) of Hamiltonian fibrations derived in \cite{H}.
In this paper, we consider a special relative Kähler fibration that satisfies a homogenous Monge-Ampère equation, which is called a Monge-Ampère fibration. There exist two canonical types of generalized Weil-Petersson metrics on the base complex manifold of the fibration. For the second generalized Weil-Petersson metric, we obtain an explicit curvature formula and prove that the holomorphic bisectional curvature is non-positive, the holomorphic sectional curvature, the Ricci curvature, and the scalar curvature are all bounded from above by a negative constant. For a holomorphic vector bundle o…
The study of fibrations of the target manifolds of string/M/F-theories has provided many insights to the dualities among these theories or even as a tool to build up dualities since the work of Strominger, Yau, and Zaslow on the Calabi-Yau case. For M-theory compactified on a Joyce manifold $M^7$, the fact that $M^7$ is constructed via a generalized Kummer construction on a 7-torus ${\smallBbb T}^7$ with a torsion-free $G_2$-structure $ϕ$ suggests that there are natural fibrations of $M^7$ by ${\smallBbb T}^3$, ${\smallBbb T}^4$, and K3 surfaces in a way governed by $ϕ$. The local picture of s…
We extend the Siu--Beauville theorem to a certain class of compact Kaehler--Weyl manifolds, proving that they fiber holomorphically over hyperbolic Riemannian surfaces whenever they satisfy the necessary topological hypotheses. As applications we obtain restrictions on the fundamental groups of such Kaehler--Weyl manifolds, and show that in certain cases they are in fact Kaehler.
In this paper, we pose several conjectures on structures and images of maximal rationally connected fibrations of smooth projective varieties admitting semi-positive holomorphic sectional curvature. Toward these conjectures, we prove that the canonical bundle of images of such fibrations is not big. Our proof gives a generalization of Yang's solution using RC positivity for Yau's conjecture. As an application, we show that any compact Kähler surface with semi-positive holomorphic sectional curvature is rationally connected, or a complex torus, or a ruled surface over an elliptic curve.
It is known that there exist singular Poisson structures in $4$-manifolds, whose symplectic foliation is given by singular fibrations over surfaces. In this work, we describe the effect of the monodromy of the fibration on the Poisson cohomology groups.
