Families of Gr\"obner Degenerations, Grassmannians and Universal Cluster Algebras

TL;DR

This paper constructs multi-parameter Gr"obner degeneration families for weighted projective varieties, applies them to Grassmannians with cluster structures, and links tropicalized cluster mutations to Newton-Okounkov bodies.

Contribution

It introduces a multi-parameter generalization of Gr"obner degenerations using recent toric family classifications and applies this to Grassmannians and cluster algebras.

Findings

Constructed flat families over affine space for all faces of a Gr"obner cone.

Connected cluster algebra structures to specific Gr"obner degenerations.

Reinterpreted tropicalized cluster mutations as Newton-Okounkov body mutations.

Abstract

Let $V$ be the weighted projective variety defined by a weighted homogeneous ideal $J$ and $C$ a maximal cone in the Gr\"obner fan of $J$ with $m$ rays. We construct a flat family over $\mathbb A^m$ that assembles the Gr\"obner degenerations of $V$ associated with all faces of $C$. This is a multi-parameter generalization of the classical one-parameter Gr\"obner degeneration associated to a weight. We explain how our family can be constructed from Kaveh-Manon's recent work on the classification of toric flat families over toric varieties: it is the pull-back of a toric family defined by a Rees algebra with base $X_C$ (the toric variety associated to $C$) along the universal torsor $\mathbb A^m \to X_C$. We apply this construction to the Grassmannians ${\rm Gr}(2,\mathbb C^n)$ with their Pl\"ucker embeddings and the Grassmannian ${\rm Gr}\big(3,\mathbb C^6\big)$ with its cluster embedding. In each case, there exists a unique maximal Gr\"obner cone whose associated initial ideal is the Stanley-Reisner ideal of the cluster complex. We show that the corresponding cluster algebra with universal coefficients arises as the algebra defining the flat family associated to this cone. Further, for ${\rm Gr}(2,\mathbb C^n)$ we show how Escobar-Harada's mutation of Newton-Okounkov bodies can be recovered as tropicalized cluster mutation.