Seidel elements and mirror transformations (Q451779): Difference between revisions

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.