Frobenius varieties J. C. Rosales Porto 2008 T S - - PowerPoint PPT Presentation

frobenius varieties
SMART_READER_LITE
LIVE PREVIEW

Frobenius varieties J. C. Rosales Porto 2008 T S - - PowerPoint PPT Presentation

T S A S T P I V -G


slide-1
SLIDE 1

T  S  A S T  P I  V-G V-T

Frobenius varieties

  • J. C. Rosales

Porto 2008

slide-2
SLIDE 2

T  S  A S T  P I  V-G V-T

  • If S and T are numerical semigroups, then so is S ∩T
  • If S is a numerical semigroup other than N, then so is

S ∪{F(S)}

Frobenius varieties

Families of numerical semigroups closed under finite intersections and to the adjoin of the Frobenius number

  • J. C. Rosales, Families of numerical semigroups closed under finite

intersections and for the Frobenius number, Houston J. Math.

slide-3
SLIDE 3

T  S  A S T  P I  V-G V-T

Graph

A graph is a pair (V,E) with V a set (vertices) and E a subset of

{(v,w) ∈ V ×V | v w} (edges) Path

A path connecting vertices x and y of G is a sequence of distinct edges of the form (v0,v1),(v1,v2),...,(vn−1,vn) such that v0 = x and vn = y

Trees

A graph G is a tree if there exists a vertex r of G (the root) such that for any other vertex x of G, there is a unique path connecting x with r If (x,y) is an edge of a tree, we say that x is a son of y

slide-4
SLIDE 4

T  S  A S T  P I  V-G V-T

Define

S = {S | S is a numerical semigroup}

G(S) the graph whose set of vertices is S and set of edges

{(S,T) ∈ S×S | T = S ∪{F(S)}}

slide-5
SLIDE 5

T  S  A S T  P I  V-G V-T

Given a numerical semigroup S we define recurrently the sequence of numerical semigroups

  • S0 = S
  • Si+1 =
  • Si ∪{F(Si)} if Si N

N otherwise

S = S0 S1 ··· Sg(S) = N

Chain of semigroups associated to S C(S) = {S0,S1,...,Sg(S)}

slide-6
SLIDE 6

T  S  A S T  P I  V-G V-T

Theorem G(S) is a tree rooted in N. Moreover, the sons of S ∈ S are

S \{x1},...,S \{xr} where x1,...,xr are the minimal generators of S grater than F(S) This result allows us to construct recurrently the set of all numerical semigroups

slide-7
SLIDE 7

T  S  A S T  P I  V-G V-T

N = 1 2,3

  • 3,4,5
  • 2,5
  • 4,5,6
  • 3,5,7
  • 3,4
  • 2,7
slide-8
SLIDE 8

T  S  A S T  P I  V-G V-T

  • If (S,T) is an edge of G(S), then F(S) > F(T) and

g(T) = g(S)−1

The preceding result allows us to recurrently apply the construction

  • f G(S) to construct the set of all numerical semigroups with given

Frobenius number or given gender

slide-9
SLIDE 9

T  S  A S T  P I  V-G V-T

Our aim is to generalize the above results for any Frobenius variety

  • S is a Frobenius variety
  • If S is a numerical semigroup, then C(S) is a Frobenius variety
  • For A ⊆ N, the set

O(A) = {S ∈ S | A ⊆ S}

is a Frobenius variety. In particular, the set of oversemigroups

  • f a numerical semigroup is a Frobenius variety
slide-10
SLIDE 10

T  S  A S T  P I  V-G V-T

  • J. Lipman, Stable ideals and Arf rings, Amer. J. Math. 93(1971),

649-685

  • C. Arf, Une interpr´

etation alg´ ebrique de la suite des orders de multiplicit´ e d’une branche alg´ ebrique, Proc. London Math. Soc. 20(1949), 256-287

Arf numerical semigroup

A numerical semigroup S has the Arf property if for any x,y,z ∈ S with x ≥ y ≥ z, x +y −z ∈ S

slide-11
SLIDE 11

T  S  A S T  P I  V-G V-T

  • J. C. Rosales, P

. A. Garc´ ıa-S´ anchez, J. I. Garc´ ıa-Garc´ ıa, M. B. Branco, Arf numerical semigroups, J. Algebra 276(2004), 3-12

  • The family of Arf numerical semigroups is a Frobenius variety
slide-12
SLIDE 12

T  S  A S T  P I  V-G V-T

  • A. Campillo, On saturation of curve singularities (any characteristic),
  • Proc. of Sym. in Pure Math. 40(1983), 211-220

F . Pham, B. Teissier, Fractions lipschitziennes et saturations de Zariski des alg´ ebres analytiques compl´ exes, Centre Math. Cole. Polytech., Paris, 1969. Actes du Cong´ es International des Math- ematiciens (Nice 1970), Tome 2, 649-654. Gauthier-Villars, Paris, 1971

  • O. Zariski, General theory of saturation and saturated local rings,

I, II, III, Amer. J. Math. 93(1971), 573-684, 872-964; 97(1975), 415-502

slide-13
SLIDE 13

T  S  A S T  P I  V-G V-T

Saturated numerical semigroups

A numerical semigroup S is saturated if for any s,s1,...,sr ∈ S with s1,...,sr ≤ s, and z1,...,zr ∈ Z, z1s1 +···+zrsr ≥ 0 implies that s +z1s1 +···+zrsr ∈ S

  • J. C. Rosales, P

. A. Garc´ ıa-S´ anchez, J. I. Garc´ ıa-Garc´ ıa, M.

  • B. Branco, Saturated numerical semigroups, Houston J. Math.

30(2004), 321-330

  • The family of saturated numerical semigroups is a Frobenius

variety

slide-14
SLIDE 14

T  S  A S T  P I  V-G V-T

  • A. Toms, Strongly perforated K0-groups of simple C∗-algebra,
  • Canad. Math. Bull. 46(2003), 457-472
  • J. C. Rosales, P

. A. Garc´ ıa-S´ anchez, Numerical semigroups having a Toms decomposition, Canad. Math. Bull. 51 (2008), 134-139

  • M. Delgado, P

. A. Garc´ ıa-S´ anchez, J. C. Rosales, J. M. Urbano- Blanco, Systems of proportionally modular Diophantine inequalities, Semigroup Forum

  • The family of numerical semigroups having a Toms

decomposition is a Frobenius variety

slide-15
SLIDE 15

T  S  A S T  P I  V-G V-T

  • M. Bras-Amor´
  • s, P

. A. Garc´ ıa-S´ anchez, Patterns on numerical semigroups, Linear Algebra Appl. 414(2006), 652-669

Pattern

A pattern of length n is an expression of the form a1x1 +···+anxn, where a1,...,an are nonzero integers A numerical semigroup S admits the pattern P if for all s1,...,sn ∈ S, s1 ≥ s2 ≥ ··· ≥ sn implies a1s1 +···+ansn ∈ S Denote by S(P) the set of numerical semigroups admitting the pattern P

Arf S(x1 +x2 −x3) is the set of Arf numerical semigroups

slide-16
SLIDE 16

T  S  A S T  P I  V-G V-T

Strongly admissible patterns

A pattern P is admissible if S(P) is not empty If P = a1x1 +···+anxn, define P′ =

(a −1)x1 +a2x2 +···+anxn if a1 > 1

a2x2 +···+anxn otherwise P is strongly admissible if both P and P′ are admissible

  • If P is a strongly admissible pattern, then S(P) is a Frobenius

variety

slide-17
SLIDE 17

T  S  A S T  P I  V-G V-T

  • The intersection of Frobenius varieties is a Frobenius variety

Hence we can construct new Frobenius varieties from the above examples

Arf and Toms decomposition

The set of Arf numerical semigroups having a Toms decomposition are a Frobenius variety

slide-18
SLIDE 18

T  S  A S T  P I  V-G V-T

We can also talk about the Frobenius variety generated by a family X of numerical semigroups We denote this variety by F (X)

  • F (X) is the smallest (with respect to set inclusion) Frobenius

variety containing X

slide-19
SLIDE 19

T  S  A S T  P I  V-G V-T

Given X a nonempty family of numerical semigroups, set

C(X) =

  • S∈X

C(S) Theorem F (X) is the set of all finite intersections of elements in C(X)

  • A Frobenius variety is finitely generated if and only if it is finite
slide-20
SLIDE 20

T  S  A S T  P I  V-G V-T

In what follows V is a Frobenius variety

V-monoid

A submonoid M of N is a V-monoid if it can be expressed as an intersection of elements in V

  • The intersection of V-monoids is a V-monoid
slide-21
SLIDE 21

T  S  A S T  P I  V-G V-T

Let A ⊆ N

V-generating system

The V-monoid generated by A is the intersection of all V-monoids containing A This monoid is denoted by V(A) A is a V-generating system of V(A), and it is minimal if none of its proper subsets V-generates V(A)

slide-22
SLIDE 22

T  S  A S T  P I  V-G V-T

  • If x ∈ V(A), then x ∈ V({a ∈ A | a ≤ x})

Theorem

Every V-monoid admits a unique minimal V-generating system

  • Let M be a V-monoid and let x ∈ M. Then M \{x} is a

V-monoid if and only if x belongs to the minimal V-generating system of M

slide-23
SLIDE 23

T  S  A S T  P I  V-G V-T

The tree of a Frobenius variety Define G(V) as the graph with set of vertices V, and (S,T) is an edge if T = S ∪{F(S)}

Theorem

The graph G(V) is a tree rooted in N. The sons of a vertex S are S \{x1},...,S \{xr}, where x1,...,xr are the elements in the minimal

V-generating system of S greater than F(S)

slide-24
SLIDE 24

T  S  A S T  P I  V-G V-T

The binary tree of Arf semigroups

N = Arf(1) F = −1

  • Arf(2,3)

F = 1

  • Arf(3,4)

F = 2

  • Arf(2,5)

F = 3

  • Arf(4,5)

F = 3

  • Arf(3,5)

F = 4

  • Arf(2,7)

F = 5

  • Arf(5,6)

F = 4 Arf(4,6,7) F = 5 Arf(3,7) F = 5 Arf(2,9) F = 7

  • If T is a son of S, then T = S \{F(S)+1} or T = S \{F(S)+2}
slide-25
SLIDE 25

T  S  A S T  P I  V-G V-T

The binary tree of saturated numerical semigroups Sat(1) F = −1

  • Sat(2,3)

F = 1

  • Sat(3,4)

F = 2

  • Sat(2,5)

F = 3

  • Sat(4,5)

F = 3

  • Sat(3,5)

F = 4

  • Sat(2,7)

F = 5

  • Sat(5,6)

F = 4

  • Sat(4,6,7)

F = 5

  • Sat(3,7)

F = 5

  • Sat(2,9)

F = 7

  • ···

··· ··· ··· ··· ···

  • If T is a son of S, then T = S \{F(S)+1} or T = S \{F(S)+2}
  • This tree has no leaves