Numerical Semigroup Algebra Joint with Kee, Mee-Kyoung - - PowerPoint PPT Presentation

numerical semigroup algebra
SMART_READER_LITE
LIVE PREVIEW

Numerical Semigroup Algebra Joint with Kee, Mee-Kyoung - - PowerPoint PPT Presentation

Numerical Semigroup Algebra Numerical Semigroup Algebra Joint with Kee, Mee-Kyoung International meeting on numerical semigroups with applications - Levico Terme 2016 1 / 63 Numerical Semigroup Algebra Introduction We are interested in


slide-1
SLIDE 1

Numerical Semigroup Algebra

Numerical Semigroup Algebra

Joint with Kee, Mee-Kyoung International meeting on numerical semigroups with applications - Levico Terme 2016

1 / 63

slide-2
SLIDE 2

Numerical Semigroup Algebra

Introduction

We are interested in properties of numerical semigroup rings, such as Cohen-Macaulyness, Gorensteiness and complete intersection. We emphasize morphisms rather than objects. Ap´ ery sets are relative notion. Gluing is an operation of adding radicals.

2 / 63

slide-3
SLIDE 3

Numerical Semigroup Algebra

Introduction

We are interested in properties of numerical semigroup rings, such as Cohen-Macaulyness, Gorensteiness and complete intersection. We emphasize morphisms rather than objects. Ap´ ery sets are relative notion. Gluing is an operation of adding radicals.

3 / 63

slide-4
SLIDE 4

Numerical Semigroup Algebra

Introduction

We are interested in properties of numerical semigroup rings, such as Cohen-Macaulyness, Gorensteiness and complete intersection. We emphasize morphisms rather than objects. Ap´ ery sets are relative notion. Gluing is an operation of adding radicals.

4 / 63

slide-5
SLIDE 5

Numerical Semigroup Algebra

Introduction

We are interested in properties of numerical semigroup rings, such as Cohen-Macaulyness, Gorensteiness and complete intersection. We emphasize morphisms rather than objects. Ap´ ery sets are relative notion. Gluing is an operation of adding radicals.

5 / 63

slide-6
SLIDE 6

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

6 / 63

slide-7
SLIDE 7

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

7 / 63

slide-8
SLIDE 8

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

8 / 63

slide-9
SLIDE 9

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

9 / 63

slide-10
SLIDE 10

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

10 / 63

slide-11
SLIDE 11

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

11 / 63

slide-12
SLIDE 12

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

12 / 63

slide-13
SLIDE 13

Numerical Semigroup Algebra

Numerical semigroup rings

Let S be a numerical semigroup and κ be a field. Being a subring of the power series ring κ[[u]], the numerical semigroup ring κ[[uS]] consists of power series

  • s∈S asus with coefficients as ∈ κ.

Let t be the smallest non-zero number of S. The monoid S/t is called a normalized numerical semigroup. A numerical semigroup is a monoid generated by finitely many positive rational numbers. If S is generated by s1, · · · , sn, then we write κ[[uS]] = κ[[us1, · · · , usn]]. If S is normalized, we often write the numerical semigroup ring as κ[[eS]].

13 / 63

slide-14
SLIDE 14

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

14 / 63

slide-15
SLIDE 15

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

15 / 63

slide-16
SLIDE 16

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

16 / 63

slide-17
SLIDE 17

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

17 / 63

slide-18
SLIDE 18

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

18 / 63

slide-19
SLIDE 19

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

19 / 63

slide-20
SLIDE 20

Numerical Semigroup Algebra

Numerical semigroup algebras

A morphism of numerical semigroups S1 → S2 is a multiplication by a positive rational number t satisfying tS1 ⊂ S2. For a morphism t : S1 → S2 of numerical semigroups, there is an inclusion κ[[vS1]] → κ[[uS2]] identifying vs with uts for s ∈ S1. We call κ[[uS2]]/κ[[vS1]] a numerical semigroup algebra. Elements of κ[[vS1]] are called coefficients of the algebra. If t = 1, we use the notation κ[[uS2]]/κ[[uS1]] for the algebra. To study a ring κ[[eS]], it is the same thing to study the algebra κ[[eS]]/κ[[e]] with coefficients in the power series ring κ[[e]].

20 / 63

slide-21
SLIDE 21

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

21 / 63

slide-22
SLIDE 22

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

22 / 63

slide-23
SLIDE 23

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

23 / 63

slide-24
SLIDE 24

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

24 / 63

slide-25
SLIDE 25

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

25 / 63

slide-26
SLIDE 26

Numerical Semigroup Algebra

Ap´ ery monomials

Given a numerical semigroup algebra R/R′, a monomial is called Ap´ ery if it is not divisible by any non-trivial coefficient. As an R′-module, R is generated by Ap´ ery monomials. A monomial of R/R′ written as vsuw, where vs is a coefficient and uw is an Ap´ ery monomial, is called a representation of the monomial. A monomial may have different representations. For instance, the monomial e13/5 in κ[[e, e6/5, e7/5, e8/5]]/κ[[e, e6/5]] has representations e e8/5 and e6/5e7/5. If every monomial has a unique representation, the R′-module R is free with Ap´ ery monomials as a basis.

26 / 63

slide-27
SLIDE 27

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

27 / 63

slide-28
SLIDE 28

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

28 / 63

slide-29
SLIDE 29

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

29 / 63

slide-30
SLIDE 30

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

30 / 63

slide-31
SLIDE 31

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

31 / 63

slide-32
SLIDE 32

Numerical Semigroup Algebra

Cohen-Macaulayness

A numerical semigroup algebra is called Cohen-Macaulay if it is flat and the fibers are Cohen-Macaulay. A numerical semigroup algebra is Cohen-Macaulay if and only if it is flat. Proposition A numerical semigroup algebra is Cohen-Macaulay if and only if every monomial has a unique representation. For any s ∈ S, the algebra κ[[uS]]/κ[[us]] is Cohen-Macaulay. In particular, the algebra κ[[eS]]/κ[[e]] is Cohen-Macaulay for a normalized S. Let S and T be numerical semigroups generated by integers. Let p ∈ T and q ∈ S be relative prime numbers. Then κ[[upS+qT]]/κ[[uqT]] is Cohen-Macaulay.

32 / 63

slide-33
SLIDE 33

Numerical Semigroup Algebra

Cohen-Macaulayness

Theorem Let R/R′ and R′/R′′ be numerical semigroup algebras. An Ap´ ery monomial of R/R′′ is the product of an Ap´ ery monomial of R/R′ and an Ap´ ery monomial of R′/R′′. If the algebra R/R′ is flat, the product of an Ap´ ery monomial

  • f R/R′ and an Ap´

ery monomial of R′/R′′ is an Ap´ ery monomial of R/R′′. If the algebra R/R′ is flat, different products give rise to different Ap´ ery monomials.

33 / 63

slide-34
SLIDE 34

Numerical Semigroup Algebra

Cohen-Macaulayness

Theorem Let R/R′ and R′/R′′ be numerical semigroup algebras. An Ap´ ery monomial of R/R′′ is the product of an Ap´ ery monomial of R/R′ and an Ap´ ery monomial of R′/R′′. If the algebra R/R′ is flat, the product of an Ap´ ery monomial

  • f R/R′ and an Ap´

ery monomial of R′/R′′ is an Ap´ ery monomial of R/R′′. If the algebra R/R′ is flat, different products give rise to different Ap´ ery monomials.

34 / 63

slide-35
SLIDE 35

Numerical Semigroup Algebra

Cohen-Macaulayness

Theorem Let R/R′ and R′/R′′ be numerical semigroup algebras. An Ap´ ery monomial of R/R′′ is the product of an Ap´ ery monomial of R/R′ and an Ap´ ery monomial of R′/R′′. If the algebra R/R′ is flat, the product of an Ap´ ery monomial

  • f R/R′ and an Ap´

ery monomial of R′/R′′ is an Ap´ ery monomial of R/R′′. If the algebra R/R′ is flat, different products give rise to different Ap´ ery monomials.

35 / 63

slide-36
SLIDE 36

Numerical Semigroup Algebra

Cohen-Macaulayness

Theorem Let R/R′ and R′/R′′ be numerical semigroup algebras. An Ap´ ery monomial of R/R′′ is the product of an Ap´ ery monomial of R/R′ and an Ap´ ery monomial of R′/R′′. If the algebra R/R′ is flat, the product of an Ap´ ery monomial

  • f R/R′ and an Ap´

ery monomial of R′/R′′ is an Ap´ ery monomial of R/R′′. If the algebra R/R′ is flat, different products give rise to different Ap´ ery monomials.

36 / 63

slide-37
SLIDE 37

Numerical Semigroup Algebra

Gorensteiness

A numerical semigroup algebra is called Gorenstein if it is flat and the fibers are Gorenstein. κ[[eS]] is a Gorenstein ring if and only if κ[[eS]]/κ[[e]] is a Gorenstein algebra . Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is Gorenstein if and only if κ[[uS]]/κ[[us2]] is Gorenstein. Among non-trivial Ap´ ery monomials of a numerical semigroup algebra, maximal elements with respect to the order given by divisibility are called maximal monomials. Proposition (Symmetry) A flat numerical semigroup algebra is Gorenstein if and only if it has a unique maximal monomial.

37 / 63

slide-38
SLIDE 38

Numerical Semigroup Algebra

Gorensteiness

A numerical semigroup algebra is called Gorenstein if it is flat and the fibers are Gorenstein. κ[[eS]] is a Gorenstein ring if and only if κ[[eS]]/κ[[e]] is a Gorenstein algebra . Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is Gorenstein if and only if κ[[uS]]/κ[[us2]] is Gorenstein. Among non-trivial Ap´ ery monomials of a numerical semigroup algebra, maximal elements with respect to the order given by divisibility are called maximal monomials. Proposition (Symmetry) A flat numerical semigroup algebra is Gorenstein if and only if it has a unique maximal monomial.

38 / 63

slide-39
SLIDE 39

Numerical Semigroup Algebra

Gorensteiness

A numerical semigroup algebra is called Gorenstein if it is flat and the fibers are Gorenstein. κ[[eS]] is a Gorenstein ring if and only if κ[[eS]]/κ[[e]] is a Gorenstein algebra . Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is Gorenstein if and only if κ[[uS]]/κ[[us2]] is Gorenstein. Among non-trivial Ap´ ery monomials of a numerical semigroup algebra, maximal elements with respect to the order given by divisibility are called maximal monomials. Proposition (Symmetry) A flat numerical semigroup algebra is Gorenstein if and only if it has a unique maximal monomial.

39 / 63

slide-40
SLIDE 40

Numerical Semigroup Algebra

Gorensteiness

A numerical semigroup algebra is called Gorenstein if it is flat and the fibers are Gorenstein. κ[[eS]] is a Gorenstein ring if and only if κ[[eS]]/κ[[e]] is a Gorenstein algebra . Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is Gorenstein if and only if κ[[uS]]/κ[[us2]] is Gorenstein. Among non-trivial Ap´ ery monomials of a numerical semigroup algebra, maximal elements with respect to the order given by divisibility are called maximal monomials. Proposition (Symmetry) A flat numerical semigroup algebra is Gorenstein if and only if it has a unique maximal monomial.

40 / 63

slide-41
SLIDE 41

Numerical Semigroup Algebra

Gorensteiness

A numerical semigroup algebra is called Gorenstein if it is flat and the fibers are Gorenstein. κ[[eS]] is a Gorenstein ring if and only if κ[[eS]]/κ[[e]] is a Gorenstein algebra . Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is Gorenstein if and only if κ[[uS]]/κ[[us2]] is Gorenstein. Among non-trivial Ap´ ery monomials of a numerical semigroup algebra, maximal elements with respect to the order given by divisibility are called maximal monomials. Proposition (Symmetry) A flat numerical semigroup algebra is Gorenstein if and only if it has a unique maximal monomial.

41 / 63

slide-42
SLIDE 42

Numerical Semigroup Algebra

Gorensteiness

Theorem Let R/R′ and R′/R′′ be flat numerical semigroup algebras. Then R/R′′ is Gorenstein if and only if R/R′ and R′/R′′ are Gorenstein.

42 / 63

slide-43
SLIDE 43

Numerical Semigroup Algebra

Complete intersection

A flat numerical semigroup algebra R/R′ is called complete intersection, if there is a local surjective R′-algebra homomorphism R′[[Y1, · · · , Yn]] → R, whose kernel is generated by n elements. For a complete intersection algebra R/R′, the kernel of any local surjective R′-algebra homomorphism R′[[Z1, · · · , Zm]] → R is generated by m elements. κ[[eS]] is a complete intersection ring if and only if κ[[eS]]/κ[[e]] is a complete intersection algebra. Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is complete intersection if and only if κ[[uS]]/κ[[us2]] is complete intersection.

43 / 63

slide-44
SLIDE 44

Numerical Semigroup Algebra

Complete intersection

A flat numerical semigroup algebra R/R′ is called complete intersection, if there is a local surjective R′-algebra homomorphism R′[[Y1, · · · , Yn]] → R, whose kernel is generated by n elements. For a complete intersection algebra R/R′, the kernel of any local surjective R′-algebra homomorphism R′[[Z1, · · · , Zm]] → R is generated by m elements. κ[[eS]] is a complete intersection ring if and only if κ[[eS]]/κ[[e]] is a complete intersection algebra. Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is complete intersection if and only if κ[[uS]]/κ[[us2]] is complete intersection.

44 / 63

slide-45
SLIDE 45

Numerical Semigroup Algebra

Complete intersection

A flat numerical semigroup algebra R/R′ is called complete intersection, if there is a local surjective R′-algebra homomorphism R′[[Y1, · · · , Yn]] → R, whose kernel is generated by n elements. For a complete intersection algebra R/R′, the kernel of any local surjective R′-algebra homomorphism R′[[Z1, · · · , Zm]] → R is generated by m elements. κ[[eS]] is a complete intersection ring if and only if κ[[eS]]/κ[[e]] is a complete intersection algebra. Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is complete intersection if and only if κ[[uS]]/κ[[us2]] is complete intersection.

45 / 63

slide-46
SLIDE 46

Numerical Semigroup Algebra

Complete intersection

A flat numerical semigroup algebra R/R′ is called complete intersection, if there is a local surjective R′-algebra homomorphism R′[[Y1, · · · , Yn]] → R, whose kernel is generated by n elements. For a complete intersection algebra R/R′, the kernel of any local surjective R′-algebra homomorphism R′[[Z1, · · · , Zm]] → R is generated by m elements. κ[[eS]] is a complete intersection ring if and only if κ[[eS]]/κ[[e]] is a complete intersection algebra. Given any s1, s2 ∈ S, the algebra κ[[uS]]/κ[[us1]] is complete intersection if and only if κ[[uS]]/κ[[us2]] is complete intersection.

46 / 63

slide-47
SLIDE 47

Numerical Semigroup Algebra

Complete intersection

Theorem Let R/R′ and R′/R′′ be flat numerical semigroup algebras. Then R/R′′ is complete intersection if and only if R/R′ and R′/R′′ are complete intersection.

47 / 63

slide-48
SLIDE 48

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

48 / 63

slide-49
SLIDE 49

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

49 / 63

slide-50
SLIDE 50

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

50 / 63

slide-51
SLIDE 51

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

51 / 63

slide-52
SLIDE 52

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

52 / 63

slide-53
SLIDE 53

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

53 / 63

slide-54
SLIDE 54

Numerical Semigroup Algebra

Radicals

Let S be a numerical semigroup and t ∈ Q. There exists an integer p such that pt ∈ S. We may think κ[[uS, ut]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radical of the monomial upt. Let S and T be numerical semigroups. There exists an integer p such that pT ⊂ S. We may think κ[[uS, uT]] to be the numerical semigroup ring obtained from κ[[uS]] by adding the p-th radicals of monomials in κ[[upT]]. Let S and T be numerical semigroups contained in N. Let p ∈ N and q ∈ S. The numerical semigroup ring κ[[wpS+qT]] is isomorphic to κ[[uS+(qT)/p]], which is obtained from κ[[uS]] by adding the p-th radical of the monomials in κ[[uqT]].

54 / 63

slide-55
SLIDE 55

Numerical Semigroup Algebra

Radicals

For S, T ⊂ N and relatively prime numbers p ∈ T and q ∈ S, we have flat algebras:

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • If κ[[wqT]]/κ[[wpq]] is Gorenstein intersection, so is

κ[[wpS+qT]]/κ[[wpS]]. If κ[[wqT]]/κ[[wpq]] is complete intersection, so is κ[[wpS+qT]]/κ[[wpS]].

55 / 63

slide-56
SLIDE 56

Numerical Semigroup Algebra

Radicals

For S, T ⊂ N and relatively prime numbers p ∈ T and q ∈ S, we have flat algebras:

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • If κ[[wqT]]/κ[[wpq]] is Gorenstein intersection, so is

κ[[wpS+qT]]/κ[[wpS]]. If κ[[wqT]]/κ[[wpq]] is complete intersection, so is κ[[wpS+qT]]/κ[[wpS]].

56 / 63

slide-57
SLIDE 57

Numerical Semigroup Algebra

Radicals

For S, T ⊂ N and relatively prime numbers p ∈ T and q ∈ S, we have flat algebras:

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • If κ[[wqT]]/κ[[wpq]] is Gorenstein intersection, so is

κ[[wpS+qT]]/κ[[wpS]]. If κ[[wqT]]/κ[[wpq]] is complete intersection, so is κ[[wpS+qT]]/κ[[wpS]].

57 / 63

slide-58
SLIDE 58

Numerical Semigroup Algebra

Radicals

Let pS + qT be a gluing of S and T.

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • κ[[wpS+qT]] is a Gorenstein ring if and only if κ[[uS]] and

κ[[vT]] are Gorenstein rings. κ[[wpS+qT]] is a complete intersection ring if and only if κ[[uS]] and κ[[vT]] are complete intersection rings.

58 / 63

slide-59
SLIDE 59

Numerical Semigroup Algebra

Radicals

Let pS + qT be a gluing of S and T.

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • κ[[wpS+qT]] is a Gorenstein ring if and only if κ[[uS]] and

κ[[vT]] are Gorenstein rings. κ[[wpS+qT]] is a complete intersection ring if and only if κ[[uS]] and κ[[vT]] are complete intersection rings.

59 / 63

slide-60
SLIDE 60

Numerical Semigroup Algebra

Radicals

Let pS + qT be a gluing of S and T.

κ[[wpS+qT]] κ[[wpS]]

  • κ[[wqT]]
  • κ[[wpq]]
  • κ[[wpS+qT]] is a Gorenstein ring if and only if κ[[uS]] and

κ[[vT]] are Gorenstein rings. κ[[wpS+qT]] is a complete intersection ring if and only if κ[[uS]] and κ[[vT]] are complete intersection rings.

60 / 63

slide-61
SLIDE 61

Numerical Semigroup Algebra

Radicals

s1, · · · , sn: relatively prime integers p ∈ N and q = sn are relatively prime.

κ[[wps1, · · · , wpsn, wq]] κ[[wps1, · · · , wpsn]]

  • κ[[wq]]
  • κ[[wpq]]
  • (T. Numata)

κ[[wpS+qT]] is Gorenstein if and only if κ[[uS]] is Gorenstein. κ[[wpS+qT]] is complete intersection if and only if κ[[uS]] is complete intersection.

61 / 63

slide-62
SLIDE 62

Numerical Semigroup Algebra

Radicals

s1, · · · , sn: relatively prime integers p ∈ N and q = sn are relatively prime.

κ[[wps1, · · · , wpsn, wq]] κ[[wps1, · · · , wpsn]]

  • κ[[wq]]
  • κ[[wpq]]
  • (T. Numata)

κ[[wpS+qT]] is Gorenstein if and only if κ[[uS]] is Gorenstein. κ[[wpS+qT]] is complete intersection if and only if κ[[uS]] is complete intersection.

62 / 63

slide-63
SLIDE 63

Numerical Semigroup Algebra

Radicals

s1, · · · , sn: relatively prime integers p ∈ N and q = sn are relatively prime.

κ[[wps1, · · · , wpsn, wq]] κ[[wps1, · · · , wpsn]]

  • κ[[wq]]
  • κ[[wpq]]
  • (T. Numata)

κ[[wpS+qT]] is Gorenstein if and only if κ[[uS]] is Gorenstein. κ[[wpS+qT]] is complete intersection if and only if κ[[uS]] is complete intersection.

63 / 63