We define a local Riemann-Roch number for an open symplectic manifold when a complete integrable system without Bohr-Sommerfeld fiber is provided on its end. In particular when a structure of a singular Lagrangian fibration is given on a closed symplectic manifold, its Riemann-Roch number is described as the sum of the number of nonsingular Bohr-Sommerfeld fibers and a contribution of the singular fibers. A key step of the proof is formally explained as a version of Witten's deformation applied to a Hilbert bundle.
This paper provides the technical details of gradient flow construction and related problems, which are essential for our construction of Lagrangian torus fibrations for Calabi-Yau hypersurfaces.
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.
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 give a construction of Lagrangian torus fibration for Fermat type quintic \cy hypersurfaces via the method of gradient flow. We also compute the monodromy of the expected special Lagrangian torus fibration and discuss structures of singular fibers.
This paper is the third of the series concerning the localization of the index of Dirac-type operators. In our previous papers we gave a formulation of index of Dirac-type operators on open manifolds under some geometric setting, whose typical example was given by the structure of a torus fiber bundle on the ends of the open manifolds. We introduce two equivariant versions of the localization. As an application we give a proof of Guillemin-Sternberg's quantization conjecture in the case of torus action.
In this paper we give a construction of Lagrangian torus fibration for Calabi-Yau hypersurface in toric variety via the method of gradient flow. Using our construction of Lagrangian torus fibration, we are able to prove the symplectic topological version of SYZ mirror conjecture for generic Calabi-Yau hypersurface in toric variety. We will also be able to give precise formulation of SYZ mirror conjecture in general (including singular locus and duality of singular fibres).
We give a framework of localization for the index of a Dirac-type operator on an open manifold. Suppose the open manifold has a compact subset whose complement is covered by a family of finitely many open subsets, each of which has a structure of the total space of a torus bundle. Under an acyclic condition we define the index of the Dirac-type operator by using the Witten-type deformation, and show that the index has several properties, such as excision property and a product formula. In particular, we show that the index is localized on the compact set.
We give a construction of Lagrangian torus fibrations with controlled discriminant locus on certain affine varieties. In particular, we apply our construction in the following ways. We find a Lagrangian torus fibration on the 3-fold negative vertex whose discriminant locus has codimension 2; this provides a local model for finding torus fibrations on compact Calabi-Yau 3-folds with codimension 2 discriminant locus. Then, we find a Lagrangian torus fibration on a neighbourhood of the one-dimensional stratum of a simple normal crossing divisor (satisfying certain conditions) such that the base o…
We study homological mirror symmetry for not necessarily compactly supported coherent sheaves on the minimal resolutions of A_n-singularities. An emphasis is put on the relation with the Strominger-Yau-Zaslow conjecture.
The category of exploded torus fibrations is an extension of the category of smooth manifolds in which some adiabatic limits look smooth. (For example, the limits considered in tropical geometry appear smooth, also degenerations corresponding to an algebraic family with normal crossing singularities are smooth.) In this paper we prove a compactness theorem for (pseudo)-holomorphic curves in exploded torus fibrations. In the case of smooth manifolds, this is just a version of Gromov's compactness theorem in a topology strong enough for gluing analysis.
This is an expository article on the Gross--Siebert approach to mirror symmetry and its interactions with the Strominger--Yau--Zaslow conjecture from a topological perspective.
Initiated by Gromov, the study of holomorphic curves in symplectic manifolds has been a powerfull tool in symplectic topology, however the moduli space of holomorphic curves is often very difficult to find. A common technique is to study the limiting behavior of holomorphic curves in a degenerating family of complex structures which corresponds to a kind of adiabatic limit. The category of exploded fibrations is an extension of the smooth category in which some of these degenerations can be described as smooth families. The first part of this paper is devoted to defining exploded fibrations an…
We give a method to construct singular Lagrangian 3-torus fibrations over certain a priori given integral affine manifolds with singularities, which we call simple. The main result of this article is the proof that the topological Calabi-Yau compactifications of M. Gross' "Topological Mirror Symmetry", can be made into symplectic compactifications. As an example, we obtain a pair of compact symplectic 6-manifolds together with Lagrangian fibrations whose underlying affine structures are dual. The symplectic manifolds obtained are homeomorphic to a smooth quintic Calabi-Yau 3-fold and its mirro…
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…
Inspired by the work of Gross on topological Mirror Symmetry we construct candidate Lagrangian torus fibration models for the 105 families of smooth Fano threefolds. We prove, in the case the second Betti number is one, that the total space of each fibration is homeomorphic to the expected Fano threefold, and show that the numerical invariants coincide for all 105. Our construction relies on a notion of toric degeneration for affine manifolds with singularities, and the correspondence we obtain between polytopes and Fano manifolds is compatible with that appearing in the work of Coates-Corti-K…
This survey article begins with a discussion of the original form of the Strominger-Yau-Zaslow conjecture, surveys the state of knowledge concering this conjecture, and explains how thinking about this conjecture naturally leads to the program initiated by the author and Bernd Siebert to study mirror symmetry via degenerations of Calabi-Yau manifolds and log structures.
We construct pseudotoric structures (à la Tyurin) on the two-step flag variety $F\ell_{1, n-1; n}$, and explain a general relation between pseudotoric structures and special Lagrangian torus fibrations, the latter of which are important in the study of SYZ mirror symmetry. As an application, we speculate how our constructions can explain the number of terms in the superpotential of Rietsch's Landau-Ginzburg mirror.
We introduce the notion of a local torus action modeled on the standard representation (for simplicity, we call it a local torus action). It is a generalization of a locally standard torus action and also an underlying structure of a locally toric Lagrangian fibration. For a local torus action, we define two invariants called a characteristic pair and an Euler class of the orbit map, and prove that local torus actions are classified topologically by them. As a corollary, we obtain a topological classification of locally standard torus actions, which is a generalization of the topological class…
This is a book aimed at graduate students and researchers in symplectic geometry, based on a course I taught in 2019. The primary message is that the base of a Lagrangian torus fibration inherits an integral affine structure, which you can use to "read off" a lot of interesting geometry of the total space. Topics covered include: action-angle coordinates, symplectic reduction, toric manifolds, visible and tropical Lagrangians, almost toric systems, Milnor fibres of cyclic quotient singularities, mutation of polygons, non-toric blow-up, an almost toric view on Lisca's classification of fillings…
In this paper, we study the geometry of the SYZ transform on a semi-flat Lagrangian torus fibration. Our starting point is an investigation on the relation between Lagrangian surgery of a pair of straight lines in a symplectic 2-torus and extension of holomorphic vector bundles over the mirror elliptic curve, via the SYZ transform for immersed Lagrangian multi-sections. This study leads us to a new notion of equivalence between objects in the immersed Fukaya category of a general compact symplectic manifold $(M, ω)$, under which the immersed Floer cohomology is invariant; in particular, this p…
This note is an addendum to our earlier work \cite{humi}. In \cite{humi}, we studied a Hamiltonian action for a generalized Calabi-Yau manifold and showed that the Duistermaat-Heckman theorem holds. The purpose of this note is to show that the density function of the Duistermaa-Heckman measure is a piecewise polynomial. We also prove that the localization formula holds.
Fibrations by Lagrangian tori for maximal Calabi-Yau degenerations and beyond
IKERBASQUE, Basque Foundation for Science（伊克尔巴斯克，巴斯克科学基金会）；BCAM, Basque Center for Applied Mathematics（巴斯克应用数学中心）；UPV/EHU（巴斯克大学）；University of Warsaw, Faculty of Mathematics, Informatics and Mechanics（华沙大学数学、信息学和机械学院）；Jagiellonian University, Faculty of Mathematics and Computer Science（雅盖隆大学数学与计算机科学学院）
We construct fiber-preserving anti-symplectic involutions for a large class of symplectic manifolds with Lagrangian torus fibrations. In particular, we treat the K3 surface and the quintic threefold. We interpret our results as corroboration of the view that in homological mirror symmetry, an anti-symplectic involution is the mirror of duality. In the same setting, we construct fiber-preserving symplectomorphisms that can be interpreted as the mirror to twisting by a holomorphic line bundle.
Let π: M \ra B be a Lagrangian torus fibration with singularities such that the fibers are of Maslov index zero, and unobstructed. The paper constructs a rigid analytic space M_0^\chk over the Novikov field which is a deformation of the semi-flat complex structure of the dual torus fibration over the smooth locus B_0 of π. Transition functions of M_0^\chk are obtained via A-\infty homomorphisms which capture the wall-crossing phenomenon of moduli spaces of holomorphic disks.
We discuss various topics on degenerations and special Lagrangian torus fibrations of Calabi-Yau manifolds in the context of mirror symmetry. A particular emphasis is on Tyurin degenerations and the Doran-Harder-Thompson conjecture, which builds a bridge between mirror symmetry for Calabi-Yau manifolds and that for quasi-Fano manifolds. The proof of the conjecture is of interest in its own right and leads us to a few other related topics such as SYZ mirror symmetry, theta functions and geometric quantization. Inspired by the conjecture, we also propose a new construction of Landau-Ginzburg mod…
A near-symplectic structure on a 4-manifold is a closed 2-form that is symplectic away from the 1-dimensional submanifold along which it vanishes and that satisfies a certain transversality condition along this vanishing locus. We investigate near-symplectic 4-manifolds equipped with singular Lagrangian torus fibrations which are locally induced by effective Hamiltonian torus actions. We show how such a structure is completely characterized by a singular integral affine structure on the base of the fibration whenever the vanishing locus is nonempty. The base equipped with this geometric struct…
Global Darboux coordinates for complete Lagrangian fibrations and an application to the deformation space of $\mathbb{R}\mathbb{P}^2$-structures in genus one
Motivated by observations in physics, mirror symmetry is the concept that certain manifolds come in pairs $X$ and $Y$ such that the complex geometry on $X$ mirrors the symplectic geometry on $Y$. It allows one to deduce symplectic information about $Y$ from known complex properties of $X$. Strominger-Yau-Zaslow arXiv:hep-th/9606040 described how such pairs arise geometrically as torus fibrations with the same base and related fibers, known as SYZ mirror symmetry. Kontsevich arXiv:alg-geom/9411018 conjectured that a complex invariant on $X$ (the bounded derived category of coherent sheaves) sho…
In this article we give formulas for the Riemann-Roch number of a symplectic quotient arising as the reduced space corresponding to a coadjoint orbit (for an orbit close to 0) as an evaluation of cohomology classes over the reduced space at 0. This formula exhibits the dependence of the Riemann-Roch number on the Lie algebra variable which specifies the orbit. We also express the formula as a sum over the components of the fixed point set of the maximal torus. Our proof applies to Hamiltonian G-manifolds even if they do not have a compatible Kahler structure, using the definition of quantisati…
We consider a Hamiltonian action of n-dimensional torus, T^n, on a compact symplectic manifold (M,ω) with d isolated fixed points. For every fixed point p there exists (though not unique) a class a_p in H^*_{T}(M; Q) such that the collection {a_p}, over all fixed points, forms a basis for H^*_{T}(M; Q) as an H^*(BT; Q) module. The map induced by the inclusion, ι^*:H^*_{T}(M; Q) \rightarrow H^*_{T}(M^{T}; Q)= \oplus_{j=1}^{d}Q[x_1, ..., x_n] is injective. We use such classes {a_p} to give necessary and sufficient conditions for f=(f_1, ...,f_d) in \oplus_{j=1}^{d}Q[x_1, ..., x_n] to be in the i…
In this paper the relations between the existence of Lagrangian fibration of Hyper-Kähler manifolds and the existence of the Large Radius Limit is established. It is proved that if the the rank of the second homology group of a Hyper-Kähler manifold N of complex dimension $2n\geq4$ is at least 5, then there exists an unipotent element T in the mapping class group $Γ$(N) such that its action on the second cohomology group satisfies $(T-id)^{2}\neq0$ and $(T-id)^{3}=0.$ A Theorem of Verbitsky implies that the symmetric power $S^{n}(T)$ acts on $H^{2n}$ and it satisfies $(S^{n}% (T)-id)^{2n}\neq0…
We consider symplectic fibrations as in Guillemin-Lerman-Sternberg, and derive a spectral sequence to compute the Floer cohomology of certain fibered Lagrangians sitting inside a compact symplectic fibration with small monotone fibers and a rational base. We show if the Floer cohomology with field coefficients of the fiber Lagrangian vanishes, then the Floer cohomology with field coefficients of the total Lagrangian also vanishes. We give an application to certain non-torus fibers of the Gelfand-Cetlin system in Flag manifolds, and show that their Floer cohomology vanishes.
We prove that every strong symplectic filling of a planar contact manifold admits a symplectic Lefschetz fibration over the disk, and every strong filling of the 3-torus similarly admits a Lefschetz fibration over the annulus. It follows that strongly fillable planar contact structures are also Stein fillable, and all strong fillings of the 3-torus are equivalent up to symplectic deformation and blowup. These constructions result from a compactness theorem for punctured J-holomorphic curves that foliate a convex symplectic manifold. We use it also to show that the compactly supported symplecto…
For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups.
In this paper we prove a vanishing theorem for the contact Ozsvath--Szabo invariants of certain contact 3--manifolds having positive Giroux torsion. We use this result to establish similar vanishing results for contact structures with underlying 3--manifolds admitting either a torus fibration over the circle or a Seifert fibration over an orientable base. We also show -- using standard techniques from contact topology -- that if a contact 3--manifold (Y,ξ) has positive Giroux torsion then there exists a Stein cobordism from (Y,ξ) to a contact 3--manifold (Y,ξ') such that (Y,ξ) is obtained from…
We construct a Lagrangian torus fibration on a smooth hypertoric variety and a corresponding SYZ mirror variety using $T$-duality and generating functions of open Gromov-Witten invariants. The variety is singular in general. We construct a resolution using the wall and chamber structure of the SYZ base.
