The equality conjecture for the GY and projective extended TQFT bimodules

Let FF be a zero-decorated admissible 22-dimensional cobordism from M1M_1 to M2M_2, where every component of FF intersects the incoming boundary M1M_1. Let AEF(Mi)A_{EF}(M_i) denote the algebra (U(psl(11)))pi\left(U(\mathfrak{psl}(1|1))\right)^{\otimes p_i} associated to MiM_i, and let ZextGY(F)\mathbf{Z}^{GY}_{\operatorname{ext}}(F) and Zδ1/2,π1/2P(F)\mathbf{Z}^{P}_{\delta_{1/2},\pi_{1/2}}(F) be the resulting Z\mathbb{Z}-graded bimodules over (AEF(M2),AEF(M1))(A_{EF}(M_2),A_{EF}(M_1)).

Equality conjecture. If each component of FF intersects M1M_1, then, as Z\mathbb{Z}-graded bimodules over (AEF(M2),AEF(M1))(A_{EF}(M_2),A_{EF}(M_1)),

ZextGY(F)Zδ1/2,π1/2P(F).\mathbf{Z}^{GY}_{\operatorname{ext}}(F)\cong \mathbf{Z}^{P}_{\delta_{1/2},\pi_{1/2}}(F).

The admissibility hypothesis ensures that these bimodules are projective as left AEF(M2)A_{EF}(M_2)-modules. The source gives no evidence that the proposed identification has been proved or disproved.

Sources & referencesView supporting material

Primary source

Andrew Manion, “Decategorified Heegaard Floer theory and actions of both E and F”, arXiv:2303.06462 (2023).

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.