[Paper Review] Reflection groupoids of rank two and Cluster algebras of type $A$

Michael Cuntz, I. Heckenberger|ArXiv.org|Nov 16, 2009

Algebraic structures and combinatorial models4 references4 citations

TL;DR

This paper extends the classification of finite Weyl groupoids of rank two to reflection groupoids with non-integral Cartan matrix entries, revealing that the spectrum of the cluster algebra of type $A_{n-3}$ fully describes the set of finite reflection groupoids of rank two with $2n$ objects. The key result establishes a natural isomorphism between such groupoids and triangulations of an $n$-gon, with matrix mutation emerging naturally through polynomial constraints on Cartan entries.

ABSTRACT

We extend the classification of finite Weyl groupoids of rank two. Then we generalize these Weyl groupoids to `reflection groupoids' by admitting non-integral entries of the Cartan matrices. This leads to the unexpected observation that the spectrum of the cluster algebra of type $A_{n-3}$ completely describes the set of finite reflection groupoids of rank two with $2n$ objects.

Motivation & Objective

• To extend the classification of finite Weyl groupoids of rank two to include non-integral Cartan matrix entries by introducing 'reflection groupoids'.
• To establish a natural bijection between isomorphism classes of connected irreducible universal reflection groupoids of rank two with $2n$ objects and triangulations of a convex $n$-gon up to dihedral symmetry.
• To show that the set of such finite reflection groupoids with fixed object change diagram is isomorphic to the spectrum of the cluster algebra of type $A_{n-3}$, with edges specialized to 1.
• To demonstrate that matrix mutation arises naturally in the classification of rank two reflection groupoids through polynomial constraints derived from finiteness axioms.

Proposed method

• Generalize Weyl groupoids to 'reflection groupoids' by allowing non-integral entries in the Cartan matrices, preserving the groupoid structure and reflection axioms.
• Define a $K$-Cartan scheme over a ring $K$, where $K$ is arbitrary, to allow flexible parameterization of Cartan matrices across objects.
• Use induction on the number of objects and translate finiteness conditions into polynomial equations in the Cartan entries, forming an algebraic variety.
• Establish a connection between the variety of reflection groupoids and the Grassmannian $\operatorname{Gr}(2,n)$ via Plücker coordinates and determinantal relations.
• Construct an explicit algebra map $\psi: \mathcal{G}(2,n) \to R/J$ from the coordinate ring of $\operatorname{Gr}(2,n)$ to the quotient ring $R/J$, showing that $\psi$ is an isomorphism when edges are specialized to 1.
• Use matrix recursion via $\eta(c_i)$-matrices to derive recurrence relations for minors $\psi(P_{i,j})$, proving that they satisfy the Plücker relations and thus define a well-defined map to the cluster algebra.

Experimental results

Research questions

• RQ1 How can the classification of finite Weyl groupoids of rank two be extended to include non-integral Cartan matrix entries?
• RQ2 What is the combinatorial structure underlying the set of finite reflection groupoids of rank two with $2n$ objects?
• RQ3 How does the cluster algebra of type $A_{n-3}$ arise naturally in the classification of such reflection groupoids?
• RQ4 In what way does matrix mutation emerge as a natural feature in the algebraic description of these groupoids?

Key findings

• There exists a natural bijection between isomorphism classes of connected irreducible universal reflection groupoids of rank two with $2n$ objects and triangulations of a convex $n$-gon modulo dihedral symmetry.
• The set of finite reflection groupoids of rank two with $2n$ objects and fixed object change diagram is isomorphic to the spectrum of the cluster algebra of type $A_{n-3}$, with edge labels specialized to 1.
• The root system of any such groupoid consists only of simple roots and sums of two positive roots at the same object, as shown in Corollary 3.8.
• The variety of finite reflection groupoids is defined by polynomial constraints that lead to matrix mutation as a natural operation, arising from recurrence relations on minors of $2\times 2$ matrices.
• The map $\psi: \mathcal{G}(2,n) \to R/J$ is an isomorphism, proving that the coordinate ring of the Grassmannian $\operatorname{Gr}(2,n)$ maps isomorphically onto the quotient ring $R/J$ when edge labels are set to 1.
• A matrix $z$ over $R/J$ can be explicitly constructed such that its $2\times 2$ minors reproduce the Cartan entries $c_i$, confirming the algebraic consistency of the construction.