Picard-groupoid refinement conjecture for derived Looijenga line bundles

Let Bil ⁣:LatopAbGroupPicGrpds\operatorname{Bil}\colon \operatorname{Lat}^{\operatorname{op}}\to\operatorname{AbGroup}\subset\mathrm{PicGrpds} be the functor of bilinear forms, and let Pictop ⁣:LatopPicGrpds\mathcal{P}ic^{\mathrm{top}}\colon \operatorname{Lat}^{\operatorname{op}}\to\mathrm{PicGrpds} assign the Picard groupoid of derived line bundles. Picard-groupoid refinement conjecture. There is an essentially unique natural transformation L\mathcal{L} from Bil\operatorname{Bil} to Pictop\mathcal{P}ic^{\mathrm{top}} sending vwBil(Z)vw\in\operatorname{Bil}(\mathbb{Z}) to Otop(e)[2]\mathcal{O}^{\mathrm{top}}(e)[-2]. In particular, it gives canonical equivalences Lb+bLbLb\mathcal{L}_{b+b'}\simeq\mathcal{L}_b\otimes\mathcal{L}_{b'} and L0OEtopΛ\mathcal{L}_0\simeq\mathcal{O}_{\mathcal{E}^{\mathrm{top}}\otimes\Lambda}, hence canonically LbLb\mathcal{L}_{-b}\simeq\mathcal{L}_b^{\vee}.

Sources & referencesView supporting material

Primary source

Sergei Gukov, Vyacheslav Krushkal, Lennart Meier and Du Pei, “A new approach to (3+1)-dimensional TQFTs via topological modular forms”, arXiv:2509.12402 (2025).

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.