Numerical semigroups, polyhedra, and posets IV: walking the faces of the Kunz cone
Authors:
Cole Brower,
Joseph McDonough,
Christopher O'Neill
Abstract:
A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce…
▽ More
A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce the Kunz fan, a pure, polyhedral cone complex comprised of a faithful projection of certain faces of $\mathcal C_m$. We characterize several aspects of the Kunz fan in terms of the combinatorics of Kunz nilsemigroups, which are known to index the faces of $\mathcal C_m$, and our results culminate in a method of "walking" the face lattice of the Kunz cone in a manner analogous to that of a Gröbner walk. We apply our results in several contexts, including a wealth of computational data obtained from the aforementioned "walks" and a proof of a recent conjecture concerning which numerical semigroups achieve the highest minimal presentation cardinality when one fixes the smallest positive element and the number of generators.
△ Less
Submitted 25 February, 2025; v1 submitted 11 January, 2024;
originally announced January 2024.
Length density and numerical semigroups
Authors:
Cole Brower,
Scott Chapman,
Travis Kulhanek,
Joseph McDonough,
Christopher O'Neill,
Vody Pavlyuk,
Vadim Ponomarenko
Abstract:
Length density is a recently introduced factorization invariant, assigned to each element $n$ of a cancellative commutative atomic semigroup $S$, that measures how far the set of factorization lengths of $n$ is from being a full interval. We examine length density of elements of numerical semigroups (that is, additive subsemigroups of the non-negative integers).
Length density is a recently introduced factorization invariant, assigned to each element $n$ of a cancellative commutative atomic semigroup $S$, that measures how far the set of factorization lengths of $n$ is from being a full interval. We examine length density of elements of numerical semigroups (that is, additive subsemigroups of the non-negative integers).
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
