Cours de l'IHES­­ 2016-2017

Resurgence and Quantization (2/6)

by Prof. Maxim KONTSEVICH (IHES)

Amphithéâtre Léon Motchane (IHES)

Amphithéâtre Léon Motchane


Le Bois-Marie 35, route de Chartres 91440 Bures-sur-Yvette

Cours des Professeurs permanents de l'IHES


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


\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\]


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.


From the same series
1 3 4 5 6