Type and conductor of simplicial affine semigroups

DOI10.1016/J.JPAA.2021.106844MaRDI QIDQ2229964zbMATH OpenOpenAlexFDO

Publication date 17 September 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.13781

Apéry set Cohen-Macaulay type conductor normality pseudo-Frobenius element simplicial affine semigroup

Combinatorial aspects of commutative algebra (05E40) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Semigroup rings, multiplicative semigroups of rings (20M25)

Abstract: We provide a generalization of pseudo-Frobenius numbers of numerical semigroups to the context of the simplicial affine semigroups. In this way, we characterize the Cohen-Macaulay type of the simplicial affine semigroup ring

m a t h b b K [S]

. We define the type of

S

,

o p e r a t o r n a m e t y p e

, in terms of some Ap'ery sets of

S

and show that it coincides with the Cohen-Macaulay type of the semigroup ring, when

m a t h b b K [S]

is Cohen-Macaulay. If

m a t h b b K [S]

is a

d

-dimensional Cohen-Macaulay ring of embedding dimension at most

d + 2

, then

o p e r a t o r n a m e t y p e l e q 2

. Otherwise,

o p e r a t o r n a m e t y p e

might be arbitrary large and it has no upper bound in terms of the embedding dimension. Finally, we present a generating set for the conductor of

S

as an ideal of its normalization.

Review text

Let \(S\), \(\mathbb{K}\) and \(\mathbb{K}[S]\) be a simplicial affine semigroup, a field and the affine semigroup ring, respectively. In this paper, the auhtors characterize the property of being Cohen-Macaulay and Buchsbaum using the Apery set of \(S\) for the ring \(\mathbb{K}[S]\). They also prove that if \(\mathbb{K}[S]\) is Cohen-Macaulay then the type of \(S\) is bounded and they give this boundary. Morever, it is shown that if this ring is not Cohen-Macaulay, then the type of \(S\) is unbounded. If we define the normalization of \(S\) as \(\bar{S}=\{a\in\mbox{group}(S):na\in S\mbox{ for some }n\in\mathbb{N}\}\), we say that \(S\) is normal if \(S=\bar{S}\). Characterization of normal simplicial affine semigroups can be found in this paper using its Apery set.

Recommendations

Cites work

Cited in

(14)

Describes a project that uses

Uses Software

This page was built for publication: Type and conductor of simplicial affine semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229964)