48 pages. v2: Some inaccuracies corrected, and exposition improved (after a thorough report of an anonymous referee). Some background material added and in particular section 2.5 in which we recall Spielberg's formulas, based on arXiv:math/0006156 by H. Spielberg
Following McDuff and Tolman's work on toric manifolds [McDT06], we focus on 4-dimensional NEF toric manifolds and we show that even though Seidel's elements consist of infinitely many contributions, they can be expressed by closed formulas. From these formulas, we then deduce the expression of the quantum homology ring of these manifolds as well as their Landau-Ginzburg superpotential. We also give explicit formulas for the Seidel elements in some non-NEF cases. These results are closely related to recent work by Fukaya, Oh, Ohta, and Ono [FOOO11], González and Iritani [GI11], and Chan, Lau, Leung, and Tseng [CLLT12]. The main difference is that in the 4-dimensional case the methods we use are more elementary: they do not rely on open Gromov-Witten invariants nor mirror maps. We only use the definition of Seidel's elements and specific closed Gromov-Witten invariants which we compute via localization. So, unlike Alice, the computations contained in this paper are not particularly pretty but they do stay on their side of the mirror. This makes the resulting formulas directly readable from the moment polytope.
We study homological mirror symmetry for toric varieties, exploring the relationship between various Fukaya-Seidel categories which have been employed for constructing the mirror to a toric variety. In particular, we realize tropical Lagrangian sections as objects of a partially wrapped category and construct a Lagrangian correspondence mirror to the inclusion of a toric divisor. As a corollary, we prove that tropical sections generate the Fukaya-Seidel category, completing a Floer-theoretic proof of homological mirror symmetry for projective toric varieties. In the course of the proof, we dev…
For any coadjoint orbit $G/L$, we determine all useful terms of the associated Savelyev-Seidel morphism defined on $H_{-*}(ΩG)$. Immediate consequences are: (1) the dimension of the kernel of the natural map $π_*(G)\otimes \mathbb{Q}\rightarrow π_*(Ham(G/L))\otimes \mathbb{Q}$ is at most the semi-simple rank of $L$, and (2) the Bott-Samelson cycles in $ΩG$ which correspond to Peterson elements are solutions to the min-max problem for Hofer's max-length functional on $ΩHam(G/L)$. The proof is based on Bae-Chow-Leung's recent computation of Ma'u-Wehrheim-Woodward morphism for the moment correspo…
A class of noncommutative spaces, named `soft noncommutative schemes via toric geometry', are constructed and the mathematical model for (dynamical/nonsolitonic, complex algebraic) D-branes on such a noncommutative space, following arXiv:0709.1515 [math.AG] (D(1)), is given. Any algebraic Calabi-Yau space that arises from a complete intersection in a smooth toric variety can embed as a commutative closed subscheme of some soft noncommutative scheme. Along the study, the notion of `soft noncommutative toric schemes' associated to a (simplicial, maximal cone of index $1$) fan, `invertible sheave…
We construct a morphism from the equivariant Fukaya algebra of a Lagrangian brane in the zero level set of a moment map of a Hamiltonian action to the Fukaya algebra of the quotient brane. This morphism induces a map between Maurer-Cartan solution spaces, and intertwines the disk potentials. As an application, we show under some technical hypotheses that weak unobstructedness of an invariant Lagrangian brane implies weak unobstructedness of its quotient. For semi-Fano toric manifolds we give a different proof of the open mirror theorem of Chan-Lau-Leung-Tseng by showing that the potential of a…
We propose a way of understanding homological mirror symmetry when a complex manifold is a smooth compact toric manifold. So far, in many example, the derived category $D^b(coh(X))$ of coherent sheaves on a toric manifold $X$ is compared with the Fukaya-Seidel category of the Milnor fiber of the corresponding Landau-Ginzburg potential. We instead consider the dual torus fibration $π:M \to B$ of the complement of the toric divisors in $X$, where $\bar{B}$ is the dual polytope of the toric manifold $X$. A natural formulation of homological mirror symmetry in this set-up is to define $Fuk(\bar{M}…
