[Paper Review] Tubular cluster algebras I: categorification

Michael Barot, Christof Geiß|arXiv (Cornell University)|May 1, 2009

Algebraic structures and combinatorial models14 references4 citations

TL;DR

This paper presents a uniform categorification of four mutation-finite cluster algebras of tubular type—associated with elliptic root systems $\mathsf{D}_4^{(1,1)}$, $\mathsf{E}_6^{(1,1)}$, $\mathsf{E}_7^{(1,1)}$, and $\mathsf{E}_8^{(1,1)}$—using the cluster category of coherent sheaves on a weighted projective line of tubular type. It establishes a bijection between cluster variables and positive real Schur roots via a cluster character, unifying approaches from Fomin-Shapiro-Thurston and Geiss-Leclerc-Schröer.

ABSTRACT

We present a categorification of four mutation finite cluster algebras by the cluster category of the category of coherent sheaves over a weighted projective line of tubular weight type. Each of these cluster algebras which we call tubular is associated to an elliptic root system. We show that via a cluster character the cluster variables are in bijection with the positive real Schur roots associated to the weighted projective line. In one of the four cases this is achieved by the approach to cluster algebras of Fomin-Shapiro-Thurston using a 2-sphere with 4 marked points whereas in the remaining cases it is done by the approach of Geiss-Leclerc-Schroer using preprojective algebras.

Motivation & Objective

• To provide a uniform categorification of four mutation-finite cluster algebras of tubular type using the cluster category of coherent sheaves on a weighted projective line.
• To establish a bijection between cluster variables and positive real Schur roots in the Grothendieck group of the category.
• To unify two distinct approaches to cluster algebras—Fomin-Shapiro-Thurston's surface model and Geiss-Leclerc-Schröer's preprojective algebra framework—within a single categorification framework.
• To demonstrate that the cluster character induces a bijection between rigid indecomposable objects in the cluster category and cluster variables, and between basic cluster-tilting objects and clusters.

Proposed method

• Construct the cluster category $\mathcal{C}_{\mathbb{X}}$ as the orbit category $\mathcal{D}^b(\operatorname{coh}\mathbb{X})/\langle\tau^{-1}[1]\rangle$ for a weighted projective line $\mathbb{X}$ of tubular type.
• Use the cluster character in the sense of Palu to map isomorphism classes of rigid indecomposable objects in $\mathcal{C}_{\mathbb{X}}$ to cluster variables in the algebra.
• For the $\mathsf{D}_4^{(1,1)}$ case, model the cluster algebra via the 2-sphere with 4 punctures, using tagged arcs and compatibility conditions.
• For the $\mathsf{E}_6^{(1,1)}$, $\mathsf{E}_7^{(1,1)}$, and $\mathsf{E}_8^{(1,1)}$ cases, employ the preprojective algebra approach of Geiss-Leclerc-Schröer to realize the cluster structure.
• Define a bijection $\Psi: \alpha_{p,x} \mapsto [E^x_p]$ from tagged arcs on the 4-punctured sphere to isoclasses of indecomposable rigid objects in $\operatorname{coh}\mathbb{X}$, preserving compatibility.
• Prove that compatibility of tagged arcs corresponds to Ext-orthogonality in $\operatorname{coh}\mathbb{X}$, ensuring the exchange graph isomorphism.

Experimental results

Research questions

• RQ1 Can the four mutation-finite cluster algebras of tubular type be uniformly categorified using a single geometric framework?
• RQ2 Is there a canonical bijection between cluster variables and positive real Schur roots in the Grothendieck group of a tubular category?
• RQ3 How do the Fomin-Shapiro-Thurston surface model and the Geiss-Leclerc-Schröer preprojective algebra approach unify in this categorification?
• RQ4 Does the cluster character induce a graph isomorphism between the exchange graph of tagged arcs and the mutation-exchange graph of tilting objects in the cluster category?
• RQ5 What is the precise correspondence between tagged arcs on a 4-punctured sphere and rigid indecomposable objects in the category of coherent sheaves on a weighted projective line?

Key findings

• The cluster algebra of type $\mathsf{D}_4^{(1,1)}$ is categorified via the cluster category of coherent sheaves on a weighted projective line of weight type $\mathbf{p} = (2,2,2,2)$, with a bijection between cluster variables and positive real Schur roots.
• For types $\mathsf{E}_6^{(1,1)}$, $\mathsf{E}_7^{(1,1)}$, and $\mathsf{E}_8^{(1,1)}$, the categorification uses weight types $\mathbf{p} = (3,3,3)$, $(4,4,2)$, and $(6,3,2)$, respectively, with the same bijection property.
• The cluster character induces a bijection between isomorphism classes of rigid indecomposable objects in $\mathcal{C}_{\mathbb{X}}$ and cluster variables in the algebra.
• Compatibility of tagged arcs on the 4-punctured sphere corresponds exactly to Ext-orthogonality of their images under the map $\Psi$, ensuring the exchange graph isomorphism.
• The map $\Psi: \alpha_{p,x} \mapsto [E^x_p]$ is a well-defined bijection between tagged arcs and isoclasses of indecomposable rigid objects in $\operatorname{coh}\mathbb{X}$, with compatibility preserved.
• The exchange graph of tagged triangulations on the 4-punctured sphere is isomorphic to the mutation-exchange graph of tilting objects in $\operatorname{coh}\mathbb{X}$, confirming the categorification's consistency.