The existence of a flat torsion-free connection, or left symmetric algebra structure on a Lie algebra g gives rise to a canonically defined complex structure on g+g and a symplectic structure on g+g^*. We verify that the associated differential Gerstenhaber algebras controlling the deformation theories of the complex and symplectic form are isomorphic. This provides a class of examples of "weak mirror symmetry" as suggested by Merkulov. For nilpotent algebras in dimension 4 and 6 the isomorphism classes of the semi-direct products g+g and g+g^* are listed. A one-parameter family of inequivalent pseudo-Kähler structures is given.
By normalizing the space of commuting pairs of elements in a reductive Lie group G, and the corresponding space for the Langlands dual group, we construct pairs of hyperkahler orbifolds which satisfy the conditions to be mirror partners in the sense of Strominger-Yau-Zaslow. The same holds true for commuting quadruples in a compact Lie group. The Hodge numbers of the mirror partners, or more precisely their orbifold E-polynomials, are shown to agree, as predicted by mirror symmetry. These polynomials are explicitly calculated when G is a quotient of SL(n).
We study mirror symmetry of families of elliptic K3 surfaces with elliptic fibers of type $E_6,~E_7$ and $E_8$. We consider a moduli space $\mathsf{T}$ of the mirror K3 surfaces enhanced with the choice of differential forms. We show that coordinates on $\mathsf{T}$ are given by the ring of quasi modular forms in two variables, with modular groups adapted to the fiber type. We furthermore introduce an algebraic group $\mathsf{G}$ which acts on $\mathsf{T}$ from the right and construct its Lie algebra $\mathrm{Lie}(\mathsf{G})$. We prove that the extended Lie algebra generated by $\mathrm{Lie}(…
We describe the Fukaya-Seidel category of a Landau-Ginzburg model LG(2) for the semisimple adjoint orbit of sl(2,C). We prove that this category is equivalent to a full triangulated subcategory of the category of coherent sheaves on the second Hirzebruch surface. We show that no projective variety can be mirror to LG(2), and that this remains so after compactification.
We prove that Hori--Vafa mirror models for smooth Fano complete intersections in weighted projective spaces admit an interpretation as Laurent polynomials.
We solved the long-standing problem of describing the cohomology ring of semiample hypersurfaces in complete simplicial toric varieties. Also, the monomial-divisor mirror map is generalized to a map between the whole Picard group and the space of infinitesimal deformations for a mirror pair of Calabi-Yau hypersurfaces. This map is compatible with certain vanishing limiting products of the subrings of the chiral rings, on which the ring structure is related to a product of the roots of $A$-type Lie algebra.
In 1999, Khovanov showed that a link invariant known as the Jones polynomial is the Euler characteristic of a homology theory. The knot categorification problem is to find a general construction of knot homology groups, and to explain their meaning -- what are they homologies of? Homological mirror symmetry, formulated by Kontsevich in 1994, naturally produces hosts of homological invariants. Typically though, it leads to invariants which have no particular interest outside of the problem at hand. I showed recently that there is a new family of mirror pairs of manifolds, for which homological …
We study the moduli spaces of flat SL(r)- and PGL(r)-connections, or equivalently, Higgs bundles, on an algebraic curve. These spaces are noncompact Calabi-Yau orbifolds; we show that they can be regarded as mirror partners in two different senses. First, they satisfy the requirements laid down by Strominger-Yau-Zaslow (SYZ), in a suitably general sense involving a B-field or flat unitary gerbe. To show this, we use their hyperkahler structures and Hitchin's integrable systems. Second, their Hodge numbers, again in a suitably general sense, are equal. These spaces provide significant evidence …
We study Mirror Symmetry of log Calabi-Yau surfaces. On one hand, we consider the number of ``affine lines'' of each degree in the complement of a smooth cubic in the projective plane. On the other hand, we consider coefficients of a certain expansion of a function obtained from the integrals of dxdy/xy over 2-chains whose boundaries lie on B_ϕwhere {B_ϕ} is a family of smooth cubics. Then, for small degrees, they coincide. We discuss the relation between this phenomenon and local mirror symmetry for projective plane in a Calabi-Yau 3-fold by Chiang-Klemm-Yau-Zaslow.
This is a survey article on the recent progress in understanding the Strominger-Yau-Zaslow (SYZ) mirror symmetry conjecture, especially on the effect of quantum corrections, via Witten-Morse theory using the program first depicted by Fukaya to obtain an explicit relation between differential geometric operations, e.g. wedge product of differential forms and Lie-bracket of the Kodaira-Spencer complexes, with combinatorial structures, e.g. Morse $A_\infty$ structures and scattering diagrams.
Hille and Perling associate to every cyclic full strongly exceptional sequence of line bundles on a toric weak Fano surface a toric system, which defines a new toric surface. In this note we interprete this construction as an instance of mirror symmetry and extend it to a duality on the set toric weak Fano surfaces equiped with a cyclic full strongly exceptional sequence.
We survey the authors recent works, joint with A. Jacob, on Strominger-Yau-Zaslow mirror symmetry for rational elliptic surfaces and del Pezzo surfaces. We discuss some applications, including the Torelli theorem for $ALH^*$ gravitational instantons and explain how our results can be used to prove that all $ALH^*$ gravitational instantons can be compactified to a weak del Pezzo surface, recovering a recent result of Hein-Sun-Viaclovsky-Zhang.
We construct a generalization of the variations of Hodge structures on Calabi-Yau manifolds. It gives a Mirror partner for the theory of genus=0 Gromov-Witten invariants
Building on Seidel-Solomon's fundamental work, we define the notion of a $\mathfrak{g}$-equivariant Lagrangian brane in an exact symplectic manifold $M$ where $\mathfrak{g} \subset SH^1(M)$ is a sub-Lie algebra of the symplectic cohomology of $M$. When $M$ is a (symplectic) mirror to an (algebraic) homogeneous space $G/P$, homological mirror symmetry predicts that there is an embedding of $\mathfrak{g}$ in $SH^1(M)$. This allows us to study a mirror theory to classical constructions of Borel-Weil and Bott. We give explicit computations recovering all finite dimensional irreducible representati…
In this paper we complete the proof began by A. Polishchuk and E. Zaslow (math.AG/9801119) of a weak version of Kontsevich's homological mirror symmetry conjecture for elliptic curves. The main difference to the work of Polishchuk and Zaslow is that we consider morphisms between any pair of objects, not only in the transversal case. This enables us to show the conjectured equivalence of categories.
We study the deformed Hermitian-Yang-Mills (dHYM) equation, which is mirror to the special Lagrangian equation, from the variational point of view via an infinite dimensional GIT problem mirror to Thomas' GIT picture for special Lagrangians. This gives rise to infinite dimensional manifold $\mathcal{H}$ mirror to Solomon's space of positive Lagrangians. In the hypercritical phase case we prove the existence of smooth approximate geodesics, and weak geodesics with $C^{1,α}$ regularity. This is accomplished by proving sharp with respect to scale estimates for the Lagrangian phase operator on col…
We describe a notion of lattice polarization for rational elliptic surfaces and weak del Pezzo surfaces, and describe the complex moduli of the former and the Kähler cone of the latter. We then propose a version of mirror symmetry relating these two objects, which should be thought of as a form of Fano-LG correspondence. Finally, we relate this notion to other forms of mirror symmetry, including Dolgachev-Nikulin-Pinkham mirror symmetry for lattice polarized K3 surfaces and the Gross-Siebert program.
Motivated by geometric Langlands, we initiate a program to study the mirror symmetry between nilpotent orbit closures of a semisimple Lie algebra and those of its Langlands dual. The most interesting case is $B_n$ via $C_n$. Classically, there is a famous Springer duality between special orbits. Therefore, it is natural to speculate that the mirror symmetry we seek may coincide with Springer duality in the context of special orbits. Unfortunately, such a naive statement fails. To remedy the situation, we propose a conjecture which asserts the mirror symmetry for certain parabolic/induced cover…
In this thesis, we study a class of special Lagrangian submanifolds of toric Calabi-Yau manifolds and construct their mirrors using some techniques developed in the SYZ programme. We present a justification on the conjecture on the mirror construction of D- branes in Aganagic-Vafa [2]. We apply the techniques employed in Chan-Lau-Leung [8] and Chan [6], which give the SYZ mirror construction for D-branes. Recently, Chan-Lau-Leung [8] has given an explicit mirror construction for toric Calabi-Yau manifolds as complex algebraic varieties. Inspired by the SYZ transformation of D-branes in Leung-Y…
This is a survey of results and conjectures on mirror symmetry phenomena in the non-Abelian Hodge theory of a curve. We start with the conjecture of Hausel-Thaddeus which claims that certain Hodge numbers of moduli spaces of flat SL(n,C) and PGL(n,C)-connections on a smooth projective algebraic curve agree. We then change our point of view in the non-Abelian Hodge theory of the curve, and concentrate on the SL(n,C) and PGL(n,C) character varieties of the curve. Here we discuss a recent conjecture of Hausel-Rodriguez-Villegas which claims, analogously to the above conjecture, that certain Hodge…
Consider a Maslov zero Lagrangian submanifold diffeomorphic to a Lie group on which an anti-symplectic involution acts by the inverse map of the group. We show that the Fukaya $A_\infty$ endomorphism algebra of such a Lagrangian is quasi-isomorphic to its de Rham cohomology tensored with the Novikov field. In particular, it is unobstructed, formal, and its Floer and de Rham cohomologies coincide. Our result implies that the smooth fibers of a large class of singular Lagrangian fibrations are unobstructed and their Floer and de Rham cohomologies coincide. This is a step in the SYZ and family Fl…
