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

Cite as @baez-2024-2 (helia, typst) · \cite{baez-2024-2} (LaTeX)
BibTeX
bibtex · 8 lines
@misc{baez-2024-2,
  author = {John C. Baez and Joe Moeller and Todd Trimble},
  title = {2-Rig Extensions and the Splitting Principle},
  year = {2024},
  month = {10},
  eprint = {2410.05598},
  archiveprefix = {arXiv}
}
hayagriva YAML (typst)
yaml · 10 lines
baez-2024-2:
  type: misc
  title: 2-Rig Extensions and the Splitting Principle
  author:
  - Baez, John C.
  - Moeller, Joe
  - Trimble, Todd
  date: 2024-10
  serial-number:
    arxiv: '2410.05598'
Cites 10 works (0 here)
External (10)
baez-2024-2 reference entries/refs/baez-2024-2/baez-2024-2.hel