Maxim Kontsevich - 3/6 Resurgence and Quantization
Channel: Institut des Hautes Études Scientifiques (IHÉS)
Date: 2017-05-03

There are two canonical ``quantizations'' of symplectic manifolds:

\begin{itemize}

\item Deformation quantization, associating with any ($C^\infty$, analytic, algebraic over field of characteristic zero)

symplectic manifold $(M,\omega)$ a sheaf of catgeories, which is locally equivalent to categories of modules over quantized algebras

$\mathcal{O}_M[[\hbar]]$ where the ``Planck constant'' $\hbar$ is formal parameter.

\item Fukaya category $\mathcal{F}(M,\omega)$ associated to a \emph{real} $C^\infty$ symplectic manifold,

with the morphism space between objects corrsponding to Lagrangian subvarieties $L_1,L_2\subset M$ given by Floer homology $HF(L_1,L_2)$.

This is an $A_\infty$-category (an analog of triangulated category) linear over the Novikov field consisting of formal sums

\[c_1 e^{-\frac{A_1}{\hbar}}+ c_2 e^{-\frac{A_2}{\hbar}}+\dots, \quad \text{ where } c_i\in \mathbb{Q},A_i\in \mathbb{R},\lim_i A_i=+\infty\]

\end{itemize}

The goal of my course is to unify these two quantizations, proposing the following conjecture, a generalization of Riemann-Hilbert correspondence (joint work with Y.Soibelman):

{\it For a symplectic algebraic variety $(M,\omega)$ over $\mathbb{C}$ together with an approriate data at infinity, the formal deformation quantization gives an analytic in $\hbar$ family of categories of holonomic modules over the quantized space, and this family of categories for $\hbar\ne 0$ is equivalent

to the Fukaya category of $M$ considerd as a $C^\infty$ manifold, endowed with the symplectic form $\Re(\omega/\hbar)$

and $B$-field $\Im(\omega/\hbar)$.}

The general construction is a mixture of Fukaya categories, deformation quantization and of wall-crossing formalism.

As a corollary we obtain

the resurgence properties of WKB solutions, conjectured long time ago. Exponentially small corrections coming from pseudo-holomorphic discs, upgrade a divergent formal power series in $\hbar$ to a holomorphic function.