Integral surgery exact triangle for combinatorial Heegaard Floer homology

Let YY be a closed, oriented 33-manifold and let KK be a framed knot in YY. Let H\mathcal H be a nice bordered Heegaard diagram for the infinity-framed complement YNbhd(K)Y\setminus\operatorname{Nbhd}(K), and suppose that HiHHi\mathcal H_i'\coloneqq\mathcal H\cup\mathcal H_i is a nice Heegaard diagram for the 33-manifold YiY_i obtained from YY by ii-surgery on KK, for i{,1,0}i\in\{\infty,-1,0\}. Surgery exact-triangle conjecture. There is an exact sequence

HF~(H;Z)HF~(H1;Z)HF~(H0;Z).\cdots\to\widetilde{\operatorname{HF}}(\mathcal H_\infty';\mathbb Z)\to\widetilde{\operatorname{HF}}(\mathcal H_{-1}';\mathbb Z)\to\widetilde{\operatorname{HF}}(\mathcal H_0';\mathbb Z)\to\cdots.

This is the integral analogue of the surgery exact triangle known over F2\mathbb F_2; the paper presents it as a conjectural application for the combinatorially defined theory HF~\widetilde{\operatorname{HF}} over Z\mathbb Z.

Sources & referencesView supporting material

Primary source

Douglas Knowles and Ina Petkova, “Bordered Floer homology with integral coefficients for manifolds with torus boundary”, arXiv:2104.15120 (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.