I take the following quote from Huybrecht's notes on [hyperkähler manifolds and mirror symmetry](http://arxiv.org/pdf/math/0210219.pdf):



> 
> Mirror symmetry in a first approximation predicts for any Calabi-Yau manifold (M,g) the existence of another Calabi-Yau manifold $(M^v,g^v)$ together with an isomorphism $M^{\text{cpl}}(M) \simeq M^{\text{khl}}(M^{v})$.
> 
> 
> 


Here $M^{\text{cpl}}(M)$, and $M^{\text{khl}}(M^{v})$, refer to the moduli spaces of complex, resp. symplectic, structures on $M$, resp $M^v$.



> 
> Mirror symmetry is supposed to be much simpler for hyperkähler manifolds, as usually the mirror manifold $M^v$ as a real manifold is $M$ itself.
> 
> 
> 


If one looks at quaternionic-Kähler manifolds, is there any analogous simplification that holds. Discussion of some simple examples (ie the Grassmannian $Gr(4,2)$) would be appreciated.



Mirror Symmetry for Quaternionic-Kähler Manifolds
Let me summarize and supplement my remarks above.
A quaternion-Kahler manifold $X$ is a Riemannian manifold with holonomy $Sp(n)Sp(1)$, its definition of course includes hyperkahler manifolds as a special case. For a hyperkahler manifold, mirror symmetry can sometimes be realized as a hyperkahler rotation, e.g. elliptic $K3$ surfaces. However, such an understanding fails in general, as was pointed out by Huybrechts in his lecture notes: <http://arxiv.org/pdf/math/0210219.pdf>. For the method to handle mirror symmetry in the general case, see the work of Gross-Siebert: <http://arxiv.org/abs/math/0703822>.


Now let's exclude hyperkahler manifolds by assuming the scalar curvature is nonzero. For simplicity, let's further assume that $X$ is symmetric, then it can be written as $X=G/H$ with $G$ a simple Lie group and $H=K\cdot SU(2)$ , $K$ is the centralizer of $SU(2)$ in $G$. In this case, as far as I konw, only the mirror symmetry for the case when $G=SU(n+2)$ and $H=S\big(U(n)\times U(2)\big)$ is systematically studied.


In general, for the homogeneous space $X=G/P$, where $G$ is a semisimple Lie group and $P$ a parabolic subgroup, its mirror is given by the Landau-Ginzburg model $(R,W)$, where $R\subset G^L/P^L$ is the Richardson variety, and $W:R\rightarrow\mathbb{C}$ is a holomorphic function called superpotential. Here $G^L$ and $P^L$ denote their Langlands dual. The main reason for using $X^\vee=R$ to partially compactify $(\mathbb{C}^\ast)^N$ is to get the following isomorphism between the quantum cohomology ring of $X$ and the Jacobi ring of $W$:


$QH^\ast(X)\cong Jac(W)$.


This isomorphism is generally expected to hold for mirror symmetry for Fano manifolds. For the case when $X$ is toric Fano, such an isomorphism is proved by Fukaya-Oh-Ohta-Ono: <http://projecteuclid.org/euclid.dmj/1262271306>. The general mirror construction for $X=G/P$ is done by Rietsch: <http://arxiv.org/abs/math/0511124>.


The isomorphism $QH^\ast(X)\cong Jac(W)$ should be compared with Kontsevich's conjecture, which asserts the following:


$QH^\ast(X)\cong HH^\ast\big(\mathcal{F}(X)\big)$,


where $\mathcal{F}(X)$ is the Fukaya category of $X$. The interesting thing is that when $X$ is Grassmannian (e.g. $X=Gr(2,n+2)$, in which case $X$ is quaternion-Kahler), $W:X^\vee\rightarrow\mathbb{C}$ has only isolated critical points, therefore it should provide a Lefschetz fibration on $X^\vee$, so Seidel's theory (<http://www.ems-ph.org/books/book.php?proj_nr=12>) can be applied and one may expect that all the geometric information of the Fukaya category $\mathcal{F}(X^\vee,W)$ is contained in the superpotential $W$. This suggests that $\mathcal{F}(X)$ and $\mathcal{F}(X^\vee,W)$ should be related to each other.


From an SYZ point of view, there is no such thing as mirror symmetry for Fano manifolds. Because everytime we talk about mirror symmetry for a Fano manifold $X$ we regard it as a Calabi-Yau manifold $X\_0$ together with some boundary divisor $D$, i.e. $X\_0=X\setminus D$. The Landau-Ginzburg mirror manifold $X^\vee$ is constructed from $X$, and $D$ determines only the superpotential $W$. For the SYZ mirror construction for some of the Fano examples, see Auroux's fundamental work: <http://arxiv.org/abs/0706.3207>.


In fact, such a philosophy coming from SYZ mirror symmetry applies also to the case when $X=G/P$. There is a Richardson variety $R^\vee$ which is dual to $R$ inside $G/P$. The open part $R^\vee\subset X$ should be regarded to be SYZ mirror to $R\subset G^L/P^L$. But when we add back the boundary divisor $X\setminus R^\vee$, we need to use the superpotantial $W$ to correct $R$, so we end up with the Landau-Ginzbug model $(R,W)$. From such a point of view, the meaning of the following mirror dualities should be clear:


$R^\vee\leftrightarrow R$


$(R,W)\leftrightarrow G/P$


$G^L/P^L\leftrightarrow (R^\vee,W^\vee)$


Let me also mention that the philosophy that $T$-duality should be realized as the Langlands duality in some special cases dates back to the work of Hausel and Thaddeus on mirror symmetry for Hitchin moduli spaces: <http://arxiv.org/pdf/math/0205236v1.pdf>. As the quaternion-Kahler case (with non-zero Ricci curvature) should be regarded as parallel to the hyperkahler case, it's not strange that the same philosophy works here.


To get a deep understanding of mirror symmetry in the quaternion-Kahler case, we will need to study the geometric structures of a quaternion-Kahler manifold, and understand how the geometric structures exchanges when passing from $X$ to $X^\vee$. Unfortunately, personally I don't know much development in these directions. However, there is the paper of Leung (<http://arxiv.org/pdf/math/0303153v1.pdf>) which aims to use normed division algebras to unify the geometric structures coming from different holonomy groups. I personally believe this unified picture should be fundamental in the study of mirror symmetry for quaternion-Kahler case.


