C-Y. Jean Chan,I-Chiau Huang,Jung-Chen Liu
Abstract:We study affine semigroup rings as algebras over subsemigroup rings. From this relative viewpoint with respect to a given subsemigroup ring, the fibered sum of two affine semigroup algebras is constructed. Such a construction is compared to the tensor product and to the classical gluings of affine semigroup rings as defined in Rosales (1997).
What problem does this paper attempt to address?
This paper aims to explore and construct the fibered sums of affine semigroup rings over specific sub - semigroup rings, and study the relationship between this construction and tensor products and classical gluings. Specifically, the paper attempts to solve the following core problems:
1. **Construction of fibered sums**: How to construct the fibered sum of two affine semigroup algebras in the category of affine semigroup rings? This involves studying affine semigroup rings from a relative perspective, that is, relative to a given sub - semigroup ring.
2. **Relationship between fibered sums and gluings**: How is the fibered sum different from the classical gluing of affine semigroup rings? Gluing does not always exist in high - dimensional cases, while the fibered sum can always be achieved. Therefore, the paper further explores when the fibered sum will lead to the appearance of gluing and gives a discriminant condition.
3. **Discriminant condition**: Under what conditions can the fibered sum of two affine semigroup algebras lead to gluing? The paper recovers a discriminant criterion through the defined semigroup properties, which can determine whether gluing is possible under certain conditions.
4. **Comparison of tensor products**: Under certain conditions, the fibered sum is isomorphic to the usual tensor product. The paper explores these conditions and provides specific examples for illustration.
### Main contributions of the paper
- **Construction of fibered sums**: The paper describes in detail how to construct fibered sums in the category of affine semigroup rings and proves the universality of their existence.
- **Conditions for gluing**: By introducing the concept of fibered sums, the paper provides a more general method to study the gluing problem of affine semigroup rings and gives sufficient and necessary conditions for the existence of gluing.
- **Isomorphism of tensor products**: The paper proves that under certain conditions, the fibered sum is isomorphic to the tensor product, thus providing a theoretical basis for understanding the relationship between the two.
### Mathematical background
- **Affine semigroup rings**: An affine semigroup ring is a \(\kappa\)-algebra generated by an affine semigroup embedded in \(\mathbb{Z}^d\), where \(\kappa\) is a field.
- **Fibered sums**: Fibered sums are a construction in category theory used to "glue" two objects together over a common sub - object.
- **Gluings**: Gluings are a special type of fibered sum that exist only when certain conditions are met.
### Examples of formulas
- **Definition of fibered sums**:
\[
S_1\oplus_S S_2:=\frac{S_1\oplus S_2}{\{(s, -s)\mid s\in S\}}
\]
- **Conditions for gluing**:
\[
\text{There exist positive integers }a, b\text{ such that }\kappa[aS_1]\cong\kappa[bS_2]
\]
- **Isomorphism conditions for tensor products**:
\[
\text{If }\text{rank}(S_1)=\text{rank}(S_2)=\text{rank}(S)\text{, then }S_1\oplus_S S_2\cong S_1\otimes_S S_2
\]
Through these studies, the paper provides new perspectives and tools for understanding and applying the fibered sums and gluings of affine semigroup rings.