Group actions on relative cluster categories and Higgs categories
Pith reviewed 2026-05-23 03:26 UTC · model grok-4.3
The pith
A finite group action on an ice quiver with potential induces G-equivariant Higgs categories whose orbit mutations on stable tilting objects yield skew-symmetrizable cluster algebras with coefficients.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Let G be a finite group acting on an ice quiver with potential (Q, F, W). The corresponding G-equivariant relative cluster category and G-equivariant Higgs category are constructed. Using the orbit mutations on the set of G-stable cluster-tilting objects of the Higgs category and an appropriate cluster character, these data link to an explicit skew-symmetrizable cluster algebra with coefficients. As a specific example, this provides an additive categorification for cluster algebras with principal coefficients in the non-simply laced case.
What carries the argument
The G-equivariant Higgs category, whose G-stable cluster-tilting objects support orbit mutations that, via a cluster character, generate the exchange relations of the associated skew-symmetrizable cluster algebra.
If this is right
- The orbit mutations produce the mutations of the skew-symmetrizable cluster algebra.
- The cluster character maps G-stable tilting objects to the cluster variables of the algebra.
- The construction works for any finite group action that extends compatibly and yields an explicit algebra description.
- In the non-simply laced case the same data give an additive categorification of principal-coefficient cluster algebras.
Where Pith is reading between the lines
- When the group is trivial the construction should recover the usual categorification of the underlying cluster algebra.
- The same orbit-mutation technique might apply to other finite-group actions on quivers that arise in representation theory.
- Explicit small examples would allow direct comparison with known presentations of non-simply laced cluster algebras.
Load-bearing premise
The given finite group action on the ice quiver with potential extends compatibly to the relative cluster category and Higgs category so that G-stable cluster-tilting objects and orbit mutations remain well-defined.
What would settle it
For a concrete cyclic group action on a non-simply laced ice quiver, compute the orbit-mutated G-stable objects and check whether their images under the cluster character satisfy the expected exchange relations of the corresponding skew-symmetrizable cluster algebra with principal coefficients.
read the original abstract
Let $G$ be a finite group acting on an ice quiver with potential $(Q, F, W)$. We construct the corresponding $G$-equivariant relative cluster category and $G$-equivariant Higgs category, extending the work of Demonet. Using the orbit mutations on the set of $G$-stable cluster-tilting objects of the Higgs category and an appropriate cluster character, we can link these data to an explicit skew-symmetrizable cluster algebra with coefficients. As a specific example, this provides an additive categorification for cluster algebras with principal coefficients in the non-simply laced case.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs G-equivariant relative cluster categories and G-equivariant Higgs categories for a finite group G acting on an ice quiver with potential (Q, F, W), extending Demonet's work. It then uses orbit mutations on the set of G-stable cluster-tilting objects of the Higgs category together with an appropriate cluster character to associate these data to an explicit skew-symmetrizable cluster algebra with coefficients, providing in particular an additive categorification for cluster algebras with principal coefficients in the non-simply laced case.
Significance. If the constructions and compatibility statements hold, the work supplies a systematic categorification route for skew-symmetrizable (including non-simply laced) cluster algebras, an area where most existing additive categorifications are limited to the simply-laced setting. The explicit use of orbit mutations on G-stable objects and the descent of a cluster character constitute a concrete technical contribution that could be reusable in related equivariant settings.
major comments (2)
- [§3] §3 (construction of the G-equivariant relative cluster category): the extension of the given G-action on (Q, F, W) to the relative cluster category is asserted to be compatible with the triangulated structure, but no explicit verification is supplied that the resulting equivariant Hom-spaces preserve the potential W or that the subcategory of G-stable objects is closed under the orbit mutation operation without introducing extra relations.
- [§4] §4 (orbit mutations on G-stable cluster-tilting objects and the cluster character): the claim that the orbit mutation produces precisely the folded skew-symmetrizable exchange matrix relies on the cluster character descending correctly after folding; the text does not contain a direct computation or lemma confirming that the exchange relations match the folded matrix entries once the G-action is imposed on morphisms.
minor comments (2)
- The introduction would benefit from a short diagram or table comparing the ordinary (Demonet) and G-equivariant constructions side-by-side.
- Notation for the ice quiver with potential and the frozen vertices F is introduced without a dedicated preliminary subsection; a brief recap of Demonet's setup would improve readability.
Simulated Author's Rebuttal
We thank the referee for their detailed reading and for identifying specific points where additional verification would strengthen the exposition. We address each major comment below and will incorporate the necessary additions in the revised version.
read point-by-point responses
-
Referee: [§3] §3 (construction of the G-equivariant relative cluster category): the extension of the given G-action on (Q, F, W) to the relative cluster category is asserted to be compatible with the triangulated structure, but no explicit verification is supplied that the resulting equivariant Hom-spaces preserve the potential W or that the subcategory of G-stable objects is closed under the orbit mutation operation without introducing extra relations.
Authors: The referee correctly observes that the compatibility of the extended G-action with the triangulated structure and the preservation of W are asserted without a self-contained verification in §3. While the construction follows the pattern of Demonet’s equivariant categories, we agree that an explicit check is needed. In the revision we will insert a new lemma (or subsection) that (i) verifies that the G-action on morphisms preserves the potential W by direct computation on the equivariant Hom-spaces, and (ii) shows that the subcategory of G-stable objects is closed under orbit mutation without extra relations, using the stability condition already present in the definition of G-stable cluster-tilting objects. revision: yes
-
Referee: [§4] §4 (orbit mutations on G-stable cluster-tilting objects and the cluster character): the claim that the orbit mutation produces precisely the folded skew-symmetrizable exchange matrix relies on the cluster character descending correctly after folding; the text does not contain a direct computation or lemma confirming that the exchange relations match the folded matrix entries once the G-action is imposed on morphisms.
Authors: We acknowledge the absence of an explicit computation confirming that the descended cluster character yields exactly the exchange relations of the folded skew-symmetrizable matrix. In the revised manuscript we will add a proposition that computes the image of the cluster character under the folding map induced by the G-action and verifies that the resulting exchange relations coincide with the entries of the orbit-mutation matrix. The argument will rely on the G-equivariance of the cluster character already established in §4 together with a direct comparison of the Laurent polynomials before and after folding. revision: yes
Circularity Check
No significant circularity; derivation relies on external extension of Demonet and independent cluster character
full rationale
The paper constructs G-equivariant categories by extending Demonet's prior work (distinct author), then applies orbit mutations and a cluster character to link G-stable tilting objects to a skew-symmetrizable cluster algebra. No quoted step reduces the claimed algebra structure to a self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The central link is presented as a derived consequence rather than tautological input. This is the common honest non-finding for category-theoretic constructions that invoke external theorems.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Using the orbit mutations on the set of G-stable cluster-tilting objects of the Higgs category and an appropriate cluster character, we can link these data to an explicit skew-symmetrizable cluster algebra with coefficients.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We construct the corresponding G-equivariant relative cluster category and G-equivariant Higgs category, extending the work of Demonet.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Claire Amiot, Cluster categories for algebras of global dimension 2 and qu ivers with potential , Ann. Inst. Fourier (Grenoble) 59 (2009), no. 6, 2525–2590. [ Cited on page 1. ]
work page 2009
-
[2]
Claire Amiot, Pierre-Guy Plamondon, The cluster category of a surface with punctures via group actions, Adv. Math. 389 (2021), Paper No. 107884, 63 pp. [ Cited on pages 8, 16, 23, and 35. ]
work page 2021
-
[3]
Tristan Bozec, Damien Calaque, Sarah Scherotzke, Relative critical loci and quiver moduli , Ann. Sci. ´Ec. Norm. Sup´ er. (4) 57 (2024), no. 2, 553–614. [ Cited on pages 8 and 14. ]
work page 2024
-
[4]
Aslak Bakke Buan, Bethany Marsh, Markus Reineke, Idun Reiten , and Gordana Todorov, Tilting theory and cluster combinatorics , Advances in mathematics, 204(2):572–618, 2006. [ Cited on page 1. ]
work page 2006
-
[5]
Giovanni Cerulli Irelli, Bernhard Keller, Daniel Labardini-Fragoso and Pierre-Guy Plamondon, Linear independence of cluster monomials for skew-symmetric clus ter algebras , Compos. Math. 149 (2013), 1753–1764. [ Cited on page 1. ]
work page 2013
-
[6]
Xiao-Wu Chen, A note on separable functors and monads with an application t o equivariant derived categories, Abh. Math. Semin. Univ. Hambg. 85 (2015), no. 1, 43–52. [ Cited on pages 19, 20, and 21. ]
work page 2015
-
[7]
Jianmin Chen, Xiao-Wu Chen, Shiquan Ruan, The dual actions, equivariant autoequivalences and stable tilting objects , Ann. Inst. Fourier (Grenoble) 70 (2020), no. 6, 2677–2736. [ Cited on page 24. ]
work page 2020
- [8]
-
[9]
Laurent Demonet, Cluster algebras and preprojective algebras: the non simpl y-laced case, C. R. Math. Acad. Sci. Paris 346 (2008), no. 7-8, 379—384. [ Cited on page 35. ]
work page 2008
-
[10]
Laurent Demonet, Cat´ egorification d’alg` ebres amass´ ees antisym´ etrisables, PhD thesis, Universit´ e de Caen (2008), https://theses.hal.science/tel-00350137/. [ Cited on pages 28 and 35. ]
work page 2008
-
[11]
Algebra 323 (4) (2010) 1052–1059
Laurent Demonet, Skew group algebras of path algebras and preprojective alge bras, J. Algebra 323 (4) (2010) 1052–1059. [ Cited on pages 15, 16, and 28. ]
work page 2010
- [12]
-
[13]
Harm Derksen, Jerzy Weyman, Andrei Zelevinsky, Quivers with potentials and their representations I: Mutations , Selecta Math. (N.S.) 14 (2008), no. 1, 59–119. [ Cited on pages 1 and 29. ]
work page 2008
-
[14]
Harm Derksen, Jerzy Weyman and Andrei Zelevinsky, Quivers with potentials and their representa- tions II: applications to cluster algebras , J. Amer. Math. Soc. 23 (2010), 749–790. [ Cited on page 1. ]
work page 2010
-
[15]
An approach to non simply laced cluster algebras
Gr´ egoire Dupont,An approach to non simply laced cluster algebras , arXiv:math/0512043 [math.RT]. [Cited on pages 29 and 34. ]
work page internal anchor Pith review Pith/arXiv arXiv
-
[16]
On equivariant triangulated categories
Alexey Elagin, On equivariant triangulated categories , arXiv:1403.7027 [math.AG]. [ Cited on page 23. ]
work page internal anchor Pith review Pith/arXiv arXiv
-
[17]
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. I. Foundations , J. Amer. Math. Soc. 15 (2002),no. 2, 497–529. [ Cited on page 1. ]
work page 2002
- [18]
-
[19]
Christof Geiß, Bernard Leclerc, Jan Schrer¨ oer, Rigid modules over preprojective algebras , Invent. Math. 165 (2006), no. 3, 589–632. [ Cited on page 35. ]
work page 2006
-
[20]
Skew group algebras of J acobian algebras
Simone Giovannini and Andrea Pasquali. Skew group algebras of J acobian algebras. Journal of Alge- bra, 526:112–165, 2019. [ Cited on page 17. ]
work page 2019
-
[21]
Simone Giovannini, Andrea Pasquali, Pierre-Guy Plamondon, Quivers with potentials and actions of finite abelian groups , arXiv:1912.11284 [math.RT]. [ Cited on page 17. ]
-
[22]
Min Huang, Fang Li, Unfolding of sign-skew-symmetric cluster algebras and its applications to posi- tivity and F-polynomials , Adv. Math. 340 (2018), 221–283. [ Cited on page 34. ]
work page 2018
-
[23]
Relative singularity categories II: DG models
Martin Kalck, Dong Yang, Relative singularity categories II: DG models , arXiv:1803.08192 [math.AG]. [Cited on pages 21 and 22. ]
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Bernhard Keller, Deriving DG categories , Ann. Sci. ´Ecole Norm. Sup. (4) 27 (1994), no. 1, 63–102. [Cited on page 4. ]
work page 1994
-
[25]
Bernhard Keller, Deformed Calabi–Yau completions, With an appendix by M.Van den Bergh, J.Reine Angew. Math.654(2011), 125–180. [ Cited on page 14. ]
work page 2011
-
[26]
Bernhard Keller, Yilin Wu, Relative cluster categories and Higgs categories with infin ite-dimensional morphism spaces with an appendix by C. Fraser and B. Keller. arXiv:2307.12279 [math.RT ]. [ Cited on pages 23, 24, 25, 30, 32, 33, and 34. ]
-
[27]
Daniel Labardini-Fragoso, Quivers with potentials associated to triangulated surfac es, Proc. Lond. Math.Soc. (3) 98 (3) (2009) 797–839. [ Cited on page 35. ] GROUP ACTIONS ON RELATIVE CLUSTER CATEGORIES AND HIGGS CATE GORIES 37
work page 2009
- [28]
-
[29]
On the Morita reduced versions of skew group algebras of path algebras
Patrick Le Meur. On the Morita reduced versions of skew group algebras of path algebras. Quart. J. Math. 71 (2020), 1009–1047. [ Cited on page 17. ]
work page 2020
-
[30]
Saunders Mac Lane, Categories for the Working Mathematician , Grad. Texts in Math. 5, Springer- Verlag, New York (1998). [ Cited on page 20. ]
work page 1998
-
[31]
Jean-Louis Loday, Cyclic Homology, second ed., in: Grundlehren der mathematischen Wissenschaften , book series (GL, volume 301). [ Cited on page 5. ]
-
[32]
Yann Palu, Cluster characters for 2-Calabi–Yau triangulated categor ies, Annales de l’Institut Fourier, 58(6):2221–2248, 2008. [ Cited on pages 1 and 32. ]
work page 2008
-
[33]
Charles Paquette, Ralf Schiffler, Group actions on cluster algebras and cluster categories , Adv. Math. 345 (2019), 161–221. [ Cited on page 23. ]
work page 2019
-
[34]
Pierre-Guy Plamondon, Cluster characters for cluster categories with infinite-di mensional morphism spaces, Adv. Math. 227 (2011), no. 1, 1-39. [ Cited on page 1. ]
work page 2011
-
[35]
Matthew Pressland, Mutation of frozen Jacobian algebras , J. Algebra 546 (2020), 236–273. [ Not cited.]
work page 2020
-
[36]
of Algebra, 92, 224–282 (1985)
Idun Reiten, Christine Riedtmann, Skew group algebras in the representation theory of Artin al gebras, J. of Algebra, 92, 224–282 (1985). [ Cited on page 8. ]
work page 1985
-
[37]
Michel Van den Bergh, Calabi-Yau algebras and superpotentials , Selecta Math. (N.S.) 21 (2015), no. 2, 555–603. [ Cited on page 5. ]
work page 2015
-
[38]
Yilin Wu, Categorification of ice quiver mutation , Math. Z. 304 (2023), no. 1, Paper No. 11, 42 pp. [Cited on page 31. ]
work page 2023
-
[39]
Yilin Wu, Relative cluster categories and Higgs categories , Adv. Math. 424 (2023), Paper No. 109040, 112 pp. [ Cited on pages 1, 11, 14, 17, 22, 23, and 35. ]
work page 2023
-
[40]
thesis, https://doi.org/10.7298/X40K26QS
Wai-kit Yeung, Representation homology and knot contact homology , Ph.D. thesis, https://doi.org/10.7298/X40K26QS. [ Cited on pages 10 and 12. ]
-
[41]
[ Cited on pages 7, 8, 10, and 14
Wai-kit Yeung, Relative Calabi–Yau completions , arXiv:1612.06352 [math.RT]. [ Cited on pages 7, 8, 10, and 14. ] University of Science and Technology of China (USTC), Schoo l of Mathematical Sciences, Hefei, 230026, Anhui Province, P.R.China Email address : wuyilinmath@ustc.edu.cn
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.