Equality of the hybrid Floer–Morse and holomorphic curve-counting maps

Less than 1 year old · traced to

Let CC be the underlying curve, let Σ\Sigma be a real exact Lagrangian in T∗CT^*C, and let q1,…,qκq_1,\dots,q_\kappa be points of CC. The maps

Fhol⁡ ⁣:HW(⊔i=1κTqi∗C)→Mat⁡(Nκ,BSk⁡κ(Σ))\mathcal{F}_{\operatorname{hol}}\colon HW(\sqcup_{i=1}^\kappa T^*_{q_i}C)\to \operatorname{Mat}(N^{\kappa},\operatorname{BSk}_\kappa(\Sigma))

and

FMor⁡ ⁣:HW(⊔i=1κTqi∗C)→Mat⁡(Nκ,BSk⁡κ(Σ))\mathcal{F}_{\operatorname{Mor}}\colon HW(\sqcup_{i=1}^\kappa T^*_{q_i}C)\to \operatorname{Mat}(N^{\kappa},\operatorname{BSk}_\kappa(\Sigma))

are respectively defined by holomorphic curve counts and by counting holomorphic curves coupled with folded Morse flow trees. Equality of the hybrid Floer–Morse and holomorphic curve-counting maps.

FMor⁡=Fhol⁡.\mathcal{F}_{\operatorname{Mor}}=\mathcal{F}_{\operatorname{hol}}.

This identifies the hybrid Floer–Morse construction with the holomorphic curve-counting construction and is intended to make the connection with the spectral network associated to the spectral curve more transparent. The supplied text does not establish whether this equality is proved or remains conjectural.

References

Primary source

Ko Honda, Yin Tian and Tianyu Yuan, “Higher-dimensional Heegaard Floer homology and spectral networks”, arXiv:2601.15923 (2026).

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.