Picard-groupoid refinement conjecture for derived Looijenga line bundles

About 1 year old · traced to

Let Bil⁡ ⁣:Lat⁡op⁡→AbGroup⁡⊂PicGrpds\operatorname{Bil}\colon \operatorname{Lat}^{\operatorname{op}}\to\operatorname{AbGroup}\subset\mathrm{PicGrpds} be the functor of bilinear forms, and let Pictop ⁣:Lat⁡op⁡→PicGrpds\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 vw∈Bil⁡(Z)vw\in\operatorname{Bil}(\mathbb{Z}) to Otop(e)[−2]\mathcal{O}^{\mathrm{top}}(e)[-2]. In particular, it gives canonical equivalences Lb+b′≃Lb⊗Lb′\mathcal{L}_{b+b'}\simeq\mathcal{L}_b\otimes\mathcal{L}_{b'} and L0≃OEtop⊗Λ\mathcal{L}_0\simeq\mathcal{O}_{\mathcal{E}^{\mathrm{top}}\otimes\Lambda}, hence canonically L−b≃Lb∨\mathcal{L}_{-b}\simeq\mathcal{L}_b^{\vee}.

References

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.