Showing 1–42 of 42 results for author: Abouzaid, M

Foundation of Floer homotopy theory I: Flow categories

Authors: Mohammed Abouzaid, Andrew J. Blumberg

Abstract: We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory of complex oriented derived orbifolds. In this setup, the construction of homotopy types associated to Floer-theoretic data is immediate: the moduli spaces of s… ▽ More We construct a stable infinity category with objects flow categories and morphisms flow bimodules; our construction has many flavors, related to a choice of bordism theory, and we discuss in particular framed bordism and the bordism theory of complex oriented derived orbifolds. In this setup, the construction of homotopy types associated to Floer-theoretic data is immediate: the moduli spaces of solutions to Floer's equation assemble into a flow category with respect to the appropriate bordism theory, and the associated Floer homotopy types arise as suitable map** spectra in this category. The definition of these map** spectra is sufficiently explicit to allow a direct interpretation of the Floer homotopy groups as Floer bordism groups. In the setting of framed bordism, we show that the category we construct is a model for the category of spectra. We implement the construction of Floer homotopy types in this new formalism for the case of Hamiltonian Floer theory. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Gromov-Witten invariants in complex-oriented generalised cohomology theories

Authors: Mohammed Abouzaid, Mark McLean, Ivan Smith

Abstract: Given a closed symplectic manifold $X$, we construct Gromov-Witten-type invariants valued both in (complex) $K$-theory and in any complex-oriented cohomology theory $\mathbb{K}$ which is $K_p(n)$-local for some Morava $K$-theory $K_p(n)$. We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum $K$-theory of complex projectiv… ▽ More Given a closed symplectic manifold $X$, we construct Gromov-Witten-type invariants valued both in (complex) $K$-theory and in any complex-oriented cohomology theory $\mathbb{K}$ which is $K_p(n)$-local for some Morava $K$-theory $K_p(n)$. We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum $K$-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantum $K$-theory and quantum $\mathbb{K}$-theory as commutative deformations of the corresponding (generalised) cohomology rings of $X$; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input to these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus to $X$. On the algebraic side, in order to establish a common framework covering both ordinary $K$-theory and $K_p(n)$-local theories, we introduce a formalism of `counting theories' for enumerative invariants on a category of global Kuranishi charts. △ Less

Submitted 8 August, 2023; v1 submitted 4 July, 2023; originally announced July 2023.

Comments: 63 pages, 2 figures. v2 corrects an error in the construction of consistent domain metrics in section 4; the main results and other constructions are unaffected

MSC Class: 53D45; 14N35; 55N20

Functoriality in categorical symplectic geometry

Authors: Mohammed Abouzaid, Nathaniel Bottman

Abstract: Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehr… ▽ More Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehrheim-Woodward's quilted Floer cohomology and functors associated to Lagrangian correspondences, Fukaya's alternate approach to defining functors between Fukaya $A_\infty$-categories, and the second author's ongoing construction of the symplectic $(A_\infty,2)$-category. In the last section, we describe a number of direct and indirect applications of this circle of ideas, and propose a conjectural version of the Barr-Beck Monadicity Criterion in the context of the Fukaya $A_\infty$-category. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 68 pages, 43 figures

Report number: MPIM-Bonn-2022

Framed $E_2$ structures in Floer theory

Authors: Mohammed Abouzaid, Yoel Groman, Umut Varolgunes

Abstract: We resolve the long-standing problem of constructing the action of the operad of framed (stable) genus-$0$ curves on Hamiltonian Floer theory; this operad is equivalent to the framed $E_2$ operad. We formulate the construction in the following general context: we associate to each compact subset of a closed symplectic manifold a new chain-level model for symplectic cohomology with support, which w… ▽ More We resolve the long-standing problem of constructing the action of the operad of framed (stable) genus-$0$ curves on Hamiltonian Floer theory; this operad is equivalent to the framed $E_2$ operad. We formulate the construction in the following general context: we associate to each compact subset of a closed symplectic manifold a new chain-level model for symplectic cohomology with support, which we show carries an action of a model for the chains on the moduli space of framed genus $0$ curves. This construction turns out to be strictly functorial with respect to inclusions of subsets, and the action of the symplectomorphism group. In the general context, we appeal to virtual fundamental chain methods to construct the operations over fields of characteristic $0$, and we give a separate account, over arbitrary rings, in the special settings where Floer's classical transversality approach can be applied. We perform all constructions over the Novikov ring, so that the algebraic structures we produce are compatible with the quantitative information that is contained in Floer theory. Over fields of characteristic $0$, our construction can be combined with results in the theory of operads to produce explicit operations encoding the structure of a homotopy $BV$ algebra. In an appendix, we explain how to extend the results of the paper from the class of closed symplectic manifolds to geometrically bounded ones. △ Less

Submitted 11 May, 2024; v1 submitted 20 October, 2022; originally announced October 2022.

Comments: 82 pages, 9 figures. Comments welcome. Numerous minor changes

MSC Class: 53D40; 18M75

An axiomatic approach to virtual chains

Authors: Mohammed Abouzaid

Abstract: We introduce a category of Kuranishi presentations, whose objects are a variant of the Kuranishi structures introduced by Fukaya and Ono, and which can be seen as a refinement of the version studied by Pardon. We then formulate the notion of virtual chains categorically as a natural transformation between two functors from this category to the category of chain complexes; we call such a datum 'a t… ▽ More We introduce a category of Kuranishi presentations, whose objects are a variant of the Kuranishi structures introduced by Fukaya and Ono, and which can be seen as a refinement of the version studied by Pardon. We then formulate the notion of virtual chains categorically as a natural transformation between two functors from this category to the category of chain complexes; we call such a datum 'a theory of virtual counts'. To show that this definition carries non-trivial content, we then construct a multicategory whose objects are Kuranishi flow categories, and show that a theory of virtual counts determines a multifunctor to the multicategory of chain complexes. We then implement this construction in the setting of Hamiltonian Floer theory, borrowing from some joint work with Groman and Varolgunes, yielding a construction of Hamiltonian Floer groups (and operations on them) as an output of this machine. We plan to provide a similar account for Lagrangian Floer theory in subsequent joint work. △ Less

Submitted 22 November, 2022; v1 submitted 8 January, 2022; originally announced January 2022.

Comments: 99 pages, 5 figures. Revised to modify the discussion of Hamiltonian Floer to conform more closely to the framework in arXiv:2210.11027

MSC Class: 57R58

Nearby Special Lagrangians

Authors: Mohammed Abouzaid, Yohsuke Imagi

Abstract: Let $X$ be a Calabi--Yau manifold and $Q\subset X$ a compact connected embedded special Lagrangian without boundary. We combine methods from symplectic topology and geometric analysis, to study those compact irreducibly immersed special Lagrangians which are $C^0$ close to $Q$ and have unobstructed Floer cohomology. We prove that if the fundamental group $π_1Q$ has no non-abelian free subgroup the… ▽ More Let $X$ be a Calabi--Yau manifold and $Q\subset X$ a compact connected embedded special Lagrangian without boundary. We combine methods from symplectic topology and geometric analysis, to study those compact irreducibly immersed special Lagrangians which are $C^0$ close to $Q$ and have unobstructed Floer cohomology. We prove that if the fundamental group $π_1Q$ has no non-abelian free subgroup then every such Lagrangian $L$ is unbranched (that is, the projection $L\to Q$ is a covering map); moreover, if $π_1Q$ is abelian then $L$ is $C^1$ close to $Q\subset X.$ We prove a stronger uniqueness theorem when $π_1Q$ is finite. The $π_1Q$ conditions, the Floer cohomology condition and the special Lagrangian condition are all essential as we show by counterexamples. △ Less

Submitted 2 February, 2024; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 78 pages; Sections 2.2 and 3.4 added, the order of the materials changed, and more details added

Homological mirror symmetry for hypersurfaces in $(\mathbb{C}^*)^n$

Authors: Mohammed Abouzaid, Denis Auroux

Abstract: We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau-Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian subman… ▽ More We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in $(\mathbb{C}^*)^n$ (B-model) and their mirror toric Landau-Ginzburg A-models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau-Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian submanifold whose fiberwise wrapped Floer cohomology is isomorphic to the ring of regular functions of the hypersurface. It follows that the derived category of coherent sheaves of the hypersurface quasi-embeds into the fiberwise wrapped Fukaya category of the mirror. We also discuss an extension to complete intersections. △ Less

Submitted 18 January, 2023; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: 91 pages; v2 minor revision: improved exposition and added examples in response to referee report

Complex cobordism, Hamiltonian loops and global Kuranishi charts

Authors: Mohammed Abouzaid, Mark McLean, Ivan Smith

Abstract: Let $(X,ω)$ be a closed symplectic manifold. A loop $φ: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $π: P_φ \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of $π$, Lalonde, McDuff and Polterovich proved that if $φ$ lifts to the Hamiltonian group $\mathrm{Ham}(X,ω)$, then the rational cohomology of $P_φ$ splits additively. We prove, wi… ▽ More Let $(X,ω)$ be a closed symplectic manifold. A loop $φ: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $π: P_φ \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of $π$, Lalonde, McDuff and Polterovich proved that if $φ$ lifts to the Hamiltonian group $\mathrm{Ham}(X,ω)$, then the rational cohomology of $P_φ$ splits additively. We prove, with the same assumptions, that the $\mathbb{E}$-generalised cohomology of $P_φ$ splits additively for any complex-oriented cohomology theory $\mathbb{E}$, in particular the integral cohomology splits. This class of examples includes all complex projective varieties equipped with a smooth morphism to $\mathbb{CP}^1$, in which case the analogous rational result was proved by Deligne using Hodge theory. The argument employs virtual fundamental cycles of moduli spaces of sections of $π$ in Morava $K$-theory and results from chromatic homotopy theory. Our proof involves a construction of independent interest: we build global Kuranishi charts for moduli spaces of pseudo-holomorphic spheres in $X$ in a class $β\in H_2(X;\mathbb{Z})$, depending on a choice of integral symplectic form $Ω$ on $X$ and ample Hermitian line bundle over the moduli space of one-pointed degree $d = \langle Ω,β\rangle$ stable genus zero curves in $\mathbb{CP}^d$. △ Less

Submitted 10 November, 2021; v1 submitted 27 October, 2021; originally announced October 2021.

Comments: 67 pages. v2 corrects an error in the construction of global charts (the main results are unaffected)

MSC Class: 53D35; 53D45; 55N20

Homological Mirror Symmetry for local SYZ singularities

Authors: Mohammed Abouzaid, Zachary Sylvan

Abstract: Gross and Siebert identified a class of singular Lagrangian torus fibrations which arise when smoothing toroidal degenerations, and which come in pairs that are related by mirror symmetry. We identify an immersed Lagrangian in each of these local models which supports a moduli space of objects that is isomorphic to the mirror space, and prove a homological mirror statement along the way. Gross and Siebert identified a class of singular Lagrangian torus fibrations which arise when smoothing toroidal degenerations, and which come in pairs that are related by mirror symmetry. We identify an immersed Lagrangian in each of these local models which supports a moduli space of objects that is isomorphic to the mirror space, and prove a homological mirror statement along the way. △ Less

Submitted 11 July, 2021; originally announced July 2021.

Comments: 39 pages, 13 figures

MSC Class: 53D37

Arnold Conjecture and Morava K-theory

Authors: Mohammed Abouzaid, Andrew J. Blumberg

Abstract: We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not pro… ▽ More We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not proceed by constructing a version of Floer's complex with characteristic $p$ coefficients, but uses instead the canonical (stable) complex orientations of moduli spaces of Floer trajectories to construct a version of Floer homology with coefficients in Morava's $K$-theories, and can thus be seen as an implementation of Cohen, Jones, and Segal's vision for a Floer homotopy theory. The key feature of Morava K-theory that allows the construction to be carried out is the fact that the corresponding homology and cohomology groups of classifying spaces of finite groups satisfy Poincaré duality. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Monotone Lagrangians in cotangent bundles of spheres

Authors: Mohammed Abouzaid, Luís Diogo

Abstract: We study the compact monotone Fukaya category of $T^*S^n$, for $n\geq 2$, and show that it is split-generated by two classes of objects: the zero-section $S^n$ (equipped with suitable bounding cochains) and a 1-parameter family of monotone Lagrangian tori $(S^1\times S^{n-1})_τ$, with monotonicity constants $τ>0$ (equipped with rank 1 unitary local systems). As a consequence, any closed orientable… ▽ More We study the compact monotone Fukaya category of $T^*S^n$, for $n\geq 2$, and show that it is split-generated by two classes of objects: the zero-section $S^n$ (equipped with suitable bounding cochains) and a 1-parameter family of monotone Lagrangian tori $(S^1\times S^{n-1})_τ$, with monotonicity constants $τ>0$ (equipped with rank 1 unitary local systems). As a consequence, any closed orientable spin monotone Lagrangian (possibly equipped with auxiliary data) with non-trivial Floer cohomology is non-displaceable from either $S^n$ or one of the $(S^1\times S^{n-1})_τ$. In the case of $T^*S^3$, the monotone Lagrangians $(S^1\times S^2)_τ$ can be replaced by a family of monotone tori $T^3_τ$. △ Less

Submitted 18 May, 2023; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: 37 pages, 7 figures. Several minor corrections and clarifications. Accepted in Advances in Mathematics

MSC Class: 53D40; 53D37; 53D12; 18G70

Twisted generating functions and the nearby Lagrangian conjecture

Authors: Mohammed Abouzaid, Sylvain Courte, Stéphane Guillermou, Thomas Kragh

Abstract: We prove that, for closed exact embedded Lagrangian submanifolds of cotangent bundles, the homomorphism of homotopy groups induced by the stable Lagrangian Gauss map vanishes. In particular, we prove that this map is null-homotopic for all spheres. The key tool that we introduce in order to prove this is the notion of twisted generating function and we show that every closed exact Lagrangian can b… ▽ More We prove that, for closed exact embedded Lagrangian submanifolds of cotangent bundles, the homomorphism of homotopy groups induced by the stable Lagrangian Gauss map vanishes. In particular, we prove that this map is null-homotopic for all spheres. The key tool that we introduce in order to prove this is the notion of twisted generating function and we show that every closed exact Lagrangian can be described using such an object, by extending a doubling argument developed in the setting of sheaf theory. Floer theory and sheaf theory constrain the type of twisted generating functions that can appear to a class which is closely related to Waldhausen's tube space, and our main result follows by a theorem of Bökstedt which computes the rational homotopy type of the tube space. △ Less

Submitted 23 November, 2022; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: minor modifications

The Gamma and Strominger-Yau-Zaslow conjectures: a tropical approach to periods

Authors: Mohammed Abouzaid, Sheel Ganatra, Hiroshi Iritani, Nick Sheridan

Abstract: We propose a new method to compute asymptotics of periods using tropical geometry, in which the Riemann zeta values appear naturally as error terms in tropicalization. Our method suggests how the Gamma class should arise from the Strominger-Yau-Zaslow conjecture. We use it to give a new proof of (a version of) the Gamma Conjecture for Batyrev pairs of mirror Calabi-Yau hypersurfaces. We propose a new method to compute asymptotics of periods using tropical geometry, in which the Riemann zeta values appear naturally as error terms in tropicalization. Our method suggests how the Gamma class should arise from the Strominger-Yau-Zaslow conjecture. We use it to give a new proof of (a version of) the Gamma Conjecture for Batyrev pairs of mirror Calabi-Yau hypersurfaces. △ Less

Submitted 23 May, 2022; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 55 pages, 7 figures, v3: added reference to arXiv:2205.00814, in which Yuto Yamamoto points out and fixes an error in our Lemma 5.6. The main results are unaffected

Journal ref: Geom. Topol. 24 (2020) 2547-2602

A sheaf-theoretic model for SL(2,C) Floer homology

Authors: Mohammed Abouzaid, Ciprian Manolescu

Abstract: Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an interse… ▽ More Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an intersection a perverse sheaf of vanishing cycles. We prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is independent of the Heegaard splitting. The hypercohomology of this sheaf can be viewed as a model for (the dual of) SL(2,C) instanton Floer homology. We also present a framed version of this construction, which takes into account reducible representations. We give explicit computations for lens spaces and Brieskorn spheres, and discuss the connection to the Kapustin-Witten equations and Khovanov homology. △ Less

Submitted 25 January, 2019; v1 submitted 1 August, 2017; originally announced August 2017.

Comments: 44 pages, 6 figures; final version, to appear in J. Eur. Math. Soc

MSC Class: 57M27 (Primary); 53D40; 57R58 (Secondary)

Homological mirror symmetry without corrections

Authors: Mohammed Abouzaid

Abstract: Let $X$ be a closed symplectic manifold equipped a Lagrangian torus fibration over a base $Q$. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space $Y$, which can be considered as a variant of the $T$-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in $X$ embeds… ▽ More Let $X$ be a closed symplectic manifold equipped a Lagrangian torus fibration over a base $Q$. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space $Y$, which can be considered as a variant of the $T$-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in $X$ embeds fully faithfully in the derived category of (twisted) coherent sheaves on $Y$, under the technical assumption that $π_2(Q)$ vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras. △ Less

Submitted 7 January, 2021; v1 submitted 22 March, 2017; originally announced March 2017.

Comments: 116 pages, 13 figures. Final version prior to publication

MSC Class: 53D37; 14G22

On fractional kinetic equations and their Sumudu transform multiparameter Struve functions based solutions

Authors: K. S. Nisar, F. B. M. Belgacem, M. S. Abouzaid

Abstract: This research paper treats fractional kinetic equations using the Sumudu transform operator. The exact solutions obtained are presented in terms of Struve functions of four parameters. By way of obtaining solutions some novel and useful and novel kinetic theorems are presented in light of the Sumudu properties. Results obtained in this study may be pragmatically used in many branches theoretical a… ▽ More This research paper treats fractional kinetic equations using the Sumudu transform operator. The exact solutions obtained are presented in terms of Struve functions of four parameters. By way of obtaining solutions some novel and useful and novel kinetic theorems are presented in light of the Sumudu properties. Results obtained in this study may be pragmatically used in many branches theoretical and experimental science applications, not the least of which are mathematical physics, and various engineering fields. △ Less

Submitted 17 January, 2017; originally announced January 2017.

MSC Class: 26A33; 44A10; 44A20; 33E12

Some Unified Integrals Associated with Generalized Bessel-Maitland Function

Authors: M. S. Abouzaid, A. H. Abusufian, K. S. Nisar

Abstract: Generalized integral formulas involving the generalized Bessel-Maitland function are considered and it expressed in terms of generalized Wright hypergeometric functions. By assuming appropriate values of the parameters in the main results, we obtained some interesting results of ordinary Bessel function. Generalized integral formulas involving the generalized Bessel-Maitland function are considered and it expressed in terms of generalized Wright hypergeometric functions. By assuming appropriate values of the parameters in the main results, we obtained some interesting results of ordinary Bessel function. △ Less

Submitted 27 May, 2016; originally announced May 2016.

MSC Class: 33C10; 33C20; 26A33; 33B15

Simple Homotopy Equivalence of Nearby Lagrangians

Authors: Mohammed Abouzaid, Thomas Kragh

Abstract: Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence. Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence. △ Less

Submitted 17 March, 2016; originally announced March 2016.

Comments: 21 pages, 9 figures

MSC Class: 53D12; 53D40; 19B99

Khovanov homology from Floer cohomology

Authors: Mohammed Abouzaid, Ivan Smith

Abstract: This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove the symplectic cup and cap bimodules which relate different symplectic arc algebra… ▽ More This paper realises the Khovanov homology of a link in the 3-sphere as a Lagrangian Floer cohomology group, establishing a conjecture of Seidel and the second author. The starting point is the previously established formality theorem for the symplectic arc algebra over a field k of characteristic zero. Here we prove the symplectic cup and cap bimodules which relate different symplectic arc algebras are themselves formal over k, and construct a long exact triangle for symplectic Khovanov cohomology. We then prove the symplectic and combinatorial arc algebras are isomorphic over the integers in a manner compatible with the cup bimodules. It follows that Khovanov homology and symplectic Khovanov cohomology co-incide in characteristic zero. △ Less

Submitted 21 May, 2018; v1 submitted 6 April, 2015; originally announced April 2015.

Comments: 77 pages, 16 figures. v2 (which dates from Dec 2017) corrects one topological hypothesis in the construction of the nc vector field (cf. Remark 3.2) and implements numerous other minor clarifications. This version to appear in JAMS

MSC Class: 53D40; 57M25

The family Floer functor is faithful

Authors: Mohammed Abouzaid

Abstract: Family Floer theory yields a functor from the Fukaya category of a symplectic manifold admitting a Lagrangian torus fibration to a (twisted) category of perfect complexes on the mirror rigid analytic space. This functor is shown to be faithful by a degeneration argument involving moduli spaces of annuli. Family Floer theory yields a functor from the Fukaya category of a symplectic manifold admitting a Lagrangian torus fibration to a (twisted) category of perfect complexes on the mirror rigid analytic space. This functor is shown to be faithful by a degeneration argument involving moduli spaces of annuli. △ Less

Submitted 11 July, 2016; v1 submitted 28 August, 2014; originally announced August 2014.

Comments: 70 pages, 24 figures. Final version, with substantially enhanced exposition, accepted for publication at JEMS

MSC Class: 53D40; 53D12; 14G22

Family Floer cohomology and mirror symmetry

Authors: Mohammed Abouzaid

Abstract: Ideas of Fukaya and Kontsevich-Soibelman suggest that one can use Strominger-Yau-Zaslow's geometric approach to mirror symmetry as a torus duality to construct the mirror of a symplectic manifold equipped with a Lagrangian torus fibration as a moduli space of simple objects of the Fukaya category supported on the fibres. In the absence of singular fibres, the construction of the mirror is explaine… ▽ More Ideas of Fukaya and Kontsevich-Soibelman suggest that one can use Strominger-Yau-Zaslow's geometric approach to mirror symmetry as a torus duality to construct the mirror of a symplectic manifold equipped with a Lagrangian torus fibration as a moduli space of simple objects of the Fukaya category supported on the fibres. In the absence of singular fibres, the construction of the mirror is explained in this framework, and, given a Lagrangian submanifold, a (twisted) coherent sheaf on the mirror is constructed. △ Less

Submitted 9 April, 2014; originally announced April 2014.

Comments: 25 pages, sectional ICM lecture

MSC Class: Primary 53D40; Secondary 14J33

Symplectic cohomology and Viterbo's theorem

Authors: Mohammed Abouzaid

Abstract: This is a research monograph on symplectic cohomology (disguised as an advanced graduate textbook), which provides a construction of this version of Hamiltonian Floer cohomology for cotangent bundles of closed manifolds. The focus is on the aspects of the theory that have been neglected in the literature: (1) the base is not assumed to be orientable or Spin, (2) local systems on the free loop spac… ▽ More This is a research monograph on symplectic cohomology (disguised as an advanced graduate textbook), which provides a construction of this version of Hamiltonian Floer cohomology for cotangent bundles of closed manifolds. The focus is on the aspects of the theory that have been neglected in the literature: (1) the base is not assumed to be orientable or Spin, (2) local systems on the free loop space are used to define twisted versions of Floer cohomology, (3) a (twisted) Batalin-Vilkovisky structure is constructed, and (4) the BV relation is verified. In this setting (i.e. with all the appropriate twists), a proof of Viterbo's theorem relating symplectic cohomology to the homology of the free loop space is provided, and we show that this map respects the BV structure. Viterbo's theorem is proved by constructing three different maps relating the two sides, and proving that two of the compositions are isomorphisms by using degenerations of moduli spaces of genus 0 Riemann surfaces with boundary. Two of the maps constructed are new, and use ideas inspired by a Lagrangian version of family Floer cohomology. △ Less

Submitted 24 January, 2014; v1 submitted 11 December, 2013; originally announced December 2013.

Comments: 184 pages, 26 figures. Minor corrections in version 2

MSC Class: 53D40; 55P35

The symplectic arc algebra is formal

Authors: Mohammed Abouzaid, Ivan Smith

Abstract: We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology, over fields of characteristic zero. The key ingredient is the construction of a degree one Hochschild cohomology class on a Floer A-infinity algebra associated to the (k,k)-nilpotent slice Y, obtained by counting holomorphic discs which satisfy a suitable conormal condition… ▽ More We prove a formality theorem for the Fukaya categories of the symplectic manifolds underlying symplectic Khovanov cohomology, over fields of characteristic zero. The key ingredient is the construction of a degree one Hochschild cohomology class on a Floer A-infinity algebra associated to the (k,k)-nilpotent slice Y, obtained by counting holomorphic discs which satisfy a suitable conormal condition at infinity in a partial compactification of Y. The partial compactification is obtained as the Hilbert scheme of a partial compactification of a Milnor fibre. A sequel to this paper will prove formality of the symplectic cup and cap bimodules, and infer that symplectic Khovanov cohomology and Khovanov cohomology have the same total rank over characteristic zero fields. △ Less

Submitted 19 October, 2015; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: 58 pages, 15 figures. Final version: minor corrections

MSC Class: 53D40; 57M25

Journal ref: Duke Math. J. 165, no. 6 (2016), 985-1060

On the immersion classes of nearby Lagrangians

Authors: Mohammed Abouzaid, Thomas Kragh

Abstract: We show that the transfer map on Floer homotopy types associated to an exact Lagrangian embedding is an equivalence. This provides an obstruction to representing isotopy classes of Lagrangian immersions by Lagrangian embeddings, which, unlike previous obstructions, is sensitive to information that cannot be detected by Floer cochains. We show this by providing a concrete computation in the case of… ▽ More We show that the transfer map on Floer homotopy types associated to an exact Lagrangian embedding is an equivalence. This provides an obstruction to representing isotopy classes of Lagrangian immersions by Lagrangian embeddings, which, unlike previous obstructions, is sensitive to information that cannot be detected by Floer cochains. We show this by providing a concrete computation in the case of spheres. △ Less

Submitted 28 October, 2015; v1 submitted 29 May, 2013; originally announced May 2013.

Comments: 14 pages. Minor revisions in the second version. Minor revisions in the third version and accepted for publication by the Journal of Topology

MSC Class: 53D40; 55P35; 55P42

Lagrangian fibrations on blowups of toric varieties and mirror symmetry for hypersurfaces

Authors: Mohammed Abouzaid, Denis Auroux, Ludmil Katzarkov

Abstract: We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields… ▽ More We consider mirror symmetry for (essentially arbitrary) hypersurfaces in (possibly noncompact) toric varieties from the perspective of the Strominger-Yau-Zaslow (SYZ) conjecture. Given a hypersurface $H$ in a toric variety $V$ we construct a Landau-Ginzburg model which is SYZ mirror to the blowup of $V\times\mathbb{C}$ along $H\times 0$, under a positivity assumption. This construction also yields SYZ mirrors to affine conic bundles, as well as a Landau-Ginzburg model which can be naturally viewed as a mirror to $H$. The main applications concern affine hypersurfaces of general type, for which our results provide a geometric basis for various mirror symmetry statements that appear in the recent literature. We also obtain analogous results for complete intersections. △ Less

Submitted 29 July, 2015; v1 submitted 30 April, 2012; originally announced May 2012.

Comments: 83 pages; v2: added appendix discussing the analytic structure on moduli of objects in the Fukaya category; v3: further clarifications in response to referee report; v4: further clarifications throughout, especially sections 4 and 7 and appendix A; added appendix B on the geometry of reduced spaces

Exact Lagrangians in plumbings

Authors: Mohammed Abouzaid, Ivan Smith

Abstract: Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A2-Milnor fibres of arbitrary dimension, derive constraints on exa… ▽ More Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A2-Milnor fibres of arbitrary dimension, derive constraints on exact Lagrangian fillings of Legendrian unknots in disk cotangent bundles, and prove that the categorical equivalence given by the spherical twist in a homology sphere is typically not realised by any compactly supported symplectomorphism. △ Less

Submitted 27 March, 2012; v1 submitted 1 July, 2011; originally announced July 2011.

Comments: 39 pages, 5 figures. Versions 2,3: minor corrections and clarifications

MSC Class: 53D37; 53D12

Homological mirror symmetry for punctured spheres

Authors: Mohammed Abouzaid, Denis Auroux, Alexander I. Efimov, Ludmil Katzarkov, Dmitri Orlov

Abstract: We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side a… ▽ More We prove that the wrapped Fukaya category of a punctured sphere ($S^2$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that cyclic covers on the symplectic side are mirror to orbifold quotients of the Landau-Ginzburg model. △ Less

Submitted 12 May, 2014; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: 38 pages, 5 figures; v2: minor revisions (similar to published version)

MSC Class: 53D37; 14J33 (Primary); 53D40; 53D12; 18E30; 14F05 (Secondary)

Journal ref: J. Amer. Math. Soc. 26 (2013), 1051-1083

Altering symplectic manifolds by homologous recombination

Authors: Mohammed Abouzaid, Paul Seidel

Abstract: We use symplectic cohomology to study the non-uniqueness of symplectic structures on the smooth manifolds underlying affine varieties. Starting with a Lefschetz fibration on such a variety and a finite set of primes, the main new tool is a method, which we call homologous recombination, for constructing a Lefschetz fibration whose total space is smoothly equivalent to the original variety, but for… ▽ More We use symplectic cohomology to study the non-uniqueness of symplectic structures on the smooth manifolds underlying affine varieties. Starting with a Lefschetz fibration on such a variety and a finite set of primes, the main new tool is a method, which we call homologous recombination, for constructing a Lefschetz fibration whose total space is smoothly equivalent to the original variety, but for which symplectic cohomology with coefficients in the given set of primes vanishes (there is also a simpler version that kills symplectic cohomology completely). Rather than relying on a geometric analysis of periodic orbits of a flow, the computation of symplectic cohomology depends on describing the Fukaya category associated to the new fibration. As a consequence of this and a result of McLean we prove, for example, that an affine variety of real dimension greater than 4 supports infinitely many different (Wein)stein structures of finite type, and, assuming a mild cohomological condition, uncountably many different ones of infinite type. In addition, we introduce a notion of complexity which measures the number of handle attachments required to construct a given Weinstein manifold, and prove that, in dimensions greater than or equal to 12, one may ensure that the infinitely many different Weinstein manifolds smoothly equivalent to a given algebraic variety have bounded complexity. △ Less

Submitted 2 August, 2010; v1 submitted 19 July, 2010; originally announced July 2010.

Comments: 35 pages, 6 figures. Expanded discussion of the construction of symplectic cohomology in the SFT framework with arbitrary coefficients

MSC Class: 32Q28; 57R17; 53D42; 53D37

Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

Authors: Mohammed Abouzaid

Abstract: We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local sy… ▽ More We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is simply connected, this generation statement implies that the universal covering of every closed exact Lagrangian of vanishing Maslov index is trivial. Finally, we borrow ideas from coarse geometry to develop a Fukaya category associated to the universal cover, allowing us to prove the result in the general case. △ Less

Submitted 16 October, 2011; v1 submitted 3 May, 2010; originally announced May 2010.

Comments: 46 pages, 5 figures. Minor changes for the final version to appear in Inventiones

MSC Class: 53D12; 53D40; 53D37

A cotangent fibre generates the Fukaya category

Authors: Mohammed Abouzaid

Abstract: We prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the Fukaya category using a version of the map from symplectic cohomology to the homology of the free loop space introduced by Cieliebak and Latschev. We prove that the algebra of chains on the based loop space recovers the derived (wrapped) Fukaya category of the cotangent bundle of a closed smooth orientable manifold. The main new idea is the proof that a cotangent fibre generates the Fukaya category using a version of the map from symplectic cohomology to the homology of the free loop space introduced by Cieliebak and Latschev. △ Less

Submitted 7 June, 2011; v1 submitted 23 March, 2010; originally announced March 2010.

Comments: 40 pages, 10 figures. Minor changes. Final version to appear in Advances in Mathematics

MSC Class: 53D37 (Primary); 55P50 (Secondary)

A geometric criterion for generating the Fukaya category

Authors: Mohammed Abouzaid

Abstract: Given a collection of exact Lagrangians in a Liouville manifold, we construct a map from the Hochschild homology of the Fukaya category that they generate to symplectic cohomology. Whenever the identity in symplectic cohomology lies in the image of this map, we conclude that every Lagrangian lies in the idempotent closure of the chosen collection. The main new ingredients are (1) the construction… ▽ More Given a collection of exact Lagrangians in a Liouville manifold, we construct a map from the Hochschild homology of the Fukaya category that they generate to symplectic cohomology. Whenever the identity in symplectic cohomology lies in the image of this map, we conclude that every Lagrangian lies in the idempotent closure of the chosen collection. The main new ingredients are (1) the construction of operations controlled by discs with two outputs on the Fukaya category, and (2) the Cardy relation. △ Less

Submitted 29 September, 2010; v1 submitted 26 January, 2010; originally announced January 2010.

Comments: 42 pages, 4 figures. Minor changes. Final version to appear in Publ. IHES

MSC Class: 53D37; 53D12 (Primary); 19D55 (Secondary)

On the wrapped Fukaya category and based loops

Authors: Mohammed Abouzaid

Abstract: Given an exact relatively Pin Lagrangian embedding Q in a symplectic manifold M, we construct an A-infinity restriction functor from the wrapped Fukaya category of M to the category of modules on the differential graded algebra of chains over the based loop space of Q. If M is the cotangent bundle of Q, this functor induces an A-infinity equivalence between the wrapped Floer cohomology of a cotang… ▽ More Given an exact relatively Pin Lagrangian embedding Q in a symplectic manifold M, we construct an A-infinity restriction functor from the wrapped Fukaya category of M to the category of modules on the differential graded algebra of chains over the based loop space of Q. If M is the cotangent bundle of Q, this functor induces an A-infinity equivalence between the wrapped Floer cohomology of a cotangent fibre and the chains over the based loop space of Q, extending a result proved by Abbondandolo and Schwarz at the level of homology. △ Less

Submitted 11 October, 2010; v1 submitted 31 July, 2009; originally announced July 2009.

Comments: 44 pages, 9 figures. Corrected a sign error in the comparison between wrapped Floer cohomology and the homology of the based loop space

MSC Class: 53D40; 57R17

A topological model for the Fukaya categories of plumbings

Authors: Mohammed Abouzaid

Abstract: We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given a pair of smooth manifolds of the same dimension with embeddings of a submanifold B with isomorphic normal bundles, we construct a differentia… ▽ More We prove that the algebra of singular cochains on a smooth manifold, equipped with the cup product, is equivalent to the A-infinity structure on the Lagrangian Floer cochain group associated to the zero section in the cotangent bundle. More generally, given a pair of smooth manifolds of the same dimension with embeddings of a submanifold B with isomorphic normal bundles, we construct a differential graded category from the singular cochains of these spaces, and prove that it is equivalent to the A-infinity category obtained by considering exact Lagrangian embeddings intersecting cleanly along B. △ Less

Submitted 28 July, 2010; v1 submitted 9 April, 2009; originally announced April 2009.

Comments: 67 pages, 12 figures, incorporated referee comments, and changed the discussion of compactness

MSC Class: 53D40; 57R17

Homological mirror symmetry for the four-torus

Authors: Mohammed Abouzaid, Ivan Smith

Abstract: We use the quilt formalism of Mau-Wehrheim-Woodward to give a sufficient condition for a finite collection of Lagrangian submanifolds to split-generate the Fukaya category, and deduce homological mirror symmetry for the standard 4-torus. As an application, we study Lagrangian genus two surfaces of Maslov class zero, deriving numerical restrictions on the intersections of such a surface with line… ▽ More We use the quilt formalism of Mau-Wehrheim-Woodward to give a sufficient condition for a finite collection of Lagrangian submanifolds to split-generate the Fukaya category, and deduce homological mirror symmetry for the standard 4-torus. As an application, we study Lagrangian genus two surfaces of Maslov class zero, deriving numerical restrictions on the intersections of such a surface with linear Lagrangian 2-tori in in the 4-torus. △ Less

Submitted 31 July, 2009; v1 submitted 17 March, 2009; originally announced March 2009.

Comments: 56 pages, 5 figures. The new version has been completely reorganised and includes longer explanations in the algebraic sections

Journal ref: Duke Math. J. 152, no. 3 (2010), 373-440

Framed bordism and Lagrangian embeddings of exotic spheres

Authors: Mohammed Abouzaid

Abstract: In dimensions congruent to 1 modulo 4, we prove that the cotangent bundle of an exotic sphere which does not bound a parallelisable manifold is not symplectomorphic to the cotangent bundle of the standard sphere. More precisely, we prove that such an exotic sphere cannot embed as a Lagrangian in the cotangent bundle of the standard sphere. The main ingredients of the construction are (1) the fact… ▽ More In dimensions congruent to 1 modulo 4, we prove that the cotangent bundle of an exotic sphere which does not bound a parallelisable manifold is not symplectomorphic to the cotangent bundle of the standard sphere. More precisely, we prove that such an exotic sphere cannot embed as a Lagrangian in the cotangent bundle of the standard sphere. The main ingredients of the construction are (1) the fact that the graph of the Hopf fibration embeds the standard sphere, and hence any Lagrangian which embeds in its cotangent bundle, as a displaceable Lagrangian in the product a symplectic vector space of the appropriate dimension with its complex projective space, and (2) a moduli space of solutions to a perturbed Cauchy-Riemann equation introduced by Gromov. △ Less

Submitted 3 January, 2011; v1 submitted 29 December, 2008; originally announced December 2008.

Comments: 98 pages, 2 figures. Reorganised discussion of the gluing theorem in accordance with referee requests. Version accepted by Annals of Mathematics

MSC Class: 53D12; 57R60

An open string analogue of Viterbo functoriality

Authors: Mohammed Abouzaid, Paul Seidel

Abstract: Liouville domains are a special type of symplectic manifolds with boundary (they have an everywhere defined Liouville flow, pointing outwards along the boundary). Symplectic cohomology for Liouville domains was introduced by Cieliebak-Floer-Hofer-Wysocki and Vitero. The latter constructed a restriction (or transfer) map associated to an embedding of one Liouville domain into another. In this p… ▽ More Liouville domains are a special type of symplectic manifolds with boundary (they have an everywhere defined Liouville flow, pointing outwards along the boundary). Symplectic cohomology for Liouville domains was introduced by Cieliebak-Floer-Hofer-Wysocki and Vitero. The latter constructed a restriction (or transfer) map associated to an embedding of one Liouville domain into another. In this preprint, we look at exact Lagrangian submanifolds with Legendrian boundary inside a Liouville domain. The analogue of symplectic cohomology for such submanifolds is called "wrapped Floer cohomology". We construct an A_\infty-structure on the underlying wrapped Floer complex, and (under suitable assumptions) an A_\infty-homomorphism realizing the restriction to a Liouville subdomain. The construction of the A_\infty-structure relies on an implementation of homotopy direct limits, and involves some new moduli spaces which are solutions of generalized continuation map equations. △ Less

Submitted 25 August, 2009; v1 submitted 19 December, 2007; originally announced December 2007.

Comments: 71 pages, 9 figures, minor revision correcting typographical errors and clarifying the exposition following a referee's comments

MSC Class: 53D40

Journal ref: Geom. Topol. 14 (2010) 627-718

Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties

Authors: Mohammed Abouzaid

Abstract: Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties. Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties. △ Less

Submitted 21 April, 2009; v1 submitted 29 September, 2006; originally announced October 2006.

Comments: Final version. 75 pages, 12 figures

MSC Class: 14J32 (Primary); 53D40; 58E05 (Secondary)

Initial growth behavior and resulting microstructural properties of heteroepitaxial ZnO thin films on sapphire (0001) substrates

Authors: C. Liu, S. H. Chang, T. W. Noh, M. Abouzaid, P. Ruterana, H. H. Lee, D. -W. Kim, J. -S. Chung

Abstract: We have investigated the initial growth behavior and resulting microstructural properties of heteroepitaxial ZnO thin films prepared by pulsed laser deposition on sapphire (0001) substrates. High-resolution x-ray diffraction and transmission electron microscopy studies revealed that the initial growth behavior and the microstructure of the films significantly depend on the growth parameters. ZnO… ▽ More We have investigated the initial growth behavior and resulting microstructural properties of heteroepitaxial ZnO thin films prepared by pulsed laser deposition on sapphire (0001) substrates. High-resolution x-ray diffraction and transmission electron microscopy studies revealed that the initial growth behavior and the microstructure of the films significantly depend on the growth parameters. ZnO films grown at 700 oC with 20 mTorr O2 partial pressure initiated with a columnar growth mode and contained two kinds of domains. These domains were in-plane orientated either ZnO[112-0]//Al2O3[101-0] or ZnO[101-0]//Al2O3[101-0], and were surrounded by highly defective domain boundaries with threading dislocations. The films grown at 800 oC with 1 mTorr O2 showed 2-dimensional layered growth with only one in-plane epitaxial relationship, ZnO[112-0]//Al2O3[101-0]. Most of the defects in the layered grown films were basal plane stacking faults near the interface between ZnO and the substrate. The formation mechanism of the 30o-twisted domains with the in-plane orientation of ZnO[101-0]//Al2O3[101-0] is discussed. △ Less

Submitted 22 August, 2006; originally announced August 2006.

Comments: 20 pages, 4 figures

On the Fukaya Categories of Higher Genus Surfaces

Authors: Mohammed Abouzaid

Abstract: We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category. We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category. △ Less

Submitted 30 August, 2007; v1 submitted 23 June, 2006; originally announced June 2006.

Comments: 40 pages, 17 figures. Final Version

MSC Class: 57R58; 57N05

Homogeneous coordinate rings and mirror symmetry for toric varieties

Authors: Mohammed Abouzaid

Abstract: Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X. Given a smooth toric variety X and an ample line bundle O(1), we construct a sequence of Lagrangian submanifolds of (C^*)^n with boundary on a level set of the Landau-Ginzburg mirror of X. The corresponding Floer homology groups form a graded algebra under the cup product which is canonically isomorphic to the homogeneous coordinate ring of X. △ Less

Submitted 1 March, 2009; v1 submitted 26 November, 2005; originally announced November 2005.

Comments: This is the version published by Geometry & Topology on 24 August 2006

MSC Class: 14J32; 53D40

Journal ref: Geom. Topol. 10 (2006) 1097-1156

The moduli space of flat G-bundles on a compact hyper-Kahler manifold

Authors: Mohammed Abouzaid, Mitya Boyarchenko

Abstract: We prove that if G is a compact connected Lie group and X is a compact connected hyper-Kahler manifold, then the L^2 metric on (the smooth locus of) the moduli space of flat G-bundles on X is a hyper-Kahler metric. We prove that if G is a compact connected Lie group and X is a compact connected hyper-Kahler manifold, then the L^2 metric on (the smooth locus of) the moduli space of flat G-bundles on X is a hyper-Kahler metric. △ Less

Submitted 9 June, 2005; originally announced June 2005.

Comments: LaTeX, 4 pages. All comments are welcome

Local structure of generalized complex manifolds

Authors: Mohammed Abouzaid, Mitya Boyarchenko

Abstract: We study generalized complex manifolds from the point of view of symplectic and Poisson geometry. We start by showing that every generalized complex manifold admits a canonical Poisson structure. We use this fact, together with Weinstein's classical result on the local normal form of Poisson manifolds, to prove a local structure theorem for generalized complex manifolds which extends the result… ▽ More We study generalized complex manifolds from the point of view of symplectic and Poisson geometry. We start by showing that every generalized complex manifold admits a canonical Poisson structure. We use this fact, together with Weinstein's classical result on the local normal form of Poisson manifolds, to prove a local structure theorem for generalized complex manifolds which extends the result Gualtieri has obtained in the "regular" case. Finally, we begin a study of the local structure of a generalized complex manifold in a neighborhood of a point where the associated Poisson tensor vanishes. In particular, we show that in such a neighborhood, a "first-order approximation" to the generalized complex structure is encoded in the data of a constant B-field and a complex Lie algebra. △ Less

Submitted 3 December, 2004; originally announced December 2004.

Comments: 18 pages, Latex