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

From papers

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

Fhol ⁣:HW(i=1κTqiC)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κTqiC)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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.