Functoriality of the L-infinity structure under exact Lagrangian cobordisms

Let Λ\Lambda^- and Λ+\Lambda^+ be pointed Legendrian links, and suppose that there is an exact Lagrangian cobordism from Λ\Lambda^- to Λ+\Lambda^+. Let ((A±)comm,{k±})((\mathcal{A}^\pm)^{\operatorname{comm}},\{\ell_k^\pm\}) denote the associated homotopy Poisson algebras, and let (A+)comm(A)comm(\mathcal{A}^+)^{\operatorname{comm}}\to(\mathcal{A}^-)^{\operatorname{comm}} be the usual cobordism map of Chekanov--Eliashberg DGAs.

Functoriality conjecture. There is an LL_\infty morphism from the LL_\infty algebra ((A+)comm,{k+})((\mathcal{A}^+)^{\operatorname{comm}},\{\ell_k^+\}) of Λ+\Lambda^+ to the LL_\infty algebra ((A)comm,{k})((\mathcal{A}^-)^{\operatorname{comm}},\{\ell_k^-\}) of Λ\Lambda^- extending the usual cobordism map of Chekanov--Eliashberg DGAs (A+)comm(A)comm(\mathcal{A}^+)^{\operatorname{comm}}\to(\mathcal{A}^-)^{\operatorname{comm}}.

This conjecture proposes that the structure is functorial for exact Lagrangian cobordisms, extending the known functoriality of the Chekanov--Eliashberg DGA.

Sources & referencesView supporting material

Primary source

Lenhard Ng, “An L-infinity structure for Legendrian contact homology”, arXiv:2311.14614 (2025).

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.