Given two semigroups $langle Arangle$ and $langle Brangle$ in ${mathbb N}^n$, we wonder when they can be glued, i.e., when there exists a semigroup $langle Crangle$ in ${mathbb N}^n$ such that the defining ideals of the corresponding semigroup rings satisfy that $I_C=I_A+I_B+langlerhorangle$ for some binomial $rho$. If $ngeq 2$ and $k[A]$ and $k[B]$ are Cohen-Macaulay, we prove that in order to glue them, one of the two semigroups must be degenerate. Then we study the two most degenerate cases: when one of the semigroups is generated by one single element (simple split) and the case where it is generated by at least two elements and all the elements of the semigroup lie on a line. In both cases we characterize the semigroups that can be glued and say how to glue them. Further, in these cases, we conclude that the glued $langle Crangle$ is Cohen-Macaulay if and only if both $langle Arangle$ and $langle Brangle$ are also Cohen-Macaulay. As an application, we characterize precisely the Cohen-Macaulay semigroups that can be glued when $n=2$.
Download