Homological mirror symmetry for the quartic surface

The Mori Program and Non-Fano Toric Homological Mirror Symmetry

In the case of toric varieties, we continue the pursuit of Kontsevich's fundamental insight, Homological Mirror Symmetry, by unifying it with the Mori program. We give a refined conjectural version of Homological Mirror Symmetry relating semi-orthogonal decompositions of the $B$-model on toric varieties to semi-orthogonal decompositions on the $A$-model on the mirror Landau-Ginzburg models. As evidence, we prove a new case of Homological Mirror Symmetry for a toric surface whose anticanonical bundle is not nef, namely a certain blow-up of $¶^2$ at three infinitesimally near points.

Tropical coamoeba and torus-equivariant homological mirror symmetry for the projective space

We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.

Homological mirror symmetry for the quintic 3-fold

We prove homological mirror symmetry for the quintic Calabi-Yau 3-fold. The proof follows that for the quartic surface by Seidel (arXiv:math/0310414) closely, and uses a result of Sheridan (arXiv:1012.3238). In contrast to Sheridan's approach (arXiv:1111.0632), our proof gives the compatibility of homological mirror symmetry for the projective space and its Calabi-Yau hypersurface.

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

Given an algebraic hypersurface $H=f^{-1}(0)$ in $(\mathbb{C}^*)^n$, homological mirror symmetry relates the wrapped Fukaya category of $H$ to the derived category of singularities of the mirror Landau-Ginzburg model. We propose an enriched version of this picture which also features the wrapped Fukaya category of the complement $(\mathbb{C}^*)^n\setminus H$ and the Fukaya-Seidel category of the Landau-Ginzburg model $((\mathbb{C}^*)^n,f)$. We illustrate our speculations on simple examples, and sketch a proof of homological mirror symmetry for higher-dimensional pairs of pants.

On homological mirror symmetry for the complement of a smooth ample divisor in a K3 surface

We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.

Aspects of functoriality in homological mirror symmetry for toric varieties

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…

Homological mirror symmetry for punctured spheres

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.

Lagrangian torus fibrations and homological mirror symmetry for the conifold

We discuss homological mirror symmetry for the conifold from the point of view of the Strominger-Yau-Zaslow conjecture.

关于单子结构和同调镜像对称的 remarks

A remark on monoidal structure and homological mirror symmetry

本文研究了单子结构在同调镜像对称中的作用，证明单子结构决定了同调镜像 functor。

Homological mirror symmetry for the genus two curve

Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. We prove a version of this conjecture in the simplest example, relating the Fukaya category of a genus two curve to the category of Landau-Ginzburg branes on a certain singular rational surface.

Homological mirror symmetry for generalized Greene-Plesser mirrors

We prove Kontsevich's homological mirror symmetry conjecture for certain mirror pairs arising from Batyrev-Borisov's `dual reflexive Gorenstein cones' construction. In particular we prove HMS for all Greene-Plesser mirror pairs (i.e., Calabi-Yau hypersurfaces in quotients of weighted projective spaces). We also prove it for certain mirror Calabi-Yau complete intersections arising from Borisov's construction via dual nef partitions, and also for certain Calabi-Yau complete intersections which do not have a Calabi-Yau mirror, but instead are mirror to a Calabi-Yau subcategory of the derived cate…

二元可逆多项式的同调镜像对称性

Homological mirror symmetry for invertible polynomials in two variables

针对二元可逆多项式，本文在B侧采用极大对称群，借助Milnor纤维的显式粘合构造证明同调镜像对称，并导出若干含非平凡一般稳定子的节点堆叠曲线间的等价关系。

Homological mirror symmetry for Brieskorn-Pham singularities

We prove that the derived Fukaya category of the Lefschetz fibration defined by a Brieskorn-Pham polynomial is equivalent to the triangulated category of singularities associated with the same polynomial together with a grading by an abelian group of rank one. Symplectic Picard-Lefschetz theory developed by Seidel is an essential ingredient of the proof.

Homological mirror symmetry for the four-torus

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.

Meet homological mirror symmetry

In this paper, we introduce the interested reader to homological mirror symmetry. After recalling a little background knowledge, we tackle the simplest cases of homological mirror symmetry: curves of genus zero and one. We close by outlining the current state of the field and mentioning what homo- logical mirror symmetry has to say about other aspects of mirror symmetry.

The Coherent-Constructible Correspondence and Homological Mirror Symmetry for Toric Varieties

This is an expository article describing recent results of the authors and David Nadler on microlocalization, the Fukaya category, and coherent sheaves on toric varieties. The original papers are arXiv:math/0604379, arXiv:math/0612399 and arXiv:0811.1228v1.

Homological mirror symmetry for Milnor fibers of simple singularities

We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one.

非常仿射超曲面的Fukaya范畴间函子的同调镜像对称性

Homological mirror symmetry for functors between Fukaya categories of very affine hypersurfaces

本文证明非常仿射超曲面的同调镜像对称性与部分缠绕Fukaya范畴间的辛函子相容，发现补集具有两个由Knörrer周期性关联的自然镜像，并据此修正Auroux猜想，同时提出Liouville流形粘合新方法。

加权射影空间的同调镜像对称与Morse同伦

Homological mirror symmetry for weighted projective spaces and Morse Homotopy

本文将环面流形上的加权Morse同伦范畴与凝聚层导出范畴的同调镜像对称研究推广至环面轨形，讨论了加权射影空间的对应版本同调镜像对称。

Greene--Plesser 镜像的镜像映射整性与算术同调镜像对称性

Integrality of mirror maps and arithmetic homological mirror symmetry for Greene--Plesser mirrors

本文通过同调镜像对称性的算术精化证明了 Greene--Plesser 镜像对的镜像映射整性猜想，并利用新的通用性论证在所有具有良好约化的特征下推广了同调镜像对称性。

Homological mirror symmetry for $A_n$-resolutions as a $T$-duality

We study Homological Mirror Symmetry (HMS) for $A_n$-resolutions from the SYZ viewpoint. Let $X\to\bC^2/\bZ_{n+1}$ be the crepant resolution of the $A_n$-singularity. The mirror of $X$ is given by a smoothing $\check{X}$ of $\bC^2/\bZ_{n+1}$. Using SYZ transformations, we construct a geometric functor from a derived Fukaya category of $\check{X}$ to the derived category of coherent sheaves on $X$. We show that this is an equivalence of triangulated categories onto a full triangulated subcategory of $D^b(X)$, thus realizing Kontsevich's HMS conjecture by SYZ.

Homological mirror symmetry and Fourier-Mukai transform

We interpret symplectic geometry as certain sheaf theory by constructing a sheaf of curved A_\infty algebras which in some sense plays the role of a "structure sheaf" for symplectic manifolds. An interesting feature of this "structure sheaf" is that the symplectic form itself is part of its curvature term. Using this interpretation homological mirror symmetry can be understood by well-known duality theories in mathematics: Koszul duality or Fourier- Mukai transform. In this paper we perform the above constructions over a small open subset inside the smooth locus of a Lagrangian torus fibration…

Morse Homology, Tropical Geometry, and Homological Mirror Symmetry 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.

Homological mirror symmetry is T-duality for $\mathbb P^n$

In this paper, we apply the idea of T-duality to projective spaces. From a connection on a line bundle on $\mathbb P^n$, a Lagrangian in the mirror Landau-Ginzburg model is constructed. Under this correspondence, the full strong exceptional collection $\mathcal O_{\mathbb P^n}(-n-1),...,\mathcal O_{\mathbb P^n}(-1)$ is mapped to standard Lagrangians in the sense of \cite{nz}. Passing to constructible sheaves, we explicitly compute the quiver structure of these Lagrangians, and find that they match the quiver structure of this exceptional collection of $\mathbb P^n$. In this way, T-duality prov…

Ring isomorphisms of closed string via homological mirror symmetry

We investigate how ring isomorphisms between mirror closed states of compact toric Fano manifolds come from homological mirror symmetry. A natural closed-open relation on B-side is also discussed.

射影 K3 曲面的同调镜像对称

Homological mirror symmetry for projective K3 surfaces

本文证明了Kontsevich针对射影K3曲面的同调镜像对称猜想，建立了射影K3曲面的Fukaya范畴与其镜像上凝聚层导出范畴的等价关系，扩展了此前关于四次曲面等情形的研究成果。

$\u000bmathbb{C}$ 与 $\u000bmathbb{C}P^1$ 的等变同调镜像对称性

Equivariant Homological Mirror Symmetry for $\mathbb{C}$ and $\mathbb{C} P^1$

研究借助 Cartan 模型为 $\u000bmathbb{C}$ 和 $\u000bmathbb{C}P^1$ 构建等变 Floer $A_\infty$ 代数，并证明其等变 Lagrangian branes 范畴与 Givental 势函数的矩阵分解范畴等价。

Homological mirror symmetry for open Riemann surfaces from pair-of-pants decompositions

Given a punctured Riemann surface with a pair-of-pants decomposition, we compute its wrapped Fukaya category in a suitable model by reconstructing it from those of various pairs of pants. The pieces are glued together in the sense that the restrictions of the wrapped Floer complexes from two adjacent pairs of pants to their adjoining cylindrical piece agree. The $A_\infty$-structures are given by those in the pairs of pants. The category of singularities of the mirror Landau-Ginzburg model can also be constructed in the same way from local affine pieces that are mirrors of the pairs of pants.

轨道对数卡拉比-亚多夫表面的同调镜像对称

Homological mirror symmetry for orbifold log Calabi-Yau surfaces

本文在大复结构极限下证明了轨道对数卡拉比-亚多夫表面的同调镜像对称，通过构造与每对（X,D）相关的抽象Lefschetz纤维，其中X是具有孤立环形商点的射影有理面，D是一个堆叠反 canonical 分子。此外，作者还通过一个由轨道del Pezzo表面组成的例子，将抽象构造与显式Laurent多项式镜像联系起来。

An Introduction to Homological Mirror Symmetry and the Case of Elliptic Curves

Here we carefully construct an equivalence between the derived category of coherent sheaves on an elliptic curve and a version of the Fukaya category on its mirror. This is the most accessible case of homological mirror symmetry. We also provide introductory background on the general Calabi-Yau case of The Homological Mirror Symmetry Conjecture.

Homological Mirror Symmetry for manifolds of general type

In this paper we outline a setup for Homological Mirror Symmetry for manifolds of general type. Both Physics and Categorical perspectives are considered.

$(\u2102^*)^n$中超曲面的同调镜像对称

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

该研究证明$(\u2102^*)^n$中极大退化超曲面族的同调镜像对称，通过定义纤维式缠绕Fukaya范畴构造对应拉格朗日子流形，得出凝聚层导出范畴拟嵌入镜像范畴的结论，还提及完全交推广方向。

On homological mirror symmetry for chain type polynomials

We consider Takahashi's categorical interpretation of the Berglund-Hubsch mirror symmetry conjecture for invertible polynomials in the case of chain polynomials. Our strategy is based on a stronger claim that the relevant categories satisfy a recursion of directed $A_{\infty}$-categories, which may be of independent interest. We give a full proof of this claim on the B-side. On the A-side we give a detailed sketch of an argument, which falls short of a full proof because of certain missing foundational results in Fukaya-Seidel categories, most notably a generation statement.

大体积处的同调镜像对称

Homological mirror symmetry at large volume

本文将大体积镜像构造为 Weinstein 辛流形，证明其 Fukaya 范畴与环面簇凝聚层范畴等价，并由此推出 Seidel 猜想的 Viterbo 限制局部到整体原理。

Homological Berglund-Hübsch mirror symmetry for curve singularities

Given a two-variable invertible polynomial, we show that its category of maximally-graded matrix factorisations is quasi-equivalent to the Fukaya-Seidel category of its Berglund-Hübsch transpose. This was previously shown for Brieskorn-Pham and $D$-type singularities by Futaki-Ueda. The proof involves explicit construction of a tilting object on the B-side, and comparison with a specific basis of Lefschetz thimbles on the A-side.

Noncommutative homological mirror functor

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 under…

关于环带退化内蕴同调镜像对称性

On intrinsic homological mirror symmetry for toric degenerations

本文针对Calabi--Yau流形的极大单能退化，利用固定点Floer上同调构造候选镜像族，并在热带拉格朗日截面存在时建立导出范畴到Fukaya范畴的完全忠实嵌入，验证了若干环带退化情形。

On homological mirror symmetry of toric Calabi-Yau three-folds

We use Lagrangian torus fibrations on the mirror $X$ of a toric Calabi-Yau threefold $\check X$ to construct Lagrangian sections and various Lagrangian spheres on $X$. We then propose an explicit correspondence between the sections and line bundles on $\check X$ and between spheres and sheaves supported on the toric divisors of $\check X$. We conjecture that these correspondences induce an embedding of the relevant derived Fukaya category of $X$ inside the derived category of coherent sheaves on $\check X$.

Homological mirror symmetry for elliptic Hopf surfaces

We show homological mirror symmetry results relating coherent analytic sheaves on some complex elliptic surfaces and objects of certain Fukaya categories. We first define the notion of a non-algebraic Landau-Ginzburg model on $\mathbb{R} \times S^1$ and its associated Fukaya category, and show that non-Kähler sur-faces obtained by performing two logarithmic transformations to the product of the projective plane and an elliptic curve have non-algebraic Landau-Ginzburg models as their mirror spaces; this class of surface includes the classical Hopf surface $S^1\times S^3$ and other elliptic prim…

Homological mirror symmetry for hypersurface cusp singularities

We study versions of homological mirror symmetry for hypersurface cusp singularities and the three hypersurface simple elliptic singularities. We show that the Milnor fibres of each of these carries a distinguished Lefschetz fibration; its derived directed Fukaya category is equivalent to the derived category of coherent sheaves on a smooth rational surface $Y_{p,q,r}$. By using localization techniques on both sides, we get an isomorphism between the derived wrapped Fukaya category of the Milnor fibre and the derived category of coherent sheaves on a quasi-projective surface given by deleting …

通过Morse同伦的环面Fano曲面的同调镜像对称

Homological mirror symmetry of toric Fano surfaces via Morse homotopy

应用SYZ构造于环面Fano曲面，通过考虑矩多面体的Morse同伦而非Fukaya范畴来讨论同调镜像对称。

Homological mirror symmetry of Fermat polynomials

We discuss homological mirror symmetry of Fermat polynomials in terms of derived Morita equivalence between derived categories of coherent sheaves and Fukaya-Seidel categories (a.k.a. perfect derived categories of directed Fukaya categories), and some related aspects such as stability conditions, (kinds of) modular forms, and Hochschild homologies.

Homological Mirror Symmetry for Calabi-Yau hypersurfaces in projective space

We prove Homological Mirror Symmetry for a smooth d-dimensional Calabi-Yau hypersurface in projective space, for any d > 2 (for example, d = 3 is the quintic three-fold). The main techniques involved in the proof are: the construction of an immersed Lagrangian sphere in the `d-dimensional pair of pants'; the introduction of the `relative Fukaya category', and an understanding of its grading structure; a description of the behaviour of this category with respect to branched covers (via an `orbifold' Fukaya category); a Morse-Bott model for the relative Fukaya category that allows one to make ex…

Homological mirror symmetry of $\mathbb{F}_1$ via Morse homotopy

This is a sequel to our paper arXiv:2008.13462, where we proposed a definition of the Morse homotopy of the moment polytope of toric manifolds. Using this as the substitute of the Fukaya category of the toric manifolds, we proved a version of homological mirror symmetry for the projective spaces and their products via Strominger-Yau-Zaslow construction of the mirror dual Landau-Ginzburg model. In this paper we go this way further and extend our previous result to the case of the Hirzebruch surface $\mathbb{F}_1$.

结点栈式曲线的同调镜像对称

Homological mirror symmetry for nodal stacky curves

本研究通过将B模型视为栈式射影线的环、推广已有方法使曲线不可约分支具非平凡一般稳定子群，证明了A模型为可逆曲线奇点米尔诺纤维有限商的同调镜像对称，验证了相关猜想，所得中间结果也具独立价值。

Dual torus fibrations and homological mirror symmetry for A_n-singularities

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.

Homological mirror symmetry for Milnor fibers via moduli of $A_\infty$-structures

We show that the base spaces of the semiuniversal unfoldings of some weighted homogeneous singularities can be identified with moduli spaces of $A_\infty$-structures on the trivial extension algebras of the endomorphism algebras of the tilting objects. The same algebras also appear in the Fukaya categories of their mirrors. Based on these identifications, we discuss applications to homological mirror symmetry for Milnor fibers, and give a proof of homological mirror symmetry for an $n$-dimensional affine hypersurface of degree $n + 2$ and the double cover of the $n$-dimensional affine space br…

Planar Homological Mirror Symmetry

In this article, we formulate a planar limited version of the B-side in homological mirror symmetry that formularizes Chern-Simons-type topological open string field theory using homotopy associative algebra ($A_{\infty}$ algebra). This formulation is based on the works by Dijkgraaf and Vafa. We show that our formularization includes gravity/gauge theory correspondence which originates in the AdS/CFT duality of Dijkgraaf-Vafa theory.

Homological mirror symmetry for toric orbifolds of toric del Pezzo surfaces

We formulate a conjecture which describes the Fukaya category of an exact Lefschetz fibration defined by a Laurent polynomial in two variables in terms of a pair consisting of a consistent dimer model and a perfect matching on it. We prove this conjecture in some cases, and obtain homological mirror symmetry for quotient stacks of toric del Pezzo surfaces by finite subgroups of the torus as a corollary.

The SYZ conjecture via homological mirror symmetry

These are expository notes based on a talk given at the Superschool on derived categories and D-branes at University of Alberta in July of 2016. The goal of these notes is to give a motivated introduction to the Strominger-Yau-Zaslow (SYZ) conjecture from the point of view of homological mirror symmetry.

走向同调镜像对称

Towards Homological Mirror Symmetry

本文综述孔采维奇同调镜像对称猜想的A侧，系统阐述A无穷范畴、福山范畴与弗洛尔理论，并联系镜像对称背景推导主要预测。

曲线奇点的同调 Berglund-Hübsch-Henningson 镜像对称

Homological Berglund-Hübsch-Henningson mirror symmetry for curve singularities

本文证明曲线奇点的同调 Berglund-Hübsch-Henningson 镜像对称，通过拉回超势实现等变性，并证明矩阵分解范畴存在倾斜对象，长度等于 FJRW 状态空间维数。

代数环面中完全交的同调镜像对称

Homological mirror symmetry for complete intersections in algebraic tori

本文证明所有维度代数环面中完全交的同调镜像对称一个方向，通过分解为高维裤衩对乘积的有限覆盖，建立 Fukaya 范畴与 LG 模型矩阵分解范畴的等价。

Homological mirror symmetry without corrections

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…