The quantum connection, Fourier-Laplace transform, and families of A-infinity-categories

Daniel Pomerleano,Paul Seidel

2024-08-24

Abstract:Take a closed monotone symplectic manifold containing a smooth anticanonical divisor. The quantum connection on its cohomology has singularities at zero and infinity (in the quantum parameter). At zero it has a regular singular point, by definition. We show that the singularity at infinity is of unramified exponential type. The argument involves: realizing cohomology as a deformation of the symplectic cohomology of the divisor complement; the corresponding deformation of the wrapped Fukaya category; a new categorical interpretation of the Fourier-Laplace transform of D-modules; and the regularity theorem of Petrov-Vaintrob-Vologodsky in noncommutative geometry.

Symplectic Geometry,Algebraic Geometry

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the behavioral characteristics of the Quantum Connection at infinity ($q = \infty$). Specifically, the authors explore the singularity properties of the quantum connection on the cohomology group when considering a closed monotone symplectic manifold $M$ containing a smooth anti - canonical divisor $D$. The main objective of the paper is to prove that the quantum connection has unramified exponential - type singularities at infinity and that its regularized formal monodromies are quasi - unipotent, that is, all of their eigenvalues are roots of unity.

### Main problems
1. **The singularity type of the quantum connection at infinity**: Prove that the singularity of the quantum connection at $q=\infty$ is of the unramified exponential type. This means that the singularity can be formally transformed into some specific forms, where each part has a regular singularity.
2. **The properties of the regularized formal monodromies**: Prove that these regularized formal monodromies are quasi - unipotent, that is, all of their eigenvalues are roots of unity. Moreover, for Jordan blocks whose eigenvalues are not equal to 1, their sizes do not exceed the complex dimension $\dim_{\mathbb{C}}(M)$, and for Jordan blocks whose eigenvalues are 1, their sizes do not exceed $\dim_{\mathbb{C}}(M)+ 1$.

### Solutions
To prove the above problems, the authors adopt the following methods and techniques:
1. **Deformation of the symmetric cotangent space**: By realizing the cohomology as the deformation of the symplectic cohomology of the divisor complement, as well as the deformation of the corresponding wrapped Fukaya category.
2. **New categorical interpretation of D - modules**: A new categorical interpretation for the Fourier - Laplace transform of D - modules is introduced.
3. **Regularity theorem in non - commutative geometry**: Utilize the regularity theorem in non - commutative geometry by Petrov - Vaintrob - Vologodsky.

### Specific steps
1. **Construct the deformed symplectic cohomology**: Define the deformed $S^1$-equivariant symplectic cohomology $H_{q,u}$ of $M\setminus D$.
2. **Construct the deformed wrapped Fukaya category**: Define the corresponding deformed wrapped Fukaya category $A_q$ of $M\setminus D$.
3. **Apply the Fourier - Laplace transform**: Transform the problem into the properties of the Getzler - Gauss - Manin connection of $A_t$ through the Fourier - Laplace transform.
4. **Utilize the results in non - commutative geometry**: Utilize the regularity theorem in non - commutative geometry to prove that the connection of the periodic cyclic homology $HP^*(A_{t,1/p})$ has regular singularities and that the monodromy at each singularity is quasi - unipotent.

Through these steps, the authors successfully prove the singularity properties of the quantum connection at infinity and give a detailed description of its regularized formal monodromies. These results not only deepen the understanding of the quantum connection but also provide an important theoretical basis for further research in symplectic geometry and mirror symmetry.