arXiv++ Combinatorics

We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $Δ_1 \times Δ_1 \times Δ_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $Δ_1 \times Δ_1 \times Δ_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $Δ_1 \times Δ_1 \times Δ_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.

Given lattice polytopes $P_1, \ldots, P_k$ contained in a $k$-dimensional subspace $U \subseteq \mathbb{R}^d$ and a $d$-dimensional lattice polytope $Q \subset \mathbb{R}^d$, we compute the Hodge vector of the Cayley polytope $P_1 * \cdots * P_k * Q$, and show that it equals the mixed volume of $P_1, \ldots, P_k$ times the Hodge vector of the projection of $Q$ along $U$. Here, the Hodge vector of a lattice polytope is its local $h^*$-vector with leading and trailing zeroes removed. This result allows finding infinitely many high-dimensional lattice polytopes with the same Hodge vector that are not free joins. The proof relies on a closed formula for the Hodge-Deligne polynomial of generic complete intersections in the torus in terms of the bivariate/mixed $h^*$-polynomial. A special case of our construction is what we call Lawrence twists: extending the Gale transform by centrally-symmetric pairs of vectors. As applications, we can produce many new thin polytopes answering a question by Borger, Kretschmer and the second author, and we provide an alternative explanation of the thinness of $B_k$-polytopes answering a question of Selyanin.

Lattice polytopes are called IDP polytopes if they have the integer decomposition property, i.e., any lattice point in a $k$th dilation is a sum of $k$ lattice points in the polytope. It is a long-standing conjecture whether the numerator of the Ehrhart series of an IDP polytope, called the $h^*$-polynomial, has a unimodal coefficient vector. In this preliminary report on research in progress we present examples showing that $h^*$-vectors of IDP polytopes do not have to be log-concave. This answers a question of Luis Ferroni and Akihiro Higashitani. As this is an ongoing project, this paper will be updated with more details and examples in the near future.

The local $h^*$-polynomial is a natural invariant of a lattice polytope appearing in Ehrhart theory and Hodge theory. In this work, we study the question posed in [GKZ94] concerning the classification of lattice simplices with vanishing local $h^*$-polynomial. Such simplices are called thin. We relate this question to linear codes and hyperplane arrangements over finite rings. This allows us to obtain a complete classification of the $4$-dimensional thin simplices, extending the previously known results in dimensions up to $3$.