Seidel elements and mirror transformations (Q451779): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / 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. | |||
Property / 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14N35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J33 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6085750 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Seidel elements | |||
Property / zbMATH Keywords: Seidel elements / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mirror symmetry | |||
Property / zbMATH Keywords: mirror symmetry / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Batyrev relations | |||
Property / zbMATH Keywords: Batyrev relations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Fano toric variety | |||
Property / zbMATH Keywords: Fano toric variety / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nef toric variety | |||
Property / zbMATH Keywords: nef toric variety / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Siu-Cheong Lau / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1975101448 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1103.4171 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torus actions on symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing genus-zero twisted Gromov-Witten invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5200148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed points and torsion on Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant Gromov - Witten Invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A mirror theorem for toric complete intersections / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum cohomology and 𝑆¹-actions with isolated fixed points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moment maps and combinatorial invariants of Hamiltonian \(T^ n\)-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological rigidity of Hamiltonian loops and quantum homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of algebraic and symplectic Gromov-Witten invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: QUANTUM HOMOLOGY OF FIBRATIONS OVER S<sup>2</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5482630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830110 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hori-Vafa mirror models for complete intersections in weighted projective spaces and weak Landau-Ginzburg models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\pi_1\) of symplectic automorphism groups and invertibles in quantum homology rings / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:57, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Seidel elements and mirror transformations |
scientific article |
Statements
Seidel elements and mirror transformations (English)
0 references
24 September 2012
0 references
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.
0 references
Seidel elements
0 references
mirror symmetry
0 references
Batyrev relations
0 references
Fano toric variety
0 references
nef toric variety
0 references
0 references