Abstract:We investigate the algebraic properties of the coordinate ring of grid polyominoes. This class of non-simple and thin polyominoes was introduced by Mascia, Rinaldo, and Romeo, but not much is known about their polyomino ideals, $I_{\mathcal{P}}$, and their related coordinate ring, $K[\mathcal{P}]$. We give a formula for the Krull dimension of $K[\mathcal{P}]$ in terms of the combinatorics of the polyomino and we prove that $I_{\mathcal{P}}$ is of König type if and only if the polyomino has exactly one hole. In addition, we study a Conjecture of Rinaldo and Romeo which characterizes the thin polyominoes, and we confirm it for grid polyominoes. Namely, in the main result of this article, we prove that the $h$-polynomial of $K[\mathcal{P}]$ is equal to the rook polynomial of $\mathcal{P}$, and, as a consequence, the Castelnuovo-Mumford regularity of $K[\mathcal{P}]$ is equal to $r(\mathcal{P})$, the maximum number of rooks that can be placed in $\mathcal{P}$ in non-attacking positions. Our method to prove this result is based on the theory of simplicial complexes. We provide a suitable shelling order for $\Delta_{\mathcal{P}}$, the simplicial complex attached to $\mathcal{P}$ in relation to a generalized step of a facet, and we show that there is a one-to-one correspondence between the facets of $\Delta_{\mathcal{P}}$ with $k$ generalized steps and the $k$-rook configurations in $\mathcal{P}$.

A theorem on the Gram matrix of a polyhedron

A Generalization of Hadamard's Inequality for Convex Functions

Gram Matrices for Isotropic Vectors

The Variance Conjecture on Some Polytopes

Generalization and variations of Pellet's theorem for matrix polynomials

Generalized angle vectors, geometric lattices, and flag-angles

Convex Hulls of Grassmannians and Combinatorics of Symmetric Hypermatrices

The structure and normalized volume of Monge polytopes

Dimension of gram spectrahedra of univariate polynomials

The Wonderful Geometry of the Vandermonde map

Thin sequences and the Gram matrix

Voronoi diagrams of algebraic varieties under polyhedral norms

A generalization of Lévy's theorem on positive matrix semigroups

Full Geometric Interpretation of Complex Blades, Determinants and Gramians

On {0,1} CP Tensors and CP Multi-hypergraphs

On the Diameter of a 2-Sum of Polyhedra

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

The Square Root Rank of the Correlation Polytope is Exponential

Vertex generated polytopes

On the rook polynomial of grid polyominoes

The triangulant