Hilbert functions over the exterior algebra and f-vectors in higher rank I: Amata-Crupi monomial modules, Kozlov polytopes, and r-vectors of simplicial complexes
Abstract
Let E be the exterior algebra on n generators over a field, and let F be a graded free E-module with r generators, of degrees d1 ≤ … ≤ dr. We determine the convex hull of the set of Hilbert functions of the quotients F/M, where M runs over the monomial submodules of Amata and Crupi. The hull is the Minkowski sum of r shifted copies of one and the same simplex: the Kozlov simplex, which Kozlov proved in 1997 to be the convex hull of the f-vectors of simplicial complexes on n vertices. For r=1 the statement is Kozlov's theorem, so this is a rank-r generalization of it. We give a self-contained proof, including a short proof of Kozlov's theorem from the local Lubell-Yamamoto-Meshalkin inequality, and an explicit facet description of the Kozlov simplex that appears not to be recorded in the literature. Along the way we isolate the class of submodules for which the argument works, the ideal-direct-sum modules, and show by example that the Hilbert function of a graded submodule outside that class need not be a shifted sum of f-vectors at all. The combinatorial content is stated separately, in language that uses no algebra, as a result on r-vectors of simplicial complexes and their ff-vectors. Finally we describe the vertex structure of the Minkowski sum -- which sums of vertices of the summands survive as vertices -- proving the answer for the all-ones leg vector at every rank and for the Kozlov leg vector at rank two.
Related
- Equifacetted polytopes whose facets are products of simplices: The simplicial prism case
- Connectivity, toughness, and hamiltonicity of simplicial polytopes
- Solid-angle formulas for simplicial cones and random shifted sections of polytopes
- Complementary vectors of simplicial complexes
- Adaptive Uncertainty Quantification on Simplicial Complexes with Conformalized Simplicial Neural Networks
BibTeX
@misc{snellman2026hilbert,
title = {{Hilbert functions over the exterior algebra and f-vectors in higher rank I: Amata-Crupi monomial modules, Kozlov polytopes, and r-vectors of simplicial complexes}},
author = {Jan Snellman},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.23605},
eprint = {2609.23605},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.23605},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Hilbert functions over the exterior algebra and f-vectors in higher rank I: Amata-Crupi monomial modules, Kozlov polytopes, and r-vectors of simplicial complexes
AU - Jan Snellman
PY - 2026
DA - 2026/09/20
PB - arXiv
DO - 10.48550/arxiv.2609.23605
UR - https://arxiv.org/abs/2609.23605
AB - Let E be the exterior algebra on n generators over a field, and let F be a graded free E-module with r generators, of degrees d_1 ≤ … ≤ d_r. We determine the convex hull of the set of Hilbert functions of the quotients F/M, where M runs over the monomial submodules of Amata and Crupi. The hull is the Minkowski sum of r shifted copies of one and the same simplex: the Kozlov simplex, which Kozlov proved in 1997 to be the convex hull of the f-vectors of simplicial complexes on n vertices. For r=1 the statement is Kozlov's theorem, so this is a rank-r generalization of it. We give a self-contained proof, including a short proof of Kozlov's theorem from the local Lubell-Yamamoto-Meshalkin inequality, and an explicit facet description of the Kozlov simplex that appears not to be recorded in the literature. Along the way we isolate the class of submodules for which the argument works, the ideal-direct-sum modules, and show by example that the Hilbert function of a graded submodule outside that class need not be a shifted sum of f-vectors at all. The combinatorial content is stated separately, in language that uses no algebra, as a result on r-vectors of simplicial complexes and their ff-vectors. Finally we describe the vertex structure of the Minkowski sum -- which sums of vertices of the summands survive as vertices -- proving the answer for the all-ones leg vector at every rank and for the Kozlov leg vector at rank two.
ER -