arXiv++ Combinatorics

For $n\in\mathbb{N}$ and $\ell\in\{0,1,\dots,n\}$, we consider the function extracting the $\ell$th coefficient of the Ehrhart polynomials of lattice polytopes in $\mathbb{R}^n$. These functions form a basis of the space of unimodular invariant valuations. We show that, in even dimensions, these functions are in fact simultaneous symplectic Hecke eigenfunctions. We leverage this and apply the theory of spherical functions and their associated zeta functions to prove analytic, asymptotic, and combinatorial results about the arithmetic functions averaging $\ell$th Ehrhart coefficients.

We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.

Given a lattice polytope $P$ and a prime $p$, we define a function from the set of primitive symplectic $p$-adic lattices to the rationals that extracts the $\ell$th coefficient of the Ehrhart polynomial of $P$ relative to the given lattice. Inspired by work of Gunnells and Rodriguez-Villegas in type $\mathsf{A}$, we show that these functions are eigenfunctions of a suitably defined action of the spherical symplectic Hecke algebra. Although they depend significantly on the polytope $P$, their eigenvalues are independent of $P$ and expressed as polynomials in $p$. We define local zeta functions that enumerate the values of these Hecke eigenfunctions on the vertices of the affine Bruhat--Tits buildings associated with $p$-adic symplectic groups. We compute these zeta functions by enumerating $p$-adic lattices by their elementary divisors and, simultaneously, one Hermite parameter. We report on a general functional equation satisfied by these local zeta functions, confirming a conjecture of Vankov.

Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré-extended ab-index, which generalizes both the ab-index and the Poincaré polynomial. For posets admitting R-labelings, we give a combinatorial description of the coefficients of the extended ab-index, proving their nonnegativity. In the case of intersection posets of hyperplane arrangements, we prove the above conjecture of the second author and Voll as well as another conjecture of the second author and Kühne. We also define the pullback ab-index generalizing the cd-index of face posets for oriented matroids. Our results recover, generalize and unify results from Billera-Ehrenborg-Readdy, Bergeron-Mykytiuk-Sottile-van Willigenburg, Saliola-Thomas, and Ehrenborg. This connection allows us to translate our results into the language of quasisymmetric functions, and-in the special case of symmetric functions-make a conjecture about Schur positivity. A proof of this conjecture now appears an appendix by Ricky Ini Liu.

We extend the definition of coarse flag Hilbert--Poincaré series to matroids; these series arise in the context of local Igusa zeta functions associated to hyperplane arrangements. We study these series in the case of oriented matroids by applying geometric and combinatorial tools related to their topes. In this case, we prove that the numerators of these series are coefficient-wise bounded below by the Eulerian polynomial and equality holds if and only if all topes are simplicial. Moreover this yields a sufficient criterion for non-orientability of matroids of arbitrary rank.

We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ in terms of total partitions of the respective types. We show that a different specialization of the flag Hilbert-Poincaré series, which we call the coarse flag Hilbert-Poincaré series, exhibits intriguing nonnegativity features and - in the case of Coxeter arrangements - connections with Eulerian polynomials. For numerous classes and examples of hyperplane arrangements, we determine their (coarse) flag Hilbert-Poincaré series. Some computations were aided by a SageMath package we developed.