Buchsbaumness of finite complement simplicial affine semigroups

Abstract: In this article, we classify all Buchsbaum simplicial affine semigroups whose complement in their (integer) rational polyhedral cone is finite. We show that such a semigroup is Buchsbaum if and only if its set of gaps is equal to its set of pseudo-Frobenius elements. Furthermore, we provide a complete structure of these affine semigroups. In the case of affine semigroups with maximal embedding dimension, we provide an explicit formula for the cardinality of the minimal presentation in terms of the number of extremal rays, the embedding dimension, and the genus. Finally, we observe that, unlike the complete intersection, Cohen-Macaulay, and Gorenstein properties, the Buchsbaum property is not preserved under gluing of affine semigroups.