拉格朗日子流形的层量化与弗洛尔上同调

给定$T^*N$中的精确拉格朗日子流形$L$，我们希望在$N\times {\mathbb R}$上的层导出范畴中构造一个层复形，使得其奇支集$SS({\mathcal F}^\bullet_L)$等于$\widehat L$，即建立在$L$上的锥。其存在性于2011年在\cite{Viterbo-ISTST}中陈述，并给出了证明概要，但其中含有一个漏洞（此处通过修正弥补）。Guillermou（\cite{Guillermou}）不久之后用完全不同的方法给出了完整证明，特别地，Guillermou的方法不使用弗洛尔理论。此处提供的证明如最初计划，基于弗洛尔同调。除了层复形的构造外，我们证明量化的层上同调与弗洛尔上同调的过滤版本一致，即$FH^*(N\times ]-\infty, \lambda [, {\mathcal F}^\bullet_L)\simeq FH^*(L;0_N;\lambda)$，并且它们的乘积结构也一致。