Commutativity conjecture for iterated vanishing-cycle correspondences

About 20 years old · traced to

Let Σ\Sigma be a surface and let L,L′⊂ΣL,L'\subset\Sigma be disjoint circles. Write V^Ln\widehat{V}_L^n and V^L′n\widehat{V}_{L'}^n for the associated Lagrangian correspondences between the relevant symmetric products, and use ∘\circ for correspondence composition. Commutativity conjecture. The two iterated vanishing-cycle correspondences are Hamiltonian isotopic:

V^L′n−1∘V^Ln≃HV^Ln−1∘V^L′n.\widehat{V}_{L'}^{n-1}\circ\widehat{V}_L^n\simeq_H\widehat{V}_L^{n-1}\circ\widehat{V}_{L'}^n.

This would strengthen the preceding smooth-isotopy statement to Hamiltonian isotopy and is the commutativity property needed to establish independence of perturbations in the construction of the Lagrangian matching invariant; the supplied text gives no resolution status.

References

Primary source

Tim Perutz, “Lagrangian matching invariants for fibred four-manifolds: I”, arXiv:math/0606061 (2007).

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.