[Paper Review] Endomorphism rings of maximal rigid objects in cluster tubes

Dagfinn F. Vatne|ArXiv.org|May 12, 2009

Algebraic structures and combinatorial models4 references3 citations

TL;DR

This paper characterizes the endomorphism rings of maximal rigid objects in cluster tubes, proving they are gentle algebras of Gorenstein dimension 1 and finite representation type. It establishes a dense, explicit Hom-functor correspondence between the cluster tube and the module category of the endomorphism ring, despite the functor not being full.

ABSTRACT

We describe the endomorphism rings of maximal rigid objects in the cluster categories of tubes. Moreover, we show that they are gentle and have Gorenstein dimension 1. We analyse their representation theory and prove that they are of finite type. Finally, we study the relationship between the module category and the cluster tube via the Hom-functor.

Motivation & Objective

• To describe the endomorphism rings of maximal rigid objects in cluster tubes, which are orbit categories of derived categories of tubes.
• To prove that these endomorphism rings are gentle algebras with Gorenstein dimension 1, except when n=2, where they are self-injective.
• To analyze the representation theory of these algebras and show they are of finite representation type.
• To study the action of the Hom-functor from the cluster tube to the module category of the endomorphism ring, establishing its density.
• To provide an explicit description of Hom(T,X) for every indecomposable object X in the cluster tube, using quiver-theoretic and homological techniques.

Proposed method

• Use quiver and relation descriptions to characterize the endomorphism rings of maximal rigid objects in cluster tubes.
• Apply techniques from [GR] on gentle algebras to prove Gorenstein dimension 1, leveraging the gentle structure.
• Employ string and band module theory to establish finite representation type, based on the quiver structure.
• Define coordinate systems on indecomposable objects in the cluster tube using quasilength and AR-quiver positions.
• Construct explicit Hom-hammocks and use path compositions to describe Hom(T,X) for indecomposable X.
• Analyze the action of arrows in the endomorphism ring quiver, particularly loops, to determine when Hom(T,X) vanishes or is non-zero.

Experimental results

Research questions

• RQ1 What is the structure of the endomorphism ring of a maximal rigid object in a cluster tube of rank n?
• RQ2 Are these endomorphism rings gentle algebras, and what is their Gorenstein dimension?
• RQ3 Is the representation type of these endomorphism rings finite, and how can this be shown?
• RQ4 How does the Hom-functor from the cluster tube to the module category of the endomorphism ring behave—specifically, is it dense?
• RQ5 Can an explicit description of Hom(T,X) be given for every indecomposable object X in the cluster tube?

Key findings

• The endomorphism rings of maximal rigid objects in cluster tubes are gentle algebras with Gorenstein dimension 1, except when n=2, where they are self-injective.
• These endomorphism rings are of finite representation type, as shown via string and band module theory on the quiver with relations.
• The Hom-functor Hom(T,−) from the cluster tube to the module category of the endomorphism ring is dense, meaning every indecomposable module arises as Hom(T,X) for some indecomposable X.
• For any indecomposable X not in the full subcategory F, Hom(T,X) is zero if and only if X=(n,kn−1) for k≥2.
• For other indecomposable X not in F, Hom(T,X) is isomorphic to the direct sum of two string modules, M(σᵀ_X) and M(σᴰ_X), corresponding to T- and D-maps.
• The number of indecomposable modules in mod Λ_T is (1/2)(3n²−5n+2), matching the number of indecomposables in F∖add τT, confirming the bijection via the Hom-functor.