Christmas Tree's Theorem in Partial Representations

• Christmas Tree’s Theorem is a categorical result that embeds the global representation category of any subgroup H of a finite group G into the partial representation category, establishing a fully faithful, strongly monoidal functor.
• The theorem leverages the decomposition of the partial group algebra into matrix algebras over subgroup algebras, which reveals a multifusion structure with distinct isotropy subcategories.
• Practically, the embedding functor ensures that each simple object from a subgroup’s representation theory appears as a summand in the ambient partial representation, unifying global and partial theories.

Christmas Tree’s Theorem is the statement that, for a finite group $G$ and any subgroup $H\leq G$, the ordinary representation category $\Rep(H)$ embeds into the category $\ParRep(G)$ of partial representations of $G$ by a fully faithful, additive, strongly monoidal functor. In the formulation developed in "The monoidal structure of the category of partial representations of finite groups" (Neto et al., 13 Feb 2026), this gives a precise categorical link between partial representations of $G$ and global representations of its subgroups, and it exhibits $\ParRep(G)$ as a multifusion category whose “leaves” are the familiar fusion categories $\Rep(H)$.

1. Basic notions and ambient categories

Let $G$ be a finite group, and let $k$ be an algebraically closed field of characteristic zero. A partial representation of $H\leq G$0 on a $H\leq G$1-vector space $H\leq G$2 is a map

$H\leq G$3

satisfying, for all $H\leq G$4,

$H\leq G$5

A partial $H\leq G$6-module is a pair $H\leq G$7, and a morphism of partial modules is an intertwiner in the obvious sense. The resulting category is written

$H\leq G$8

where $H\leq G$9 is the partial group algebra of $\Rep(H)$0. The category $\Rep(H)$1 is $\Rep(H)$2-linear, semisimple, and monoidal (Neto et al., 13 Feb 2026).

For any subgroup $\Rep(H)$3, the category of global $\Rep(H)$4-linear representations of $\Rep(H)$5 is

$\Rep(H)$6

the category of modules over the group algebra $\Rep(H)$7. It is a fusion category, and in fact a symmetric one. The theorem concerns the placement of these global categories inside the partial representation theory of the ambient group.

2. Statement of the theorem

The Christmas Tree’s Theorem, identified as Theorem 5.1, states that for every finite group $\Rep(H)$8 and every subgroup $\Rep(H)$9, there is a fully faithful, additive, strongly monoidal functor

$\ParRep(G)$0

A direct consequence is that each simple object of $\ParRep(G)$1 appears as a simple summand of a partial representation of $\ParRep(G)$2. Equivalently, all representation theories of all subgroups of $\ParRep(G)$3 sit faithfully inside the partial-representation category of $\ParRep(G)$4 (Neto et al., 13 Feb 2026).

The name “Christmas Tree” refers to the picture in which the multifusion category $\ParRep(G)$5 carries, at different idempotent summands of its unit, the ordinary representation categories of isotropy subgroups. This suggests a branching structure rather than a single connected fusion block.

3. Algebraic mechanism behind the embedding

The key structural input is the decomposition of the partial group algebra

$\ParRep(G)$6

where $\ParRep(G)$7 is a set of orbit representatives of subsets $\ParRep(G)$8 containing the identity, and

$\ParRep(G)$9

is the isotropy subgroup.

For each such $G$0,

$G$1

is a direct summand and is therefore Morita equivalent to $G$2. In particular, the full subcategory of $G$3 corresponding to the idempotent $G$4 generated by $G$5 is equivalent to $G$6 (Neto et al., 13 Feb 2026).

This is the categorical content of the theorem: partial representation theory is not merely adjacent to ordinary representation theory, but decomposes into blocks controlled by isotropy subgroups. A plausible implication is that tensor-product data and simple-object classification in $G$7 can be studied by passing to these Morita-equivalent subgroup-algebra pieces.

4. Construction of the monoidal embedding

For each subgroup $G$8, one constructs the partial module

$G$9

described as the “one-dimensional leaf” hanging at the vertex indexed by $G$0. The embedding functor is then

$G$1

Its categorical properties are part of the proof sketch. It is additive, because it carries direct sums in $G$2 to direct sums in $G$3. It is fully faithful, because any $G$4-intertwiner $G$5 extends canonically to an intertwiner of induced partial $G$6-modules, and no new maps appear. It is strongly monoidal, with the tensor product in the image identified with $G$7 (Neto et al., 13 Feb 2026).

From the decomposition of the unit object

$G$8

the images of all the functors $G$9 together generate the entire multifusion category $\ParRep(G)$0. This rules out the misconception that the theorem concerns only an isolated family of embedded subcategories; rather, the embedded subgroup theories account for the full multifusion structure.

5. The “Christmas tree” decomposition

The factorization of the monoidal unit is summarized by

$\ParRep(G)$1

In this description, each idempotent $\ParRep(G)$2 “hangs” the fusion category $\ParRep(G)$3 inside $\ParRep(G)$4. Because the unit object of $\ParRep(G)$5 splits as a direct sum of non-isomorphic simples, one for each conjugacy class of subsets $\ParRep(G)$6, the category is a multifusion category rather than a fusion category (Neto et al., 13 Feb 2026).

The theorem therefore identifies the connected components of $\ParRep(G)$7, at the level of the simple summands of the unit, with familiar subgroup representation categories. In the language of the source, partial representations of $\ParRep(G)$8 assemble the ordinary representation theories of its subgroups into a single multifusion umbrella, with each branch corresponding to one subgroup. This suggests a conceptual reorganization of the Grothendieck ring and tensor-product rules: the partial theory is stratified by isotropy data.

6. Example: the cyclic group of order $\ParRep(G)$9

For $\Rep(H)$0, the nonempty subsets containing $\Rep(H)$1 are

$\Rep(H)$2

Their isotropy subgroups are

$\Rep(H)$3

In this case there are four simple partial $\Rep(H)$4-modules hanging on trivial isotropies, each one-dimensional, and three simple partial modules of dimension $\Rep(H)$5 corresponding to the three one-dimensional irreducible representations of the full group $\Rep(H)$6 (Neto et al., 13 Feb 2026).

If $\Rep(H)$7, then $\Rep(H)$8 has exactly three simples. If instead $\Rep(H)$9, then $G$0 is the category of vector spaces, and $G$1 sends a vector space $G$2 to

$G$3

recovering the four one-dimensional simple partial $G$4-modules which are “leaf-balls” at the subsets of size $G$5.

This example makes the theorem concrete: trivial isotropy contributes vector-space-type components, while the full subgroup $G$6 contributes the ordinary representation-theoretic component. The general pattern is the same for arbitrary finite groups, with subsets $G$7 and isotropy groups $G$8 governing the decomposition.

7. Conceptual significance

The theorem provides an alternative way to describe simple objects and their tensor products in $G$9. Its central significance lies in the claim that the category of partial representations of a finite group is organized by the global representation categories of its subgroups, embedded monoidally and faithfully inside a single semisimple monoidal category (Neto et al., 13 Feb 2026).

This perspective clarifies why $k$0 is multifusion rather than fusion, and why its simple summands are indexed by idempotents arising from subsets containing the identity. It also explains how one can systematically recover the global categories $k$1 from the partial theory of the larger group $k$2.

A plausible implication is methodological: questions about partial representations can often be reduced to questions about ordinary representation categories of isotropy subgroups, together with the way the idempotent summands of the unit assemble into the full monoidal category. In that sense, the theorem does not replace subgroup representation theory, but incorporates it as the local structure of partial representation theory.