     # Numerical Semigroups and their Corresponding Core Partitions ... Numerical Semigroups and their Corresponding

• View
0

0

Embed Size (px)

### Text of Numerical Semigroups and their Corresponding Core Partitions ... Numerical Semigroups and their...

• Numerical Semigroups and their Corresponding Core Partitions

Benjamin Houston-Edwards Joint with Hannah Constantin

Yale University

August 7, 2014

• Background and Review

Definition A set S is a numerical semigroup if

S ⊆N 0 ∈ S S is closed under addition

N\ S is finite

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14,15,16, . . .}

• Background and Review

Definition A set S is a numerical semigroup if

S ⊆N 0 ∈ S S is closed under addition

N\ S is finite

Example

S = 〈3,8〉

= {0,3,6,8,9,11,12,14,15,16, . . .}

• Background and Review

Definition A set S is a numerical semigroup if

S ⊆N 0 ∈ S S is closed under addition

N\ S is finite

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14,15,16, . . .}

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review There is an injective map ϕ from numerical semigroups to integer partitions

Example

S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}

0

1

2 3

4

5 6

7 8 9

10 11 12

13

ϕ(S) = (7,5,3,2,2,1,1)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background and Review

We can also assign a set of hook lengths to each partition:

Example

0

1 2 3

4 5 6

7 8 9

10 11 12

13

7

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

ϕ(〈3,8〉)

• Background

Definition A partition λ is an a–core partition if a does not divide any of the hook lengths of λ. An (a,b)–core partition is both an a−core and a b−core.

Example

λ= (7,5,3,2,2,1,1) is a (3,8)−core

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

• Background

Definition A partition λ is an a–core partition if a does not divide any of the hook lengths of λ. An (a,b)–core partition is both an a−core and a b−core. Example

λ= (7,5,3,2,2,1,1) is a (3,8)−core

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

• Background

Theorem (Anderson) For coprime a and b, the total number of (a,b)−core partitions is

1

a+b

( a+b

a

) .

We are interested in counting the subset of (a,b)−cores that come from numerical semigroups via the map ϕ.

• Background

Theorem (Anderson) For coprime a and b, the total number of (a,b)−core partitions is

1

a+b

( a+b

a

) .

We are interested in counting the subset of (a,b)−cores that come from numerical semigroups via the map ϕ.

• Background

Proposition

Suppose λ=ϕ(S) for some semigroup S. Then λ is an (a,b)−core if and only if a,b ∈ S.

Example

λ= (7,5,3,2,2,1,1) is a (3,8)−core and λ=ϕ(S) where S = 〈3,8〉 = {0,3,6,8,9,11,12,14,15,16, . . .}

0

3

6

8 9

11 12

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

• Background

Proposition

Suppose λ=ϕ(S) for some semigroup S. Then λ is an (a,b)−core if and only if a,b ∈ S. Example

λ= (7,5,3,2,2,1,1) is a (3,8)−core and λ=ϕ(S) where S = 〈3,8〉 = {0,3,6,8,9,11,12,14,15,16, . . .}

0

3

6

8 9

11 12

13 10 7 5 4 2 1

10 7 4 2 1

7 4 1

5 2

4 1

2

1

• Background

Proposition

Suppose λ=ϕ(S) for some semigroup S. Then λ is an (a,b)−core if and only if a,b ∈ S.

Definition Given a numerical semigroup S, the set of oversemigroups of S is

{T ⊇ S : T is a numerical semigroup}.

The cardinality of this set is denoted O(S).

The number of (a,b)−core partitions from numerical semi- groups is exactly O(〈a,b〉).

• Background

Proposition

Suppose λ=ϕ(S) for some semigroup S. Then λ is an (a,b)−core if and only if a,b ∈ S. Definition Given a numerical semigroup S, the set of oversemigroups of S is

{T ⊇ S : T is a numerical semigroup}.

The cardinality of this set is denoted O(S).

The number of (a,b)−core partitions from numerical semi- groups is exactly O(〈a,b〉).

• Background

Proposition

Suppose λ=ϕ(S) for some semigroup S. Then λ is an (a,b)−core if and only if a,b ∈ S. Definition Given a numerical semigroup S, the set of oversemigroups of S is

{T ⊇ S : T is a numerical semigroup}.

The cardinality of this set is denoted O(S).

The number of (a,b)−core partitions from numerical semi- groups is exactly O(〈a,b〉).

• Apéry Tuples

Definition If S is a numerical semigroup, then the Apéry tuple of S with respect to some n ∈ S is the tuple (k1,k2, . . . ,kn−1) such that nki + i is the smallest element of S in its residue class (mod n) for each i.

This tuple is denoted Ap′(S,n).

Example

If S = 〈3,8〉 = {0,3,6,8,9,11,12,14, . . .}, then 16 and 8 are the smallest elements of S in their residue classes mod 3, so Ap′(S,3) = (5,2).

• Apéry Tuples

De

Recommended ##### NONLINEAR SEMIGROUPS AND INFINITE HORIZON yakov/ NONLINEAR SEMIGROUPS AND INFINITE HORIZON
Documents ##### Numerical semigroups: suitable sets of pseudo Numerical semigroups: suitable sets of pseudo-Frobenius
Documents ##### On Numerical Semigroups and Their Applications to ... On Numerical Semigroups and Their Applications
Documents ##### Classiï¬پcation of numerical 3-semigroups by means of L- Classiï¬پcation of numerical 3-semigroups by
Documents ##### ALMOST SYMMETRIC NUMERICAL SEMIGROUPS kyodo/kokyuroku/contents/pdf/... Among the numerical semigroups,
Documents ##### Homogeneous numerical semigroups, their shiftings, and imns2010/2016/Slides/zarzuela- آ  Homogeneous
Documents ##### Semigroups and Evolution Equations: Functional .Semigroups and evolution equations: Functional calculus,
Documents ##### Restriction semigroups and -Zappa-Szp products varg1/ semigroups and λ-Zappa-Szp products Restriction semigroups are a variety of biunary semigroups, naturally extending the class
Documents ##### EXPERIMENTAL AND NUMERICAL INVESTIGATION OF ... 13 issue 10 October 2018/13_10... *Corresponding Author:
Documents ##### PARAMETRIZED AND SHIFTED NUMERICAL SEMIGROUPS considered in [5, 7] as well as several central properties
Documents Documents