🔢 mathematics

Group actions on relative cluster categories and Higgs categories

This paper constructs $G$ -equivariant relative cluster and Higgs categories for ice quivers with potentials acted upon by a finite group $G$ , establishing a link between orbit mutations of $G$ -stable cluster-tilting objects and explicit skew-symmetrizable cluster algebras with coefficients, thereby providing an additive categorification for cluster algebras with principal coefficients in the non-simply laced case.

Original authors: Yilin Wu

Published 2026-05-12

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yilin Wu

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to solve a massive, intricate puzzle. This puzzle isn't made of cardboard pieces, but of mathematical rules called Cluster Algebras. These rules describe how numbers and variables can swap places and combine in very specific patterns. They are used to understand complex shapes in nature, like how plants grow or how gases mix, but the math behind them is incredibly abstract and hard to visualize.

For a long time, mathematicians have tried to build "physical" models (using categories and shapes) to represent these abstract number puzzles. This paper, by Yilin Wu, is like discovering a new, powerful tool to build these models, specifically for puzzles that are slightly "twisted" or asymmetrical.

Here is a breakdown of the paper's journey using simple analogies:

1. The Problem: The "Twisted" Puzzle

Most of the time, mathematicians study these puzzles when the underlying shapes are perfectly symmetrical (like a square or a circle). But in the real world, many systems are skew-symmetrizable—think of a rectangle that isn't a square, or a spiral that doesn't look the same from every angle.

The paper asks: How do we build a physical model for these "twisted" puzzles?

2. The Solution: The "Group Action" Mirror

The author introduces a concept called a Group Action. Imagine you have a complex machine (a mathematical structure called an "Ice Quiver with Potential"). Now, imagine a group of friends (a "Finite Group") standing around this machine, each looking at it from a different angle.

The Symmetry Trick: If the machine looks the same no matter which friend is looking at it (or if their views are related in a specific way), we can treat the whole group of views as a single, unified object.
The Result: By using this "group of friends" to look at the machine, the author creates a new, simplified version of the machine. This new version naturally handles the "twisted" (skew-symmetrizable) nature of the puzzle without needing to force it into a perfect square shape.

3. The New Tools: "Higgs Categories" and "Relative Cluster Categories"

To build the model, the author constructs two special "workshops" (mathematical categories):

The Higgs Category: Think of this as a specialized workshop where only certain types of parts are allowed. It's a place where you can build sturdy, reliable structures (called "cluster-tilting objects") that represent the variables in your puzzle. It's like a factory that only produces gears that fit perfectly together.
The Relative Cluster Category: This is the blueprint room. It's where you take the finished gears from the Higgs workshop and arrange them to see the big picture. It helps you understand how the whole system moves and changes.

The paper proves that if you apply the "Group Action" (the friends looking at the machine) to these workshops, you get a new, "equivariant" (symmetry-respecting) version of the workshops. These new workshops are perfectly suited to model the "twisted" puzzles.

4. The Magic Link: The "Cluster Character"

Once the workshops are built, the author uses a special translator called a Cluster Character.

The Analogy: Imagine you have a complex 3D sculpture (the object in the workshop). The Cluster Character is a machine that takes a photo of the sculpture and turns it into a simple list of numbers and letters (a polynomial).
The Magic: The paper shows that if you take the "twisted" puzzle rules and run them through this translator, the numbers you get match the rules of a Cluster Algebra with Coefficients.
Why it matters: This proves that the physical workshop (the Higgs category) is a perfect, real-world representation of the abstract number puzzle.

5. The Big Win: Non-Simply Laced Cases

The paper highlights a specific victory: Non-simply laced cases.
In the world of these puzzles, "simply laced" means the connections are all equal (like a perfect grid). "Non-simply laced" means some connections are stronger or longer than others (like a grid with some double lines).

The Achievement: Before this, it was very hard to build physical models for these "uneven" grids.
The Result: By using the "Group Action" method, the author successfully built models for these uneven grids (specifically types B, C, F, and G). This is like finally finding a way to build a stable house on a sloping, uneven hill, whereas before, you could only build on flat ground.

Summary

In short, Yilin Wu's paper says:

"We found a way to use symmetry (Group Actions) to simplify complex, twisted mathematical machines. By building special workshops (Higgs Categories) that respect this symmetry, we can create physical models for a whole new class of number puzzles (Skew-symmetrizable Cluster Algebras) that were previously too difficult to model. We proved that these models work perfectly by translating them back into numbers."

It's a bridge between abstract, twisted math and concrete, structured models, built by letting a group of "friends" (symmetries) help us look at the problem from the right angle.

Technical Summary: Group Actions on Relative Cluster Categories and Higgs Categories

Problem Statement
Cluster algebras, introduced by Fomin and Zelevinsky, provide a combinatorial framework for studying canonical bases and total positivity. While cluster algebras associated with acyclic quivers have been successfully modeled via cluster categories (Buan–Marsh–Reineke–Reiten–Todorov) and generalized to quivers with potential (Derksen–Weyman–Zelevinsky; Amiot; Plamondon), a significant gap remains in the categorical modeling of skew-symmetrizable cluster algebras. These algebras, which include those associated with Lie groups of types $B, C, F,$ and $G$ , and those with principal coefficients in non-simply laced cases, cannot be directly constructed from skew-symmetric quivers.

Previous work by Demonet addressed this by constructing skew-symmetrizable cluster algebras via group actions on cluster categories of acyclic quivers. However, the theory of Fomin–Zelevinsky extends to more general seeds defined by skew-symmetrizable matrices, often requiring the context of ice quivers with potentials and relative cluster categories to handle coefficients. The problem addressed in this paper is the generalization of Demonet's results to the setting of ice quivers with potentials, specifically constructing $G$ -equivariant relative cluster categories and $G$ -equivariant Higgs categories to categorify skew-symmetrizable cluster algebras with coefficients.

Methodology
The paper employs a combination of differential graded (dg) algebra techniques, group actions, and representation theory. The methodology proceeds through the following stages:

Equivariant Calabi–Yau Completions:
The author considers a finite group $G$ acting on a dg morphism $f: B \to A$ between smooth dg algebras. By utilizing Hochschild homology classes $\xi \in HH_{n-2}(f)^G$ , the paper constructs deformed relative $n$ -Calabi–Yau completions. It is shown that if $\xi$ lifts to negative cyclic homology, the induced morphism between skew group dg algebras, $\tilde{f} * G: \Pi_{n-1}(B, \xi_B) * G \to \Pi_n(A, B, \xi) * G$ , possesses a canonical left $(n+1)$ -Calabi–Yau structure.
Construction of Equivariant Categories:
For an ice quiver with potential $(Q, F, W)$ and a $G$ -action satisfying specific stability conditions (Assumption 1), the paper constructs the relative Ginzburg dg algebra $\Gamma_n(Q, F, W)$ . The author establishes that the skew group algebra $\Gamma_n(Q, F, W) * G$ is derived Morita equivalent to the Ginzburg algebra $\Gamma_n(Q_G, F_G, W_G)$ associated with a new ice quiver with potential $(Q_G, F_G, W_G)$ . This new quiver is constructed via orbit representatives and irreducible representations of stabilizers.
Definition of Equivariant Categories:
- $G$ -equivariant relative cluster category: Defined as the idempotent completion of the Verdier quotient $\text{per}(\Gamma * G) / \text{pvd}(\Gamma * G)$ . The paper proves this is triangle equivalent to the equivariant category $C(\Gamma)^G$ and to the relative cluster category $C(\Gamma_G)$ of the quotient quiver.
- $G$ -equivariant Higgs category: Defined as a specific full subcategory of the equivariant cluster category, characterized by vanishing Hom conditions against shifts of projective-injective objects. This category is shown to be a Frobenius extriangulated category.
Cluster Character and Categorification:
The paper constructs a cluster character for the Higgs category. By utilizing orbit mutations on the set of $G$ -stable cluster-tilting objects and a projection map on Laurent polynomials, the author links the combinatorics of the equivariant category to a skew-symmetrizable cluster algebra with coefficients.

Key Contributions and Results

Generalization of Demonet's Work: The paper successfully extends Demonet's construction of skew-symmetrizable cluster algebras from acyclic quivers to the broader context of ice quivers with potentials. This allows for the inclusion of coefficients and non-trivial potentials.
Equivalence of Categories: A central result (Theorem 5.9) establishes an equivalence of Frobenius extriangulated categories between the $G$ -equivariant Higgs category $H(\Gamma_G)$ and the equivariant category $H(\Gamma)^G$ . This confirms that the categorical structure is preserved under the group action and the passage to the skew group algebra.
Orbit Mutations: The paper defines orbit mutations for $G$ -stable cluster-tilting objects. It proves (Proposition 6.18) that the exchange matrix of the mutated object corresponds to the Fomin–Zelevinsky mutation of the associated skew-symmetrizable matrix.
Categorification of Principal Coefficients: The paper provides an additive categorification for cluster algebras with principal coefficients in the non-simply laced case (Types $B, C, F, G$ ). This is achieved by applying the theory to specific ice quivers where the potential is non-degenerate and the group action is admissible.
Specific Examples:
- Type $B_2/C_2$ : An example is provided where a $\mathbb{Z}/2\mathbb{Z}$ action on a specific ice quiver yields the initial exchange matrix of a cluster algebra of type $B_2$ (or $C_2$ ) with principal coefficients.
- Lie Group Unipotent Subgroups: The paper connects the construction to the function algebras $\mathbb{C}[N]$ of maximal unipotent subgroups of simple Lie groups in the non-simply laced case, recovering results previously studied by Demonet but within the relative Higgs category framework.
- Surfaces with Punctures: The paper relates the construction to cluster algebras arising from surfaces with punctures, showing how the equivariant category of a punctured surface relates to the Higgs category of an unpunctured surface via a $\mathbb{Z}/2\mathbb{Z}$ action.

Significance and Claims
The paper claims to provide a unified categorical framework for skew-symmetrizable cluster algebras with coefficients. By generalizing the relative cluster category construction to include group actions, the author demonstrates that these algebras can be modeled using Frobenius extriangulated categories (Higgs categories) rather than just exact categories.

The significance lies in the ability to handle non-simply laced types and principal coefficients simultaneously. The paper notes that while Azzurra Ciliberti recently provided a categorification for types $B$ and $C$ with principal coefficients using symmetric quivers, this work offers a distinct approach via group actions on ice quivers with potentials, which naturally accommodates the relative context and generalizes Demonet's earlier results on acyclic quivers. The construction relies on the assumption that the characteristic of the base field does not divide the order of the group ( $\text{char}(k) \nmid \text{Card}(G)$ ), ensuring the validity of the skew group algebra constructions and the separability of the associated monads.