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

About 15 years old · traced to

Let XX be connected, set M=T∗XM=T^*X and let Λ=X\Lambda=X be the zero section. Choose x∈Xx\in X and write Tx∗X⊂T∗XT_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 APerf⁡A\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 Tx∗X∈\LagX(T∗X)T_x^*X\in\Lag_X(T^*X) is a generator; every object is a finite colimit of objects Tx∗X[k]T_x^*X[k], k∈Zk\in\mathbb Z; and

End⁡\LagX(T∗X)(Tx∗X)≃ΩxX∗∧\cE.\operatorname{End}_{\Lag_X(T^*X)}(T_x^*X)\simeq \Omega_xX_*\wedge\cE.

Consequently,

\LagX(T∗X)≃(Ω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.

References

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.