Category Splitting: Structural Refinement

• Category splitting is a set of decomposition techniques that structurally refine complex categories by splitting them into simpler, reconstructible subcomponents.
• In rational equivariant algebra, primitive idempotents and split filtrations decompose categories, enabling precise analysis and recovery of structural information.
• In machine learning, category splitting subdivides coarse labels into finer pseudo-categories, significantly enhancing classification performance on imbalanced datasets.

Searching arXiv for the cited topic and papers.

Search query: "category splitting Mackey functors Greenlees May splitting principle arXiv"

Category splitting is a family of decomposition procedures that recur across algebra, topology, geometry, representation theory, and machine learning, but not with a single universal definition. In the literature surveyed here it can mean a product decomposition of a category by primitive idempotents, a derived-category criterion formulated by left inverses, a filtration equipped with explicit splittings over a subcategory, a quotient cover that separates factorization fibers, or an automatic subdivision of coarse labels into finer pseudo-categories (Barnes et al., 2024, Bouc et al., 2024, Kovács, 2011, Canesin, 14 Jan 2026, Mullapudi et al., 2020). This suggests that the common core of the term is structural refinement together with a reconstruction mechanism: the split pieces are simpler than the original object, but they still retain enough information to recover or control it.

1. Terminological scope and formal patterns

One major meaning of category splitting is idempotent or block decomposition. In rational Mackey theory, primitive orthogonal idempotents of a Burnside-type ring induce a product decomposition of the ambient category into full subcategories. Another meaning is derived splitting principle, where “splitting” is not a naive direct-sum statement but the existence of a left inverse for a natural morphism in a derived category. A third meaning is split filtration, where successive inclusions in a filtration are required to split only after restriction to a specified subcategory $B\subseteq A$, producing a triangular-matrix description of the resulting category. A fourth meaning is external splitting after extension, as in 2-rigs, where an object need not split in the original category but does split after passage to a larger one. A fifth is label or class splitting in machine learning, where a broad class such as “background” is subdivided into coherent pseudo-categories during training (Kovács, 2011, Canesin, 14 Jan 2026, Baez et al., 2024, Mullapudi et al., 2020).

These meanings are not interchangeable. In particular, “orthogonal basis” in the toric-derived setting refers to a full strongly exceptional collection of line bundles rather than a direct-sum decomposition of the category, and “category tree” refers to branching by mixed-category membership rather than by feature thresholds (Costa et al., 2010, Greer, 2018). The phrase therefore names a cluster of decomposition strategies rather than a single axiomatically fixed construction.

2. Rational Mackey-theoretic product decompositions

A central mathematical instance of category splitting occurs in rational equivariant algebra. For a finite group $G$ and a transfer system $O$, the category of rational $O$-incomplete $G$-Mackey functors decomposes into canonical factors indexed by conjugacy classes in

$\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$

The rational incomplete Burnside ring identifies with $O$-class functions,

$\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$

so its primitive idempotents are characteristic functions of conjugacy classes in $\Sub^O(G)$, yielding a maximal orthogonal decomposition

$1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$

The incomplete case differs from the classical one because the blocks are indexed by inseparability classes rather than by all subgroup conjugacy classes. Two subgroups are inseparable precisely when they cannot be distinguished by fixed-point counts on $G$0-admissible orbits. The paper emphasizes that simpler transfer systems can yield fewer summands, while the individual summands become more intricate; in the disk-like case the split pieces simplify to contravariant orbit-diagram categories, and the complete transfer system recovers the Greenlees–May / Thévenaz–Webb splitting (Barnes et al., 2024).

The same algebraic mechanism has a more general form for modules over an arbitrary Green functor $G$1. Bouc–Dell’Ambrogio–Martos show that the Brauer quotient functor induces an equivalence

$G$2

for $G$3 with $G$4. This extends the classical rational decomposition of Mackey functors from the Burnside Green functor to arbitrary Green-functor coefficients. When $G$5 is the complex representation ring Green functor, only cyclic subgroups contribute because

$G$6

and this yields an algebraic model for the rational equivariant Kasparov category of $G$7-cell algebras (Bouc et al., 2024).

3. Derived and exact-category splitting principles

In derived singularity theory, splitting is formulated with particular care. Kovács states that in a derived category one should not naively speak of direct-sum decompositions; the relevant condition is that a morphism

$G$8

admits a left inverse $G$9 with $O$0. The splitting principle says that for natural morphisms arising from geometry, such left-invertibility does not occur accidentally: if the map is already a quasi-isomorphism on a dense open set and satisfies consistency and cohomological-surjectivity hypotheses, then a left inverse forces it to be a quasi-isomorphism everywhere. In particular, if

$O$1

admits a left inverse, then $O$2 has Du Bois singularities; similarly, if

$O$3

admits a left inverse, then $O$4 is a DB pair (Kovács, 2011).

A different but related splitting question concerns idempotents in extension categories. Given an additive category $O$5 and a biadditive functor

$O$6

the category $O$7 has as objects the $O$8-extensions $O$9. The paper proves that an idempotent

$O$0

splits in $O$1 if and only if $O$2 and $O$3 split in $O$4. Consequently, if $O$5 is idempotent complete, then $O$6 is idempotent complete. More strongly, formation of the extension category commutes with Karoubi completion up to exact equivalence: $O$7 The paper extends this compatibility to $O$8-exangulated categories and packages the result as a $O$9-natural transformation between the relevant $G$0-functors (Bennett-Tennenhaus et al., 2023).

4. Splitting Borel data and universal highest-weight categories

In the representation theory of $G$1, $G$2, and $G$3, “splitting” enters through splitting Borel subalgebras. These are parametrized by total orders on the relevant index set, and unlike the finite-dimensional case they are not all conjugate. That non-conjugacy obstructs a naive BGG-style definition of category $G$4. The large-annihilator category $G$5 resolves this by showing that, after passing to suitable ideal and especially perfect splitting Borels, the dependence on $G$6 can be controlled and ultimately eliminated. All perfect splitting Borels are conjugate under $G$7, which permits the definition of a universal highest-weight category $G$8 (Penkov et al., 2018).

The large annihilator condition is the key structural input. It permits truncation and invariant functors that compare categories attached to different splitting Borels, and it ensures that the subcategory of integrable objects in $G$9 is precisely the tensor category $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$0. Within $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$1, every simple object is a highest weight module $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$2, the standard objects are $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$3, and indecomposable injectives admit finite standard filtrations. The category is a highest weight category in the sense of Cline–Parshall–Scott, but its highest-weight structure is shaped by the infinite-rank splitting data: finite-root contributions are controlled by a subalgebra $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$4, while tensor-theoretic layers coming from $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$5 govern the canonical degree filtration (Penkov et al., 2018).

5. Split filtrations, factorization covers, and categorified extensions

For a small $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$6-category $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$7 and a $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$8-subcategory $\Sub^O(G)=\{H\leq G\mid H\to G \text{ in }O\}.$9 containing all objects, the category $O$0 consists of filtrations

$O$1

equipped with $O$2-linear retractions $O$3. The filtration is therefore split over $O$4, though not necessarily over $O$5. This extra splitting rigidifies filtered objects enough to make the category abelian and equivalent to a module category over an explicit triangular matrix category: $O$6 with

$O$7

Applied to the singular Nakajima category $O$8, this yields a category $O$9 whose modules parametrize Nakajima’s $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$0-fold affine graded tensor product varieties. For Dynkin $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$1, the stable category of finitely generated Gorenstein projective $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$2-modules is triangle equivalent to

$\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$3

where $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$4 is the algebra of $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$5 upper triangular matrices over $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$6 (Canesin, 14 Jan 2026).

A different structural use of splitting appears in supertropical monoids. Here the relevant objects are covers

$\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$7

between a universal factorization object $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$8 and a supertropical monoid $\underline A^O(G/G)\otimes \mathbb Q \cong \Cl^O(G;\mathbb Q),$9, with quotients controlled by MFCE-relations rather than ideals. The paper defines total splitting covers, minimal partial splitting covers, and partitioned splitting covers. For a partition $\Sub^O(G)$0 of a factorization fiber $\Sub^O(G)$1, the minimal partitioned splitting cover is

$\Sub^O(G)$2

and the assignment $\Sub^O(G)$3 is an isomorphism of partially ordered sets between admissible partitions and minimal partitioned splitting covers. In this setting, category splitting is a quotient-theoretic refinement of factorization fibers rather than a direct-sum decomposition (Izhakian et al., 2024).

The most explicit categorified extension principle is formulated for 2-rigs. A 2-rig is a Cauchy complete $\Sub^O(G)$4-linear symmetric monoidal category over a field of characteristic zero. The conjectural splitting principle asserts that for an object $\Sub^O(G)$5 of finite bosonic subdimension there should exist a 2-rig map

$\Sub^O(G)$6

such that $\Sub^O(G)$7 splits as a direct sum of finitely many bosonic subline objects, $\Sub^O(G)$8 is faithful, conservative, and essentially injective, and

$\Sub^O(G)$9

is injective. This is proved for the free 2-rig on one object, namely the category of Schur functors: the paper constructs an extension

$1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$0

and shows that $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$1 is injective with image the ring of symmetric functions (Baez et al., 2024).

6. Geometric realizations in toric and motivic settings

In toric geometry, splitting can originate from a concrete geometric decomposition of a vector bundle. For a smooth complete toric variety $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$2, the toric Frobenius morphism $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$3 satisfies

$1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$4

For smooth Fano toric varieties with maximal or almost maximal Picard number, the line bundles $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$5 that arise as Frobenius summands form the candidate set for a full strongly exceptional collection. Bondal’s criterion then supplies the required Ext-vanishing, so the geometric splitting of a Frobenius pushforward yields the categorical data of a full strongly exceptional collection in $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$6. The paper explicitly notes that its “orthogonal basis” is this full strongly exceptional collection of line bundles, not a product decomposition of the derived category (Costa et al., 2010).

In motivic homotopy theory, the motive of $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$7 admits a geometric splitting in $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$8 analogous to Haynes Miller’s stable splitting of $1=\sum_{(H)\in \Sub^O(G)/G} e_{[H]^O}, \qquad \Mack^G_{O,\mathbb Q}\cong \prod_{[H]^O} [H]^O\!\!-\!\Mack^G_{\mathbb Q}.$9. The basic decomposition is

$G$00

and each summand has the Thom-type description

$G$01

The construction proceeds through motivic cofiber filtrations, pure Tate control, and splitting of distinguished triangles. The result is a genuine categorical splitting in $G$02, not merely a decomposition of cohomology groups (Gant, 2024).

7. Algorithmic label splitting in machine learning

In machine learning, category splitting is used operationally rather than in the sense of abstract category theory. In Category Trees, each class is represented by its own centroid-based classifier, and branching occurs when a node is the closest match for rows from multiple true categories. Classification uses

$G$03

and if a classifier represents more than one category, it creates a new layer with one child classifier per involved category. The paper stresses that this is “a tree - not for distinguishing features, but for distinguishing categories,” so it is not a conventional feature-threshold decision tree (Greer, 2018).

A related but distinct use appears in rare-class recognition with dominant background. When background accounts for more than $G$04 of the data, and up to $G$05 in the most extreme case, the paper splits the background automatically into pseudo-categories using a pretrained ImageNet classifier. Training uses tuples

$G$06

with a shared trunk and two heads optimized by

$G$07

where $G$08. The main classifier also uses background thresholding with

$G$09

and the experiments set $G$10. In the modified iNaturalist-BG benchmark, this yields gains of $G$11 mAP points over fine-tuning when $G$12 of the data is background and $G$13 mAP points over state-of-the-art baselines when $G$14 of the data is background. The paper explicitly distinguishes its method from manual relabeling, clustering as the main method, and soft top-$G$15 distillation; the proposed mechanism uses hard pseudo-labels from the pretrained model (Mullapudi et al., 2020).