On gluing semigroups in N^n and the consequences

DOI10.1007/S40687-022-00319-1MaRDI QIDQ2125273zbMATH OpenOpenAlexFDO

Authors Philippe Gimenez, Hema Srinivasan

Publication date 14 April 2022

Published in Research in the Mathematical Sciences (Search for Journal in Brave)

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

Cohen-Macaulay rings degenerate semigroup gluing semigroup rings

Graded rings (13A02) Syzygies, resolutions, complexes and commutative rings (13D02) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Commutative semigroups (20M14) Semigroup rings, multiplicative semigroups of rings (20M25)

Abstract: A semigroup

l a n g l e C a n g l e

in

m a t h b b N^{n}

is a gluing of

l a n g l e A a n g l e

and

l a n g l e B a n g l e

if its finite set of generators

C

splits into two parts,

C = k_{1} A s q c u p k_{2} B

with

k_{1}, k_{2} g e q 1

, and the defining ideals of the corresponding semigroup rings satisfy that

I_{C}

is generated by

I_{A} + I_{B}

and one extra element. Two semigroups

l a n g l e A a n g l e

and

l a n g l e B a n g l e

can be glued if there exist positive integers

k_{1}, k_{2}

such that, for

C = k_{1} A s q c u p k_{2} B

,

l a n g l e C a n g l e

is a gluing of

l a n g l e A a n g l e

and

l a n g l e B a n g l e

. Although any two numerical semigroups, namely semigroups in dimension

n = 1

, can always be glued, it is no longer the case in higher dimensions. In this paper, we give necessary and sufficient conditions on

A

and

B

for the existence of a gluing of

l a n g l e A a n g l e

and

l a n g l e B a n g l e

, and give examples to illustrate why they are necessary. These generalize and explain the previous known results on existence of gluing. We also prove that the glued semigroup

l a n g l e C a n g l e

inherits the properties like Gorenstein or Cohen-Macaulay from the two parts

l a n g l e A a n g l e

and

l a n g l e B a n g l e

.

Review text

Two numerical semigroups in dimension \(n=1\) can always be glued. However, it is no longer the case in higher dimensions. In this paper, the authors give necessary and sufficient conditions on the generating sets \(A\) and \(B\) for the existence of a gluing of the semigroups \(\langle A\rangle\) and \(\langle B\rangle\), and give examples to illustrate why they are necessary. These conditions generalize and explain the previous known results on existence of gluings. The authors also prove that the glued semigroup \(\langle C\rangle\) inherits properties like Gorenstein or Cohen-Macaulay from the two parts \(\langle A\rangle\) and \(\langle B\rangle\).

Recommendations

Cites work

Cited in

(9)

Describes a project that uses

Uses Software

SINGULAR

This page was built for publication: On gluing semigroups in \(\mathbb{N}^n\) and the consequences

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