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.
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.
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 d…
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.
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…
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…
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.
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 study finite-time collapsing limits of the continuity method. When the continuity method starting from a rational initial Kähler metric on a projective manifold encounters a finite-time volume collapsing, this projective manifold admits a Fano fibration over a lower dimensional base. In this case, we prove the continuity method converges to a singular Kähler metric on the base in the weak sense; moreover, if the base is smooth and the fibration has no singular fibers, then the convergence takes place in Gromov-Hausdorff topology.
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 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.
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…
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.
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.
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.
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…
We deal with Riemannian properties of the octonionic Hopf fibration S^{15}-->S^8, in terms of the structure given by its symmetry group Spin(9). In particular, we show that any vertical vector field has at least one zero, thus reproving the non-existence of S^1 subfibrations. We then discuss Spin(9)-structures from a conformal viewpoint and determine the structure of compact locally conformally parallel Spin(9)-manifolds. Eventually, we give a list of examples of locally conformally parallel Spin(9)-manifolds.
In this paper, we consider Kahler-Ricci flow on n-dimensional Kahler manifold with semi-ample canonical line bundle and 0< m:= Kod(X)<n. Such manifolds admit a Calabi-Yau fibration over its canonical model. We prove that the scalar curvature of the Kahler metric along the normalized Kahler-Ricci flow converge to -m outside the singular set of this fibration.
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.
We study co-associative fibrations of G_{2}-manifolds. We propose that the adiabatic limit of this structure should be given locally by a maximal submanifold in a space of indefinite signature and set up global versions of the constructions.
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 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…
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…
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…
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…
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…
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.
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…
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.
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 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.
In this note we show that if a compact Kahler manifold with trivial canonical bundle is the total space of a holomorphic fibration without singular fibers, then the fibration is a holomorphic fiber bundle. In the algebraic case, the fibration becomes trivial after a finite base change.
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.
Let $X$ be a Kähler manifold which is fibered over a complex manifold $Y$ such that every fiber is a Calabi-Yau manifold. Let $ω$ be a fixed Kähler form on $X$. By Yau's theorem, there exists a unique Ricci-flat Kähler form $ρ\vert_{X_y}$ for each fiber, which is cohomologous to $ω\vert_{X_y}$. This family of Ricci-flat Kähler forms $ρ\vert_{X_y}$ induces a smooth $(1,1)$-form $ρ$ on $X$ with a normalization condition. In this paper, we prove that the direct image of $ρ^{n+1}$ is positive on the base $Y$. We also discuss several byproducts, among them the local triviality of families of Calabi…
We show, as our main theorem, that if a Lipschitz map from a compact Riemannian manifold $M$ to a connected compact Riemannian manifold $N$, where $\dim M \geq \dim N$, has no singular points on $M$ in the sense of F.H. Clarke, then the map admits a smooth approximation via Ehresmann fibrations. We also show the Reeb sphere theorem for Lipschitz functions, i.e., if a closed Riemannian manifold admits a Lipschitz function with exactly two singular points in the sense of Clarke, then the manifold is homeomorphic to the sphere.
A degree 1 non-negative graded super manifold equipped with a degree 1 vector field Q satisfying [Q, Q]=1, namely a so-called NQ-1 manifold is, in plain differential geometry language, a Lie algebroid. We introduce a notion of fibration for such super manifols, that essentially involves a complete Ehresmann connection. As it is the case for Lie algebras, such fibrations turn out not to be just locally trivial products. We also define homotopy groups and prove the expected long exact sequence associated to a fibration. In particular, Crainic and Fernandes's obstruction to the integrability of L…
In this paper we discuss two major conjectures in Mirror Symmetry: Strominger-Yau-Zaslow conjecture about torus fibrations, and the homological mirror conjecture (about an equivalence of the Fukaya category of a Calabi-Yau manifold and the derived category of coherent sheaves on the dual Calabi-Yau manifold). Our point of view on the origin of torus fibrations is based on the standard differential-geometric picture of collapsing Riemannian manifolds as well as analogous considerations for Conformal Field Theories. It seems to give a description of mirror manifolds much more transparent than th…
