Lagrangian topology and enumerative geometry (Q441109): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q125986385, #quickstatements; #temporary_batch_1722436439543 |
||
(8 intermediate revisions by 6 users not shown) | |||
Property / author | |||
Property / author: Octavian Cornea / rank | |||
Property / author | |||
Property / author: Octavian Cornea / rank | |||
Normal rank | |||
Property / review text | |||
Let \(L^n\) be a closed connected Lagrangian submanifold of a symplectic manifold \((M^{2n},\omega)\), \(J\) an almost complex structure compatible with \(\omega\), and let \(P\), \(Q\), \(R\) be three distinct points of \(L\). Then, the number \(n_{PQR}= n_{PQR}(L,J)\) of disks \(u: (D^2,\partial D^2)\to(M, L)\) that are \(J\)-holomorphic and that go through \(P\), \(Q\), \(R\), in this order, is asked for. In this paper, as an answer to this question, if the Floer homology is \(HF(L,L)\neq 0\), the expression \[ \Delta= 4n_{PQR}+ n^2_P+ n^2_Q+ n^2_R-2n_P n_Q- 2n_Q n_R- 2nQn_R- 2n_R n_P, \] where \(n_P\) is the number of \(J\)-holomorphic disks of Maslov index 2 that go through \(P\) and cross transversally the edge \(\vec{QR}\), is shown to be independent of the triangle \(P\), \(Q\), \(R\) as well as of \(J\). This is proved in order to be able to show that \(\Delta\) coincides with the discriminant of a certain quadratic form that can be read off from the quantum homology product of \(L\) (Theorem 6.2.2). In fact, as a consequence of the classification of polynomial invariants associated to quadratic forms of Hilbert, \(\Delta\) is the unique symmetric polynomial, enumerative invariant that can be extracted from the quantum product (Remark 5.2.5). Main properties of Lagrangian quantum homology \(QH(L)\) are reviewed in \S2 following the authors' paper [Geom. Topol. 13, No. 5, 2881--2989 (2009; Zbl 1180.53078)]. The product in \(QH(L)\) is denoted by \(*\). Delicate discussions on orientation in quantum homology are given in the appendix. \S3 considers the representation variety \({\mathcal R}ep(L)= \{\rho:\pi_2(M, L)\to\mathbb{C}^*\}\). \(L\) is said to be \({\mathcal R}\)-wide if \(QH(L;{\mathcal R})= H(L;{\mathcal R})\). The wide varieties \({\mathcal W}_i\), \(i= 1,2\), associated to \(L\) are defined by \[ \begin{aligned}{\mathcal W}_2 &= \{\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\mid L\text{ is }\Lambda^p\text{-wide}\},\\ {\mathcal W}_1 &= \{\rho'\in\hom(H_1, \mathbb{C}^*)\mid \rho'\circ\partial\in{\mathcal W}_2\}.\end{aligned} \] They are algebraic varieties and \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes\Lambda^+)\cong H(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), \(i= 1,2\) (\S3.2). \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), etc., are denoted by \(Q^+H(L;{\mathcal W}_i)\), etc. Then, the formula \[ C_i* C_j+ C_j* C_i= (-1)^n z_i z_j{\partial^2{\mathcal P}\over\partial z_i\partial z_j}\,Lt, \] where \([L]\in H_n(L;\mathbb{C})\subset QH_n(L;{\mathcal W}_1)\) is the unity, is derived (Proposition 3.3.4). Here, \({\mathcal P}: \Hom_0(H_1;\mathbb{C}^*)\to\mathbb{C}\) is the (Landau-Ginzburg) superpotential. The authors remark that this superpotential and the superpotential \({\mathcal P}'\) in [\textit{K. Fukaya} et al., Duke Math. J. 151, No. 1, 23--175 (2010; Zbl 1190.53078)] are slightly different, and, as for \({\mathcal P}'\), \(C_i* C_j+ C_j* C_i= (-1)^n {\partial^2{\mathcal P}'\over\partial x_i\partial x_j}\) holds. Quadratic forms associated to the quantum product with coefficients in \({\mathcal O}({\mathcal W})\) and their associated discriminants are defined in \S4. In \S5, the quantum product is investigated as the deformation of the intersection product. Then, invariant polynomials in the structural constants of the quantum product are discussed and the characterization of \(\Delta\) is remarked. After these preparations, the discriminant of \(\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\) is computed and \(\Delta\) is shown to be independent of \(P\), \(Q\), \(R\) and \(J\). It is also shown that, if \(L\) is a Lagrangian torus and the trivial representation \(\rho=1\) belongs to \({\mathcal W}_2\), and \(N_L= 2\), then \(\Delta\equiv 0\pmod 2\) and \(\Delta\) admits only the value 0 or 1 modulo 4 (Theorem 6.3.1). In \S7, these results and definitions are applied to toric fibers. Then, the authors give an explanation of the translation of the structure of a Frobenius algebra of \(QH(M,\Lambda)\) to the Jacobian ring \({\mathcal O}({\mathcal W}_1)\otimes\Lambda\) established in [\textit{K. Fukaya} et al., Sel. Math., New Ser. 17, No. 3, 609--711 (2011; Zbl 1234.53023)], using the arguments of this paper. As examples, the cases \(M=\mathbb{C} P^n\), \(S^2\times S^2\) and blow-ups of \(\mathbb{C} P^2\) are studied in \S8, the last section. | |||
Property / review text: Let \(L^n\) be a closed connected Lagrangian submanifold of a symplectic manifold \((M^{2n},\omega)\), \(J\) an almost complex structure compatible with \(\omega\), and let \(P\), \(Q\), \(R\) be three distinct points of \(L\). Then, the number \(n_{PQR}= n_{PQR}(L,J)\) of disks \(u: (D^2,\partial D^2)\to(M, L)\) that are \(J\)-holomorphic and that go through \(P\), \(Q\), \(R\), in this order, is asked for. In this paper, as an answer to this question, if the Floer homology is \(HF(L,L)\neq 0\), the expression \[ \Delta= 4n_{PQR}+ n^2_P+ n^2_Q+ n^2_R-2n_P n_Q- 2n_Q n_R- 2nQn_R- 2n_R n_P, \] where \(n_P\) is the number of \(J\)-holomorphic disks of Maslov index 2 that go through \(P\) and cross transversally the edge \(\vec{QR}\), is shown to be independent of the triangle \(P\), \(Q\), \(R\) as well as of \(J\). This is proved in order to be able to show that \(\Delta\) coincides with the discriminant of a certain quadratic form that can be read off from the quantum homology product of \(L\) (Theorem 6.2.2). In fact, as a consequence of the classification of polynomial invariants associated to quadratic forms of Hilbert, \(\Delta\) is the unique symmetric polynomial, enumerative invariant that can be extracted from the quantum product (Remark 5.2.5). Main properties of Lagrangian quantum homology \(QH(L)\) are reviewed in \S2 following the authors' paper [Geom. Topol. 13, No. 5, 2881--2989 (2009; Zbl 1180.53078)]. The product in \(QH(L)\) is denoted by \(*\). Delicate discussions on orientation in quantum homology are given in the appendix. \S3 considers the representation variety \({\mathcal R}ep(L)= \{\rho:\pi_2(M, L)\to\mathbb{C}^*\}\). \(L\) is said to be \({\mathcal R}\)-wide if \(QH(L;{\mathcal R})= H(L;{\mathcal R})\). The wide varieties \({\mathcal W}_i\), \(i= 1,2\), associated to \(L\) are defined by \[ \begin{aligned}{\mathcal W}_2 &= \{\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\mid L\text{ is }\Lambda^p\text{-wide}\},\\ {\mathcal W}_1 &= \{\rho'\in\hom(H_1, \mathbb{C}^*)\mid \rho'\circ\partial\in{\mathcal W}_2\}.\end{aligned} \] They are algebraic varieties and \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes\Lambda^+)\cong H(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), \(i= 1,2\) (\S3.2). \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), etc., are denoted by \(Q^+H(L;{\mathcal W}_i)\), etc. Then, the formula \[ C_i* C_j+ C_j* C_i= (-1)^n z_i z_j{\partial^2{\mathcal P}\over\partial z_i\partial z_j}\,Lt, \] where \([L]\in H_n(L;\mathbb{C})\subset QH_n(L;{\mathcal W}_1)\) is the unity, is derived (Proposition 3.3.4). Here, \({\mathcal P}: \Hom_0(H_1;\mathbb{C}^*)\to\mathbb{C}\) is the (Landau-Ginzburg) superpotential. The authors remark that this superpotential and the superpotential \({\mathcal P}'\) in [\textit{K. Fukaya} et al., Duke Math. J. 151, No. 1, 23--175 (2010; Zbl 1190.53078)] are slightly different, and, as for \({\mathcal P}'\), \(C_i* C_j+ C_j* C_i= (-1)^n {\partial^2{\mathcal P}'\over\partial x_i\partial x_j}\) holds. Quadratic forms associated to the quantum product with coefficients in \({\mathcal O}({\mathcal W})\) and their associated discriminants are defined in \S4. In \S5, the quantum product is investigated as the deformation of the intersection product. Then, invariant polynomials in the structural constants of the quantum product are discussed and the characterization of \(\Delta\) is remarked. After these preparations, the discriminant of \(\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\) is computed and \(\Delta\) is shown to be independent of \(P\), \(Q\), \(R\) and \(J\). It is also shown that, if \(L\) is a Lagrangian torus and the trivial representation \(\rho=1\) belongs to \({\mathcal W}_2\), and \(N_L= 2\), then \(\Delta\equiv 0\pmod 2\) and \(\Delta\) admits only the value 0 or 1 modulo 4 (Theorem 6.3.1). In \S7, these results and definitions are applied to toric fibers. Then, the authors give an explanation of the translation of the structure of a Frobenius algebra of \(QH(M,\Lambda)\) to the Jacobian ring \({\mathcal O}({\mathcal W}_1)\otimes\Lambda\) established in [\textit{K. Fukaya} et al., Sel. Math., New Ser. 17, No. 3, 609--711 (2011; Zbl 1234.53023)], using the arguments of this paper. As examples, the cases \(M=\mathbb{C} P^n\), \(S^2\times S^2\) and blow-ups of \(\mathbb{C} P^2\) are studied in \S8, the last section. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Akira Asada / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D12 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53D40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6068620 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lagrangian submanifold | |||
Property / zbMATH Keywords: Lagrangian submanifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quantum homology | |||
Property / zbMATH Keywords: quantum homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Floer homology | |||
Property / zbMATH Keywords: Floer homology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quadratic form | |||
Property / zbMATH Keywords: quadratic form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
toric manifold | |||
Property / zbMATH Keywords: toric manifold / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3100076099 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1011.2271 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The quantum Euler class and the quantum cohomology of the Grassmannians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Torus actions on symplectic manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4929298 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mirror symmetry and T-duality in the complement of an anticanonical divisor / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special Lagrangian fibrations, mirror symmetry and Calabi-Yau double covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special Lagrangian fibrations, wall-crossing, and mirror symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5312200 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum Cohomology Rings of Toric Manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian topology and enumerative geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity and uniruling for Lagrangian submanifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian Quantum Homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5693345 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Products of Floer cohomology of torus fibers in toric Fano manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-displaceable Lagrangian submanifolds and Floer cohomology with non-unitary line bundle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Floer cohomology and disc instantons of Lagrangian torus fibers in Fano toric manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A homotopy theoretic realization of string topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum Cohomology of Rational Surfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3873183 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hochschild cohomology of a closed manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2782333 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian Floer theory on compact toric manifolds: survey / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian Floer theory on compact toric manifolds. II: Bulk deformations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3182715 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lagrangian Floer theory on compact toric manifolds. I. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Introduction to Toric Varieties. (AM-131) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the deformation of rings and algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4865995 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2707315 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293546 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4550192 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homological Algebra of Mirror Symmetry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A comparison of deformations and geometric study of varieties of associative algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Corrigenda to: Introduction to Symplectic Topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4830110 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the quantum homology algebra of toric Fano manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morse Theory, the Conley Index and Floer Homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4075559 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Morse homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4434432 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q125986385 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 16:34, 31 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lagrangian topology and enumerative geometry |
scientific article |
Statements
Lagrangian topology and enumerative geometry (English)
0 references
20 August 2012
0 references
Let \(L^n\) be a closed connected Lagrangian submanifold of a symplectic manifold \((M^{2n},\omega)\), \(J\) an almost complex structure compatible with \(\omega\), and let \(P\), \(Q\), \(R\) be three distinct points of \(L\). Then, the number \(n_{PQR}= n_{PQR}(L,J)\) of disks \(u: (D^2,\partial D^2)\to(M, L)\) that are \(J\)-holomorphic and that go through \(P\), \(Q\), \(R\), in this order, is asked for. In this paper, as an answer to this question, if the Floer homology is \(HF(L,L)\neq 0\), the expression \[ \Delta= 4n_{PQR}+ n^2_P+ n^2_Q+ n^2_R-2n_P n_Q- 2n_Q n_R- 2nQn_R- 2n_R n_P, \] where \(n_P\) is the number of \(J\)-holomorphic disks of Maslov index 2 that go through \(P\) and cross transversally the edge \(\vec{QR}\), is shown to be independent of the triangle \(P\), \(Q\), \(R\) as well as of \(J\). This is proved in order to be able to show that \(\Delta\) coincides with the discriminant of a certain quadratic form that can be read off from the quantum homology product of \(L\) (Theorem 6.2.2). In fact, as a consequence of the classification of polynomial invariants associated to quadratic forms of Hilbert, \(\Delta\) is the unique symmetric polynomial, enumerative invariant that can be extracted from the quantum product (Remark 5.2.5). Main properties of Lagrangian quantum homology \(QH(L)\) are reviewed in \S2 following the authors' paper [Geom. Topol. 13, No. 5, 2881--2989 (2009; Zbl 1180.53078)]. The product in \(QH(L)\) is denoted by \(*\). Delicate discussions on orientation in quantum homology are given in the appendix. \S3 considers the representation variety \({\mathcal R}ep(L)= \{\rho:\pi_2(M, L)\to\mathbb{C}^*\}\). \(L\) is said to be \({\mathcal R}\)-wide if \(QH(L;{\mathcal R})= H(L;{\mathcal R})\). The wide varieties \({\mathcal W}_i\), \(i= 1,2\), associated to \(L\) are defined by \[ \begin{aligned}{\mathcal W}_2 &= \{\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\mid L\text{ is }\Lambda^p\text{-wide}\},\\ {\mathcal W}_1 &= \{\rho'\in\hom(H_1, \mathbb{C}^*)\mid \rho'\circ\partial\in{\mathcal W}_2\}.\end{aligned} \] They are algebraic varieties and \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes\Lambda^+)\cong H(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), \(i= 1,2\) (\S3.2). \(QH(L;{\mathcal O}({\mathcal W}_i)\otimes \Lambda^+)\), etc., are denoted by \(Q^+H(L;{\mathcal W}_i)\), etc. Then, the formula \[ C_i* C_j+ C_j* C_i= (-1)^n z_i z_j{\partial^2{\mathcal P}\over\partial z_i\partial z_j}\,Lt, \] where \([L]\in H_n(L;\mathbb{C})\subset QH_n(L;{\mathcal W}_1)\) is the unity, is derived (Proposition 3.3.4). Here, \({\mathcal P}: \Hom_0(H_1;\mathbb{C}^*)\to\mathbb{C}\) is the (Landau-Ginzburg) superpotential. The authors remark that this superpotential and the superpotential \({\mathcal P}'\) in [\textit{K. Fukaya} et al., Duke Math. J. 151, No. 1, 23--175 (2010; Zbl 1190.53078)] are slightly different, and, as for \({\mathcal P}'\), \(C_i* C_j+ C_j* C_i= (-1)^n {\partial^2{\mathcal P}'\over\partial x_i\partial x_j}\) holds. Quadratic forms associated to the quantum product with coefficients in \({\mathcal O}({\mathcal W})\) and their associated discriminants are defined in \S4. In \S5, the quantum product is investigated as the deformation of the intersection product. Then, invariant polynomials in the structural constants of the quantum product are discussed and the characterization of \(\Delta\) is remarked. After these preparations, the discriminant of \(\rho\in\Hom_0(H^D_2,\mathbb{C}^*)\) is computed and \(\Delta\) is shown to be independent of \(P\), \(Q\), \(R\) and \(J\). It is also shown that, if \(L\) is a Lagrangian torus and the trivial representation \(\rho=1\) belongs to \({\mathcal W}_2\), and \(N_L= 2\), then \(\Delta\equiv 0\pmod 2\) and \(\Delta\) admits only the value 0 or 1 modulo 4 (Theorem 6.3.1). In \S7, these results and definitions are applied to toric fibers. Then, the authors give an explanation of the translation of the structure of a Frobenius algebra of \(QH(M,\Lambda)\) to the Jacobian ring \({\mathcal O}({\mathcal W}_1)\otimes\Lambda\) established in [\textit{K. Fukaya} et al., Sel. Math., New Ser. 17, No. 3, 609--711 (2011; Zbl 1234.53023)], using the arguments of this paper. As examples, the cases \(M=\mathbb{C} P^n\), \(S^2\times S^2\) and blow-ups of \(\mathbb{C} P^2\) are studied in \S8, the last section.
0 references
Lagrangian submanifold
0 references
quantum homology
0 references
Floer homology
0 references
quadratic form
0 references
toric manifold
0 references
0 references
0 references