A geometric realization of socle-projective categories for posets of type $\mathbb{A}$

TL;DR

This paper links cluster algebra theory with representations of posets of type A, providing a geometric realization of socle-projective modules as diagonals in polygons and exploring related subalgebras.

Contribution

It introduces posets of type A via peak-subposet avoidance and provides a geometric model for socle-projective modules as diagonals, connecting cluster algebras and poset representations.

Findings

Posets of type A realized as quivers with additional arrows

Geometric realization of socle-projective modules as diagonals in polygons

Conditions identified for subalgebras to equal the entire cluster algebra

Abstract

This paper establishes a link between the theory of cluster algebras and the theory of representations of partially ordered sets. We introduce a class of posets by requiring avoidance of certain types of peak-subposets and show that these posets can be realized as the posets of quivers of type $\mathbb{A}$ with certain additional arrows. This class of posets is therefore called \emph{posets of type $\mathbb{A}$}. We then give a geometric realization of the category of finitely generated socle-projective modules over the incidence algebra of a poset of type $\mathbb{A}$ as a combinatorial category of certain diagonals of a regular polygon. This construction is inspired by the realization of the cluster category of type $\mathbb{A}$ as the category of all diagonals by Caldero, Chapoton and the first author. We also study the subalgebra of the cluster algebra generated by those cluster variables that correspond to the socle-projectives under the above construction. We give a sufficient condition for when this subalgebra is equal to the whole cluster algebra.