Skip to content
DraconiticResearch
Search Sources API
206,698 studies31 sourcesUpdated 36 min ago
PreprintarXiv licencearXiv

Cobordism maps and Atiyah-Floer isomorphisms for framed instanton homology I

Abstract

We prove that isomorphisms of the type constructed by Daemi, Fukaya and Lipyanskiy, between framed instanton homology and the Lagrangian Floer homology of a Heegaard splitting, intertwine the cobordism maps of Kronheimer and Mrowka with maps defined by holomorphic curves alone, over the field of two elements. This holds for every connected cobordism between connected three-manifolds carrying a framed arc between its ends and an SO(3) bundle trivialized along the ends and the arc. The symplectic maps count holomorphic triangles in moduli spaces of flat connections on surfaces, with the correspondence of a compression body as boundary condition for one- and three-handles. Consequently these maps are independent of the handle decomposition and of the Heegaard data, and form a functor isomorphic to framed instanton homology; where both are defined, our isomorphisms agree with those of Daemi, Fukaya and Lipyanskiy modulo two. The proof rests on two analytic results for the mixed anti-self-duality and holomorphic curve equation: an adiabatic limit in which a compression body collapses next to a holomorphic strip and becomes the Lagrangian boundary condition of its flat connections, and an excision theorem along a torus.

Related

  1. The homology cobordism group is not generated by graph homology $3$-spheres
    Ben Mares, Yuta Nozaki, Masaki Taniguchi
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  2. Absolute mod-two gradings on framed real monopole Floer homology
    Jiakai Li, Ciprian Manolescu
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  3. Equivariant Instanton Homology
    Mike Miller Eismeier
    Memoirs of the American Mathematical SocietyPeer-reviewedLicence not statedFull text15 citedGeometry & topologyOpenAlex
  4. Instanton and pillowcase homology of the (−2,3,q) pretzel knots
    Bernd Johannes Wuebben
    arXivPreprintarXiv licenceFull textGeometry & topologyarXiv
  5. Singular Atiyah Configurations
    Jan Eickhoff
    arXivPreprintCC BY-NC-ND 4.0Full textGeometry & topologyarXiv
BibTeX
@misc{wuebben2026cobordism,
  title = {{Cobordism maps and Atiyah-Floer isomorphisms for framed instanton homology I}},
  author = {Bernd Johannes Wuebben},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.10002},
  eprint = {2611.10002},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.10002},
}
RIS
TY  - UNPB
TI  - Cobordism maps and Atiyah-Floer isomorphisms for framed instanton homology I
AU  - Bernd Johannes Wuebben
PY  - 2026
DA  - 2026/11/04
PB  - arXiv
DO  - 10.48550/arxiv.2611.10002
UR  - https://arxiv.org/abs/2611.10002
AB  - We prove that isomorphisms of the type constructed by Daemi, Fukaya and Lipyanskiy, between framed instanton homology and the Lagrangian Floer homology of a Heegaard splitting, intertwine the cobordism maps of Kronheimer and Mrowka with maps defined by holomorphic curves alone, over the field of two elements. This holds for every connected cobordism between connected three-manifolds carrying a framed arc between its ends and an SO(3) bundle trivialized along the ends and the arc. The symplectic maps count holomorphic triangles in moduli spaces of flat connections on surfaces, with the correspondence of a compression body as boundary condition for one- and three-handles. Consequently these maps are independent of the handle decomposition and of the Heegaard data, and form a functor isomorphic to framed instanton homology; where both are defined, our isomorphisms agree with those of Daemi, Fukaya and Lipyanskiy modulo two. The proof rests on two analytic results for the mixed anti-self-duality and holomorphic curve equation: an adiabatic limit in which a compression body collapses next to a holomorphic strip and becomes the Lagrangian boundary condition of its flat connections, and an excision theorem along a torus.
ER  -