Mutating Species with Potentials and Cluster Tilting Objects
Pith reviewed 2026-05-18 12:36 UTC · model grok-4.3
The pith
Cluster-tilting objects in 2-Calabi-Yau categories correspond to mutations of species with potentials over perfect fields.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Buan, Iyama, Reiten and Smith proved that cluster-tilting objects in triangulated 2-Calabi--Yau categories are closely connected with mutation of quivers with potentials over an algebraically closed field. We prove a more general statement where instead of working with quivers with potentials we consider species with potential over a perfect field. We describe the 3-preprojective algebra of the tensor product of two tensor algebras of acyclic species using a species with potential. In the case when the Jacobian algebra of a species with potential is self-injective, we provide a description of the Nakayama automorphism of a particular case of mutation of the species with potential where you n
What carries the argument
The species with potential, whose mutation theory generalizes that of quivers with potentials and corresponds to cluster-tilting objects in 2-Calabi-Yau categories.
If this is right
- The mutation theory and its link to cluster-tilting objects extend from algebraically closed fields to perfect fields.
- The 3-preprojective algebra of the tensor product of two tensor algebras of acyclic species admits a description via a species with potential.
- Mutations along orbits of the Nakayama permutation preserve self-injectivity of the Jacobian algebra and admit an explicit Nakayama automorphism.
- Certain Jacobian algebras of species with potentials fall under the derived Auslander-Iyama correspondence.
- All 2-representation finite l-homogeneous algebras constructed from these species with potentials and their mutations are accounted for in this framework.
Where Pith is reading between the lines
- The generalization may enable explicit constructions and computations over finite fields, which are perfect but not necessarily algebraically closed.
- This setting could generate further families of algebras with controlled homological properties beyond the cases explicitly treated.
- The correspondence might connect to questions about derived equivalences or tilting in broader classes of triangulated categories.
Load-bearing premise
The base field being perfect rather than algebraically closed is sufficient for the mutation theory of species with potentials to connect to cluster-tilting objects.
What would settle it
A concrete species with potential over a perfect but non-algebraically closed field whose mutation does not yield a cluster-tilting object in the associated 2-Calabi-Yau category would disprove the claimed generalization.
read the original abstract
Buan, Iyama, Reiten and Smith proved that cluster-tilting objects in triangulated 2-Calabi--Yau categories are closely connected with mutation of quivers with potentials over an algebraically closed field. We prove a more general statement where instead of working with quivers with potentials we consider species with potential over a perfect field. We describe the $3$-preprojective algebra of the tensor product of two tensor algebras of acyclic species using a species with potential. In the case when the Jacobian algebra of a species with potential is self-injective, we provide a description of the Nakayama automorphism of a particular case of mutation of the species with potential where you mutate along orbits of the Nakayama permutation, which preserves self-injectivity. For certain types of Jacobian algebras of species with potentials, we prove that they lie in the scope of the derived Auslander-Iyama correspondence due to Jasso-Muro. Mutating along orbits of the Nakayama permutation stays within this setting, yielding a rich source of examples. All $2$-representation finite $l$-homogeneous algebras that are constructed using certain species with potential and mutations of such species with potentials are considered.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes the connection between cluster-tilting objects in triangulated 2-Calabi-Yau categories and mutations of quivers with potentials (Buan-Iyama-Reiten-Smith) to species with potentials over a perfect field. It describes the 3-preprojective algebra of the tensor product of two tensor algebras of acyclic species via a species with potential. When the Jacobian algebra is self-injective, it describes the Nakayama automorphism under mutation along orbits of the Nakayama permutation (preserving self-injectivity). Certain Jacobian algebras are shown to lie in the scope of the Jasso-Muro derived Auslander-Iyama correspondence, with such mutations staying inside the setting and yielding examples of 2-representation finite l-homogeneous algebras.
Significance. If the central generalization holds, the work extends cluster mutation and tilting correspondences to a strictly larger class of algebras over perfect (not necessarily algebraically closed) fields. The explicit 3-preprojective description, the preservation of self-injectivity under Nakayama-orbit mutation, and the supply of new examples for the derived Auslander-Iyama correspondence are concrete advances that would be useful for representation theorists working with non-split division rings.
major comments (3)
- [§3] §3 (mutation of species with potentials): The definition of the mutated potential and the Jacobian ideal for a non-split species (division rings D_i/k with [D_i:k]>1) is not shown to commute with the non-central elements of the D_i; the cyclic derivative construction used in the quiver case relies on a commutative coefficient ring, and it is unclear whether the same homological properties (e.g., the 3-preprojective algebra being 2-CY) survive without additional verification.
- [Theorem 5.1] Theorem 5.1 (Nakayama automorphism under orbit mutation): The claim that self-injectivity is preserved when mutating along Nakayama-permutation orbits assumes that the automorphism acts compatibly on the bimodule structure; no explicit check is given that the resulting endomorphism rings remain division rings or that the Nakayama permutation still induces a well-defined automorphism on the mutated species.
- [§4] §4 (3-preprojective algebra of tensor product): The description of the 3-preprojective algebra via the species with potential is stated for acyclic species, but the proof sketch does not address whether acyclicity or the potential relations remain intact when the underlying species bimodules are non-split; this is load-bearing for the claimed link to cluster-tilting objects.
minor comments (2)
- [Abstract] Abstract, last sentence: the phrasing 'All 2-representation finite l-homogeneous algebras that are constructed using certain species with potential...' is ambiguous; clarify whether the paper classifies all such algebras or only constructs a subclass.
- [Introduction] Introduction: the reference to Jasso-Muro is cited but the precise statement of the derived Auslander-Iyama correspondence used in the paper is not restated; a short reminder of the hypotheses would help readers.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying points where the generalization to non-split species requires additional explicit verification. We address each major comment below and indicate the planned revisions to strengthen the manuscript without altering its core claims.
read point-by-point responses
-
Referee: [§3] §3 (mutation of species with potentials): The definition of the mutated potential and the Jacobian ideal for a non-split species (division rings D_i/k with [D_i:k]>1) is not shown to commute with the non-central elements of the D_i; the cyclic derivative construction used in the quiver case relies on a commutative coefficient ring, and it is unclear whether the same homological properties (e.g., the 3-preprojective algebra being 2-CY) survive without additional verification.
Authors: We agree that the cyclic derivative must be handled carefully when the coefficient rings are non-commutative division algebras. In the manuscript the mutated potential is defined by the standard replacement rule adapted to the species arrows, with the Jacobian ideal generated by the resulting derivatives. Because the base field is perfect, one can choose bases compatible with the bimodule actions so that the derivatives respect the non-central elements. We will add a short lemma in §3 verifying independence of basis choice and compatibility with the division-ring multiplications, together with a reference to the fact that the 2-Calabi-Yau property of the 3-preprojective algebra follows from the same tensor-product argument used for the split case. This is a partial revision: the definitions remain unchanged, but the verification will be written out explicitly. revision: partial
-
Referee: [Theorem 5.1] Theorem 5.1 (Nakayama automorphism under orbit mutation): The claim that self-injectivity is preserved when mutating along Nakayama-permutation orbits assumes that the automorphism acts compatibly on the bimodule structure; no explicit check is given that the resulting endomorphism rings remain division rings or that the Nakayama permutation still induces a well-defined automorphism on the mutated species.
Authors: The statement of Theorem 5.1 asserts that mutation along Nakayama orbits preserves self-injectivity by construction. To make the compatibility explicit we will insert a short computation showing that each new endomorphism ring after mutation is again a division ring (the new bimodules are obtained by tensoring over the original division rings, which preserves the division-ring property). We will also verify directly that the Nakayama permutation extends to an automorphism of the mutated species by checking its action on the new arrows and on the mutated potential. These checks will be added to the proof of Theorem 5.1. revision: yes
-
Referee: [§4] §4 (3-preprojective algebra of tensor product): The description of the 3-preprojective algebra via the species with potential is stated for acyclic species, but the proof sketch does not address whether acyclicity or the potential relations remain intact when the underlying species bimodules are non-split; this is load-bearing for the claimed link to cluster-tilting objects.
Authors: Acyclicity is a property of the underlying directed graph of the species and is therefore unaffected by whether the bimodules are split or non-split. The potential relations are defined via the same cyclic derivatives on the tensor algebra, which remain well-defined for non-split bimodules over a perfect field. We will expand the proof sketch in §4 to record these two observations and to note that the categorical equivalence with cluster-tilting objects in the associated 2-Calabi-Yau category continues to hold by the same arguments given in the split case. This clarification will be incorporated into the revised manuscript. revision: yes
Circularity Check
No significant circularity; generalization rests on external theorems
full rationale
The paper proves a generalization of the Buan-Iyama-Reiten-Smith correspondence from quivers with potentials over algebraically closed fields to species with potentials over perfect fields, including descriptions of 3-preprojective algebras, Nakayama automorphisms under mutation along orbits, and connections to the derived Auslander-Iyama correspondence. These are presented as new statements and proofs rather than reductions to quantities defined inside the paper. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear; the work cites prior external results on 2-Calabi-Yau categories and species definitions as independent foundations. The derivation chain is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The base field is perfect.
- domain assumption The ambient category is a triangulated 2-Calabi-Yau category.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove a more general statement where instead of working with quivers with potentials we consider species with potential over a perfect field.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We describe the 3-preprojective algebra of the tensor product of two tensor algebras of acyclic species using a species with potential.
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]
Introduction to Commutative Algebra
Michael Francis Atiyah and Ian Grant Macdonald. Introduction to Commutative Algebra . Addison-Wesley Publishing Company, 1969
work page 1969
-
[2]
Sur les Petites Cat \'e gories Triangul \'e es
Claire Amiot. Sur les Petites Cat \'e gories Triangul \'e es . PhD thesis, Paris 7, 2008
work page 2008
-
[3]
Cluster categories for Algebras of Global Dimension 2 and Quivers with Potential
Claire Amiot. Cluster categories for Algebras of Global Dimension 2 and Quivers with Potential . Universit\' e de Grenoble. Annales de l'Institut Fourier , 59(6):2525--2590, 2009
work page 2009
-
[4]
Maurice Auslander, Idun Reiten, and Sverre O. Smalø. Representation Theory of Artin Algebras . Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1995
work page 1995
-
[5]
Ibrahim Assem, Andrzej Skowronski, and Daniel Simson. Elements of the Representation Theory of Associative Algebras: Techniques of Representation Theory , volume 1 of London Mathematical Society Student Texts . Cambridge University Press, 2006
work page 2006
-
[6]
Structure Theorems for Basic Algebras
Carl Fredrik Berg. Structure Theorems for Basic Algebras . 2011. Preprint. arXiv: 1102.1100
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[7]
Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster Algebras. III. Upper Bounds and Double Bruhat Cells . Duke Mathematical Journal , 126(1):1--52, 2005
work page 2005
-
[8]
The Preprojective Algebra of a Tame Hereditary Artin Algebra
Dagmar Baer, Werner Geigle, and Helmut Lenzing. The Preprojective Algebra of a Tame Hereditary Artin Algebra . Communications in Algebra , 15(1-2):425--457, 1987
work page 1987
-
[9]
A. B. Buan, O. Iyama, I. Reiten, and J. Scott. Cluster Structures for 2-Calabi-Yau Categories and Unipotent Groups . Compositio Mathematica , 145(4):1035--1079, 2009
work page 2009
-
[10]
Mutation of Cluster-Tilting Objects and Potentials
Aslak Bakke Buan, Osamu Iyama, Idun Reiten, and David Smith. Mutation of Cluster-Tilting Objects and Potentials . American Journal of Mathematics , 133(4):835--887, 2011
work page 2011
-
[11]
Tilting theory and Cluster Combinatorics
Aslak Bakke Buan, Robert Marsh, Markus Reineke, Idun Reiten, and Gordana Todorov. Tilting theory and Cluster Combinatorics . Advances in Mathematics , 204(2):572--618, 2006
work page 2006
-
[12]
Aslak Bakke Buan, Robert J. Marsh, and Idun Reiten. Cluster-Tilted Algebras . Transactions of the American Mathematical Society , 359(1):323--332, 2007
work page 2007
-
[13]
Aslak Bakke Buan, Bethany R. Marsh, and Idun Reiten. Cluster Mutation via Quiver Representations . Commentarii Mathematici Helvetici. A Journal of the Swiss Mathematical Society , 83(1):143--177, 2008
work page 2008
-
[14]
Marsh, Idun Reiten, and Gordana Todorov
Aslak Bakke Buan, Robert J. Marsh, Idun Reiten, and Gordana Todorov. Clusters and Seeds in Acyclic Cluster Algebras . Proceedings of the American Mathematical Society , 135(10):3049--3060, 2007. With an appendix coauthored in addition by P. Caldero and B. Keller
work page 2007
-
[15]
Nicolas Bourbaki. Algebra II: Chapters 4-7 . Elements de Mathematique. Springer Science and Business Media, 1981
work page 1981
-
[16]
Superpotentials and Higher Order Derivations
Raf Bocklandt, Travis Schedler, and Michael Wemyss. Superpotentials and Higher Order Derivations . Journal of Pure and Applied Algebra , 214(9):1501--1522, 2010
work page 2010
-
[17]
Cluster Algebras as Hall Algebras of Quiver Representations
Philippe Caldero and Fr\' e d\' e ric Chapoton. Cluster Algebras as Hall Algebras of Quiver Representations . Commentarii Mathematici Helvetici. A Journal of the Swiss Mathematical Society , 81(3):595--616, 2006
work page 2006
-
[18]
From Triangulated Categories to Cluster Algebras
Philippe Caldero and Bernhard Keller. From Triangulated Categories to Cluster Algebras. II . Annales Scientifiques de l'\' E cole Normale Sup\' e rieure. Quatri\`eme S\' e rie , 39(6):983--1009, 2006
work page 2006
-
[19]
From Triangulated Categories to Cluster Algebras
Philippe Caldero and Bernhard Keller. From Triangulated Categories to Cluster Algebras . Inventiones Mathematicae , 172(1):169--211, 2008
work page 2008
-
[20]
Vlastimil Dlab and Claus M. Ringel. On Algebras of Finite Representation Type . Journal of Algebra , 33(2):306--394, 1975
work page 1975
-
[21]
The Preprojective Algebra of a Modulated Graph
Vlastimil Dlab and Claus Michael Ringel. The Preprojective Algebra of a Modulated Graph . In Representation Theory II , pages 216--231. Springer Berlin Heidelberg, 1980
work page 1980
-
[22]
Quivers with Potentials and their Representations I: Mutations
Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky. Quivers with Potentials and their Representations I: Mutations . Selecta Mathematica , 14, 2007
work page 2007
-
[23]
Relative Cluster Categories and Higgs Categories with Infinite-Dimensional Morphism Spaces , 2023
Chris Fraser, Bernhard Keller, and Yilin Wu. Relative Cluster Categories and Higgs Categories with Infinite-Dimensional Morphism Spaces , 2023
work page 2023
-
[24]
Cluster Algebras I: Foundations
Sergey Fomin and Andrei Zelevinsky. Cluster Algebras I: Foundations . Journal of the American Mathematical Society , 15(2):497--529, 2002
work page 2002
-
[25]
Sergey Fomin and Andrei Zelevinsky. Cluster Algebras. II. Finite Type Classification . Inventiones Mathematicae , 154(1):63--121, 2003
work page 2003
-
[26]
Sergey Fomin and Andrei Zelevinsky. Cluster Algebras. IV. Coefficients . Compositio Mathematica , 143(1):112--164, 2007
work page 2007
-
[27]
Indecomposable Representations II
Peter Gabriel. Indecomposable Representations II . Symposia Mathematica, Vol XI , pages 81--104, 1973
work page 1973
-
[28]
Rigid Modules Over Preprojective Algebras
Christof Gei , Bernard Leclerc, and Jan Schr\" o er. Rigid Modules Over Preprojective Algebras . 165(3):589--632, 2006
work page 2006
-
[29]
Auslander Algebras and Initial Seeds for Cluster Algebras
Christof Geiss, Bernard Leclerc, and Jan Schr\" o er. Auslander Algebras and Initial Seeds for Cluster Algebras . Journal of the London Mathematical Society. Second Series , 75(3):718--740, 2007
work page 2007
-
[30]
Partial Flag Varieties and Preprojective Algebras
Christof Geiss, Bernard Leclerc, and Jan Schr\" o er. Partial Flag Varieties and Preprojective Algebras . Universit\' e de Grenoble. Annales de l'Institut Fourier , 58(3):825--876, 2008
work page 2008
-
[31]
Cluster Algebra Structures and Semicanonical Bases for Unipotent Groups , 2010
Christof Geiss, Bernard Leclerc, and Jan Schröer. Cluster Algebra Structures and Semicanonical Bases for Unipotent Groups , 2010
work page 2010
-
[32]
n -Representation-Finite Algebras and Twisted Fractionally Calabi-Yau Algebras
Martin Herschend and Osamu Iyama. n -Representation-Finite Algebras and Twisted Fractionally Calabi-Yau Algebras . Bulletin of the London Mathematical Society , 43(3):449–466, Jun 2011
work page 2011
-
[33]
Selfinjective Quivers with Potential and 2-Representation-Finite Algebras
Martin Herschend and Osamu Iyama. Selfinjective Quivers with Potential and 2-Representation-Finite Algebras . Compositio Mathematica , 147(6):1885--1920, 2011
work page 1920
-
[34]
n -Representation Infinite Algebras
Martin Herschend, Osamu Iyama, and Steffen Oppermann. n -Representation Infinite Algebras . Advances in Mathematics , 252:292--342, 2014
work page 2014
-
[35]
n -Representation-Finite Algebras and n -APR Tilting
Osamu Iyama and Steffen Oppermann. n -Representation-Finite Algebras and n -APR Tilting . Transactions of the American Mathematical Society , 363(12):6575--6614, 2011
work page 2011
-
[36]
Stable Categories of Higher Preprojective Algebras
Osamu Iyama and Steffen Oppermann. Stable Categories of Higher Preprojective Algebras . Advances in Mathematics , 244:23--68, 2013
work page 2013
-
[37]
Mutation in Triangulated Categories and Rigid Cohen-Macaulay Modules
Osamu Iyama and Yuji Yoshino. Mutation in Triangulated Categories and Rigid Cohen-Macaulay Modules . Inventiones Mathematicae , 172(1):117--168, 2008
work page 2008
-
[38]
Higher-Dimensional Auslander-Reiten Theory on Maximal Orthogonal Subcategories
Osamu Iyama. Higher-Dimensional Auslander-Reiten Theory on Maximal Orthogonal Subcategories . Advances in Mathematics , 210(1):22--50, 2007
work page 2007
-
[39]
The Derived Auslander-Iyama Correspondence , 2023
Gustavo Jasso, Bernhard Keller, and Fernando Muro. The Derived Auslander-Iyama Correspondence , 2023
work page 2023
-
[40]
Deformed Calabi-Yau Completions
Bernhard Keller. Deformed Calabi-Yau Completions . Journal f\" u r die Reine und Angewandte Mathematik. [Crelle's Journal] , 654:125--180, 2011. With an appendix by Michel Van den Bergh
work page 2011
-
[41]
Quasi-Hereditary Algebras, Exact B orel Subalgebras, A_ -Categories and Boxes
Steffen Koenig, Julian K\" u lshammer, and Sergiy Ovsienko. Quasi-Hereditary Algebras, Exact B orel Subalgebras, A_ -Categories and Boxes . Advances in Mathematics , 262:546--592, 2014
work page 2014
-
[42]
Cluster-Tilted Algebras are Gorenstein and Stably Calabi-Yau
Bernhard Keller and Idun Reiten. Cluster-Tilted Algebras are Gorenstein and Stably Calabi-Yau . Advances in Mathematics , 211(1):123--151, 2007
work page 2007
-
[43]
Bernhard Keller and Idun Reiten. Acyclic Calabi-Yau Categories . Compositio Mathematica , 144(5):1332--1348, 2008. With an appendix by Michel Van den Bergh
work page 2008
-
[44]
Pro-Species of Algebras I: Basic Properties
Julian Külshammer. Pro-Species of Algebras I: Basic Properties . Algebras and Representation Theory , 20, 10 2017
work page 2017
-
[45]
On the Representation of an Algebra as a Direct Sum of the Radical and a Semi-Simple Subalgebra
Anatoly Ivanovich Mal’tsev. On the Representation of an Algebra as a Direct Sum of the Radical and a Semi-Simple Subalgebra . 36(1):42--45, 1942
work page 1942
-
[46]
Generalized Associahedra via Quiver Representations
Robert Marsh, Markus Reineke, and Andrei Zelevinsky. Generalized Associahedra via Quiver Representations . Transactions of the American Mathematical Society , 355(10):4171--4186, 2003
work page 2003
-
[47]
Potentials and Jacobian algebras for tensor algebras of bimodules
Bertrand Nguefack. Potentials and Jacobian algebras for Tensor Algebras of Bimodules . 2012. arXiv:1004.2213
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[48]
Lecture Notes for Advanced Algebra
Bodo Pareigis. Lecture Notes for Advanced Algebra . https://www.mathematik.uni-muenchen.de/ pareigis/Vorlesungen/01WS/advalg.pdf, 2001
work page 2001
-
[49]
Tensor Products of n -Complete Algebras
Andrea Pasquali. Tensor Products of n -Complete Algebras . Journal of Pure and Applied Algebra , 223(8):3537--3553, 2019
work page 2019
-
[50]
Self-injective Jacobian Algebras from Postnikov Diagrams
Andrea Pasquali. Self-injective Jacobian Algebras from Postnikov Diagrams . Algebras and Representation Theory , 23(3):1197--1235, 2020
work page 2020
-
[51]
Representations of K-Species and Bimodules
Claus Michael Ringel. Representations of K-Species and Bimodules . Journal of Algebra , 41(2), 1976
work page 1976
-
[52]
Frobenius Algebras I: Basic Representation Theory
Andrzej Skowronski and Kunio Yamagata. Frobenius Algebras I: Basic Representation Theory . European Mathematical Society, 2011
work page 2011
-
[53]
Preprojective Algebras of d -Representation Finite Species with Relations
Christoffer Söderberg. Preprojective Algebras of d -Representation Finite Species with Relations . Journal of Pure and Applied Algebra , 228(4):Paper No. 107520, 54, 2024
work page 2024
-
[54]
JH Maclagan Wedderburn. On Hypercomplex Numbers . Proceedings of the London Mathematical Society , 2(1):77--118, 1908
work page 1908
-
[55]
Categorification of Ice Quiver Mutation
Yilin Wu. Categorification of Ice Quiver Mutation . Mathematische Zeitschrift , 304(1):Paper No. 11, 42, 2023
work page 2023
-
[56]
Relative Cluster Categories and Higgs Categories
Yilin Wu. Relative Cluster Categories and Higgs Categories . Advances in Mathematics , 424:Paper No. 109040, 112, 2023
work page 2023
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.