Seidel elements and mirror transformations

DOI10.1007/S00029-011-0080-0MaRDI QIDQ451779zbMATH OpenOpenAlexFDO

Authors Eduardo González, Hiroshi Iritani

Publication date 24 September 2012

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.4171

Batyrev relations Fano toric variety mirror symmetry nef toric variety Seidel elements

Mirror symmetry (algebro-geometric aspects) (14J33) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Gromov-Witten invariants, quantum cohomology, Frobenius manifolds (53D45)

Abstract: The goal of this article is to give a precise relation between the mirror symmetry transformation of Givental and the Seidel elements for a smooth projective toric variety

X

with

- K_{X}

nef. We show that the Seidel elements entirely determine the mirror transformation and mirror coordinates.

Review text

This article gives explicit expressions of the Seidel elements of a toric manifold with nef anti-canonical divisor in terms of the Batyrev elements. The main tool is the mirror theorem, which expresses Gromov-Witten invariants in terms of hypergeometric series (so called the \(I\)-function). Let \(N\) be a lattice and \(\Sigma\) a fan supported in \(N_{\mathbb{R}}\). This defines a toric variety \(X = X_\Sigma\). Assume that \(X\) is a smooth manifold. Equip \(X\) with a toric symplectic form, whose Kähler class is denoted by \(q\). Seidel constructed a representation of \(\pi_1(\mathrm{Ham}(X))\) on \(QH^*(X)\) which is important in the study of symplectic topology. In the toric case it is an action of the lattice \(N\) on \(QH^*(X)\) described as follows. Each \(v \in N\) gives rise to the following manifold \[ E_v = \big(X \times (\mathbb{C}^2 - \{0\})\big)/\mathbb{C}^* \] which is an \(X\)-bundle over \(\mathbb{P}^1\). The \(\mathbb{C}^*\)-action on \(X\) used in the above expression is defined by \(v\). By counting holomorphic curves in section classes of \(E_v\), one obtains the Seidel element \(S_v \in QH^*(X)\) (see Defintion 2.3 for the precise expression). Then \(v \in N\) acts on \(\phi \in QH^*(X)\) by the quantum product \(\phi \mapsto S_v * \phi\). It can be proved using degeneration arguments that \(S_{v=0} = \mathrm{Id}\) and \(S_{v+w} = S_v * S_w\). Thus this defines an action of \(N\) on \(QH^*(X)\). Let \(v_j\)'s be the generators of rays of the fan \(\Sigma\). Each \(v_j\) gives rise to a Seidel element \(S_j(q) \in QH^*(X_q)\). This paper gives an explicit formula for \(S_j\) (Theorem 1.1): \[ S_j(q) = \exp (-g_j(y)) \tilde{D}_j(y) \] where \(\tilde{D}_j(y)\) are the Batyrev elements, \(g_j(y)\) are certain explicit hypergeometric series appearing in the \(I\)-function (see Lemma 3.16), and the mirror map \(q = q(y)\) relates the Kähler parameter \(q\) with the mirror complex parameter \(y\). The main tool to derive the above formula is the mirror theorem: \[ I(y) = J(q) \] which expresses the \(J\)-function in terms of the combinatorially defined \(I\)-function via the mirror map \(q = q(y)\). The Seidel elements \(S_j\)'s are contained in certain parts of the so-called \(J\)-function (Proposition 2.5), and so the mirror theorem gives the desired expressions of the Seidel elements (Lemma 3.10). This article has a clear organization and gives a very explicit understanding of Seidel representation in the toric case. It has a closed relation with the computation of open Gromov-Witten invariants as shown later by the work of Chan-Lau-Leung-Tseng.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Seidel elements and mirror transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q451779)