Characterization of Stanley-Reisner varieties by their automorphism group

Abstract

We study the automorphism ind-group of a Stanley-Reisner variety $X_\Delta$ through a combinatorial toolkit on the underlying complex: a facet closure operator, its Demazure roots, and the resulting dichotomy between exposed and hidden facets. Our main theorem is that a fully exposed complex, that is, one in which every facet has a private vertex, is recovered from the ind-group: $\mathrm{Aut}(X_\Delta)\cong\mathrm{Aut}(X_{\Delta'})$ forces $\Delta\cong\Delta'$. The hypothesis cannot be dropped, but it holds after one stabilization, so for arbitrary $\Delta,\Delta'$ an isomorphism $\mathrm{Aut}(X_\Delta\times\mathbb{A}^1)\cong\mathrm{Aut}(X_{\Delta'}\times\mathbb{A}^1)$ already forces $\Delta\cong\Delta'$. At the opposite extreme, a fully hidden $\Delta$ gives $\mathrm{Aut}(X_\Delta)=T_0\rtimes S(\Delta)$, never isomorphic to the ind-group of a non-rigid Stanley-Reisner variety. The criterion decides graphs and skeleta, and every complex is homotopy equivalent to a fully exposed one.