The arbitrary-genus Lagrangian cobordism functoriality conjecture

About 15 years old · traced to

Let K0 \mathcal{K}_0 and K1 \mathcal{K}_1 be Legendrian knots in (Y,ξ)(Y,\xi), and suppose that K0≺ΣK1 \mathcal{K}_0\prec_{\Sigma}\mathcal{K}_1 is a Lagrangian cobordism of arbitrary genus. Write K0K_0 and K1K_1 for their underlying topological knot types, and let R \mathcal{R} be the coefficient ring. Lagrangian cobordism functoriality conjecture. There is a map

KHM(−Y,K1)⊗R⟶KHM(−Y,K0)⊗RKHM(-Y,K_1)\otimes\mathcal{R}\longrightarrow KHM(-Y,K_0)\otimes\mathcal{R}

that sends ℓ(K1) \ell(\mathcal{K}_1) to ℓ(K0) \ell(\mathcal{K}_0). Such a map would extend the known functoriality of the invariant under the relevant Lagrangian cobordisms to cobordisms of arbitrary genus. The source gives no resolution of this conjecture.

References

Primary source

Steven Sivek, “Monopole Floer homology and Legendrian knots”, arXiv:1107.6028 (2011).

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.