![Page 1: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/1.jpg)
university-logo
Transcendence in Positive Characteristict-Motives and Difference Galois Groups
W. Dale BrownawellMatthew Papanikolas
Penn State UniversityTexas A&M University
Arizona Winter School 2008March 17, 2008
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 1 / 27
![Page 2: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/2.jpg)
university-logo
Outline
1 t-Motives
2 Difference Galois groups
3 Algebraic independence
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 2 / 27
![Page 3: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/3.jpg)
university-logo
t-Motives
Definitions
Connections with Drinfeld modules and t-modules
Rigid analytic triviality
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 3 / 27
![Page 4: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/4.jpg)
university-logo
Scalar quantities
Let p be a fixed prime; q a fixed power of p.
A := Fq[θ] ←→ Z
k := Fq(θ) ←→ Q
k ←→ Q
k∞ := Fq((1/θ)) ←→ R
C∞ := k∞ ←→ C
|f |∞ = qdeg f ←→ | · |
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 4 / 27
![Page 5: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/5.jpg)
university-logo
Functions
Rational functions:
Fq(t), k(t), C∞(t).
Analytic functions:
T :=
∑i≥0
ai t i ∈ C∞[[t ]]∣∣∣∣ |ai |∞ → 0
.
andL := fraction field of T.
Entire functions:
E :=
∑i≥0
ai t i ∈ C∞[[t ]]∣∣∣∣ i
√|ai |∞ → 0,
[k∞(a0,a1,a2, . . . ) : k∞] <∞
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 5 / 27
![Page 6: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/6.jpg)
university-logo
The ring k [t , σ]
The ring k [t ,σ] is the non-commutative polynomial ring in t and σ withcoefficients in k , subject to
tc = ct , tσ = σt , σc = c1/qσ, ∀ c ∈ k .
Thus for any f ∈ k [t ],
σf = f (−1)σ = σ(f )σ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 6 / 27
![Page 7: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/7.jpg)
university-logo
Anderson t-motives
DefinitionAn Anderson t-motive M is a left k [t ,σ]-module such that
M is free and finitely generated over k [t ];M is free and finitely generated over k [σ];(t − θ)nM ⊆ σM for n 0.
Anderson t-motives form a category in which morphisms are simplymorphisms of left k [t ,σ]-modules.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 7 / 27
![Page 8: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/8.jpg)
university-logo
Connections with Drinfeld modules
Theorem (Anderson 1986)The category of Anderson t-motives contains the categories of Drinfeldmodules and (abelian) t-modules over k as full subcategories.
Suppose M is an Anderson t-Motive that corresponds to a Drinfeldmodule (or t-module) ρ : Fq[t ]→ k [F ]. How do we recover ρ from M?
ρ(k) ∼=M
(σ − 1)M.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 8 / 27
![Page 9: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/9.jpg)
university-logo
Connections with Drinfeld modules
Theorem (Anderson 1986)The category of Anderson t-motives contains the categories of Drinfeldmodules and (abelian) t-modules over k as full subcategories.
Suppose M is an Anderson t-Motive that corresponds to a Drinfeldmodule (or t-module) ρ : Fq[t ]→ k [F ]. How do we recover ρ from M?
ρ(k) ∼=M
(σ − 1)M.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 8 / 27
![Page 10: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/10.jpg)
university-logo
Connections with Drinfeld modules
Theorem (Anderson 1986)The category of Anderson t-motives contains the categories of Drinfeldmodules and (abelian) t-modules over k as full subcategories.
Suppose M is an Anderson t-Motive that corresponds to a Drinfeldmodule (or t-module) ρ : Fq[t ]→ k [F ]. How do we recover ρ from M?
ρ(k) ∼=M
(σ − 1)M.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 8 / 27
![Page 11: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/11.jpg)
university-logo
The Carlitz motive
Let C = k [t ] and define a left k [σ]-module structure on C by setting
σ(f ) = (t − θ)f (−1), ∀f ∈ C.
For x ∈ k , we see that
tx = θx + (t − θ)x = θx + σ(xq)
= θx + xq + (σ − 1)(xq)
= C(t)(x) + (σ − 1)(xq).
So as Fq[t ]-modules,
Carlitz module ∼=C
(σ − 1)C.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 9 / 27
![Page 12: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/12.jpg)
university-logo
The Carlitz motive
Let C = k [t ] and define a left k [σ]-module structure on C by setting
σ(f ) = (t − θ)f (−1), ∀f ∈ C.
For x ∈ k , we see that
tx = θx + (t − θ)x = θx + σ(xq)
= θx + xq + (σ − 1)(xq)
= C(t)(x) + (σ − 1)(xq).
So as Fq[t ]-modules,
Carlitz module ∼=C
(σ − 1)C.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 9 / 27
![Page 13: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/13.jpg)
university-logo
Representations of σ
Suppose M is an Anderson t-motive and that m1, . . . ,mr ∈ M form ak [t ]-basis of M. Let
m =
m1...
mr
.Then we can define Φ ∈ Matr (k [t ]) by
σm =
σm1...
σmr
= Φ
m1...
mr
.We say that Φ represents multiplication by σ on M.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 10 / 27
![Page 14: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/14.jpg)
university-logo
t-Motives for rank 2 Drinfeld modules
Suppose that ρ : Fq[t ]→ k [F ] is a rank 2 Drinfeld module with
ρ(t) = θ + κF + F 2.
Suppose that M = Mat1×2(k [t ]) is the Anderson t-motive withmultiplication by σ represented by
Φ =
[0 1
t − θ −κ1/q
].
Thenρ ∼=
M(σ − 1)M
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 11 / 27
![Page 15: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/15.jpg)
university-logo
t-Motives for rank 2 Drinfeld modules
Suppose that ρ : Fq[t ]→ k [F ] is a rank 2 Drinfeld module with
ρ(t) = θ + κF + F 2.
Suppose that M = Mat1×2(k [t ]) is the Anderson t-motive withmultiplication by σ represented by
Φ =
[0 1
t − θ −κ1/q
].
Thenρ ∼=
M(σ − 1)M
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 11 / 27
![Page 16: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/16.jpg)
university-logo
t-Motives for rank 2 Drinfeld modules
Suppose that ρ : Fq[t ]→ k [F ] is a rank 2 Drinfeld module with
ρ(t) = θ + κF + F 2.
Suppose that M = Mat1×2(k [t ]) is the Anderson t-motive withmultiplication by σ represented by
Φ =
[0 1
t − θ −κ1/q
].
Thenρ ∼=
M(σ − 1)M
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 11 / 27
![Page 17: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/17.jpg)
university-logo
Indeed,
t [x ,0] = [tx ,0] = [tx + κxq,−κ(−1)x ] + [−κxq, κ(−1)x ]
= [tx + κxq,−κ1/qx ] + (σ − 1)[κxq,0]
= [θx + κxq + xq2,0] + [(t − θ)x − xq2
,−κ1/qx ]
+ (σ − 1)[κxq,0]
= [θx + κxq + xq2,0]
+ (σ − 1)[κxq,0] + (σ2 − 1)[xq2,0].
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 12 / 27
![Page 18: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/18.jpg)
university-logo
Rigid analytic triviality
In the examples we have seen, we have the following chain ofconstructions:
Drinfeld moduleor t-module ρ
=⇒
t-motive M
=⇒
Φ ∈ Matr (k [t ])representing σ
(?)
=⇒
Ψ ∈ Matr (E),Ψ(−1) = ΦΨ
=⇒
Ψ(θ)−1 providesperiods of ρ
.
Everything goes through fine, as long as we can do (?).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 13 / 27
![Page 19: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/19.jpg)
university-logo
Rigid analytic triviality
In the examples we have seen, we have the following chain ofconstructions:
Drinfeld moduleor t-module ρ
=⇒
t-motive M
=⇒
Φ ∈ Matr (k [t ])representing σ
(?)
=⇒
Ψ ∈ Matr (E),Ψ(−1) = ΦΨ
=⇒
Ψ(θ)−1 providesperiods of ρ
.
Everything goes through fine, as long as we can do (?).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 13 / 27
![Page 20: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/20.jpg)
university-logo
Rigid analytic triviality
DefinitionAn Anderson t-motive M is rigid analytically trivial if for Φ ∈ Matr (k [t ])representing multiplication by σ on M, there exists a (fundamentalmatrix)
Ψ ∈ Matr (E) ∩GLr (T)
so thatΨ(−1) = ΦΨ.
A deep theorem of Anderson proves the following equivalence,Drinfeld module or t-module is uniformizable
⇐⇒
t-motive M is rigidanalytically trivial
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 14 / 27
![Page 21: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/21.jpg)
university-logo
Rigid analytic triviality
DefinitionAn Anderson t-motive M is rigid analytically trivial if for Φ ∈ Matr (k [t ])representing multiplication by σ on M, there exists a (fundamentalmatrix)
Ψ ∈ Matr (E) ∩GLr (T)
so thatΨ(−1) = ΦΨ.
A deep theorem of Anderson proves the following equivalence,Drinfeld module or t-module is uniformizable
⇐⇒
t-motive M is rigidanalytically trivial
.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 14 / 27
![Page 22: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/22.jpg)
university-logo
Difference Galois groups
Definitions and constructionsPropertiesConnections with t-motives/Drinfeld modules
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 15 / 27
![Page 23: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/23.jpg)
university-logo
Preliminaries
We will work in some generality. We fix fields K ⊆ L with anautomorphism σ : L ∼→ L such that
σ(K ) ⊆ K ;L/K is separable;Lσ = K σ =: E .
The example to keep in mind of course is (E ,K ,L) = (Fq(t), k(t),L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 16 / 27
![Page 24: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/24.jpg)
university-logo
Σ and Λ
We suppose that we have matrices Φ ∈ GLr (K ) and Ψ ∈ GLr (L) sothat
σ(Ψ) = ΦΨ.
Let X = (Xij) denote an r × r matrix of variables. Define a K -algebrahomomorphism,
ν = (Xij 7→ Ψij) : K [X ,1/det X ]→ L.
Let Σ = im ν and take Λ for its fraction field in L:
Σ = K [Ψ,1/det Ψ], Λ = K (Ψ).
Additional hypothesis: K is algebraically closed in Λ. Generallyholds in the case (Fq(t), k(t),L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 17 / 27
![Page 25: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/25.jpg)
university-logo
Σ and Λ
We suppose that we have matrices Φ ∈ GLr (K ) and Ψ ∈ GLr (L) sothat
σ(Ψ) = ΦΨ.
Let X = (Xij) denote an r × r matrix of variables. Define a K -algebrahomomorphism,
ν = (Xij 7→ Ψij) : K [X ,1/det X ]→ L.
Let Σ = im ν and take Λ for its fraction field in L:
Σ = K [Ψ,1/det Ψ], Λ = K (Ψ).
Additional hypothesis: K is algebraically closed in Λ. Generallyholds in the case (Fq(t), k(t),L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 17 / 27
![Page 26: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/26.jpg)
university-logo
Σ and Λ
We suppose that we have matrices Φ ∈ GLr (K ) and Ψ ∈ GLr (L) sothat
σ(Ψ) = ΦΨ.
Let X = (Xij) denote an r × r matrix of variables. Define a K -algebrahomomorphism,
ν = (Xij 7→ Ψij) : K [X ,1/det X ]→ L.
Let Σ = im ν and take Λ for its fraction field in L:
Σ = K [Ψ,1/det Ψ], Λ = K (Ψ).
Additional hypothesis: K is algebraically closed in Λ.
Generallyholds in the case (Fq(t), k(t),L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 17 / 27
![Page 27: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/27.jpg)
university-logo
Σ and Λ
We suppose that we have matrices Φ ∈ GLr (K ) and Ψ ∈ GLr (L) sothat
σ(Ψ) = ΦΨ.
Let X = (Xij) denote an r × r matrix of variables. Define a K -algebrahomomorphism,
ν = (Xij 7→ Ψij) : K [X ,1/det X ]→ L.
Let Σ = im ν and take Λ for its fraction field in L:
Σ = K [Ψ,1/det Ψ], Λ = K (Ψ).
Additional hypothesis: K is algebraically closed in Λ. Generallyholds in the case (Fq(t), k(t),L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 17 / 27
![Page 28: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/28.jpg)
university-logo
The Galois group Γ
Let Z ⊆ GLr/K be the smallest K -subscheme such that Ψ ∈ Z (L).Thus,
Z ∼= Spec Σ (as K -schemes).
Now set Ψ1, Ψ2 ∈ GLr (L⊗K L) so that
(Ψ1)ij = Ψij ⊗ 1, (Ψ2)ij = 1⊗Ψij ,
and set Ψ = Ψ−11 Ψ2 ∈ GLr (L⊗K L).
Define an E-algebra map,
µ = (Xij 7→ Ψij) : E [X ,1/det X ]→ L⊗K L,
which defines a closed E-subscheme Γ of GLr/E .
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 18 / 27
![Page 29: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/29.jpg)
university-logo
The Galois group Γ
Let Z ⊆ GLr/K be the smallest K -subscheme such that Ψ ∈ Z (L).Thus,
Z ∼= Spec Σ (as K -schemes).
Now set Ψ1, Ψ2 ∈ GLr (L⊗K L) so that
(Ψ1)ij = Ψij ⊗ 1, (Ψ2)ij = 1⊗Ψij ,
and set Ψ = Ψ−11 Ψ2 ∈ GLr (L⊗K L).
Define an E-algebra map,
µ = (Xij 7→ Ψij) : E [X ,1/det X ]→ L⊗K L,
which defines a closed E-subscheme Γ of GLr/E .
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 18 / 27
![Page 30: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/30.jpg)
university-logo
The Galois group Γ
Let Z ⊆ GLr/K be the smallest K -subscheme such that Ψ ∈ Z (L).Thus,
Z ∼= Spec Σ (as K -schemes).
Now set Ψ1, Ψ2 ∈ GLr (L⊗K L) so that
(Ψ1)ij = Ψij ⊗ 1, (Ψ2)ij = 1⊗Ψij ,
and set Ψ = Ψ−11 Ψ2 ∈ GLr (L⊗K L).
Define an E-algebra map,
µ = (Xij 7→ Ψij) : E [X ,1/det X ]→ L⊗K L,
which defines a closed E-subscheme Γ of GLr/E .
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 18 / 27
![Page 31: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/31.jpg)
university-logo
Working hypotheses for Γ and Z
Analogies with Galois groups of differential equations lead to thefollowing working hypotheses:
Z (L) should be a left coset for Γ.
Since Ψ ∈ Z (L), we should have
Γ(L) = Ψ−1Z (L).
This isomorphism should induce an isomorphism of K -schemes,
(α, β) 7→ (α, αβ) : Z × Γ∼→ Z × Z .
Everything should be done in such a way as to be defined over thesmallest field possible (say E , K , or L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 19 / 27
![Page 32: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/32.jpg)
university-logo
Working hypotheses for Γ and Z
Analogies with Galois groups of differential equations lead to thefollowing working hypotheses:
Z (L) should be a left coset for Γ.Since Ψ ∈ Z (L), we should have
Γ(L) = Ψ−1Z (L).
This isomorphism should induce an isomorphism of K -schemes,
(α, β) 7→ (α, αβ) : Z × Γ∼→ Z × Z .
Everything should be done in such a way as to be defined over thesmallest field possible (say E , K , or L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 19 / 27
![Page 33: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/33.jpg)
university-logo
Working hypotheses for Γ and Z
Analogies with Galois groups of differential equations lead to thefollowing working hypotheses:
Z (L) should be a left coset for Γ.Since Ψ ∈ Z (L), we should have
Γ(L) = Ψ−1Z (L).
This isomorphism should induce an isomorphism of K -schemes,
(α, β) 7→ (α, αβ) : Z × Γ∼→ Z × Z .
Everything should be done in such a way as to be defined over thesmallest field possible (say E , K , or L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 19 / 27
![Page 34: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/34.jpg)
university-logo
Working hypotheses for Γ and Z
Analogies with Galois groups of differential equations lead to thefollowing working hypotheses:
Z (L) should be a left coset for Γ.Since Ψ ∈ Z (L), we should have
Γ(L) = Ψ−1Z (L).
This isomorphism should induce an isomorphism of K -schemes,
(α, β) 7→ (α, αβ) : Z × Γ∼→ Z × Z .
Everything should be done in such a way as to be defined over thesmallest field possible (say E , K , or L).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 19 / 27
![Page 35: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/35.jpg)
university-logo
The difference Galois group Γ
Theorem (P. 2008)Γ is a closed E-subgroup scheme of GLr/E .Z is stable under right-multiplication by ΓK and is a ΓK -torsor.The K -scheme Z is absolutely irreducible and is smooth over K .The E-scheme Γ is absolutely irreducible and is smooth over E.The dimension of Γ over E is equal to the transcendence degreeof Λ over K .Γ(E) ∼= Autσ(Λ/K ).If every element of E is fixed by some power of σ, then theelements of Λ fixed by Γ(E) are precisely K .
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 20 / 27
![Page 36: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/36.jpg)
university-logo
Connections with t-motives
Given a rigid analytically trivial Anderson t-motive M, we form
M := k(t)⊗k [t] M.
Then M carries the structure of a left k(t)[σ,σ−1]-module withM is a f.d. k(t)-vector space;multiplication by σ on M is represented by a matrix Φ ∈ GLr (k(t))that has a fundamental matrix Ψ ∈ GLr (L).
Proposition (P. 2008)The objects just described form a neutral Tannakian category overFq(t) with fiber functor
ω(M) = (L⊗k(t) M)σ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 21 / 27
![Page 37: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/37.jpg)
university-logo
Connections with t-motives
Given a rigid analytically trivial Anderson t-motive M, we form
M := k(t)⊗k [t] M.
Then M carries the structure of a left k(t)[σ,σ−1]-module withM is a f.d. k(t)-vector space;multiplication by σ on M is represented by a matrix Φ ∈ GLr (k(t))that has a fundamental matrix Ψ ∈ GLr (L).
Proposition (P. 2008)The objects just described form a neutral Tannakian category overFq(t) with fiber functor
ω(M) = (L⊗k(t) M)σ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 21 / 27
![Page 38: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/38.jpg)
university-logo
Category of t-motives
“neutral Tannakian category over Fq(t)”⇐⇒ category ofrepresentations of an affine group scheme over Fq(t).We define the category of t-motives to be the Tannakiansubcategory generated by all Anderson t-motives.
Theorem (P. 2008)
Let M be a t-motive. Suppose that Φ ∈ GLr (k(t)) representsmultiplication by σ on M and that Ψ ∈ GLr (L) is a rigid analytictrivialization for Φ. Then the Galois group ΓΨ associated to thedifference equations
Ψ(−1) = ΦΨ
is naturally isomorphic to the group ΓM associated to M viaTannakian duality.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 22 / 27
![Page 39: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/39.jpg)
university-logo
Category of t-motives
“neutral Tannakian category over Fq(t)”⇐⇒ category ofrepresentations of an affine group scheme over Fq(t).We define the category of t-motives to be the Tannakiansubcategory generated by all Anderson t-motives.
Theorem (P. 2008)
Let M be a t-motive. Suppose that Φ ∈ GLr (k(t)) representsmultiplication by σ on M and that Ψ ∈ GLr (L) is a rigid analytictrivialization for Φ. Then the Galois group ΓΨ associated to thedifference equations
Ψ(−1) = ΦΨ
is naturally isomorphic to the group ΓM associated to M viaTannakian duality.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 22 / 27
![Page 40: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/40.jpg)
university-logo
Algebraic independence
Main theorem
Sketch of the proof
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 23 / 27
![Page 41: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/41.jpg)
university-logo
Galois groups and transcendence
Theorem (P. 2008)Let M be a t-motive, and let ΓM be its associated group via Tannakianduality. Suppose that Φ ∈ GLr (k(t)) ∩Matr (k [t ]) representsmultiplication by σ on M and that det Φ = c(t − θ)s, c ∈ k
×.
Let Ψ be arigid analytic trivialization of Φ in GLr (T) ∩Matr (E). Finally let
L = k(Ψ(θ)) ⊆ k∞.
Thentr. degk L = dim ΓM .
Remarks: If M arises from an actual Anderson t-motive, then thehypotheses of the theorem are automatically satisfied.
In practice to calculate dim ΓM , we calculate ΓΨ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 24 / 27
![Page 42: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/42.jpg)
university-logo
Galois groups and transcendence
Theorem (P. 2008)Let M be a t-motive, and let ΓM be its associated group via Tannakianduality. Suppose that Φ ∈ GLr (k(t)) ∩Matr (k [t ]) representsmultiplication by σ on M and that det Φ = c(t − θ)s, c ∈ k
×. Let Ψ be a
rigid analytic trivialization of Φ in GLr (T) ∩Matr (E).
Finally let
L = k(Ψ(θ)) ⊆ k∞.
Thentr. degk L = dim ΓM .
Remarks: If M arises from an actual Anderson t-motive, then thehypotheses of the theorem are automatically satisfied.
In practice to calculate dim ΓM , we calculate ΓΨ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 24 / 27
![Page 43: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/43.jpg)
university-logo
Galois groups and transcendence
Theorem (P. 2008)Let M be a t-motive, and let ΓM be its associated group via Tannakianduality. Suppose that Φ ∈ GLr (k(t)) ∩Matr (k [t ]) representsmultiplication by σ on M and that det Φ = c(t − θ)s, c ∈ k
×. Let Ψ be a
rigid analytic trivialization of Φ in GLr (T) ∩Matr (E). Finally let
L = k(Ψ(θ)) ⊆ k∞.
Thentr. degk L = dim ΓM .
Remarks: If M arises from an actual Anderson t-motive, then thehypotheses of the theorem are automatically satisfied.
In practice to calculate dim ΓM , we calculate ΓΨ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 24 / 27
![Page 44: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/44.jpg)
university-logo
Galois groups and transcendence
Theorem (P. 2008)Let M be a t-motive, and let ΓM be its associated group via Tannakianduality. Suppose that Φ ∈ GLr (k(t)) ∩Matr (k [t ]) representsmultiplication by σ on M and that det Φ = c(t − θ)s, c ∈ k
×. Let Ψ be a
rigid analytic trivialization of Φ in GLr (T) ∩Matr (E). Finally let
L = k(Ψ(θ)) ⊆ k∞.
Thentr. degk L = dim ΓM .
Remarks: If M arises from an actual Anderson t-motive, then thehypotheses of the theorem are automatically satisfied.
In practice to calculate dim ΓM , we calculate ΓΨ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 24 / 27
![Page 45: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/45.jpg)
university-logo
Galois groups and transcendence
Theorem (P. 2008)Let M be a t-motive, and let ΓM be its associated group via Tannakianduality. Suppose that Φ ∈ GLr (k(t)) ∩Matr (k [t ]) representsmultiplication by σ on M and that det Φ = c(t − θ)s, c ∈ k
×. Let Ψ be a
rigid analytic trivialization of Φ in GLr (T) ∩Matr (E). Finally let
L = k(Ψ(θ)) ⊆ k∞.
Thentr. degk L = dim ΓM .
Remarks: If M arises from an actual Anderson t-motive, then thehypotheses of the theorem are automatically satisfied.
In practice to calculate dim ΓM , we calculate ΓΨ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 24 / 27
![Page 46: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/46.jpg)
university-logo
Sketch of the proof
Needless to say the proof relies heavily on the ABP-criterion.
Fix d ≥ 1. For each n ≥ 1, the entries of the Kronecker product,
Ψ⊗n,
are all degree n monomials in the entries of Ψ.
Let ψ be the column vector whose entries are the concatenation of1 and each of the columns of Ψ⊗n for n ≤ d . Let
Φ = [1]⊕ Φ⊕r ⊕ (Φ⊗2)⊕r2 ⊕ · · · ⊕ (Φ⊗d )⊕rd.
Thenψ
(−1)= Φψ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 25 / 27
![Page 47: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/47.jpg)
university-logo
Sketch of the proof
Needless to say the proof relies heavily on the ABP-criterion.
Fix d ≥ 1. For each n ≥ 1, the entries of the Kronecker product,
Ψ⊗n,
are all degree n monomials in the entries of Ψ.Let ψ be the column vector whose entries are the concatenation of1 and each of the columns of Ψ⊗n for n ≤ d . Let
Φ = [1]⊕ Φ⊕r ⊕ (Φ⊗2)⊕r2 ⊕ · · · ⊕ (Φ⊗d )⊕rd.
Thenψ
(−1)= Φψ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 25 / 27
![Page 48: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/48.jpg)
university-logo
Sketch of the proof
Needless to say the proof relies heavily on the ABP-criterion.
Fix d ≥ 1. For each n ≥ 1, the entries of the Kronecker product,
Ψ⊗n,
are all degree n monomials in the entries of Ψ.Let ψ be the column vector whose entries are the concatenation of1 and each of the columns of Ψ⊗n for n ≤ d . Let
Φ = [1]⊕ Φ⊕r ⊕ (Φ⊗2)⊕r2 ⊕ · · · ⊕ (Φ⊗d )⊕rd.
Thenψ
(−1)= Φψ.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 25 / 27
![Page 49: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/49.jpg)
university-logo
Any polynomial relations over k among the entries of Ψ(θ) willeventually appear as a k -linear relation among the entries of ψ(θ),once d is large enough.
Use the ABP-criterion to show that
dimk Qd = dimk(t) Sd ,
whereI Qd is the k -span of the entries of ψ(θ);I Sd is the k(t)-span of the entries of ψ.
Once we show this for each d , the equality of transcendencedegrees follows (by a comparison of Hilbert series).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 26 / 27
![Page 50: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/50.jpg)
university-logo
Any polynomial relations over k among the entries of Ψ(θ) willeventually appear as a k -linear relation among the entries of ψ(θ),once d is large enough.Use the ABP-criterion to show that
dimk Qd = dimk(t) Sd ,
whereI Qd is the k -span of the entries of ψ(θ);I Sd is the k(t)-span of the entries of ψ.
Once we show this for each d , the equality of transcendencedegrees follows (by a comparison of Hilbert series).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 26 / 27
![Page 51: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/51.jpg)
university-logo
Any polynomial relations over k among the entries of Ψ(θ) willeventually appear as a k -linear relation among the entries of ψ(θ),once d is large enough.Use the ABP-criterion to show that
dimk Qd = dimk(t) Sd ,
whereI Qd is the k -span of the entries of ψ(θ);I Sd is the k(t)-span of the entries of ψ.
Once we show this for each d , the equality of transcendencedegrees follows (by a comparison of Hilbert series).
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 26 / 27
![Page 52: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/52.jpg)
university-logo
Wade’s theorem reduxπq is transcendental
Work in the setting of the Carlitz motive C with r = 1; Φ = t − θ;Ψ = Ω(t):
Ω(−1)(t) = (t − θ)Ω(t).
tr. degk(t) k(t)(Ω) = 1
The Galois group Γ in this case is Gm = GL1/Fq(t):
Gm(Fq(t)) = Fq(t)× ∼= Autσ(k(t)(Ω)/k(t))
via
γ ∈ Fq(t)×, h(t ,Ω) ∈ k(t)(Ω) ⇒ γ ∗ h(t ,Ω) = h(t ,Ωγ).
Previous theorem⇒
tr. degk k(Ψ(θ)) = tr. degk k(πq) = dim Γ = 1.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 27 / 27
![Page 53: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/53.jpg)
university-logo
Wade’s theorem reduxπq is transcendental
Work in the setting of the Carlitz motive C with r = 1; Φ = t − θ;Ψ = Ω(t):
Ω(−1)(t) = (t − θ)Ω(t).
tr. degk(t) k(t)(Ω) = 1
The Galois group Γ in this case is Gm = GL1/Fq(t):
Gm(Fq(t)) = Fq(t)× ∼= Autσ(k(t)(Ω)/k(t))
via
γ ∈ Fq(t)×, h(t ,Ω) ∈ k(t)(Ω) ⇒ γ ∗ h(t ,Ω) = h(t ,Ωγ).
Previous theorem⇒
tr. degk k(Ψ(θ)) = tr. degk k(πq) = dim Γ = 1.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 27 / 27
![Page 54: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/54.jpg)
university-logo
Wade’s theorem reduxπq is transcendental
Work in the setting of the Carlitz motive C with r = 1; Φ = t − θ;Ψ = Ω(t):
Ω(−1)(t) = (t − θ)Ω(t).
tr. degk(t) k(t)(Ω) = 1
The Galois group Γ in this case is Gm = GL1/Fq(t):
Gm(Fq(t)) = Fq(t)× ∼= Autσ(k(t)(Ω)/k(t))
via
γ ∈ Fq(t)×, h(t ,Ω) ∈ k(t)(Ω) ⇒ γ ∗ h(t ,Ω) = h(t ,Ωγ).
Previous theorem⇒
tr. degk k(Ψ(θ)) = tr. degk k(πq) = dim Γ = 1.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 27 / 27
![Page 55: Transcendence in Positive Characteristicswc.math.arizona.edu/aws/2008/08PapanikolasSlides3.pdf · university-logo Transcendence in Positive Characteristic t-Motives and Difference](https://reader034.vdocuments.net/reader034/viewer/2022052018/6031f60d23525558cf4c76ab/html5/thumbnails/55.jpg)
university-logo
Wade’s theorem reduxπq is transcendental
Work in the setting of the Carlitz motive C with r = 1; Φ = t − θ;Ψ = Ω(t):
Ω(−1)(t) = (t − θ)Ω(t).
tr. degk(t) k(t)(Ω) = 1
The Galois group Γ in this case is Gm = GL1/Fq(t):
Gm(Fq(t)) = Fq(t)× ∼= Autσ(k(t)(Ω)/k(t))
via
γ ∈ Fq(t)×, h(t ,Ω) ∈ k(t)(Ω) ⇒ γ ∗ h(t ,Ω) = h(t ,Ωγ).
Previous theorem⇒
tr. degk k(Ψ(θ)) = tr. degk k(πq) = dim Γ = 1.
AWS 2008 (Lecture 3) t-Motives and Difference Galois Groups March 17, 2008 27 / 27