Torus actions in the normalization problem Jasmin Raissy - - PowerPoint PPT Presentation

torus actions in the normalization problem
SMART_READER_LITE
LIVE PREVIEW

Torus actions in the normalization problem Jasmin Raissy - - PowerPoint PPT Presentation

Torus actions in the normalization problem Jasmin Raissy Dipartimento di Matematica "L. Tonelli" Universit di Pisa KAWA 1, Workshop Albi, January 2931, 2010 Jasmin Raissy (Universit di Pisa) Torus actions and normalization


slide-1
SLIDE 1

Torus actions in the normalization problem

Jasmin Raissy

Dipartimento di Matematica "L. Tonelli" Università di Pisa

KAWA 1, Workshop Albi, January 29–31, 2010

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 1 / 29

slide-2
SLIDE 2

Normalization Problem

Setting

Given f : (Cn, p) → (Cn, p) a germ of biholomorphism fixing p, we are interested in the dynamics of f in a neighbourhood of p.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 2 / 29

slide-3
SLIDE 3

Normalization Problem

Setting

Given f : (Cn, p) → (Cn, p) a germ of biholomorphism fixing p, we are interested in the dynamics of f in a neighbourhood of p. i.e., for any q “sufficiently close” to p, we want to study the asymptotical behavior of {f k(q)}k≥1, where f k = f ◦ · · · ◦ f.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 2 / 29

slide-4
SLIDE 4

Normalization Problem

Setting

Let f : (Cn, O) → (Cn, O) be germ of biholomorphism fixing O.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 3 / 29

slide-5
SLIDE 5

Normalization Problem

Setting

Let f : (Cn, O) → (Cn, O) be germ of biholomorphism fixing O. Locally, using multi-index notation, f(z) = Λz +

  • Q∈Nn

|Q|≥2

fQzQ, where zQ := zq1

1 · · · zqn n , fQ ∈ Cn, |Q| := n

  • j=1

qj,

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 3 / 29

slide-6
SLIDE 6

Normalization Problem

Setting

Let f : (Cn, O) → (Cn, O) be germ of biholomorphism fixing O. Locally, using multi-index notation, f(z) = Λz +

  • Q∈Nn

|Q|≥2

fQzQ, where zQ := zq1

1 · · · zqn n , fQ ∈ Cn, |Q| := n

  • j=1

qj, with Λ in Jordan normal form, i.e., Λ = Diag(λ1, . . . , λn) + N N = nilpotent matrix and λ1, . . . , λn ∈ C∗ not necessarily distinct.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 3 / 29

slide-7
SLIDE 7

Normalization Problem

Setting

Let f : (Cn, O) → (Cn, O) be germ of biholomorphism fixing O. Locally, using multi-index notation, f(z) = Λz +

  • Q∈Nn

|Q|≥2

fQzQ, where zQ := zq1

1 · · · zqn n , fQ ∈ Cn, |Q| := n

  • j=1

qj, with Λ in Jordan normal form, i.e., Λ = Diag(λ1, . . . , λn) + N N = nilpotent matrix and λ1, . . . , λn ∈ C∗ not necessarily distinct. Want to know whether ∃ϕ: (Cn, O) → (Cn, O), local holomorphic change of coordinates, dϕO = Id, s.t. ϕ−1 ◦ f ◦ ϕ has a simple form.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 3 / 29

slide-8
SLIDE 8

Normalization Problem

Linearization

Linearization problem

simple = linear

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 4 / 29

slide-9
SLIDE 9

Normalization Problem

Linearization

Linearization problem

simple = linear Idea: first to search for a formal solution of f ◦ ϕ = ϕ ◦ Λ (1) and then to study the convergence of ϕ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 4 / 29

slide-10
SLIDE 10

Normalization Problem

Linearization

Linearization problem

simple = linear Idea: first to search for a formal solution of f ◦ ϕ = ϕ ◦ Λ (1) and then to study the convergence of ϕ. We have to recursively solve, for each coordinate j, ϕj(z) = zj +

|Q|≥2 ϕQ,jzQ.

λQ := λq1

1 · · · λqn n

( λQ − λj) ϕQ,j = Polynomial(fP,j, ϕR,k, with P ≤ Q, R < Q ) (2)

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 4 / 29

slide-11
SLIDE 11

Normalization Problem

Linearization

Linearization problem

simple = linear Idea: first to search for a formal solution of f ◦ ϕ = ϕ ◦ Λ (1) and then to study the convergence of ϕ. We have to recursively solve, for each coordinate j, ϕj(z) = zj +

|Q|≥2 ϕQ,jzQ.

λQ := λq1

1 · · · λqn n

( λQ − λj) ϕQ,j = Polynomial(fP,j, ϕR,k, with P ≤ Q, R < Q ) (2) lexicographic order on Nn

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 4 / 29

slide-12
SLIDE 12

Normalization Problem

Resonances

Definition

A resonant multi-index for λ ∈ (C∗)n, rel. to j ∈ {1, . . . , n} is Q ∈ Nn, with |Q| ≥ 2, s.t. λQ − λj = 0 . (3) Resj(λ) := {Q ∈ Nn | |Q| ≥ 2, λQ − λj = 0}.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 5 / 29

slide-13
SLIDE 13

Normalization Problem

Resonances

Definition

A resonant multi-index for λ ∈ (C∗)n, rel. to j ∈ {1, . . . , n} is Q ∈ Nn, with |Q| ≥ 2, s.t. λQ − λj = 0 . (3) Resj(λ) := {Q ∈ Nn | |Q| ≥ 2, λQ − λj = 0}. Resonances = obstruction to formal linearization.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 5 / 29

slide-14
SLIDE 14

Normalization Problem

Poincaré-Dulac normal forms

Theorem (Poincaré-Dulac, 1904)

∀f as above ∃ ϕ formal change of coord., d ϕO = Id, s.t.

  • ϕ−1 ◦ f ◦

ϕ = g ∈ C[ [z1, . . . , zn] ]n where g(O) = O, dgO = dfO and g has only resonant monomials, gj(z) = λjzj + εjzj+1 +

  • |Q|≥2

λQ=λj

gQ,jzQ. Moreover, the resonant terms of ϕ can be arbitrarily chosen, and that choice determines uniquely gres and the remaining terms of ϕ. A germ of the form Λ + gres, with gres containing only resonant monomials is said in Poincaré-Dulac normal form.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 6 / 29

slide-15
SLIDE 15

Normalization Problem

Normalization Problem

Given f, ∃?ϕ: (Cn, O) → (Cn, O), holomorphic change of coordinates, dϕO = Id, s.t. ϕ−1 ◦ f ◦ ϕ is in Poincaré-Dulac normal form?

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 7 / 29

slide-16
SLIDE 16

Normalization Problem

Normalization Problem

Given f, ∃?ϕ: (Cn, O) → (Cn, O), holomorphic change of coordinates, dϕO = Id, s.t. ϕ−1 ◦ f ◦ ϕ is in Poincaré-Dulac normal form?

Problem

Not uniqueness of the formal change of coordinates ϕ given by Poincaré-Dulac theorem, and not having explicit expression for gres, make very difficult to give estimates for the convergence of ϕ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 7 / 29

slide-17
SLIDE 17

Torus Actions

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 8 / 29

slide-18
SLIDE 18

Torus Actions

The same problem can be stated for germs of holomorphic vector field near a singular point.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 8 / 29

slide-19
SLIDE 19

Torus Actions

The same problem can be stated for germs of holomorphic vector field near a singular point. In 2002, N.T. Zung found that to find a Poincaré-Dulac holomorphic normalization for a germ of holomorphic vector field is the same as to find (and linearize) a suitable torus action which preserves the vector field.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 8 / 29

slide-20
SLIDE 20

Torus Actions

The same problem can be stated for germs of holomorphic vector field near a singular point. In 2002, N.T. Zung found that to find a Poincaré-Dulac holomorphic normalization for a germ of holomorphic vector field is the same as to find (and linearize) a suitable torus action which preserves the vector field.

Idea

We look for symmetries in the normalization problem and how to exploit them

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 8 / 29

slide-21
SLIDE 21

Torus Actions

Germs commuting with a torus action

Theorem (–, 2009)

f commutes with a holom. effective Tr-action on (Cn, O), 1 ≤ r ≤ n, with weight matrix Θ ∈ Mn×r(Z)

  • ∃ϕ local holom. change of coord. s.t. ϕ−1 ◦ f ◦ ϕ contains only

Θ-resonant monomials.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 9 / 29

slide-22
SLIDE 22

Torus Actions

Germs commuting with a torus action

Theorem (–, 2009)

f commutes with a holom. effective Tr-action on (Cn, O), 1 ≤ r ≤ n, with weight matrix Θ ∈ Mn×r(Z)

  • ∃ϕ local holom. change of coord. s.t. ϕ−1 ◦ f ◦ ϕ contains only

Θ-resonant monomials. f commutes with A: Tr × (Cn, O) → (Cn, O), A(x, O) = O, means f(A(x, z)) = A(x, f(z)).

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 9 / 29

slide-23
SLIDE 23

Torus Actions

Germs commuting with a torus action

Theorem (–, 2009)

f commutes with a holom. effective Tr-action on (Cn, O), 1 ≤ r ≤ n, with weight matrix Θ ∈ Mn×r(Z)

  • ∃ϕ local holom. change of coord. s.t. ϕ−1 ◦ f ◦ ϕ contains only

Θ-resonant monomials. f commutes with A: Tr × (Cn, O) → (Cn, O), A(x, O) = O, means f(A(x, z)) = A(x, f(z)). Alin is semi-simple and Sp(Alin(x, ·)) = {exp(2πi r

k=1 xkθk j )}j=1,...,n

where Θ = (θk

j ) ∈ Mn×r(Z) is the weight matrix of A.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 9 / 29

slide-24
SLIDE 24

Torus Actions

Germs commuting with a torus action

Theorem (–, 2009)

f commutes with a holom. effective Tr-action on (Cn, O), 1 ≤ r ≤ n, with weight matrix Θ ∈ Mn×r(Z)

  • ∃ϕ local holom. change of coord. s.t. ϕ−1 ◦ f ◦ ϕ contains only

Θ-resonant monomials. f commutes with A: Tr × (Cn, O) → (Cn, O), A(x, O) = O, means f(A(x, z)) = A(x, f(z)). Alin is semi-simple and Sp(Alin(x, ·)) = {exp(2πi r

k=1 xkθk j )}j=1,...,n

where Θ = (θk

j ) ∈ Mn×r(Z) is the weight matrix of A.

zQej, with |Q| ≥ 1, is Θ-resonant if Q, θk :=

n

  • h=1

qhθk

h = θk j

∀ k = 1, . . . , r.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 9 / 29

slide-25
SLIDE 25

Torus Actions

Definition

An additive resonant multi-index for θ ∈ Cn, rel. to j ∈ {1, . . . , n} is Q ∈ Nn, with |Q| ≥ 2, s.t. Q, θ = θj . (4) Res+

j (θ) := {Q ∈ Nn | |Q| ≥ 2, Q, θ = θj}.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 10 / 29

slide-26
SLIDE 26

Torus Actions

Definition

An additive resonant multi-index for θ ∈ Cn, rel. to j ∈ {1, . . . , n} is Q ∈ Nn, with |Q| ≥ 2, s.t. Q, θ = θj . (4) Res+

j (θ) := {Q ∈ Nn | |Q| ≥ 2, Q, θ = θj}.

{Q ∈ Nn | |Q| ≥ 2, Q Θ-resonant rel. to j} =

r

  • k=1

Res+

j (θk)

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 10 / 29

slide-27
SLIDE 27

Torus Actions

Definition

An additive resonant multi-index for θ ∈ Cn, rel. to j ∈ {1, . . . , n} is Q ∈ Nn, with |Q| ≥ 2, s.t. Q, θ = θj . (4) Res+

j (θ) := {Q ∈ Nn | |Q| ≥ 2, Q, θ = θj}.

{Q ∈ Nn | |Q| ≥ 2, Q Θ-resonant rel. to j} =

r

  • k=1

Res+

j (θk)

Corollary (–, 2009)

f is holomorphically linearizable

  • it commutes with a Tr-action, 1 ≤ r ≤ n, with Θ having no resonances
  • f degree |Q| ≥ 2.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 10 / 29

slide-28
SLIDE 28

Strategy

Torus Actions Holomorphic Normalization

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 11 / 29

slide-29
SLIDE 29

Strategy

Torus Actions Θ Holomorphic Normalization λ1, . . . , λn

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 11 / 29

slide-30
SLIDE 30

Strategy

Torus Actions Θ r

k=1 Res+ j (θk)

Holomorphic Normalization λ1, . . . , λn Resj(λ)

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 11 / 29

slide-31
SLIDE 31

Toric Degree

Definition

The toric degree of λ ∈ (C∗)n is the min r ∈ N s.t. ∃α1, . . . , αr ∈ C∗ and ∃θ(1), . . . , θ(r) ∈ Zn s.t. [ϕ] = r

  • k=1

αkθ(k)

  • ∈ (C/Z)n,

where [ϕ] is the unique in (C/Z)n s.t. λ = e2πi[ϕ]. θ(1), . . . , θ(r) are a r-tuple of toric vectors associated to λ, with toric coefficients α1, . . . , αr.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 12 / 29

slide-32
SLIDE 32

Toric Degree

Definition

The toric degree of λ ∈ (C∗)n is the min r ∈ N s.t. ∃α1, . . . , αr ∈ C∗ and ∃θ(1), . . . , θ(r) ∈ Zn s.t. [ϕ] = r

  • k=1

αkθ(k)

  • ∈ (C/Z)n,

where [ϕ] is the unique in (C/Z)n s.t. λ = e2πi[ϕ]. θ(1), . . . , θ(r) are a r-tuple of toric vectors associated to λ, with toric coefficients α1, . . . , αr. Since [ϕ] = [n

j=1 ϕjej], the toric degree is well-defined and 1 ≤ r ≤ n.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 12 / 29

slide-33
SLIDE 33

Toric Degree

Definition

The toric degree of λ ∈ (C∗)n is the min r ∈ N s.t. ∃α1, . . . , αr ∈ C∗ and ∃θ(1), . . . , θ(r) ∈ Zn s.t. [ϕ] = r

  • k=1

αkθ(k)

  • ∈ (C/Z)n,

where [ϕ] is the unique in (C/Z)n s.t. λ = e2πi[ϕ]. θ(1), . . . , θ(r) are a r-tuple of toric vectors associated to λ, with toric coefficients α1, . . . , αr. Since [ϕ] = [n

j=1 ϕjej], the toric degree is well-defined and 1 ≤ r ≤ n.

α1, . . . , αr are Z-independent,

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 12 / 29

slide-34
SLIDE 34

Toric Degree

Definition

The toric degree of λ ∈ (C∗)n is the min r ∈ N s.t. ∃α1, . . . , αr ∈ C∗ and ∃θ(1), . . . , θ(r) ∈ Zn s.t. [ϕ] = r

  • k=1

αkθ(k)

  • ∈ (C/Z)n,

where [ϕ] is the unique in (C/Z)n s.t. λ = e2πi[ϕ]. θ(1), . . . , θ(r) are a r-tuple of toric vectors associated to λ, with toric coefficients α1, . . . , αr. Since [ϕ] = [n

j=1 ϕjej], the toric degree is well-defined and 1 ≤ r ≤ n.

α1, . . . , αr are Z-independent, θ(1), . . . , θ(r) are Q-linearly independent.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 12 / 29

slide-35
SLIDE 35

Main Result

Theorem (–, 2009)

Take f as above. Then, in all but one case, f is holomorphically normalizable

  • f commutes with a holom. effective torus action on (Cn, O) of dim

depending on tordeg(λ) with columns of Θ related to toric vectors associated to λ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 13 / 29

slide-36
SLIDE 36

First distinction

Proposition (–, 2009)

∃ toric r-tuple assoc. to λ with coeff. Z-independent with 1

  • ∀ toric r-tuple assoc. to λ the coeff. are Z-independent with 1.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 14 / 29

slide-37
SLIDE 37

First distinction

Proposition (–, 2009)

∃ toric r-tuple assoc. to λ with coeff. Z-independent with 1

  • ∀ toric r-tuple assoc. to λ the coeff. are Z-independent with 1.

Torsion-free case: 1, α1, . . . , αr Z-independent

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 14 / 29

slide-38
SLIDE 38

First distinction

Proposition (–, 2009)

∃ toric r-tuple assoc. to λ with coeff. Z-independent with 1

  • ∀ toric r-tuple assoc. to λ the coeff. are Z-independent with 1.

Torsion-free case: 1, α1, . . . , αr Z-independent Torsion case: 1, α1, . . . , αr Z-dependent

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 14 / 29

slide-39
SLIDE 39

First distinction

Proposition (–, 2009)

∃ toric r-tuple assoc. to λ with coeff. Z-independent with 1

  • ∀ toric r-tuple assoc. to λ the coeff. are Z-independent with 1.

Torsion-free case: 1, α1, . . . , αr Z-independent Torsion case: 1, α1, . . . , αr Z-dependent In the torsion case we can always consider reduced toric r-tuples, i.e., η(1), . . . , η(r) with coeff. β1, . . . , βr s.t. β1 = 1/m with m ∈ N \ {0, 1} and m, η(1)

1 , . . . , η(1) n

coprime; η(2), . . . , η(r) are called reduced torsion-free toric vectors assoc. to λ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 14 / 29

slide-40
SLIDE 40

Torsion-free Case

Main Theorem in the torsion-free case

∀ r-tuple of toric vectors θ(1), . . . , θ(r) associated to λ Resj(λ) =

r

  • k=1

Res+

j (θ(k))

∀ j = 1, . . . , n

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 15 / 29

slide-41
SLIDE 41

Torsion-free Case

Main Theorem in the torsion-free case

∀ r-tuple of toric vectors θ(1), . . . , θ(r) associated to λ Resj(λ) =

r

  • k=1

Res+

j (θ(k))

∀ j = 1, . . . , n and λj = λh = ⇒ θ(k)

j

= θ(k)

h

∀ k = 1, . . . , r.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 15 / 29

slide-42
SLIDE 42

Torsion-free Case

Main Theorem in the torsion-free case

∀ r-tuple of toric vectors θ(1), . . . , θ(r) associated to λ Resj(λ) =

r

  • k=1

Res+

j (θ(k))

∀ j = 1, . . . , n and λj = λh = ⇒ θ(k)

j

= θ(k)

h

∀ k = 1, . . . , r.

Main Theorem

f in the torsion-free case is holomorphically normalizable

  • f commutes with a holom. effective Tr-action on (Cn, O), r = tordeg(λ),

with columns of Θ that are a r-tuple of toric vectors associated to λ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 15 / 29

slide-43
SLIDE 43

Torsion Case

∀ reduced toric r-tuple η(1), . . . , η(r) associated to λ

r

  • k=2

Res+

j (η(k)) ⊇ Resj(λ) ⊇ r

  • k=1

Res+

j (η(k)).

(5)

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 16 / 29

slide-44
SLIDE 44

Torsion Case

∀ reduced toric r-tuple η(1), . . . , η(r) associated to λ

r

  • k=2

Res+

j (η(k)) ⊇ Resj(λ) ⊇ r

  • k=1

Res+

j (η(k)).

(5) We have the following sub-cases: Impure torsion case: for a reduced toric r-tuple (⇒ ∀) Resj(λ) =

r

  • k=2

Res+

j (η(k))

∀ j = 1, . . . , n

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 16 / 29

slide-45
SLIDE 45

Torsion Case

∀ reduced toric r-tuple η(1), . . . , η(r) associated to λ

r

  • k=2

Res+

j (η(k)) ⊇ Resj(λ) ⊇ r

  • k=1

Res+

j (η(k)).

(5) We have the following sub-cases: Impure torsion case: for a reduced toric r-tuple (⇒ ∀) Resj(λ) =

r

  • k=2

Res+

j (η(k))

∀ j = 1, . . . , n Pure torsion case: the first inclusion is always strict, and

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 16 / 29

slide-46
SLIDE 46

Torsion Case

∀ reduced toric r-tuple η(1), . . . , η(r) associated to λ

r

  • k=2

Res+

j (η(k)) ⊇ Resj(λ) ⊇ r

  • k=1

Res+

j (η(k)).

(5) We have the following sub-cases: Impure torsion case: for a reduced toric r-tuple (⇒ ∀) Resj(λ) =

r

  • k=2

Res+

j (η(k))

∀ j = 1, . . . , n Pure torsion case: the first inclusion is always strict, and either

◮ λ can be simplified: ∃ a reduced toric r-tuple, said simple, s.t.

Resj(λ) = r

k=1 Res+ j (η(k)) ∀j,

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 16 / 29

slide-47
SLIDE 47

Torsion Case

∀ reduced toric r-tuple η(1), . . . , η(r) associated to λ

r

  • k=2

Res+

j (η(k)) ⊇ Resj(λ) ⊇ r

  • k=1

Res+

j (η(k)).

(5) We have the following sub-cases: Impure torsion case: for a reduced toric r-tuple (⇒ ∀) Resj(λ) =

r

  • k=2

Res+

j (η(k))

∀ j = 1, . . . , n Pure torsion case: the first inclusion is always strict, and either

◮ λ can be simplified: ∃ a reduced toric r-tuple, said simple, s.t.

Resj(λ) = r

k=1 Res+ j (η(k)) ∀j, or

◮ λ cannot be simplified: ∀ reduced toric r-tuple, ∃j s.t. the inclusions

in (5) are strict.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 16 / 29

slide-48
SLIDE 48

Impure Torsion Case

Main Theorem in the impure torsion case

Main Theorem

f in the impure torsion case is holomorphically normalizable

  • f commutes with a holom. effective Tr−1-action on (Cn, O),

r = tordeg(λ), with columns of Θ that are reduced torsion-free toric vectors associated to λ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 17 / 29

slide-49
SLIDE 49

Pure Torsion Case

λ can be simplified

Main Theorem

f in the pure torsion case s.t. λ can be simplified is holomorphically normalizable

  • Jasmin Raissy (Università di Pisa)

Torus actions and normalization KAWA 1, 30 January 2010 18 / 29

slide-50
SLIDE 50

Pure Torsion Case

λ can be simplified

Main Theorem

f in the pure torsion case s.t. λ can be simplified is holomorphically normalizable

  • dfO diagonalizable: f commutes with a holom. effective Tr-action
  • n (Cn, O), r = tordeg(λ), with columns of Θ that are a reduced

simple r-tuple of toric vectors associated to λ;

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 18 / 29

slide-51
SLIDE 51

Pure Torsion Case

λ can be simplified

Main Theorem

f in the pure torsion case s.t. λ can be simplified is holomorphically normalizable

  • dfO diagonalizable: f commutes with a holom. effective Tr-action
  • n (Cn, O), r = tordeg(λ), with columns of Θ that are a reduced

simple r-tuple of toric vectors associated to λ; dfO not diagonalizable: if λj = λh ⇒ η(k)

j

= η(k)

h

∀ k = 1, . . . , r, then same statement as above.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 18 / 29

slide-52
SLIDE 52

Pure Torsion Case

λ cannot be simplified

Proposition (–, 2009)

f in the pure torsion case s.t. λ cannot be simplified. If f commutes with a holom. effective Tr-action on (Cn, O), r = tordeg(λ), with columns of Θ that are reduced toric vectors associated to λ, then f is holomorphically normalizable.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 19 / 29

slide-53
SLIDE 53

Pure Torsion Case

λ cannot be simplified

Proposition (–, 2009)

f in the pure torsion case s.t. λ cannot be simplified. If f commutes with a holom. effective Tr-action on (Cn, O), r = tordeg(λ), with columns of Θ that are reduced toric vectors associated to λ, then f is holomorphically normalizable.

Proposition (–, 2009)

f in the pure torsion case s.t. λ cannot be simplified. If f is holomorphically normalizable, then f commutes with a holom. effective Tr−1-action on (Cn, O), r = tordeg(λ), with columns of Θ that are reduced torsion-free toric vectors associated to λ.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 19 / 29

slide-54
SLIDE 54

Remark: Torsion

Écalle, in 1992, introduced the following notion of torsion.

Definition

The torsion of λ ∈ (C∗)n is the natural integer τ such that 1 τ Z = Q ∩  Z

  • 1≤j≤n

log(λj) 2πi Z   .

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 20 / 29

slide-55
SLIDE 55

Remark: Torsion

Écalle, in 1992, introduced the following notion of torsion.

Definition

The torsion of λ ∈ (C∗)n is the natural integer τ such that 1 τ Z = Q ∩  Z

  • 1≤j≤n

log(λj) 2πi Z   .

Lemma (–, 2009)

λ ∈ (C∗)n is torsion-free ⇐ ⇒ its torsion is 1

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 20 / 29

slide-56
SLIDE 56

Remarks

algorithmic way to compute resonances

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 21 / 29

slide-57
SLIDE 57

Remarks

algorithmic way to compute resonances examples for each case

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 21 / 29

slide-58
SLIDE 58

Remarks

algorithmic way to compute resonances examples for each case = ⇒ consistent classification

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 21 / 29

slide-59
SLIDE 59

Remarks

algorithmic way to compute resonances examples for each case = ⇒ consistent classification torsion is not enough to measure the difference between germs of holomorphic vector fields and germs of biholomorphisms

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 21 / 29

slide-60
SLIDE 60

Remarks

algorithmic way to compute resonances examples for each case = ⇒ consistent classification torsion is not enough to measure the difference between germs of holomorphic vector fields and germs of biholomorphisms example of techniques to construct torus actions

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 21 / 29

slide-61
SLIDE 61

Construction of Torus Action

Theorem (–, 2009)

Let f be as above and commute with a set of integrable holomorphic vector fields X1, . . . , Xm, 1 ≤ m ≤ n. Then f commutes with a holom. effective Tr-action on (Cn, O), r = tordeg(X1), with columns of the weight matrix that are a r-tuple of toric vectors associated to X1. Where, if 1 ≤ m ≤ n, f commute with a set of integrable holomorphic vector fields if ∃X1, . . . , Xm s.t. df(Xj) = Xj ◦ f ∀j = 1, . . . , m that are integrable, i.e., X1, . . . , Xm germs of holom. v.f. of (Cn, O), Xj(O) = 0,

  • rder(Xj) = 1, [Xj, Xk] = 0 ∀j, k, and X1 ∧ · · · ∧ Xm ≡ 0;

∃g1, . . . , gn−m germs of holom. functions of (Cn, O) s.t. Xj(gk) = 0 ∀j, k, and dg1 ∧ · · · ∧ dgn−m ≡ 0.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 22 / 29

slide-62
SLIDE 62

Construction of Torus Action

Toric degree of a vector field

Writing X = n

j=1 ϕjzj ∂ ∂zj + · · · , the toric degree of X is the min r ∈ N

s.t. ∃α1, . . . , αr ∈ C∗ and ∃θ(1), . . . , θ(r) ∈ Zn s.t. ϕ =

r

  • k=1

αkθ(k).

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 23 / 29

slide-63
SLIDE 63

Thanks

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 24 / 29

slide-64
SLIDE 64

Examples

Example (Torsion-free case)

 √ 2   3 2 −1   + 2i   2 3 1     ∈ (C/Z)3

Example (Torsion case)

 1 7   3 2 −1   + 2i   2 3 1     ∈ (C/Z)3

Example (Impure torsion case)

    1 3     1 1     + √ 2     −12 1     + √ 3     5 2         ∈ (C/Z)4 has toric degree 3.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 25 / 29

slide-65
SLIDE 65

Example (Impure torsion case)

Res+

1 (η(2)) =

  • (q1, q2, q3, 12(q1 − 1)) ∈ N4 | 13q1 + q2 + q3 ≥ 14
  • Res+

2 (η(2)) =

  • (q1, q2, q3, 12q1) ∈ N4 | 13q1 + q2 + q3 ≥ 2
  • Res+

3 (η(2)) = Res+ 2 (η(2))

Res+

4 (η(2)) =

  • (q1, q2, q3, 12q1 + 1) ∈ N4 | 13q1 + q2 + q3 ≥ 1
  • ,

and Res+

1 (η(3)) =

  • (q1, 0, 0, q4) ∈ N4 | q1 + q4 ≥ 2
  • Res+

2 (η(3)) =

  • (q1, 1, 0, q4) ∈ N4 | q1 + q4 ≥ 1
  • Res+

3 (η(3)) =

  • (q1, 0, 1, q4) ∈ N4 | q1 + q4 ≥ 1
  • Res+

4 (η(3)) = Res+ 1 (η(3)).

∀P = (p, 0, 0, 12p) with p ≥ 1 P, η(1) = 12p ∈ 3 Z. Then it is easy to verify that for j = 1, . . . , 4 Resj([ϕ]) = Res+

j (η(2)) ∩ Res+ j (η(3)).

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 26 / 29

slide-66
SLIDE 66

Examples

Example (Pure torsion case that can be simplified)

[ϕ] =     1 3     1 1 1 1     + √ 2     1 6     + √ 3     −1 5         ∈ (C/Z)4, has toric degree 3. We have Res+

j (η(1)) = ∅, for j = 1, . . . , 4, and it is

not difficult to verify that Res2(λ) = {(0, 1, 5q, q) | q ∈ N∗} = ∅ Resj(λ) = Res+

j (η(2)) ∩ Res+ j (η(3)) j = 1, 3, 4.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 27 / 29

slide-67
SLIDE 67

Examples

Example (Pure torsion case that can be simplified)

However, we can write [ϕ] =     1 3     1 −2 1 −5     + √ 2     1 6     + √ 3     −1 5         , and it is not difficult to verify that, in this representation, we have, for j = 1, . . . , 4 Resj(λ) =

3

  • k=1

Res+

j (ξ(k)).

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 28 / 29

slide-68
SLIDE 68

Examples

Example (Pure torsion case that cannot be simplified)

1 7 1 3

  • +

√ 2 1 −6

  • ∈ (C/Z)2,

has toric degree 2 and torsion 7. We have Res+

1 (η(2)) = {(6h + 1, h) | h ≥ 1},

Res+

2 (η(2)) = {(6h, h + 1) | h ≥ 1},

Res+

1 (η(1)) ∩ Res+ 1 (η(2)) = Res+ 2 (η(1)) ∩ Res+ 2 (η(2)) = ∅,

then Res+

1 (η(2))⊃Res1(λ) = {(42h + 1, 7h) | h ≥ 1}⊃Res+ 1 (η(1))∩Res+ 1 (η(2))

Res+

2 (η(2))⊃Res2(λ) = {(42h, 7h + 1) | h ≥ 1}⊃Res+ 2 (η(1))∩Res+ 2 (η(2)).

Furthermore, it is easy to check that λ cannot be simplified.

Jasmin Raissy (Università di Pisa) Torus actions and normalization KAWA 1, 30 January 2010 29 / 29