Functoriality of the L-infinity structure under exact Lagrangian cobordisms

About 3 years old · traced to

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 L∞L_\infty morphism from the L∞L_\infty algebra ((A+)comm⁡,{ℓk+})((\mathcal{A}^+)^{\operatorname{comm}},\{\ell_k^+\}) of Λ+\Lambda^+ to the L∞L_\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.

References

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.