Nadler–Tanaka's cotangent-bundle conjecture for Lagrangian cobordisms

Let XX be connected, set M=TXM=T^*X and let Λ=X\Lambda=X be the zero section. Choose xXx\in X and write TxXTXT_x^*X\subset T^*X for the corresponding conormal Lagrangian. Set

\cE=End\Lagpt(pt)(pt).\cE=\operatorname{End}_{\Lag_{pt}(pt)}(pt).

For an E1E_1-algebra AA, write APerfA\operatorname{Perf} for its stable \infty-category of perfect modules, and let ΩxX=ΩxX⨿{}\Omega_xX_* = \Omega_xX\amalg\{*\}.

Nadler–Tanaka's cotangent-bundle conjecture. The object TxX\LagX(TX)T_x^*X\in\Lag_X(T^*X) is a generator; every object is a finite colimit of objects TxX[k]T_x^*X[k], kZk\in\mathbb Z; and

End\LagX(TX)(TxX)ΩxX\cE.\operatorname{End}_{\Lag_X(T^*X)}(T_x^*X)\simeq \Omega_xX_*\wedge\cE.

Consequently,

\LagX(TX)(ΩxX\cE)Perf.\Lag_X(T^*X)\simeq (\Omega_xX_*\wedge\cE)\operatorname{Perf}.

This is the Lagrangian-cobordism analogue of the expected description of the wrapped Fukaya category of a cotangent bundle by based-loop-space chains. The source treats the assertion as conjectural.

Sources & referencesView supporting material

Primary source

David Nadler and Hiro Lee Tanaka, “A stable infinity-category of Lagrangian cobordisms”, arXiv:1109.4835 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.