arxiv: 2604.16660 · v1 · submitted 2026-04-17 · 🧮 math.CO · math.GN· math.LO

Recognition: unknown

Topologizing infinite quivers and their mutations

Benjamin Grant

Authors on Pith no claims yet

Pith reviewed 2026-05-10 07:42 UTC · model grok-4.3

classification 🧮 math.CO math.GNmath.LO

keywords infinite quiversquiver mutationstopological spacesBaire spaceconvergence of sequenceshereditary propertiesFraïssé quiver

0 comments

The pith

For countably infinite vertex sets, two spaces of quivers are homeomorphic to the Baire space N^N.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper defines several topological spaces whose points are all possible quivers sharing one fixed infinite vertex set X. The aim is to turn infinite sequences of quiver mutations into ordinary sequences in a topological space so their convergence can be examined directly. When X is countably infinite, two of the spaces turn out to be homeomorphic to the Baire space of all sequences of natural numbers. The paper then gives a complete description of which infinite mutation sequences converge or diverge in one of the spaces and a partial description in the other. It singles out one special quiver, called the Fraïssé quiver, whose mutation behavior separates finite and infinite cases, and shows that one of the new spaces contains a mild modification of an earlier construction as a subquotient.

Core claim

Several topological spaces are defined whose points are quivers with a fixed infinite vertex set X. When X is countably infinite, two of these spaces are homeomorphic to the Baire space N^N. A meta-theorem is proved that identifies hereditary properties of quivers. Infinite mutation sequences are analyzed for convergence, yielding a complete characterization of the density of convergent and divergent domains in one space and a partial characterization in the other. The Fraïssé quiver is presented as an example that distinguishes finite from infinite mutation sequences, and one of the spaces is shown to have a previously studied space as a subquotient.

What carries the argument

The family of topological spaces on the set of all quivers with fixed infinite vertex set X, in which infinite mutation sequences become sequences whose convergence and divergence can be described by density in the space.

Load-bearing premise

The chosen open sets or bases used to define the topologies on the spaces of quivers are such that the homeomorphisms to the Baire space and the characterizations of convergence domains hold.

What would settle it

An explicit infinite mutation sequence starting from the Fraïssé quiver whose pattern of convergence or divergence fails to match the density characterization given for one of the spaces.

read the original abstract

We define several topological spaces whose points are quivers with a given infinite vertex set $X$. In the special case when $X$ is countably infinite, we show that two of the spaces of interest are homeomorphic to the Baire space $\mathbb{N}^\mathbb{N}$. We study properties of countably infinite quivers as subspaces of these topological spaces and prove a ``meta-theorem'' about hereditary properties of quivers. Furthermore, we approach the question of convergence for infinite mutation sequences in these spaces, providing a complete characterization of the (non-)density of the domains of convergence and divergence of infinite mutation sequences in one of these spaces and a partial characterization in the other. We then draw attention to a very special infinite quiver which we call the \emph{Fra\"iss\'e quiver} that draws a clear contrast between the behavior of finite and infinite mutation sequences. Finally, we reproduce (a very mild modification of) a previously-constructed topological space due to Ervin and Jackson as a subquotient of one of the spaces of interest.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper defines concrete topologies on infinite quivers that reduce to the Baire space for countable vertices and then characterizes convergence of mutation sequences in those spaces.

read the letter

The main point is that the work equips the set of quivers on a fixed infinite vertex set with several topologies built from cylinder-style bases that fix finitely many arrows or mutation steps. When the vertex set is countable, two of these spaces are homeomorphic to the Baire space N^N via an explicit enumeration of possible arrows. The paper also proves a meta-theorem on hereditary properties that transfers certain quiver features across the topologies, gives a full density characterization of convergence and divergence domains for infinite mutation sequences in one space and a partial one in the other, presents the Fraïssé quiver as a concrete example separating finite and infinite behavior, and recovers a mild variant of the Ervin-Jackson space as a subquotient.

Referee Report

0 major / 2 minor

Summary. The manuscript defines several topological spaces on quivers with a fixed infinite vertex set X. For countably infinite X, two of these spaces are shown to be homeomorphic to the Baire space ℕ^ℕ via explicit constructions. It proves a meta-theorem on hereditary properties of quivers, gives a complete characterization of the density of convergence and divergence domains for infinite mutation sequences in one topology (and partial in the other), introduces the Fraïssé quiver to contrast finite and infinite mutations, and realizes a mild modification of the Ervin-Jackson space as a subquotient of one of the defined spaces.

Significance. If the results hold, the work supplies a coherent topological framework for infinite quivers and mutation sequences that connects directly to classical spaces such as the Baire space. The explicit homeomorphisms, the derivation of convergence characterizations from the product topology, the hereditary meta-theorem, and the reproduction of prior work as a subquotient are concrete strengths that enhance the paper's utility for combinatorial and representation-theoretic applications.

minor comments (2)

The introduction could include a short table or diagram comparing the four topologies (or however many are ultimately defined) with respect to their bases and separation properties to aid navigation.
Notation for the cylinder sets used in the bases (e.g., fixing finitely many arrows or mutation steps) is clear in the definitions but would benefit from a single consolidated list of symbols in an early section.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive and accurate summary of our manuscript, as well as for recommending acceptance. We are pleased that the topological framework, the explicit homeomorphisms to the Baire space, the hereditary meta-theorem, and the characterizations of mutation convergence were viewed as strengths.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces explicit bases for topologies on spaces of quivers (cylinder sets fixing finitely many arrows or mutation steps), constructs homeomorphisms to the Baire space N^N for countable X by direct enumeration of arrows, derives convergence and density characterizations for mutation sequences from the resulting product topology, and proves the meta-theorem on hereditary properties and the Fraïssé quiver example as direct consequences of these definitions. The reproduction of Ervin and Jackson's space appears as a subquotient construction without any reduction of central claims to fitted parameters, self-citations, or ansatzes imported from prior work by the same authors. All load-bearing steps are self-contained definitions and proofs with no circular reductions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on newly introduced definitions of topologies on quivers and the Fraïssé quiver; these are constructed within the paper rather than derived from external benchmarks.

axioms (2)

standard math Standard axioms of general topology (open sets, bases, continuity, homeomorphisms)
Invoked when defining the spaces and proving homeomorphisms to the Baire space.
standard math Basic set theory for infinite and countable sets
Used to handle the fixed infinite vertex set X and countably infinite case.

invented entities (1)

Fraïssé quiver no independent evidence
purpose: Special infinite quiver chosen to exhibit contrasting behavior between finite and infinite mutation sequences
Introduced in the paper as a very special case that draws a clear contrast.

pith-pipeline@v0.9.0 · 5475 in / 1562 out tokens · 80431 ms · 2026-05-10T07:42:40.434023+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Eventual sign coherence
math.CO 2026-05 unverdicted novelty 7.0

Random mutations on skew-symmetric quivers yield sign-coherent c-vectors almost surely, proving the asymptotic sign coherence conjecture for arbitrary rank.

Reference graph

Works this paper leans on

33 extracted references · 4 canonical work pages · cited by 1 Pith paper

[1]

Cluster structures for the A \infty singularity.Journal of the London Mathematical Society, 107(6):2121–2149, 2023

Jenny August, Man Wai Cheung, Eleonore Faber, Sira Gratz, and Sibylle Schroll. Cluster structures for the A \infty singularity.Journal of the London Mathematical Society, 107(6):2121–2149, 2023. eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1112/jlms.12735

work page doi:10.1112/jlms.12735 2023
[2]

Transfinite mutations in the completed infinity-gon.Journal of Combinatorial Theory, Series A, 155:321–359, April 2018

Karin Baur and Sira Gratz. Transfinite mutations in the completed infinity-gon.Journal of Combinatorial Theory, Series A, 155:321–359, April 2018

2018
[3]

Cluster-Cyclic Quivers with Three Vertices and the Markov Equation: With an appendix by Otto Kerner.Algebras and Representation Theory, 14(1):97–112, February 2011

Andre Beineke, Thomas Br¨ ustle, and Lutz Hille. Cluster-Cyclic Quivers with Three Vertices and the Markov Equation: With an appendix by Otto Kerner.Algebras and Representation Theory, 14(1):97–112, February 2011

2011
[4]

Cluster algebras III: Upper bounds and double Bruhat cells.Duke Mathematical Journal, 126(1), January 2005

Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster algebras III: Upper bounds and double Bruhat cells.Duke Mathematical Journal, 126(1), January 2005

2005
[5]

Reddening sequences and mutation of infinite quivers, 2025

Eric Bucher and Elizabeth Howard. Reddening sequences and mutation of infinite quivers, 2025

2025
[6]

Quivers with potentials and their representations I: Mutations.Selecta Mathematica, 14(1):59–119, October 2008

Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky. Quivers with potentials and their representations I: Mutations.Selecta Mathematica, 14(1):59–119, October 2008

2008
[7]

Quivers with potentials and their representations II: Applications to cluster algebras.Journal of the American Mathematical Society, 23(3):749–790, February 2010

Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky. Quivers with potentials and their representations II: Applications to cluster algebras.Journal of the American Mathematical Society, 23(3):749–790, February 2010

2010
[8]

New Hereditary And Mutation-Invariant Properties Arising from Forks.The Electronic Journal of Combinatorics, 31(1), January 2024

Tucker Ervin. New Hereditary And Mutation-Invariant Properties Arising from Forks.The Electronic Journal of Combinatorics, 31(1), January 2024

2024
[9]

Tucker J. Ervin. Unrestricted Red Size and Sign-Coherence, 2024. Version Number: 2. 66 BENJAMIN GRANT

2024
[10]

Ervin and Blake Jackson

Tucker J. Ervin and Blake Jackson. A topology on the poset of quiver mutation classes, 2024. Version Number: 2

2024
[11]

Ervin, Blake Jackson, Kyungyong Lee, and Son Dang Nguyen

Tucker J. Ervin, Blake Jackson, Kyungyong Lee, and Son Dang Nguyen. Geometry of$C$-vectors and$C$- Matrices for Mutation-Infinite Quivers, 2024. Version Number: 1

2024
[12]

Universal quivers.Algebraic Combinatorics, 4(4):683–702, September 2021

Sergey Fomin, Kiyoshi Igusa, and Kyungyong Lee. Universal quivers.Algebraic Combinatorics, 4(4):683–702, September 2021

2021
[13]

Cyclically ordered quivers, 2024

Sergey Fomin and Scott Neville. Cyclically ordered quivers, 2024. Version Number: 1

2024
[14]

Cluster algebras I: Foundations.Journal of the American Mathematical Society, 15(2):497–529, December 2001

Sergey Fomin and Andrei Zelevinsky. Cluster algebras I: Foundations.Journal of the American Mathematical Society, 15(2):497–529, December 2001

2001
[15]

Cluster algebras II: Finite type classification.Inventiones mathematicae, 154(1):63–121, October 2003

Sergey Fomin and Andrei Zelevinsky. Cluster algebras II: Finite type classification.Inventiones mathematicae, 154(1):63–121, October 2003

2003
[16]

Cluster algebras IV: Coefficients.Compositio Mathematica, 143(01):112– 164, January 2007

Sergey Fomin and Andrei Zelevinsky. Cluster algebras IV: Coefficients.Compositio Mathematica, 143(01):112– 164, January 2007

2007
[17]

Grabowski and Sira Gratz

Jan E. Grabowski and Sira Gratz. Cluster algebras of infinite rank.Journal of the London Mathematical Society, 89(2):337–363, 2014. eprint: https://onlinelibrary.wiley.com/doi/pdf/10.1112/jlms/jdt064

work page doi:10.1112/jlms/jdt064 2014
[18]

Cluster algebras of infinite rank as colimits.Mathematische Zeitschrift, 281(3):1137–1169, Decem- ber 2015

Sira Gratz. Cluster algebras of infinite rank as colimits.Mathematische Zeitschrift, 281(3):1137–1169, Decem- ber 2015

2015
[19]

Ind-cluster algebras and infinite Grassmannians, May 2025

Sira Gratz and Christian Korff. Ind-cluster algebras and infinite Grassmannians, May 2025. arXiv:2505.01228 [math]

work page arXiv 2025
[20]

Canonical bases for cluster algebras, 2014

Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich. Canonical bases for cluster algebras, 2014. Version Number: 2

2014
[21]

On a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon.Mathematische Zeitschrift, 270(1):277–295, February 2012

Thorsten Holm and Peter Jørgensen. On a cluster category of infinite Dynkin type, and the relation to triangulations of the infinity-gon.Mathematische Zeitschrift, 270(1):277–295, February 2012

2012
[22]

Mutation invariant functions on cluster ensembles.Journal of Pure and Applied Algebra, 228(2):107495, February 2024

Dani Kaufman. Mutation invariant functions on cluster ensembles.Journal of Pure and Applied Algebra, 228(2):107495, February 2024

2024
[23]

Kechris.Classical Descriptive Set Theory, volume 156 ofGraduate Texts in Mathematics

Alexander S. Kechris.Classical Descriptive Set Theory, volume 156 ofGraduate Texts in Mathematics. Springer New York, New York, NY, 1995

1995
[24]

Positivity for cluster algebras.Annals of Mathematics, pages 73–125, July 2015

Kyungyong Lee and Ralf Schiffler. Positivity for cluster algebras.Annals of Mathematics, pages 73–125, July 2015

2015
[25]

Cluster categories of type A \inftyˆ\infty and triangulations of the infinite strip.Mathematische Zeitschrift, 286(1):197–222, June 2017

Shiping Liu and Charles Paquette. Cluster categories of type A \inftyˆ\infty and triangulations of the infinite strip.Mathematische Zeitschrift, 286(1):197–222, June 2017

2017
[26]

Descriptive Set Theory, 2002

David Marker. Descriptive Set Theory, 2002

2002
[27]

Mutation-acyclic quivers are totally proper, 2024

Scott Neville. Mutation-acyclic quivers are totally proper, 2024. Version Number: 1

2024
[28]

Completions of discrete cluster categories of type A.Transactions of the London Mathematical Society, 8(1):35–64, December 2021

Charles Paquette and Emine Yıldırım. Completions of discrete cluster categories of type A.Transactions of the London Mathematical Society, 8(1):35–64, December 2021

2021
[29]

Lecture notes: an introduction to model theory

Philipp Schlicht. Lecture notes: an introduction to model theory
[30]

Congruence invariants of matrix mutation, 2024

Ahmet Seven and ˙Ibrahim ¨Unal. Congruence invariants of matrix mutation, 2024. Version Number: 2

2024
[31]

PhD thesis, January 2014

Matthias Warkentin.Exchange Graphs via Quiver Mutation. PhD thesis, January 2014

2014
[32]

Infinite rank surface cluster algebras.Advances in Mathematics, 352:862–942, August 2019

˙Ilke C ¸ anak¸ cı and Anna Felikson. Infinite rank surface cluster algebras.Advances in Mathematics, 352:862–942, August 2019

2019
[33]

Cluster categories for completed infinity-gons I: Categorifying triangulations.Journal of the London Mathematical Society, 111(2):e70092, February 2025

˙Ilke C ¸ anak¸ cı, Martin Kalck, and Matthew Pressland. Cluster categories for completed infinity-gons I: Categorifying triangulations.Journal of the London Mathematical Society, 111(2):e70092, February 2025. arXiv:2401.08378 [math]. TOPOLOGIZING INFINITE QUIVERS AND THEIR MUTATIONS 67 Department of Mathematics, University of Connecticut, Storrs, CT 0626...

work page arXiv 2025