Splitting principle for objects of finite bosonic subdimension

Let [?][?] be a 2-rig and let r[?]r\triangleright [?] be an object of finite bosonic subdimension. Splitting principle conjecture. There exists a 2-rig [?][?] and a map of 2-rigs E[?]E\triangleright [?] such that E(r)E(r) splits as a direct sum of finitely many bosonic subline objects, EE is faithful, conservative, and essentially injective, and the induced map

K(E) ⁣:K(R)K(R)K(E)\colon K(\mathsf{R})\to K(\mathsf{R}')

is injective. The source presents this as a hoped-for generalization of a proved special case, but gives no resolution of the general statement.

Sources & referencesView supporting material

Primary source

John C. Baez, Joe Moeller and Todd Trimble, “2-Rig Extensions and the Splitting Principle”, arXiv:2410.05598 (2024).

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.