---
title: Christmas Tree's Theorem in Partial Representations
url: https://www.emergentmind.com/topics/christmas-tree-s-theorem
type: topic
---

# Christmas Tree's Theorem in Partial Representations

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" [2602.13097], 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 \(G\) on a \(k\)-vector space \(V\) is a map
\[
\pi\colon G\longrightarrow \End_k(V),
\]
satisfying, for all \(g,h\in G\),
\[
\pi(e)=\Id_V,\qquad
\pi(g)\,\pi(h)\,\pi(h^{-1}) = \pi(gh)\,\pi(h^{-1}),\qquad
\pi(g^{-1})\,\pi(g)\,\pi(h) = \pi(g^{-1})\,\pi(gh).
\]

A partial \(G\)-module is a pair \((V,\pi)\), and a morphism of partial modules is an intertwiner in the obvious sense. The resulting category is written
\[
\ParRep(G)\;\cong\;{}_{\kappa_{par}G}\Mod,
\]
where \(\kappa_{par}G\) is the partial group algebra of \(G\). The category \(\ParRep(G)\) is \(k\)-linear, semisimple, and monoidal [2602.13097].

For any subgroup \(H\subseteq G\), the category of global \(k\)-linear representations of \(H\) is
\[
\Rep(H)\;=\;{}_{\kappa H}\Mod,
\]
the category of modules over the group algebra \(\kappa H\). 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 \(G\) and every subgroup \(H\leq G\), there is a fully faithful, additive, strongly monoidal functor
\[
\mathcal{F}_H\;:\;\Rep(H)\;=\;{}_{\kappa H}\Mod
\;\longrightarrow\;
\ParRep(G)\;=\;{}_{\kappa_{par}G}\Mod.
\]

A direct consequence is that each simple object of \(\Rep(H)\) appears as a simple summand of a partial representation of \(G\). Equivalently, all representation theories of all subgroups of \(G\) sit faithfully inside the partial-representation category of \(G\) [2602.13097].

The name “Christmas Tree” refers to the picture in which the multifusion category \(\ParRep(G)\) 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
\[
\kappa_{par}G
\;\cong\;
\bigoplus_{X\in T}\; M_{n_X}\!\bigl(\kappa\,G_X\bigr),
\]
where \(T\subseteq\mathcal{P}_e(G)\) is a set of orbit representatives of subsets \(X\subseteq G\) containing the identity, and
\[
G_X=\{g\mid gX=X\}
\]
is the isotropy subgroup.

For each such \(X\),
\[
M_{n_X}(\kappa\,G_X)
\;\simeq\;
\kappa_{par}G\;\Gamma_X
\]
is a direct summand and is therefore Morita equivalent to \(\kappa\,G_X\). In particular, the full subcategory of \(\ParRep(G)\) corresponding to the idempotent \(\Gamma_H\) generated by \(H\subset G\) is equivalent to \(\Rep(H)\) [2602.13097].

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 \(\ParRep(G)\) can be studied by passing to these Morita-equivalent subgroup-algebra pieces.

## 4. Construction of the monoidal embedding

For each subgroup \(H\leq G\), one constructs the partial module
\[
M_H
\;=\;\Span\{\,P_{hH}\mid h^{-1}\in H\}\;\cong\;\kappa
\quad\subset\;\kappa_{par}G,
\]
described as the “one-dimensional leaf” hanging at the vertex indexed by \(H\). The embedding functor is then
\[
\mathcal{F}_H\;:\;\Rep(H)\;\longrightarrow\;\ParRep(G),
\qquad
V\;\longmapsto\;M_H\;\otimes_\kappa V.
\]

Its categorical properties are part of the proof sketch. It is additive, because it carries direct sums in \(\Rep(H)\) to direct sums in \(\ParRep(G)\). It is fully faithful, because any \(H\)-intertwiner \(f\!:\!V\to W\) extends canonically to an intertwiner of induced partial \(G\)-modules, and no new maps appear. It is strongly monoidal, with the tensor product in the image identified with \(\mathcal{F}_H(V\otimes W)\) [2602.13097].

From the decomposition of the unit object
\[
\mathbbm1_{par}=\sum_{X\in T}\Gamma_X,
\]
the images of all the functors \(\mathcal{F}_H\) together generate the entire multifusion category \(\ParRep(G)\). 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
\[
\mathbbm1_{par}
\;=\;\sum_{X\in T}\Gamma_X
\quad\Longrightarrow\quad
\ParRep(G)
\;=\;
\bigoplus_{X\in T}\Rep\bigl(G_X\bigr).
\]

In this description, each idempotent \(\Gamma_X\) “hangs” the fusion category \(\Rep(G_X)\) inside \(\ParRep(G)\). Because the unit object of \(\ParRep(G)\) splits as a direct sum of non-isomorphic simples, one for each conjugacy class of subsets \(X\subseteq G\), the category is a multifusion category rather than a fusion category [2602.13097].

The theorem therefore identifies the connected components of \(\ParRep(G)\), at the level of the simple summands of the unit, with familiar subgroup representation categories. In the language of the source, partial representations of \(G\) 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 \(3\)

For \(G=C_3=\langle g\mid g^3=e\rangle\), the nonempty subsets containing \(e\) are
\[
\{e\},\quad X_1=\{e,g\},\quad X_2=\{e,g^2\},\quad C_3.
\]
Their isotropy subgroups are
\[
G_{\{e\}}=G_{X_1}=G_{X_2}=\{e\},\qquad G_{C_3}=C_3.
\]

In this case there are four simple partial \(C_3\)-modules hanging on trivial isotropies, each one-dimensional, and three simple partial modules of dimension \(2\) corresponding to the three one-dimensional irreducible representations of the full group \(C_3\) [2602.13097].

If \(H=\langle g\rangle\simeq C_3\), then \(\Rep(H)\) has exactly three simples. If instead \(H=\{e\}\), then \(\Rep(\{e\})\) is the category of vector spaces, and \(\mathcal{F}_{\{e\}}\) sends a vector space \(V\) to
\[
M_{\{e\}}\otimes V
\;\cong\;
\bigoplus_{X\in\{\{e\},X_1,X_2,C_3\}}
P_X\otimes V,
\]
recovering the four one-dimensional simple partial \(C_3\)-modules which are “leaf-balls” at the subsets of size \(1,2,2,3\).

This example makes the theorem concrete: trivial isotropy contributes vector-space-type components, while the full subgroup \(C_3\) contributes the ordinary representation-theoretic component. The general pattern is the same for arbitrary finite groups, with subsets \(X\) and isotropy groups \(G_X\) governing the decomposition.

## 7. Conceptual significance

The theorem provides an alternative way to describe simple objects and their tensor products in \(\ParRep(G)\). 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 [2602.13097].

This perspective clarifies why \(\ParRep(G)\) 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 \(\Rep(H)\) from the partial theory of the larger group \(G\).

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.

Source: https://www.emergentmind.com/topics/christmas-tree-s-theorem