Reddening Sequences for Banff Quivers and the Class $\mathcal{P}$

TL;DR

This paper proves that all Banff quivers admit reddening sequences using combinatorial methods, confirming a conjecture relating reddening sequences to the equality of cluster algebras and their upper cluster algebras.

Contribution

It establishes the existence of reddening sequences for Banff quivers and shows that certain subclasses of quivers in class $ ext{P}$ define locally acyclic cluster algebras.

Findings

Reddening sequences exist for all Banff quivers.

Banff quivers define locally acyclic cluster algebras.

Certain quivers in class $ ext{P}$ are locally acyclic.

Abstract

We show that a reddening sequence exists for any quiver which is Banff. Our proof is combinatorial and relies on the triangular extension construction for quivers. The other facts needed are that the existence of a reddening sequence is mutation invariant and passes to induced subquivers. Banff quivers define locally acyclic cluster algebras which are known to coincide with their upper cluster algebras.The existence of reddening sequences for these quivers is consistent with a conjectural relationship between the existence of a reddening sequence and a cluster algebra's equality with its upper cluster algebra.Our result completes a verification of the conjecture for Banff quivers. We also prove that a certain subclass of quivers within the class $\mathcal{P}$ define locally acyclic cluster algebras.