Integral rank-one conjecture for K-theoretic BPS spaces

For nNn\in\mathbb{N} and the pairs (nd,nv)(nd,nv) under consideration, let P(nd)nv\mathrm{P}(nd)_{nv} denote the K-theoretic BPS space of primitive elements, defined by

P(nd)nv:=ker(a+b=n\a,b1Δa,b:KT(T(nd)nv)a+b=n\a,b1KT(T(ad)avT(bd)bv)).\mathrm{P}(nd)_{nv}:=\operatorname{ker}\left(\bigoplus_{\substack{a+b=n\\\a,b\geqslant 1}}\Delta_{a,b}:K_T(\mathbb{T}(nd)_{nv})\to\bigoplus_{\substack{a+b=n\\\a,b\geqslant 1}}K_T(\mathbb{T}(ad)_{av}\otimes\mathbb{T}(bd)_{bv})\right).

Integral rank-one conjecture. The K\mathbb{K}-module P(nd)nv\mathrm{P}(nd)_{nv} is free of rank one.

This is the integral version of the established statement that the localized space P(nd)nv,F\mathrm{P}(nd)_{nv,\mathbb{F}} is one dimensional. The source notes that the torsion-free version for (d,v)=(1,0)(d,v)=(1,0) and n=2n=2 follows from the discussion cited there; the integral assertion for all relevant pairs remains conjectural.

Sources & referencesView supporting material

Primary source

Tudor Pădurariu and Yukinobu Toda, “Categorical and K-theoretic Donaldson-Thomas theory of C^3 (part II)”, arXiv:2209.05920 (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.