English

Deformation Theory for Finite Cluster Complexes

Algebraic Geometry 2025-03-03 v2 Commutative Algebra Combinatorics Representation Theory

Abstract

We study the deformation theory of the Stanley-Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the AnA_n case. We also study the connection between cluster algebras with universal coefficients and cluster complexes. We show that for a full rank positively graded cluster algebra A\mathcal{A} of geometric and finite cluster type, the cluster algebra Auniv\mathcal{A}^{\mathrm{univ}} with universal coefficients may be recovered as the universal family over a partial closure of a torus orbit in a multigraded Hilbert scheme. Likewise, we show that under suitable hypotheses, the cluster algebra Auniv\mathcal{A}^{\mathrm{univ}} may be recovered as the coordinate ring for a certain torus-invariant semiuniversal deformation of the Stanley-Reisner ring of the cluster complex. We apply these results to show that for any cluster algebra A\mathcal{A} of geometric and finite cluster type, A\mathcal{A} is Gorenstein, and A\mathcal{A} is unobstructed if it is skew-symmetric. Moreover, if A\mathcal{A} has enough frozen variables then it has no non-trivial torus-invariant deformations. We also study the Gr\"obner theory of the ideal of relations among cluster and frozen variables of A\mathcal{A}. As a byproduct we generalize previous results in this setting obtained by Bossinger, Mohammadi and N\'ajera Ch\'avez for Grassmannians of planes and Gr(3,6)\text{Gr}(3,6).

Keywords

Cite

@article{arxiv.2111.02566,
  title  = {Deformation Theory for Finite Cluster Complexes},
  author = {Nathan Ilten and Alfredo Nájera Chávez and Hipolito Treffinger},
  journal= {arXiv preprint arXiv:2111.02566},
  year   = {2025}
}

Comments

57 pages. v2: minor changes. Resolved one conjecture from v1

R2 v1 2026-06-24T07:25:21.882Z