Reference. 2-Rig Extensions and the Splitting Principle
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 -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 as addition and as multiplication. Technically, we define a 2-rig to be a Cauchy complete -linear symmetric monoidal category where has characteristic zero. We conjecture that for any suitably finite-dimensional object of a 2-rig , there is a 2-rig map such that splits as a direct sum of finitely many “subline objects” and has various good properties: it is faithful, conservative, essentially injective, and the induced map of Grothendieck rings 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 -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.
Cite
Cites 10 works (0 here)
External (10)
- Schur functors and categorified plethysm (2024)
- A Tour of Representation Theory (2018)
- Algebraic Groups: The Theory of Group Schemes of Finite Type over a Field (2017)
- Tensor Categories (2015)
- Ind-abelian categories and quasi-coherent sheaves (2014)
- Basic Theory of Affine Group Schemes (2012)
- Witt vectors. Part 1 (2009)
- Basic Concepts of Enriched Category Theory (2005)
- Higher-Dimensional Algebra V: 2-Groups (2003)
- Symmetric Functions and Hall Polynomials (2nd ed.) (1995)