Quantum cohomology as a deformation of symplectic cohomology (Q2155484): Difference between revisions
From MaRDI portal
Set profile property. |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3193448163 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 2108.08391 / rank | |||
Normal rank |
Revision as of 02:24, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Quantum cohomology as a deformation of symplectic cohomology |
scientific article |
Statements
Quantum cohomology as a deformation of symplectic cohomology (English)
0 references
15 July 2022
0 references
In this paper, the authors study the relationship between the quantum cohomology of a monotone closed symplectic manifold \(M\) and the symplectic cohomology of the complement of a simple normal crossings (or SC) divisor \(D\), mainly under the assumption that the pair \((M,D)\) is logarithmic effective. They prove that the former is a deformation of the latter in a suitable sense. They also prove some rigidity results about the isotropic skeleton of \(X=M-D\). A closed symplectic manifold \((M,\omega)\) is called monotone if the cohomology class \([\omega]\) is a multiple of \(c_1(TM)\). In particular, \([\omega]\) is a rational cohomology class, and Donaldson's construction of a (smooth) symplectic divisor Poincare dual to a large multiple of \([\omega]\) applies. In this paper, the authors consider an SC divisor \(D=\bigcup_{i=1}^N D_i\) such that \(c_1(TM)\) is a weighted sum \[ c_1(TM)=\textbf{D}:=\sum_{i=1}^N a_i D_i \] with positive rational weights (Note that \(\lambda_i=2a_i\) in the paper's notation). The last identity and the monotonicity imply that \(X\) is a convex exact symplectic manifold with a vanishing first Chern class. Furthermore, if \([\omega]\) is a positive multiple of \(c_1(TM)\), the positivity of \(D\) implies that \(X\) is a Weinstein domain and retracts to an isotropic skeleton. In Hypothesis A, the authors assume that \(a_i \leq 1\), which means \[ K_M+D=D-\textbf{D}=\sum_{i=1}^n (1-a_i)D_i \] is effective (in the algebraic geometric language). Here, \(K_M\) is the canonical line bundle of \((M,\omega)\) and \(K_M+D\) is the logarithmic canonical line bundle of the pair \((M,D)\). The borderline case is \(a_i\equiv 1\), where \((X,D)\) is a symplectic log Calabi-Yau pair. The vague conjecture in the literature has been that under certain assumptions on \((M,D)\), the Novikov field-valued quantum cohomology \(QH^*(M,\Lambda)\) of \(M\) coincides the cohomology of a natural deformation \(\big(SC^*(X;\Lambda),\partial\big)\) of the symplectic cochain complex \(\big(SC^*(X;\Lambda),d\big)\). The former is defined using closed pseudoholomorphic curves, and the latter involves periodic orbits of a Hamiltonian function on \(X\) and ceratin pseudoholomorphic-type curves connecting them. In Theorem C, the authors prove this conjecture when \(M\) is monotone and \((M,D)\) is log-effective. Furthermore, they prove that the spectral sequence of the deformed filtered complex converges on the first page to the quantum cohomology. As a corollary (Corollary 1.7), they conclude that \(X\) has non-vanishing symplectic cohomology. Over the course of the proof, they study compact subsets of \(X\) and their symplectic homology relative to \(M\). For instance, if \((M,D)\) is log-effective, they prove that the isotropic skeleton \(L\) of \(X\) is SH-full, meaning that the symplectic homology of any compact set \(K\) in \(X-L\) is zero. They conclude that \(L\) can not be displaced from any ``Floer-theoretically essential monotone'' Lagrangian in \(X\).
0 references
symplectic cohomology
0 references
quantum cohomology
0 references
divisor complement
0 references
spectral sequences
0 references