Microlocal branes are constructible sheaves

-modules developed by Kapustin and Kapustin-Witten from a physical perspective. As a concrete application, we show that compact connected exact Lagrangians in

T^{*} X

(with some modest homological assumptions) are equivalent in the Fukaya category to the zero section. In particular, this determines their (complex) cohomology ring and homology class in

T^{*} X

, and provides a homological bound on their number of intersection points. An independent characterization of compact branes in

T^{*} X

has recently been obtained by Fukaya-Seidel-Smith.

Review text

The main result of this paper is beautifully summarized in its title: the microlocalization functor is an \(A_\infty\)-quasi-equivalence between the differential graded category \(Sh_c(X)\) of constructible sheaves on a compact real analytic manifold \(X\) and the triangulated envelope \(F(T^*X)\) of the Fukaya category of \(T^*X\). The microlocalization functor \(\mu_X:Sh_c(X)\to F(T^*X)\) was introduced in a joint work of the author with \textit{E. Zaslow} [J. Am. Math. Soc. 22, 233--286 (2009)], where it was also proved that \(\mu_X\) is an \(A_\infty\)-quasi-embedding, i.e., that the induced functor in cohomology is a fully faithful embedding of the bounded derived category of constructible complexes of sheaves on \(X\) into the derived Fukaya category. In the present paper, this result is refined showing that \(H(\mu_X)\) is actually an equivalence of triangulated categories. This can be viewed as a categorification of the fact that the characteristic cycle homomorphism is an isomorphism from constructible functions to conical Lagrangian cycles. Moreover, when \(X\) is a complex manifold, this result can also be interpreted as a topological analogue of the identification of Lagrangian branes in \(T^*X\) and regular holonomic \(\mathcal{D}_X\)-modules developed by \textit{A.~Kapustin} and \textit{E.~Witten} [Commun. Number Theory Phys. 1, No.~1 (2007; Zbl 1128.22013); \url{arXiv:hep-th/0502212}]. As a concrete geometrical application, the author shows that under mild homological assumptions, compact connected Lagrangians \(L\subset T^*X\) which are exact and have trivial Maslov class are equivalent in the Fukaya category to a shift of the zero section of \(T^*X\). In particular, this implies that \([L]=\pm[X]\) as homology classes in \(H_{\dim X}(T^*X,\mathbb{C})\), the existence of a ring isomorphism \(H^*(L,\mathbb{C})\simeq H^*(X,\mathbb{C})\) and the following homological lower bound for the (possibly infinite) number of intersection points of two such Lagrangians: \(\#(L\cap L')\geq \sum_k\dim H^k(X,\mathbb{C})\). An independent characterization of compact branes in \(T^*X\) has been obtained in [\textit{K.~ Fukaya, P.~Seidel} and \textit{I.~Smith}, Invent. Math. 172, No.~1, 1--27 (2008; Zbl 1140.53036)].

Recommendations

Cites work

Cited in

(87)

This page was built for publication: Microlocal branes are constructible sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1047914)