Lagrangian topology and enumerative geometry (Q441109): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: Wikidata QID (P12): Q125986385, #quickstatements; #temporary_batch_1722436439543
 
(3 intermediate revisions by 3 users not shown)
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

Latest revision as of 15: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
    0 references
    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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers