Raising to generic powers Jonathan Kirby University of Oxford - - PowerPoint PPT Presentation

raising to generic powers
SMART_READER_LITE
LIVE PREVIEW

Raising to generic powers Jonathan Kirby University of Oxford - - PowerPoint PPT Presentation

Raising to generic powers Jonathan Kirby University of Oxford Modnet conference, Barcelona, 2008 Jonathan Kirby (Oxford) Raising to generic powers Barcelona 08 1 / 17 Abstract We prove unconditionally a Schanuel property for raising to a


slide-1
SLIDE 1

Raising to generic powers

Jonathan Kirby

University of Oxford

Modnet conference, Barcelona, 2008

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 1 / 17

slide-2
SLIDE 2

Abstract

We prove unconditionally a Schanuel property for raising to a generic real power, leading to the hope that the real field with a generic power function can be proved to be decidable. This is joint work with A.J. Wilkie and Martin Bays.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 2 / 17

slide-3
SLIDE 3

Outline

1

Motivation – Decidability

2

Schanuel Properties

3

Proofs

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 3 / 17

slide-4
SLIDE 4

Outline

1

Motivation – Decidability

2

Schanuel Properties

3

Proofs

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 4 / 17

slide-5
SLIDE 5

Decidability of R

Theorem (Tarski 1949)

The theory of the real field R; +, · is decidable.

Proof uses:

  • model completeness
  • A decision procedure for ∃-sentences

Tarski asked: is Rexp = R; +, ·, exp decidable?

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 5 / 17

slide-6
SLIDE 6

Decidability of R

Theorem (Tarski 1949)

The theory of the real field R; +, · is decidable.

Proof uses:

  • model completeness
  • A decision procedure for ∃-sentences

Tarski asked: is Rexp = R; +, ·, exp decidable?

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 5 / 17

slide-7
SLIDE 7

Decidability of R

Theorem (Tarski 1949)

The theory of the real field R; +, · is decidable.

Proof uses:

  • model completeness
  • A decision procedure for ∃-sentences

Tarski asked: is Rexp = R; +, ·, exp decidable?

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 5 / 17

slide-8
SLIDE 8

Decidability of R

Theorem (Tarski 1949)

The theory of the real field R; +, · is decidable.

Proof uses:

  • model completeness
  • A decision procedure for ∃-sentences

Tarski asked: is Rexp = R; +, ·, exp decidable?

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 5 / 17

slide-9
SLIDE 9

Decidability of R

Theorem (Tarski 1949)

The theory of the real field R; +, · is decidable.

Proof uses:

  • model completeness
  • A decision procedure for ∃-sentences

Tarski asked: is Rexp = R; +, ·, exp decidable?

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 5 / 17

slide-10
SLIDE 10

Decidability of Rexp

Theorem (Wilkie 1996)

Rexp is model-complete and o-minimal

Theorem (Macintyre, Wilkie 1996)

Assuming Schanuel’s Conjecture, there is a decision procedure for ∃-sentences.

Corollary

Conditionally, Rexp is decidable.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 6 / 17

slide-11
SLIDE 11

Decidability of Rexp

Theorem (Wilkie 1996)

Rexp is model-complete and o-minimal

Theorem (Macintyre, Wilkie 1996)

Assuming Schanuel’s Conjecture, there is a decision procedure for ∃-sentences.

Corollary

Conditionally, Rexp is decidable.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 6 / 17

slide-12
SLIDE 12

Decidability of Rexp

Theorem (Wilkie 1996)

Rexp is model-complete and o-minimal

Theorem (Macintyre, Wilkie 1996)

Assuming Schanuel’s Conjecture, there is a decision procedure for ∃-sentences.

Corollary

Conditionally, Rexp is decidable.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 6 / 17

slide-13
SLIDE 13

Decidability of other functions

Question (Jones, et al.)

Can we unconditionally prove decidability for R; +, ·, f for some (interesting) analytic function f?

Raising to a power λ ∈ R

For y > 0, yλ = exp(λ log y) Rλ = R; +, ·, (−)λ is o-minimal and model complete (Wilkie / Miller)

Work in progress – Jones, Servi

Schanuel Property for (−)λ = ⇒ decidability of Rλ (if λ is a recursive real – otherwise decidability modulo λ)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 7 / 17

slide-14
SLIDE 14

Decidability of other functions

Question (Jones, et al.)

Can we unconditionally prove decidability for R; +, ·, f for some (interesting) analytic function f?

Raising to a power λ ∈ R

For y > 0, yλ = exp(λ log y) Rλ = R; +, ·, (−)λ is o-minimal and model complete (Wilkie / Miller)

Work in progress – Jones, Servi

Schanuel Property for (−)λ = ⇒ decidability of Rλ (if λ is a recursive real – otherwise decidability modulo λ)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 7 / 17

slide-15
SLIDE 15

Decidability of other functions

Question (Jones, et al.)

Can we unconditionally prove decidability for R; +, ·, f for some (interesting) analytic function f?

Raising to a power λ ∈ R

For y > 0, yλ = exp(λ log y) Rλ = R; +, ·, (−)λ is o-minimal and model complete (Wilkie / Miller)

Work in progress – Jones, Servi

Schanuel Property for (−)λ = ⇒ decidability of Rλ (if λ is a recursive real – otherwise decidability modulo λ)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 7 / 17

slide-16
SLIDE 16

Decidability of other functions

Question (Jones, et al.)

Can we unconditionally prove decidability for R; +, ·, f for some (interesting) analytic function f?

Raising to a power λ ∈ R

For y > 0, yλ = exp(λ log y) Rλ = R; +, ·, (−)λ is o-minimal and model complete (Wilkie / Miller)

Work in progress – Jones, Servi

Schanuel Property for (−)λ = ⇒ decidability of Rλ (if λ is a recursive real – otherwise decidability modulo λ)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 7 / 17

slide-17
SLIDE 17

Decidability of other functions

Question (Jones, et al.)

Can we unconditionally prove decidability for R; +, ·, f for some (interesting) analytic function f?

Raising to a power λ ∈ R

For y > 0, yλ = exp(λ log y) Rλ = R; +, ·, (−)λ is o-minimal and model complete (Wilkie / Miller)

Work in progress – Jones, Servi

Schanuel Property for (−)λ = ⇒ decidability of Rλ (if λ is a recursive real – otherwise decidability modulo λ)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 7 / 17

slide-18
SLIDE 18

Outline

1

Motivation – Decidability

2

Schanuel Properties

3

Proofs

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 8 / 17

slide-19
SLIDE 19

Schanuel Property for raising to a power

Theorem (Bays, Kirby, Wilkie)

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td Q(¯ y, ¯ yλ, λ)/Q(λ) n.

  • λ is exponentially transcendental iff it does not lie in the prime

model of Rexp.

  • Co-countably many reals are exponentially transcendental.
  • No known exponentially transcendental reals!
  • Cantor’s argument gives a recursive exponentially transcendental

real.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 9 / 17

slide-20
SLIDE 20

Schanuel Property for raising to a power

Theorem (Bays, Kirby, Wilkie)

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td Q(¯ y, ¯ yλ, λ)/Q(λ) n.

  • λ is exponentially transcendental iff it does not lie in the prime

model of Rexp.

  • Co-countably many reals are exponentially transcendental.
  • No known exponentially transcendental reals!
  • Cantor’s argument gives a recursive exponentially transcendental

real.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 9 / 17

slide-21
SLIDE 21

Schanuel Property for raising to a power

Theorem (Bays, Kirby, Wilkie)

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td Q(¯ y, ¯ yλ, λ)/Q(λ) n.

  • λ is exponentially transcendental iff it does not lie in the prime

model of Rexp.

  • Co-countably many reals are exponentially transcendental.
  • No known exponentially transcendental reals!
  • Cantor’s argument gives a recursive exponentially transcendental

real.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 9 / 17

slide-22
SLIDE 22

Schanuel Property for raising to a power

Theorem (Bays, Kirby, Wilkie)

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td Q(¯ y, ¯ yλ, λ)/Q(λ) n.

  • λ is exponentially transcendental iff it does not lie in the prime

model of Rexp.

  • Co-countably many reals are exponentially transcendental.
  • No known exponentially transcendental reals!
  • Cantor’s argument gives a recursive exponentially transcendental

real.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 9 / 17

slide-23
SLIDE 23

Schanuel Property for raising to a power

Theorem (Bays, Kirby, Wilkie)

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td Q(¯ y, ¯ yλ, λ)/Q(λ) n.

  • λ is exponentially transcendental iff it does not lie in the prime

model of Rexp.

  • Co-countably many reals are exponentially transcendental.
  • No known exponentially transcendental reals!
  • Cantor’s argument gives a recursive exponentially transcendental

real.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 9 / 17

slide-24
SLIDE 24

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-25
SLIDE 25

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-26
SLIDE 26

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-27
SLIDE 27

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-28
SLIDE 28

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-29
SLIDE 29

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-30
SLIDE 30

Exponential Transcendence - general definition

Let F; +, ·, exp be any exponential field.

Definition

x ∈ F is exponentially algebraic in F iff for some n ∈ N there are: ¯ x = (x1, . . . , xn) ∈ F n f1, . . . , fn ∈ Z[¯ X, e ¯

X]

such that x = x1 fi(¯ x, e¯

x) = 0 for each i = 1, . . . , n

  • ∂f1

∂X1

· · ·

∂f1 ∂Xn

. . . ... . . .

∂fn ∂X1

· · ·

∂fn ∂Xn

x) = 0 Exponentially Transcendental in F ⇐ ⇒ not exponentially algebraic in F

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 10 / 17

slide-31
SLIDE 31

A generalization

First Theorem

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td(Q(¯ y, ¯ yλ, λ)/Q(λ)) n.

Theorem (BKW)

F any exponential field, λ ∈ F exponentially transcendental, ¯ x ∈ F n such that exp(¯ x) is multiplicatively independent. Then td(Q(exp(¯ x), exp(λ¯ x), λ)/Q(λ)) n.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 11 / 17

slide-32
SLIDE 32

A generalization

First Theorem

Let λ ∈ R be exponentially transcendental, let ¯ y ∈ (R>0)n, and suppose ¯ y is multiplicatively independent. Then td(Q(¯ y, ¯ yλ, λ)/Q(λ)) n.

Theorem (BKW)

F any exponential field, λ ∈ F exponentially transcendental, ¯ x ∈ F n such that exp(¯ x) is multiplicatively independent. Then td(Q(exp(¯ x), exp(λ¯ x), λ)/Q(λ)) n.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 11 / 17

slide-33
SLIDE 33

Several powers

For A ⊆ F, can define ecl A, the exponential algebraic closure of A.

Theorem (Kirby)

ecl is a pregeometry on any exponential field. Thus we have a notion

  • f independence.

Theorem (BKW – question of Zilber)

Let λ1, . . . , λm be ecl-independent in F, let ¯ z ∈ F n, and write ker for the kernel of exp. td(Q(exp(¯ z), ¯ λ)/Q(¯ λ)) + ldimQ(¯

λ)(¯

z/ker) − ldimQ(¯ z/ker) 0

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 12 / 17

slide-34
SLIDE 34

Several powers

For A ⊆ F, can define ecl A, the exponential algebraic closure of A.

Theorem (Kirby)

ecl is a pregeometry on any exponential field. Thus we have a notion

  • f independence.

Theorem (BKW – question of Zilber)

Let λ1, . . . , λm be ecl-independent in F, let ¯ z ∈ F n, and write ker for the kernel of exp. td(Q(exp(¯ z), ¯ λ)/Q(¯ λ)) + ldimQ(¯

λ)(¯

z/ker) − ldimQ(¯ z/ker) 0

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 12 / 17

slide-35
SLIDE 35

Several powers

For A ⊆ F, can define ecl A, the exponential algebraic closure of A.

Theorem (Kirby)

ecl is a pregeometry on any exponential field. Thus we have a notion

  • f independence.

Theorem (BKW – question of Zilber)

Let λ1, . . . , λm be ecl-independent in F, let ¯ z ∈ F n, and write ker for the kernel of exp. td(Q(exp(¯ z), ¯ λ)/Q(¯ λ)) + ldimQ(¯

λ)(¯

z/ker) − ldimQ(¯ z/ker) 0

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 12 / 17

slide-36
SLIDE 36

Outline

1

Motivation – Decidability

2

Schanuel Properties

3

Proofs

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 13 / 17

slide-37
SLIDE 37

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-38
SLIDE 38

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-39
SLIDE 39

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-40
SLIDE 40

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-41
SLIDE 41

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-42
SLIDE 42

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-43
SLIDE 43

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-44
SLIDE 44

Outline of the proof in the real case.

Step 1

Take λ ∈ R exponentially transcendental, B ∪ {λ} an ecl-basis for R, C = ecl(B). Then for any ¯ z ∈ Rn, td(¯ z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) 1

1

For each a ∈ R, there is a C-definable function θ : R → R with θ(λ) = a.

2

If θ, ψ are two such, o-minimality implies {x ∈ R | θ(x) = ψ(x)} contains an interval around λ.

3

Similarly, θ is differentiable near λ.

4

Define ∂ : R → R by a → dθ

dx (λ), where θ(λ) = a.

5

∂ is a well-defined derivation on R, vanishing on C.

6

∂ezi = ezi∂zi, each i, and ∂eλ = eλ∂λ.

7

Result follows from Ax’s differential field version of Schanuel’s Conjecture.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 14 / 17

slide-45
SLIDE 45

Step 2

td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0

Proof

We have: 1

  • td(¯

z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) = td(λ/C) + td(¯ z/C, λ) + td(exp(¯ z)/C, λ, ¯ z) + td(exp(λ)/C, λ, ¯ z, exp(¯ z)) − ldimQ(λ/C, ¯ z) − ldimQ(¯ z/C)

  • td(¯

z/C, λ) + td(exp(¯ z)/λ) + td(exp(λ)/C, exp(¯ z)) − ldimQ(λ/C, ¯ z) − ldimQ(¯ z/C) Also td(exp(λ)/C, exp(¯ z)) ldimQ(λ/C, ¯ z) and td(¯ z/C, λ) ldimQ(λ)(¯ z/C)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 15 / 17

slide-46
SLIDE 46

Step 2

td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0

Proof

We have: 1

  • td(¯

z, λ, exp(¯ z), exp(λ)/C) − ldimQ(¯ z, λ/C) = td(λ/C) + td(¯ z/C, λ) + td(exp(¯ z)/C, λ, ¯ z) + td(exp(λ)/C, λ, ¯ z, exp(¯ z)) − ldimQ(λ/C, ¯ z) − ldimQ(¯ z/C)

  • td(¯

z/C, λ) + td(exp(¯ z)/λ) + td(exp(λ)/C, exp(¯ z)) − ldimQ(λ/C, ¯ z) − ldimQ(¯ z/C) Also td(exp(λ)/C, exp(¯ z)) ldimQ(λ/C, ¯ z) and td(¯ z/C, λ) ldimQ(λ)(¯ z/C)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 15 / 17

slide-47
SLIDE 47

Step 2

td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0

Proof continued

Putting these together we get td(exp(¯ z)/λ) + ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) 0 But Q(λ) is linearly disjoint from C over Q, so ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) ldimQ(λ)(¯ z) − ldimQ(¯ z) which gives the result.

Step 3

A similar argument shows for any ¯ x: ldimQ(λ¯ x/¯ x) ldimQ(λ)(¯ x)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 16 / 17

slide-48
SLIDE 48

Step 2

td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0

Proof continued

Putting these together we get td(exp(¯ z)/λ) + ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) 0 But Q(λ) is linearly disjoint from C over Q, so ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) ldimQ(λ)(¯ z) − ldimQ(¯ z) which gives the result.

Step 3

A similar argument shows for any ¯ x: ldimQ(λ¯ x/¯ x) ldimQ(λ)(¯ x)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 16 / 17

slide-49
SLIDE 49

Step 2

td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0

Proof continued

Putting these together we get td(exp(¯ z)/λ) + ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) 0 But Q(λ) is linearly disjoint from C over Q, so ldimQ(λ)(¯ z/C) − ldimQ(¯ z/C) ldimQ(λ)(¯ z) − ldimQ(¯ z) which gives the result.

Step 3

A similar argument shows for any ¯ x: ldimQ(λ¯ x/¯ x) ldimQ(λ)(¯ x)

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 16 / 17

slide-50
SLIDE 50

Theorem

For ¯ y ∈ Rn

>0 multiplicatively independent,

td(¯ y, ¯ yλ/λ) n

Proof.

Step 2: ∀¯ z td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0 Take ¯ x = log ¯ y ¯ z = (¯ x, λ¯ x) Then td(¯ y, ¯ yλ/λ)

  • ldimQ(¯

x, λ¯ x) − ldimQ(λ)(¯ x, λ¯ x)

  • ldimQ(¯

x) + ldimQ(λ¯ x/¯ x) − ldimQ(λ)(¯ x)

  • n

as ¯ x is Q-linearly independent and by step 3.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 17 / 17

slide-51
SLIDE 51

Theorem

For ¯ y ∈ Rn

>0 multiplicatively independent,

td(¯ y, ¯ yλ/λ) n

Proof.

Step 2: ∀¯ z td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0 Take ¯ x = log ¯ y ¯ z = (¯ x, λ¯ x) Then td(¯ y, ¯ yλ/λ)

  • ldimQ(¯

x, λ¯ x) − ldimQ(λ)(¯ x, λ¯ x)

  • ldimQ(¯

x) + ldimQ(λ¯ x/¯ x) − ldimQ(λ)(¯ x)

  • n

as ¯ x is Q-linearly independent and by step 3.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 17 / 17

slide-52
SLIDE 52

Theorem

For ¯ y ∈ Rn

>0 multiplicatively independent,

td(¯ y, ¯ yλ/λ) n

Proof.

Step 2: ∀¯ z td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0 Take ¯ x = log ¯ y ¯ z = (¯ x, λ¯ x) Then td(¯ y, ¯ yλ/λ)

  • ldimQ(¯

x, λ¯ x) − ldimQ(λ)(¯ x, λ¯ x)

  • ldimQ(¯

x) + ldimQ(λ¯ x/¯ x) − ldimQ(λ)(¯ x)

  • n

as ¯ x is Q-linearly independent and by step 3.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 17 / 17

slide-53
SLIDE 53

Theorem

For ¯ y ∈ Rn

>0 multiplicatively independent,

td(¯ y, ¯ yλ/λ) n

Proof.

Step 2: ∀¯ z td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0 Take ¯ x = log ¯ y ¯ z = (¯ x, λ¯ x) Then td(¯ y, ¯ yλ/λ)

  • ldimQ(¯

x, λ¯ x) − ldimQ(λ)(¯ x, λ¯ x)

  • ldimQ(¯

x) + ldimQ(λ¯ x/¯ x) − ldimQ(λ)(¯ x)

  • n

as ¯ x is Q-linearly independent and by step 3.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 17 / 17

slide-54
SLIDE 54

Theorem

For ¯ y ∈ Rn

>0 multiplicatively independent,

td(¯ y, ¯ yλ/λ) n

Proof.

Step 2: ∀¯ z td(exp(¯ z)/λ) + ldimQ(λ)(¯ z) − ldimQ(¯ z) 0 Take ¯ x = log ¯ y ¯ z = (¯ x, λ¯ x) Then td(¯ y, ¯ yλ/λ)

  • ldimQ(¯

x, λ¯ x) − ldimQ(λ)(¯ x, λ¯ x)

  • ldimQ(¯

x) + ldimQ(λ¯ x/¯ x) − ldimQ(λ)(¯ x)

  • n

as ¯ x is Q-linearly independent and by step 3.

Jonathan Kirby (Oxford) Raising to generic powers Barcelona ’08 17 / 17