Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental...
Transcript of Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental...
![Page 1: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/1.jpg)
Fundamental groups and moduli of curvesin positive characteristic
On the occasion of Professor Oort’s “sanju” (傘寿)
November 10, 2015
Akio Tamagawa(RIMS, Kyoto Univ.)
1
![Page 2: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/2.jpg)
Fundamental groups and moduli of curvesin positive characteristic
On the occasion of Professor Oort’s “sanju” (傘寿)
November 10, 2015
Akio Tamagawa(RIMS, Kyoto Univ.)
2
![Page 3: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/3.jpg)
§1. Case of abelian varieties.
k = k, of char. p ≥ 0A: abelian variety over k, g := dim(A)Λg := πtop
1 ((R/Z)2g) = Z2g
3
![Page 4: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/4.jpg)
§1. Case of abelian varieties.
k = k, of char. p ≥ 0A: abelian variety over k, g := dim(A)Λg := πtop
1 ((R/Z)2g) = Z2g
Then
π1(A) ≃ Λg = Z2g (p = 0)
Λg ։ π1(A) = π1(A)(p′) × π1(A)(p) ≃ Λg
(p′)× (Zp)
f ≃ (Z(p′))2g × (Zp)f
(p > 0)
4
![Page 5: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/5.jpg)
§1. Case of abelian varieties.
k = k, of char. p ≥ 0A: abelian variety over k, g := dim(A)Λg := πtop
1 ((R/Z)2g) = Z2g
Then
π1(A) ≃ Λg = Z2g (p = 0)
Λg ։ π1(A) = π1(A)(p′) × π1(A)(p) ≃ Λg
(p′)× (Zp)
f ≃ (Z(p′))2g × (Zp)f
(p > 0)where
Γ: profinite completion of a group ΓG(p): maximal pro-p quotient of a profinite group GG(p′): maximal pro-prime-to-p quotient of a profinite group Gf : p-rank of A (0 ≤ f ≤ g)
5
![Page 6: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/6.jpg)
§1. Case of abelian varieties.
k = k, of char. p ≥ 0A: abelian variety over k, g := dim(A)Λg := πtop
1 ((R/Z)2g) = Z2g
Then
π1(A) ≃ Λg = Z2g (p = 0)
Λg ։ π1(A) = π1(A)(p′) × π1(A)(p) ≃ Λg
(p′)× (Zp)
f ≃ (Z(p′))2g × (Zp)f
(p > 0)where
Γ: profinite completion of a group ΓG(p): maximal pro-p quotient of a profinite group GG(p′): maximal pro-prime-to-p quotient of a profinite group Gf : p-rank of A (0 ≤ f ≤ g)
Thus (setting f = − for p = 0)
{π1(A) | k, A: as above}/ ≃1:1←→ {(p, g, f)}
6
![Page 7: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/7.jpg)
Ag,k: coarse moduli space of g-dim. (polarized) abelian varieties over k(dim(Ag,k) = g(g + 1)/2)π1: |Ag,k| → {(abelian) profinite groups}/ ≃, x 7→ π1(Ax)
7
![Page 8: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/8.jpg)
Ag,k: coarse moduli space of g-dim. (polarized) abelian varieties over k(dim(Ag,k) = g(g + 1)/2)π1: |Ag,k| → {(abelian) profinite groups}/ ≃, x 7→ π1(Ax)
p = 0: π1 is constant on |Ag,k|.
8
![Page 9: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/9.jpg)
Ag,k: coarse moduli space of g-dim. (polarized) abelian varieties over k(dim(Ag,k) = g(g + 1)/2)π1: |Ag,k| → {(abelian) profinite groups}/ ≃, x 7→ π1(Ax)
p = 0: π1 is constant on |Ag,k|.
p > 0: Ag,k =∐
0≤f≤g Sg,f,k & π1 is constant on |Sg,f,k|, where Sg,f,k isthe moduli space of g-dim. abelian varieties of p-rank f over k.
9
![Page 10: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/10.jpg)
Ag,k: coarse moduli space of g-dim. (polarized) abelian varieties over k(dim(Ag,k) = g(g + 1)/2)π1: |Ag,k| → {(abelian) profinite groups}/ ≃, x 7→ π1(Ax)
p = 0: π1 is constant on |Ag,k|.
p > 0: Ag,k =∐
0≤f≤g Sg,f,k & π1 is constant on |Sg,f,k|, where Sg,f,k isthe moduli space of g-dim. abelian varieties of p-rank f over k.
Sg,f,k is locally closed of codim. g−f ([Norman-Oort1980], cf. Pries’s talk).
10
![Page 11: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/11.jpg)
§2. Geometric fundamental groups of curves.
k = k, of char. p ≥ 0Xcpt: proper smooth connected curve over k, g := genus(Xcpt)S ⊂ (Xcpt)cl, r := ♯(S) < ∞X := Xcpt
r S (or, more precisely, (Xcpt, S)), called (g, r)-curve
11
![Page 12: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/12.jpg)
§2. Geometric fundamental groups of curves.
k = k, of char. p ≥ 0Xcpt: proper smooth connected curve over k, g := genus(Xcpt)S ⊂ (Xcpt)cl, r := ♯(S) < ∞X := Xcpt
r S (or, more precisely, (Xcpt, S)), called (g, r)-curve
Πg,r := πtop1 (Σg,r)
≃ 〈α1, . . . , αg, β1, . . . , βg, γ1, . . . , γr | [α1, β1] . . . [αg, βg]γ1 . . . γr = 1〉(Σg,r: compact orientable topological surface of genus g minus r points)For r > 0, Πg,r ≃ Fb, b = 2g + r − 1
12
![Page 13: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/13.jpg)
§2. Geometric fundamental groups of curves.
k = k, of char. p ≥ 0Xcpt: proper smooth connected curve over k, g := genus(Xcpt)S ⊂ (Xcpt)cl, r := ♯(S) < ∞X := Xcpt
r S (or, more precisely, (Xcpt, S)), called (g, r)-curve
Πg,r := πtop1 (Σg,r)
≃ 〈α1, . . . , αg, β1, . . . , βg, γ1, . . . , γr | [α1, β1] . . . [αg, βg]γ1 . . . γr = 1〉(Σg,r: compact orientable topological surface of genus g minus r points)For r > 0, Πg,r ≃ Fb, b = 2g + r − 1
Then
π1(X) ≃ Πg,r (p = 0)
13
![Page 14: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/14.jpg)
§2. Geometric fundamental groups of curves.
k = k, of char. p ≥ 0Xcpt: proper smooth connected curve over k, g := genus(Xcpt)S ⊂ (Xcpt)cl, r := ♯(S) < ∞X := Xcpt
r S (or, more precisely, (Xcpt, S)), called (g, r)-curve
Πg,r := πtop1 (Σg,r)
≃ 〈α1, . . . , αg, β1, . . . , βg, γ1, . . . , γr | [α1, β1] . . . [αg, βg]γ1 . . . γr = 1〉(Σg,r: compact orientable topological surface of genus g minus r points)For r > 0, Πg,r ≃ Fb, b = 2g + r − 1
Then
π1(X) ≃ Πg,r (p = 0)
Πg,r ։ πt1(X) ։ π1(X)(p
′) × π1(Xcpt)(p) ≃ Πg,r
(p′)× Ff
(p)(p > 0)
where
f : p-rank of J = Jac(Xcpt) (0 ≤ f ≤ g)
14
![Page 15: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/15.jpg)
Thus, for p = 0,
{π1(X) | k, X: as above}/ ≃1:1←→ {{(0, 0), (0, 1)}, {(g, 0)}(g > 0), {(g, r) | r > 0, 2g + r − 1 = b}(b > 0)}և {(g, r)}
15
![Page 16: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/16.jpg)
Thus, for p = 0,
{π1(X) | k, X: as above}/ ≃1:1←→ {{(0, 0), (0, 1)}, {(g, 0)}(g > 0), {(g, r) | r > 0, 2g + r − 1 = b}(b > 0)}և {(g, r)}
For p > 0, the description of the whole π1(X) or the whole πt1(X) is not
known, except for the following very special cases:
16
![Page 17: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/17.jpg)
Thus, for p = 0,
{π1(X) | k, X: as above}/ ≃1:1←→ {{(0, 0), (0, 1)}, {(g, 0)}(g > 0), {(g, r) | r > 0, 2g + r − 1 = b}(b > 0)}և {(g, r)}
For p > 0, the description of the whole π1(X) or the whole πt1(X) is not
known, except for the following very special cases:
(g, r) = (0, 0) =⇒ π1(X) = πt1(X) = {1}
(g, r) = (0, 1) =⇒ πt1(X) = {1}
(g, r) = (0, 2) =⇒ πt1(X) ≃ Z(p′)
(g, r) = (1, 0) =⇒ π1(X) = πt1(X) ≃ (Z(p′))2 × (Zp)
f
17
![Page 18: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/18.jpg)
Expectation
Assume p > 0. Then:(i) π1(X) determines the ≃-class of X, if r > 0.(ii) π1(X) determines the ∼-class of X, unless (g, r) = (0, 0), (1, 0).(iii) πt
1(X) determines the ∼-class of X, unless (g, r) = (0, 0), (0, 1), (1, 0).
18
![Page 19: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/19.jpg)
Expectation
Assume p > 0. Then:(i) π1(X) determines the ≃-class of X, if r > 0.(ii) π1(X) determines the ∼-class of X, unless (g, r) = (0, 0), (1, 0).(iii) πt
1(X) determines the ∼-class of X, unless (g, r) = (0, 0), (0, 1), (1, 0).
Here,
(X/k) ≃ (X ′/k′)def⇐⇒ X ≃ X ′ as schemes.
(X/k) ∼ (X ′/k′)def⇐⇒ ∃X1/k1, k → k1 ← k′, s.t. X1 ≃
k1
X ×k k1 & X1 ≃k1
X ′ ×k′ k1
⇐⇒ ∃X0/k0, k ← k0 → k′, s.t. X0 ×k0k ≃
kX & X0 ×k0
k′ ≃k′
X ′
⇐⇒ the images (which are scheme-theoretic points) in M :=∐
(g,r) Mg,[r]
of the classifying morphisms for X/k and X ′/k′ coincide, where Mg,[r] isthe coarse moduli space of (g, r)-curves over Z. (M0,[0] = M0,[1] =
M0,[2] = M0,[3] = Spec(Z), M1,[0] = M1,[1] = Spec(Z[j]))
Remark: (X/k) ≃ (X ′/k′) ⇐⇒ (X/k) ∼ (X ′/k′) & k ≃ k′.
19
![Page 20: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/20.jpg)
Mg,[r],Fp: coarse moduli space of (g, r)-curves over Fp (F0 := Q)
(dim(Mg,[r],Fp) = 3g − 3 + r, unless (g, r) = (0, 0), (0, 1), (0, 2), (1, 0))
20
![Page 21: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/21.jpg)
Mg,[r],Fp: coarse moduli space of (g, r)-curves over Fp (F0 := Q)
(dim(Mg,[r],Fp) = 3g − 3 + r, unless (g, r) = (0, 0), (0, 1), (0, 2), (1, 0))
πt1: |Mg,[r],Fp
| → {profinite groups}/ ≃, x 7→ πt1(Xx)
(When p = 0 or r = 0, π1 = πt1.)
21
![Page 22: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/22.jpg)
Mg,[r],Fp: coarse moduli space of (g, r)-curves over Fp (F0 := Q)
(dim(Mg,[r],Fp) = 3g − 3 + r, unless (g, r) = (0, 0), (0, 1), (0, 2), (1, 0))
πt1: |Mg,[r],Fp
| → {profinite groups}/ ≃, x 7→ πt1(Xx)
(When p = 0 or r = 0, π1 = πt1.)
p = 0: π1 = πt1 is constant on |Mg,[r],Fp
|.
22
![Page 23: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/23.jpg)
Mg,[r],Fp: coarse moduli space of (g, r)-curves over Fp (F0 := Q)
(dim(Mg,[r],Fp) = 3g − 3 + r, unless (g, r) = (0, 0), (0, 1), (0, 2), (1, 0))
πt1: |Mg,[r],Fp
| → {profinite groups}/ ≃, x 7→ πt1(Xx)
(When p = 0 or r = 0, π1 = πt1.)
p = 0: π1 = πt1 is constant on |Mg,[r],Fp
|.
p > 0: Expectation (iii) =⇒ πt1 is injective!
23
![Page 24: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/24.jpg)
§3. Previous results.
From now on, we always assume p > 0.
24
![Page 25: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/25.jpg)
§3. Previous results.
From now on, we always assume p > 0.
Theorem 1
(i) ([T1999]) π1(X) determines p, g, r, f , inertia groups, πt1(X), π1(X
cpt),unless (g, r) = (0, 0).(ii) ([Bouw1998] (thesis under Prof. Oort), [T2003]) πt
1(X) determines p, g,r, f , inertia groups, π1(X
cpt), unless (g, r) = (0, 0), (0, 1).
25
![Page 26: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/26.jpg)
§3. Previous results.
From now on, we always assume p > 0.
Theorem 1
(i) ([T1999]) π1(X) determines p, g, r, f , inertia groups, πt1(X), π1(X
cpt),unless (g, r) = (0, 0).(ii) ([Bouw1998] (thesis under Prof. Oort), [T2003]) πt
1(X) determines p, g,r, f , inertia groups, π1(X
cpt), unless (g, r) = (0, 0), (0, 1).
Proof. The main difficulty is to separate g and r from b = 2g + r − 1.
26
![Page 27: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/27.jpg)
§3. Previous results.
From now on, we always assume p > 0.
Theorem 1
(i) ([T1999]) π1(X) determines p, g, r, f , inertia groups, πt1(X), π1(X
cpt),unless (g, r) = (0, 0).(ii) ([Bouw1998] (thesis under Prof. Oort), [T2003]) πt
1(X) determines p, g,r, f , inertia groups, π1(X
cpt), unless (g, r) = (0, 0), (0, 1).
Proof. The main difficulty is to separate g and r from b = 2g + r − 1.
For (i), this is elementary by comparing the Riemann-Hurwitz formula forgenus and the Deuring-Shafarevich formula for p-rank.
27
![Page 28: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/28.jpg)
§3. Previous results.
From now on, we always assume p > 0.
Theorem 1
(i) ([T1999]) π1(X) determines p, g, r, f , inertia groups, πt1(X), π1(X
cpt),unless (g, r) = (0, 0).(ii) ([Bouw1998] (thesis under Prof. Oort), [T2003]) πt
1(X) determines p, g,r, f , inertia groups, π1(X
cpt), unless (g, r) = (0, 0), (0, 1).
Proof. The main difficulty is to separate g and r from b = 2g + r − 1.
For (i), this is elementary by comparing the Riemann-Hurwitz formula forgenus and the Deuring-Shafarevich formula for p-rank.
For (ii), we prove a certain limit formula to the effect that (for r > 1)
average of p-rank of cyclic covers → g (covering degree → ∞)
by establishing a ramified version of Raynaud’s theory of vector bundles Band theta divisors Θ (cf. Pries’s talk). ¤
28
![Page 29: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/29.jpg)
Theorem 2
Assume g = 0 and that either X is defined over Fp or r ≤ 4. Then:(i) ([T1999]) π1(X) determines the ∼-class of X, unless r = 0.(ii) ([T2003]) πt
1(X) determines the ∼-class of X, unless r = 0, 1.
29
![Page 30: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/30.jpg)
Theorem 2
Assume g = 0 and that either X is defined over Fp or r ≤ 4. Then:(i) ([T1999]) π1(X) determines the ∼-class of X, unless r = 0.(ii) ([T2003]) πt
1(X) determines the ∼-class of X, unless r = 0, 1.
Proof. By an elementary computation, we show that the Fp-linear relationsamong the coordinates of the points of Xcpt
r X ⊂ Xcpt ≃ P1 are encodedin (certain character parts of) p-rank of cyclic covers.
30
![Page 31: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/31.jpg)
Theorem 2
Assume g = 0 and that either X is defined over Fp or r ≤ 4. Then:(i) ([T1999]) π1(X) determines the ∼-class of X, unless r = 0.(ii) ([T2003]) πt
1(X) determines the ∼-class of X, unless r = 0, 1.
Proof. By an elementary computation, we show that the Fp-linear relationsamong the coordinates of the points of Xcpt
r X ⊂ Xcpt ≃ P1 are encodedin (certain character parts of) p-rank of cyclic covers.
Applying this to a certain cyclic cover of genus 0, we recover the coordinatesthemselves. ¤
31
![Page 32: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/32.jpg)
Theorem 3 ([Raynaud2002], [Pop-Saıdi2003], [T2004])Assume that X is defined over Fp. Then:(i) π1(X) determines the ≃-class (= ∼-class) of X up to finite possibilities,unless (g, r) = (0, 0), (1, 0).(ii) πt
1(X) determines the ∼-class of X up to finite possibilities, unless(g, r) = (0, 0), (0, 1), (1, 0).
32
![Page 33: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/33.jpg)
Theorem 3 ([Raynaud2002], [Pop-Saıdi2003], [T2004])Assume that X is defined over Fp. Then:(i) π1(X) determines the ≃-class (= ∼-class) of X up to finite possibilities,unless (g, r) = (0, 0), (1, 0).(ii) πt
1(X) determines the ∼-class of X up to finite possibilities, unless(g, r) = (0, 0), (0, 1), (1, 0).
Proof. (i) is reduced to (ii). For (ii), suppose that there are infinitelymany closed points s of Mg,r,Fp
whose corresponding curves admit thesame πt
1. Then, considering the generic point η of an irreducible componentof the Zariski closure of these points and resorting to the fact that πt
1 is(topologically) finitely generated, we show that the specialization map
πt1(Xη) ։ πt
1(Xs)
is an isomorphism. So, we have only to show that, in fact, this map is neveran isomorphism.
33
![Page 34: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/34.jpg)
For this, by a standard technique of considering a sufficiently ramified finiteGalois cover, we can reduce the general case to the case r = 0 and g ≥ 2.
34
![Page 35: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/35.jpg)
For this, by a standard technique of considering a sufficiently ramified finiteGalois cover, we can reduce the general case to the case r = 0 and g ≥ 2.
Then the main ingredients of the proof are:
— Raynaud’s theory of Θ
— (a variant of) the Anderson-Indik theorem to show that Θ contains manyprime-to-p torsion points over s
— Hrushovski’s theorem to show that Θ contains few torsion points over η
— the local Torelli (cf. [Oort-Steenbrink1980])
In special cases (treated by Raynaud and Pop-Saıdi), they work perfectly.
35
![Page 36: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/36.jpg)
For this, by a standard technique of considering a sufficiently ramified finiteGalois cover, we can reduce the general case to the case r = 0 and g ≥ 2.
Then the main ingredients of the proof are:
— Raynaud’s theory of Θ
— (a variant of) the Anderson-Indik theorem to show that Θ contains manyprime-to-p torsion points over s
— Hrushovski’s theorem to show that Θ contains few torsion points over η
— the local Torelli (cf. [Oort-Steenbrink1980])
In special cases (treated by Raynaud and Pop-Saıdi), they work perfectly.
In general, we face the annoying possibility that an irreducible componentof Θ is a translate of abelian subvariety (for s and for η) or essentiallydescends to Fp (for η). To treat it, we also need
— to analyze the gonality of cyclic covers, and
— to establish the local Torelli for (generalized) Prym varieties. ¤
36
![Page 37: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/37.jpg)
Theorem 4 ([Saıdi2005])S ⊂ Mg,[r],k: connected subvariety, dim > 0, proper over k
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
37
![Page 38: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/38.jpg)
Theorem 4 ([Saıdi2005])S ⊂ Mg,[r],k: connected subvariety, dim > 0, proper over k
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. By a standard technique, we reduce the general case to the caser = 0, g ≥ 2 and that S → Mg,[r],k comes from a family of curves (over afinite ramified cover of S).
38
![Page 39: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/39.jpg)
Theorem 4 ([Saıdi2005])S ⊂ Mg,[r],k: connected subvariety, dim > 0, proper over k
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. By a standard technique, we reduce the general case to the caser = 0, g ≥ 2 and that S → Mg,[r],k comes from a family of curves (over afinite ramified cover of S).
By Raynaud’s theory of Θ, we can choose a cyclic cover of this family suchthat the corresponding family of (generalized) Prym varieties is ordinary atevery fiber.
39
![Page 40: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/40.jpg)
Theorem 4 ([Saıdi2005])S ⊂ Mg,[r],k: connected subvariety, dim > 0, proper over k
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. By a standard technique, we reduce the general case to the caser = 0, g ≥ 2 and that S → Mg,[r],k comes from a family of curves (over afinite ramified cover of S).
By Raynaud’s theory of Θ, we can choose a cyclic cover of this family suchthat the corresponding family of (generalized) Prym varieties is ordinary atevery fiber.
Then the properness assumption and the quasi-affineness of the ordinarylocus (cf. [Oort1999]) implies that this family of Prym varieties is isotrivial.
40
![Page 41: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/41.jpg)
Theorem 4 ([Saıdi2005])S ⊂ Mg,[r],k: connected subvariety, dim > 0, proper over k
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. By a standard technique, we reduce the general case to the caser = 0, g ≥ 2 and that S → Mg,[r],k comes from a family of curves (over afinite ramified cover of S).
By Raynaud’s theory of Θ, we can choose a cyclic cover of this family suchthat the corresponding family of (generalized) Prym varieties is ordinary atevery fiber.
Then the properness assumption and the quasi-affineness of the ordinarylocus (cf. [Oort1999]) implies that this family of Prym varieties is isotrivial.
Now we can resort to the (local) Torelli for Prym varieties. ¤
41
![Page 42: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/42.jpg)
§4. Recent results.
Theorem 5 ([Saıdi-T, to appear])S ⊂ Mg,[r],k: connected subvariety, dim > 0
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
42
![Page 43: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/43.jpg)
§4. Recent results.
Theorem 5 ([Saıdi-T, to appear])S ⊂ Mg,[r],k: connected subvariety, dim > 0
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. Again, we reduce the general case to the case r = 0, g ≥ 2 andthat S → Mg,[r],k comes from a family of curves X → S → Spec(k), byreplacing S with a finite ramified cover.
43
![Page 44: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/44.jpg)
§4. Recent results.
Theorem 5 ([Saıdi-T, to appear])S ⊂ Mg,[r],k: connected subvariety, dim > 0
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. Again, we reduce the general case to the case r = 0, g ≥ 2 andthat S → Mg,[r],k comes from a family of curves X → S → Spec(k), byreplacing S with a finite ramified cover.
Next, we take a model X → S → T = Spec(R) of this family, where R is afinitely generated Fp-subalgebra of k. By (the proof of) Theorem 3, we canchoose a closed point t ∈ T and construct a cover of this model for whichthe intersection of Θ with prime-to-p torsion is different over the genericpoint of St and over a closed point of St.
44
![Page 45: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/45.jpg)
§4. Recent results.
Theorem 5 ([Saıdi-T, to appear])S ⊂ Mg,[r],k: connected subvariety, dim > 0
=⇒ πt1 is non-constant on |S| ⊂ |Mg,r,k|.
Proof. Again, we reduce the general case to the case r = 0, g ≥ 2 andthat S → Mg,[r],k comes from a family of curves X → S → Spec(k), byreplacing S with a finite ramified cover.
Next, we take a model X → S → T = Spec(R) of this family, where R is afinitely generated Fp-subalgebra of k. By (the proof of) Theorem 3, we canchoose a closed point t ∈ T and construct a cover of this model for whichthe intersection of Θ with prime-to-p torsion is different over the genericpoint of St and over a closed point of St.
Now, by an elementary scheme-theoretic argument, we can conclude thatsuch a difference is also available for the generic fiber of S → T . ¤
45
![Page 46: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/46.jpg)
Theorem 6 (T, in progress)Assume p 6= 2, (g, r) = (1, 1) and that X and its 2-torsion points are definedover Fp. Then:(i) π1(X) determines the ∼-class of X.(ii) πt
1(X) determines the ∼-class of X.
46
![Page 47: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/47.jpg)
Theorem 6 (T, in progress)Assume p 6= 2, (g, r) = (1, 1) and that X and its 2-torsion points are definedover Fp. Then:(i) π1(X) determines the ∼-class of X.(ii) πt
1(X) determines the ∼-class of X.
Proof. We may write X = ErO, where (E, O) is an elliptic curve. Consider
X = E r O2← E r E[2] ։ (E r E[2])/{±1} ≃ P1
r {0, 1,∞, λ}.
47
![Page 48: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/48.jpg)
Theorem 6 (T, in progress)Assume p 6= 2, (g, r) = (1, 1) and that X and its 2-torsion points are definedover Fp. Then:(i) π1(X) determines the ∼-class of X.(ii) πt
1(X) determines the ∼-class of X.
Proof. We may write X = ErO, where (E, O) is an elliptic curve. Consider
X = E r O2← E r E[2] ։ (E r E[2])/{±1} ≃ P1
r {0, 1,∞, λ}.
As λ ∈ Fp, the moduli of X are encoded in the Fp-linear relations among{0, 1, λ}. So, the proof of Theorem 2 works basically, if we can characterizegroup-theoretically the cyclic covers of E r E[2] that come from the cycliccovers of P1
r {0, 1,∞, λ}.
48
![Page 49: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/49.jpg)
Theorem 6 (T, in progress)Assume p 6= 2, (g, r) = (1, 1) and that X and its 2-torsion points are definedover Fp. Then:(i) π1(X) determines the ∼-class of X.(ii) πt
1(X) determines the ∼-class of X.
Proof. We may write X = ErO, where (E, O) is an elliptic curve. Consider
X = E r O2← E r E[2] ։ (E r E[2])/{±1} ≃ P1
r {0, 1,∞, λ}.
As λ ∈ Fp, the moduli of X are encoded in the Fp-linear relations among{0, 1, λ}. So, the proof of Theorem 2 works basically, if we can characterizegroup-theoretically the cyclic covers of E r E[2] that come from the cycliccovers of P1
r {0, 1,∞, λ}.
This is done by using a certain property typical of elliptic curves (which isunfortunately unavailable for hyperelliptic curves). ¤
49
![Page 50: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/50.jpg)
So many thanks:
— to the organizers!
50
![Page 51: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/51.jpg)
So many thanks:
— to the organizers!
— to the audience!!
51
![Page 52: Fundamental groups and moduli of curves in positive ...bmoonen/FO80/Tamagawa.pdf · Fundamental groups and moduli of curves in positive characteristic On the occasion of Professor](https://reader034.fdocuments.us/reader034/viewer/2022050115/5f4c9681341eff34667f3498/html5/thumbnails/52.jpg)
So many thanks:
— to the organizers!
— to the audience!!
— and to Professor Oort!!!
52