Abstract:Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on $K$-theory. Here we categorify the splitting principle and generalize it to the context of 2-rigs. A 2-rig is a kind of categorified "ring without negatives", such as a category of vector bundles with $\oplus$ as addition and $\otimes$ as multiplication. Technically, we define a 2-rig to be a Cauchy complete $k$-linear symmetric monoidal category where $k$ has characteristic zero. We conjecture that for any suitably finite-dimensional object $r$ of a 2-rig $\mathsf{R}$, there is a 2-rig map $E \colon \mathsf{R} \to \mathsf{R'}$ such that $E(r)$ splits as a direct sum of finitely many "subline objects" and $E$ has various good properties: it is faithful, conservative, essentially injective, and the induced map of Grothendieck rings $K(E) \colon K(\mathsf{R}) \to K(\mathsf{R'})$ is injective. We prove this conjecture for the free 2-rig on one object, namely the category of Schur functors, whose Grothendieck ring is the free $\lambda$-ring on one generator, also known as the ring of symmetric functions. We use this task as an excuse to develop the representation theory of affine categories - that is, categories enriched in affine schemes - using the theory of 2-rigs.

Internal split opfibrations and cofunctors

Lifting twisted coreflections against delta lenses

Reconstruction of module categories in the infinite and non-rigid settings

On a fibrational construction for optics, lenses, and Dialectica categories

On local fibrations of $(\infty,2)$-categories

Internal sums for synthetic fibered (∞,1)-categories

Fibrations and Koszul duality in locally Cartesian localisations

Internal sums for synthetic fibered $(\infty,1)$-categories

Invariant splitting principles for the Lipshitz--Ozsváth--Thurston correspondence

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

Functors on the category of finite sets revisited

Internal geometry and functors between sites

On splitting of morphisms induced by unit map of adjoint functors

Splitting rational incomplete Mackey functors

Outer functors and a general operadic framework

Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations

2-Rig Extensions and the Splitting Principle

Split objects with respect to a fully invariant short exact sequence in abelian categories

Splittings for -correspondences and strong shift equivalence

On functor double $\infty$-categories