arXiv++ Combinatorics

We study the volume map on Artinian quotients of Cohen-Macaulay algebras in characteristic $p$, and the interaction between it and the action of Frobenius on resolutions. This allows us to provide a general, conceptual way to understand Parseval-Rayleigh identities, curious inhomogeneous identities on the volume map which were developed for the proof of the Ohsugi-Hibi conjecture. This general perspective gives a new approach to generic Lefschetz theory. We use this perspective to do the following: we give sufficient conditions for anisotropy and the Hard Lefschetz property for generic Artinian reductions of graded Gorenstein rings; we study the codimension-$3$ Gorenstein quotient of a polynomial ring by the ideal generated by Pfaffians, proving a Parseval-Rayleigh identity and deriving anisotropy and Hard Lefschetz in characteristic $2$; we deduce the $g$-theorem for simplicial spheres and the Ohsugi-Hibi conjecture following previous work of Adiprasito, Papadakis, and Petrotou; and we provide further examples of Parseval-Rayleigh identities for Gorenstein rings.

We study semigroup algebras associated to lattice polytopes. We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent. We use these descriptions to establish strong Lefschetz properties. A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice polytopes.

We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.

Recent works of the authors have demonstrated the usefulness of considering moduli spaces of Artinian reductions of a given ring when studying standard graded rings and their Lefschetz properties. This paper illuminates a key aspect of these works, the behaviour of the canonical module under deformations in this moduli space. We demonstrate that even when there is no natural geometry around, we can give a viewpoint that behaves like it, effectively constructing geometry out of nothing, giving interpretation to intersection numbers without cycles. Moreover, we explore some properties of this normalization.

We study semigroup algebras arising from lattice polytopes, compute their volume polynomials (particularizing work of Hochster), and establish strong Lefschetz properties (generalizing work of the first three authors). This resolves several conjectures concerning unimodality properties of the $h^\ast$-polynomial of lattice polytopes arising within Ehrhart theory.

We prove the hard Lefschetz property for pseudomanifolds and cycles in any characteristic with respect to an appropriate Artinian reduction. The proof is a combination of Adiprasito's biased pairing theory and a generalization of a formula of Papadakis-Petrotou to arbitrary characteristic. In particular, we prove the Lefschetz theorem for doubly Cohen Macaulay complexes, solving a generalization of the g-conjecture due to Stanley. We also provide a simplified presentation of the characteristic 2 case, and generalize it to pseudomanifolds and cycles.

Assume sigma is a face of a Gorenstein* simplicial complex D. We investigate the question of whether the Weak Lefschetz Property of the Stanley-Reisner ring k[D] (over an infinite field k) is equivalent to the same property of the Stanley-Reisner ring k[D_sigma] of the stellar subdivision D_sigma. We prove that this is the case if the dimension of sigma is big compared to the codimension.

We give a bound for the Betti numbers of the Stanley-Reisner ring of a stellar subdivision of a Gorenstein* simplicial complex by applying unprojection theory. From this we derive a bound for the Betti numbers of iterated stellar subdivisions of the boundary complex of a simplex. The bound depends only on the number of subdivisions, and we construct examples which prove that it is sharp.

Unprojection theory aims to analyze and construct complicated commutative rings in terms of simpler ones. Our main result is that, on the algebraic level of Stanley-Reisner rings, stellar subdivisions of non-acyclic Gorenstein simplicial complexes correspond to unprojections of type Kustin-Miller. As an application, we inductively calculate the minimal graded free resolutions of Stanley-Reisner rings associated to stacked polytopes, recovering results of Terai, Hibi, Herzog and Li Marzi.

We study the structure of Stanley-Reisner rings associated to cyclic polytopes, using ideas from unprojection theory. Consider the boundary simplicial complex Delta(d,m) of the d-dimensional cyclic polytope with m vertices. We show how to express the Stanley-Reisner ring of Delta(d,m+1) in terms of the Stanley-Reisner rings of Delta(d,m) and Delta(d-2,m-1). As an application, we use the Kustin-Miller complex construction to identify the minimal graded free resolutions of these rings. In particular, we recover results of Schenzel, Terai and Hibi about their graded Betti numbers.