Cohen-Macaulayness of non-affine normal semigroups

TL;DR

This paper investigates the Cohen-Macaulay property of non-affine normal semigroups in integer lattices, establishing new theoretical results and criteria that advance understanding in commutative algebra and algebraic geometry.

Contribution

It introduces four novel theoretical results, including a Lazard type theorem, a regularity criterion, and properties of direct limits of polynomial rings, to analyze Cohen-Macaulayness.

Findings

Established a Lazard type result for $I$-supported elements.

Provided a criterion for regularity via projective dimension.

Showed that direct summands of certain direct limits are Cohen-Macaulay.

Abstract

In this paper, we study the Cohen-Macaulayness of non-affine normal semigroups in $\mathbb{Z}^n$. We do this by establishing the following four statements each of independent interest: 1) a Lazard type result on $I$-supported elements of $\prod_{\mathbb{N}}\mathbb{Q}_{\geq0}$ for an index set $I\subset\mathbb{N}$; 2) a criterion of regularity of sequences of elements of the ring via projective dimension; 3) a direct limit of polynomial rings with toric maps; 4) any direct summand of rings of the third item is Cohen-Macaulay. To illustrate the idea, we give many examples.