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.

Surjectively rigid chains

Equimorphy -- The Case of Chains

Corona Rigidity

Rigidity of operator systems: tight extensions and noncommutative measurable structures

Rigidity And Unirational Groups

An extension of Margulis' Super-Rigidity Theorem

A real chain condition for groups

On [math]-stable [math]-rigid objects in [math]-angulated categories

Stable decompositions and rigidity for products of countable equivalence relations

Surfaces and other Peano Continua with no Generic Chains

Cohen Generic Structures with Functions

Structural rigidity and flexibility using graphs of groups

Lattices in rigid analytic representations

Splitting chains, tunnels and twisted sums

Rigid-Recurrent Sequences for Actions of Finite Exponent Groups

Locally rigid $\infty$-categories

On the cohomology ring of chains in $R^d$

2-Rig Extensions and the Splitting Principle

On relative ranks of the semigroup of orientation-preserving transformations on infinite chain with restricted range

Cryptomorphisms for abstract rigidity matroids

Solvability in groups with a chain condition on uniformly definable subgroups