Search

We introduce the notion of ungraded matrix factorization as a mirror of non-orientable Lagrangian submanifolds. An ungraded matrix factorization of a polynomial $W$, with coefficients in a field of characteristic 2, is a square matrix $Q$ of polynomial entries satisfying $Q^2 = W \cdot \mathrm{Id}$. We then show that non-orientable Lagrangians correspond to ungraded matrix factorizations under the localized mirror functor and illustrate this construction in a few instances. Our main example is the Lagrangian submanifold $\mathbb{R}P^2 \subset \mathbb{C}P^2$ and its mirror ungraded matrix factorization, which we construct and study. In particular, we prove a version of Homological Mirror Symmetry in this setting.

We construct a Kodaira-Spencer map from the big quantum cohomology of a sphere with three orbifold points to the Jacobian ring of the mirror Landau-Ginzburg potential function. This is constructed via the Lagrangian Floer theory of the Seidel Lagrangian and we show that Kodaira-Spencer map is a ring isomorphism., Comment: Comments welcome

We compute orbi-disk invariants of compact Gorenstein semi-Fano toric orbifolds by extending the method used for toric Calabi-Yau orbifolds. As a consequence the orbi-disc potential is analytic over complex numbers., arXiv admin note: text overlap with arXiv:1306.0437

We find a relation between Lagrangian Floer pairing of a symplectic manifold and Kapustin-Li pairing of the mirror Landau-Ginzburg model under localized mirror functor. They are conformally equivalent with an interesting conformal factor $(vol^{Floer}/vol)^2$, which can be described as a ratio of Lagrangian Floer volume class and classical volume class. For this purpose, we introduce $B$-invariant of Lagrangian Floer cohomology with values in Jacobian ring of the mirror potential function. And we prove what we call a multi-crescent Cardy identity under certain conditions, which is a generalized form of Cardy identity. As an application, we discuss the case of general toric manifold, and the relation to the work of Fukaya-Oh-Ohta-Ono and their $Z$-invariant. Also, we compute the conformal factor $(vol^{Floer}/vol)^2$ for the elliptic curve quotient $\mathbb{P}^1_{3,3,3}$, which is expected to be related to the choice of a primitive form., Comment: 35 pages, 5 figures. Comments are welcome

We investigate the relationship between the Lagrangian Floer superpotentials for a toric orbifold and its toric crepant resolutions. More specifically, we study an open string version of the crepant resolution conjecture (CRC) which states that the Lagrangian Floer superpotential of a Gorenstein toric orbifold $\mathcal{X}$ and that of its toric crepant resolution $Y$ coincide after analytic continuation of quantum parameters and a change of variables. Relating this conjecture with the closed CRC, we find that the change of variable formula which appears in closed CRC can be explained by relations between open (orbifold) Gromov-Witten invariants. We also discover a geometric explanation (in terms of virtual counting of stable orbi-discs) for the specialization of quantum parameters to roots of unity which appears in Y. Ruan's original CRC ["The cohomology ring of crepant resolutions of orbifolds", Gromov-Witten theory of spin curves and orbifolds, 117-126, Contemp. Math., 403, Amer. Math. Soc., Providence, RI, 2006]. We prove the open CRC for the weighted projective spaces $\mathcal{X}=\mathbb{P}(1,\ldots,1,n)$ using an equality between open and closed orbifold Gromov-Witten invariants. Along the way, we also prove an open mirror theorem for these toric orbifolds., Comment: 48 pages, 1 figure; v2: references added and updated, final version, to appear in CMP

Open Gromov-Witten invariants in general are not well-defined. We discuss in detail the enumerative numbers of the Clifford torus $T^2$ in $\CP^2$. For cyclic A-infinity algebras, we show that certain generalized way of counting may be defined up to Hochschild or cyclic boundary elements. In particular we obtain a well-defined function on Hochschild or cyclic homology of a cyclic A-infinity algebra, which has invariance property under cyclic A-infinity homomorphism. We discuss an example of Clifford torus $T^2$ and compute the invariant for a specific cyclic cohomology class., Comment: 17 pages, 2 figures,v2: rewritten using the language of cyclic A-infinity algebra, v3: added an example of a cyclic cohomology class, published version

Lagrangian Floer homology in a general case has been constructed by Fukaya, Oh, Ohta and Ono, where they construct an $\AI$-algebra or an $\AI$-bimodule from Lagrangian submanifolds, and studied the obstructions and deformation theories. But for obstructed Lagrangian submanifolds, standard Lagrangian Floer homology can not be defined. We explore several well-known cohomology theories on these $\AI$-objects and explore their properties, which are well-defined and invariant even in the obstructed cases. These are Hochschild and cyclic homology of an $\AI$-objects and Chevalley-Eilenberg or cyclic Chevalley-Eilenberg homology of their underlying $\LI$ objects. We explain how the existence of $m_0$ effects the usual homological algebra of these homology theories. We also provide some computations. We show that for an obstructed $\AI$-algebra with a non-trivial primary obstruction, Chevalley-Eilenberg Floer homology vanishes, whose proof is inspired by the comparison with cluster homology theory of Lagrangian submanifolds by Cornea and Lalonde. In contrast, we also provide an example of an obstructed case whose cyclic Floer homology is non-vanishing., Comment: 43 pages, 1 figure

We show that in many examples the non-displaceability of Lagrangian submanifolds by Hamiltonian isotopy can be proved via Lagrangian Floer cohomology with non-unitary line bundle. The examples include all monotone Lagrangian torus fibers in toric Fano manifold (which was also proven by Entov and Polterovich via the theory of symplectic quasi-states), some non-monotone Lagrangian torus fibers. We also extend the results by Oh and the author about the computations of Floer cohomology of Lagrangian torus fibers to the case of all toric Fano manifolds, removing the convexity assumption in the previous work., 17pages,1figure, revised version. Chekanov tori case removed

We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact Calabi-Yau threefolds to construct their mirrors and functors. In particular it recovers and strengthens several interesting results of Etingof-Ginzburg, Bocklandt and Smith, and gives a unified understanding of their results in terms of mirror symmetry and symplectic geometry. As an interesting application, we construct an explicit global deformation quantization of an affine del Pezzo surface as a noncommutative mirror to an elliptic orbifold., 114 pages, 21 figures; Final version published in Memoirs of the American Mathematical Society on June 25, 2021

Fixing a weakly unobstructed Lagrangian torus in a symplectic manifold X, we define a holomorphic function W known as the Floer potential. We construct a canonical A-infinity functor from the Fukaya category of X to the category of matrix factorizations of W. It provides a unified way to construct matrix factorizations from Lagrangian Floer theory. The technique is applied to toric Fano manifolds to transform Lagrangian branes to matrix factorizations. Using the method, we also obtain an explicit expression of the matrix factorization mirror to the real locus of the complex projective space., 52 pages, 14 figures, Theorem 9.1 added

For each sphere with three orbifold points, we construct an algorithm to compute the open Gromov-Witten potential, which serves as the quantum-corrected Landau-Ginzburg mirror and is an infinite series in general. This gives the first class of general-type geometries whose full potentials can be computed. As a consequence we obtain an enumerative meaning of mirror maps for elliptic curve quotients. Furthermore, we prove that the open Gromov-Witten potential is convergent, even in the general-type cases, and has an isolated singularity at the origin, which is an important ingredient of proving homological mirror symmetry., 65 pages, 43 figures

We construct finite group actions on Lagrangian Floer theory when symplectic manifolds have finite group actions and Lagrangian submanifolds have induced group actions. We first define finite group actions on Novikov-Morse theory. We introduce the notion of a {\em spin profile} as an obstruction class of extending the group action on Lagrangian submanifold to the one on its spin structure, which is a group cohomology class in $H^2(G;\Z/2)$. For a class of Lagrangian submanifolds which have the same spin profiles, we define a finite group action on their Fukaya category. In consequence, we obtain the $s$-equivariant Fukaya category as well as the $s$-orbifolded Fukaya category for each group cohomology class $s$. We also develop a version with $G$-equivariant bundles on Lagrangian submanifolds, and explain how character group of $G$ acts on the theory. As an application, we define an orbifolded Fukaya-Seidel category of a $G$-invariant Lefschetz fibration, and also discuss homological mirror symmetry conjectures with group actions., 81 pages, 12 figures; comments welcome!

For a toric Calabi-Yau (CY) orbifold $\mathcal{X}$ whose underlying toric variety is semi-projective, we construct and study a non-toric Lagrangian torus fibration on $\mathcal{X}$, which we call the Gross fibration. We apply the Strominger-Yau-Zaslow (SYZ) recipe to the Gross fibration of $\mathcal{X}$ to construct its mirror with the instanton corrections coming from genus 0 open orbifold Gromov-Witten (GW) invariants, which are virtual counts of holomorphic orbi-disks in $\mathcal{X}$ bounded by fibers of the Gross fibration. We explicitly evaluate all these invariants by first proving an open/closed equality and then employing the toric mirror theorem for suitable toric (partial) compactifications of $\mathcal{X}$. Our calculations are then applied to (1) prove a conjecture of Gross-Siebert on a relation between genus 0 open orbifold GW invariants and mirror maps of $\mathcal{X}$ -- this is called the open mirror theorem, which leads to an enumerative meaning of mirror maps, and (2) demonstrate how open (orbifold) GW invariants for toric CY orbifolds change under toric crepant resolutions -- an open analogue of Ruan's crepant resolution conjecture., v4: 65 pages, significantly shortened to avoid too much overlap with arXiv:1006.3830 and arXiv:1206.3994, to appear in JDG

We find matrix factorization corresponding to an anti-diagonal in ${\mathbb C}P^1 \times {\mathbb C}P^1$, and circle fibers in weighted projective lines using the idea of Chan and Leung of Strominger-Yau-Zaslow transformations. For the tear drop orbifolds, we apply this idea to find matrix factorizations for two types of potential, the usual Hori-Vafa potential or the bulk deformed (orbi)-potential. We also show that the direct sum of anti-diagonal with its shift, is equivalent to the direct sum of central torus fibers with holonomy $(1,-1)$ and $(-1,1)$ in the Fukaya category of ${\mathbb C}P^1 \times {\mathbb C}P^1$, which was predicted by Kapustin and Li from B-model calculations.

We compute the ring structure of Floer cohomology groups of Lagrangian torus fibers in some toric Fano manifolds continuing the study of \cite{CO}. Related $\AI$-formulas hold for transversal choice of chains. Two different computations are provided: a direct calculation using the classification of holomorphic discs by Oh and the author in \cite{CO}, and another method by using an {\it analogue of divisor equation} in Gromov-Witten invariants to thecase of discs. Floer cohomology rings are shown to be isomorphic to Clifford algebras, whose quadratic forms are given by the Hessians of functions $W$, which turn out to be the superpotentials of Landau-Ginzburg mirrors. In the case of $\CP^n$ and $ \CP^1 \times \CP^1$, this proves the prediction made by Hori, Kapustin and Li by B-model calculations via physical arguments. The latter method also provides correspondence between higher derivatives of the superpotential of LG mirror with the higher products of $\AI$(or $\LI$)-algebra of the Lagrangian submanifold., 26 pages, 3 fig; Statements about abstract perturbation and invariance withdrawn. Additional assumption on results about ring structure

In this paper, we first provide an explicit description of {\it all} holomorphic discs (``disc instantons'') attached to Lagrangian torus fibers of arbitrary compact toric manifolds, and prove their Fredholm regularity. Using this, we compute Fukaya-Oh-Ohta-Ono's (FOOO's) obstruction (co)chains and the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. In particular specializing to the formal parameter $T^{2\pi} = e^{-1}$, our computation verifies the folklore that FOOO's obstruction (co)chains correspond to the Landau-Ginzburg superpotentials under the mirror symmetry correspondence, and also proves the prediction made by K. Hori about the Floer cohomology of Lagrangian torus fibers of Fano toric manifolds. The latter states that the Floer cohomology (for the parameter value $T^{2\pi} = e^{-1}$) of all the fibers vanish except at a finite number, the Euler characteristic of the toric manifold, of base points in the momentum polytope that are critical points of the superpotential of the Landau-Ginzburg mirror to the toric manifold. In the latter cases, we also prove that the Floer cohomology of the corresponding fiber is isomorphic to its singular cohomology. We also introduce a restricted version of the Floer cohomology of Lagrangian submanifolds, which is a priori more flexible to define in general, and which we call the {\it adapted Floer cohomology}. We then prove that the adapted Floer cohomology of any non-singular torus fiber of Fano toric manifolds is well-defined, invariant under the Hamiltonian isotopy and isomorphic to the Bott-Morse Floer cohomology of the fiber., Comment: 38 pages