Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. ·...
Transcript of Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. ·...
![Page 1: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/1.jpg)
Geometric Iwasawa theory and modularforms (mod p)
Bryden Cais
CMS Winter Meeting, December 7, 2008
![Page 2: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/2.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 3: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/3.jpg)
Igusa curves
Fix a prime p.
For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 4: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/4.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 5: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/5.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curve
Q = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 6: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/6.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 7: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/7.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 8: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/8.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 9: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/9.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:
Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 10: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/10.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. points
Totally (wildly) ramified at the s.s. points
![Page 11: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/11.jpg)
Igusa curves
Fix a prime p.For r ≥ 0, the Igusa curve Ig(pr ) of level pr is the modulispace of pairs (E , Q)
E = A generalized elliptic curveQ = A point of E (pn) generating the kernel of V n : E (pn) → E
Ig(pr ) is a smooth projective curve /Fp, of genus ∼ prϕ(pr )
There are natural quotient maps
πr : Ig(pr+1)→ Ig(pr ), πr (E , Q) = (E , V (Q))
making Ig(pr ) a Galois cover of Ig(p) with Galois group
Z/pr−1Z ' 〈1 + p〉 ⊆ (Z/pr Z)×
For r > 0, the maps πr are:Of degree p and unramified outside the s.s. pointsTotally (wildly) ramified at the s.s. points
![Page 12: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/12.jpg)
Igusa curves and modular forms (mod p)
For k ≥ 0, put
Sk := Cuspforms of level 1 and weight k over Fp
Theorem (Serre)
1 Fork ≥ 2, there is a natural injective map
Sk → H0(Ig(p),Ω1((k − p)ss)).
2 There is a canonical isomorphismp⊕
k=2
Sk ' H0(Ig(p),Ω1).
![Page 13: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/13.jpg)
Igusa curves and modular forms (mod p)
For k ≥ 0, put
Sk := Cuspforms of level 1 and weight k over Fp
Theorem (Serre)
1 Fork ≥ 2, there is a natural injective map
Sk → H0(Ig(p),Ω1((k − p)ss)).
2 There is a canonical isomorphismp⊕
k=2
Sk ' H0(Ig(p),Ω1).
![Page 14: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/14.jpg)
Igusa curves and modular forms (mod p)
For k ≥ 0, put
Sk := Cuspforms of level 1 and weight k over Fp
Theorem (Serre)
1 Fork ≥ 2, there is a natural injective map
Sk → H0(Ig(p),Ω1((k − p)ss)).
2 There is a canonical isomorphismp⊕
k=2
Sk ' H0(Ig(p),Ω1).
![Page 15: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/15.jpg)
Igusa curves and modular forms (mod p)
For k ≥ 0, put
Sk := Cuspforms of level 1 and weight k over Fp
Theorem (Serre)
1 Fork ≥ 2, there is a natural injective map
Sk → H0(Ig(p),Ω1((k − p)ss)).
2 There is a canonical isomorphismp⊕
k=2
Sk ' H0(Ig(p),Ω1).
![Page 16: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/16.jpg)
Igusa curves and modular forms (mod p)
For k ≥ 0, put
Sk := Cuspforms of level 1 and weight k over Fp
Theorem (Serre)
1 Fork ≥ 2, there is a natural injective map
Sk → H0(Ig(p),Ω1((k − p)ss)).
2 There is a canonical isomorphismp⊕
k=2
Sk ' H0(Ig(p),Ω1).
![Page 17: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/17.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.
Consider the Igusa tower:The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 18: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/18.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 19: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/19.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:... Ig(pr+1) Ig(p)Ig(pr) Ig(p2)...
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 20: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/20.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:
Γ2
Ig(pr+1) Ig(p)Ig(pr) Ig(p2)......
Γ1ΓrΓr+1
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 21: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/21.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:
Γ2
Ig(pr+1) Ig(p)Ig(pr) Ig(p2)......
Γ1ΓrΓr+1
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].
Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 22: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/22.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:
Γ2
Ig(pr+1) Ig(p)Ig(pr) Ig(p2)......
Γ1ΓrΓr+1
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 23: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/23.jpg)
Differential forms on the Igusa tower
Let Γ := 〈1 + p〉 ⊆ Z×p and Γr := 〈1 + pr 〉 ⊆ Γ.Consider the Igusa tower:
Γ2
Ig(pr+1) Ig(p)Ig(pr) Ig(p2)......
Γ1ΓrΓr+1
The Fp-vector space of global differentials with simplepoles at the s.s. points
H0(Ig(pr ),Ω1(ss))
is naturally a module over the group ring Fp[Γ/Γr ].Bytrace of forms, we obtain an Fp[[Γ]]-module
M := lim←−r
H0(Ig(pr ),Ω1(ss))
Question: What is the structure of M as a Fp[[Γ]]-module?
![Page 24: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/24.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 25: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/25.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 26: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/26.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 27: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/27.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 28: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/28.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 29: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/29.jpg)
Unfortunately...
M is not a finite Fp[[Γ]]-module:
Theorem
For m ∈ Z, there is a canonical isomorphism
H0(Ig(pr ),Ω1((pr m)ss))Γ/Γr ' H0(Ig(p),Ω1((pr + (m − 1)p)ss)).
In particular,
dimFp H0(Ig(pr ),Ω1)Γ/Γr = (pr − p)#ss + genus(Ig(p))− 1.
Proof.
π : Ig(pr )→ Ig(p) is unramified outside ss, soπ∗(Ω1
Ig(p)) = Ω1Ig(pr ) ⊗I N
ss .
Now use formal groups on supersingular elliptic curves tocalculate N (see Katz-Mazur, §12).
![Page 30: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/30.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)).
Recall:
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 31: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/31.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 32: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/32.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 33: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/33.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 34: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/34.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 35: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/35.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 36: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/36.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)
ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 37: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/37.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1
Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 38: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/38.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)
Cω = ω if and only if ω = dff for some meromorphic f
By Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 39: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/39.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic f
By Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 40: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/40.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 41: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/41.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 42: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/42.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = dff can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 43: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/43.jpg)
Semisimple differentials and the Cartier operator
For m ≥ 0, put Mr (m) := H0(Ig(pr ),Ω1(m · ss)). Recall:
→Sk
Up C
H0(Ig(p), Ω1((k − p)ss))
The Cartier operator is a linear map C : Mr (m)→ Mr (m)ordx(Cω) ≥ ordx(ω) with equality iff ordx(ω) = −1Resx(Cω)p = Resx(ω)Cω = ω if and only if ω = df
f for some meromorphic fBy Hasse-Witt theory:
Mr (m) = Mr (m)ord ⊕Mr (m)nil
Mr (m)ord := spanFpω ∈ Mr (m) : Cω = ω
Mr (m)nil :=ω ∈ Mr (m) : C jω = 0 for some j ≥ 0
Since ω = df
f can only have simple poles, for all m ≥ 1:
Mr (m)ord = Mr (1)ord
![Page 44: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/44.jpg)
Main results
Theorem
Let Mord := lim←−rMr (m)ord ⊆ M. This is independent of m ≥ 1.
For each r ≥ 1 we have isomorphisms of Fp[Γ/Γr ]-modules
Mord ⊗Fp[[Γ]]
Fp[Γ/Γr ] ' H0(Ig(pr ),Ω1(ss))ord
The Fp[[Γ]]-module Mord is finite free of rank
dimFp H0(Ig(p),Ω1(ss))ord
![Page 45: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/45.jpg)
Main results
Theorem
Let Mord := lim←−rMr (m)ord ⊆ M. This is independent of m ≥ 1.
For each r ≥ 1 we have isomorphisms of Fp[Γ/Γr ]-modules
Mord ⊗Fp[[Γ]]
Fp[Γ/Γr ] ' H0(Ig(pr ),Ω1(ss))ord
The Fp[[Γ]]-module Mord is finite free of rank
dimFp H0(Ig(p),Ω1(ss))ord
![Page 46: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/46.jpg)
Main results
Theorem
Let Mord := lim←−rMr (m)ord ⊆ M. This is independent of m ≥ 1.
For each r ≥ 1 we have isomorphisms of Fp[Γ/Γr ]-modules
Mord ⊗Fp[[Γ]]
Fp[Γ/Γr ] ' H0(Ig(pr ),Ω1(ss))ord
The Fp[[Γ]]-module Mord is finite free of rank
dimFp H0(Ig(p),Ω1(ss))ord
![Page 47: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/47.jpg)
Main results
Theorem
Let Mord := lim←−rMr (m)ord ⊆ M. This is independent of m ≥ 1.
For each r ≥ 1 we have isomorphisms of Fp[Γ/Γr ]-modules
Mord ⊗Fp[[Γ]]
Fp[Γ/Γr ] ' H0(Ig(pr ),Ω1(ss))ord
The Fp[[Γ]]-module Mord is finite free of rank
dimFp H0(Ig(p),Ω1(ss))ord
![Page 48: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/48.jpg)
Main results
Theorem
Let Mord := lim←−rMr (m)ord ⊆ M. This is independent of m ≥ 1.
For each r ≥ 1 we have isomorphisms of Fp[Γ/Γr ]-modules
Mord ⊗Fp[[Γ]]
Fp[Γ/Γr ] ' H0(Ig(pr ),Ω1(ss))ord
The Fp[[Γ]]-module Mord is finite free of rank
dimFp H0(Ig(p),Ω1(ss))ord
![Page 49: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/49.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 50: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/50.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G.
LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 51: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/51.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.
Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 52: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/52.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 53: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/53.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 54: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/54.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.
Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 55: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/55.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d .
SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 56: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/56.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .
Now α is injective since G is a p-group and α is injective.By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 57: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/57.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 58: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/58.jpg)
Proof-sketch
Theorem (Nakajima)
Let π : X → Y/Fp be a Galois cover of curves with group G. LetS ⊆ Y be the ramification points of π and assume #G = pm.Then H0(X ,Ω1(π−1(S)))ord is a free Fp[G]-module of rankd := dimFp H0(Y ,Ω1(S))ord
Proof.
Put M = H0(X ,Ω1(π−1(S)))ord, so MG = H0(Y ,Ω1(S))ord.Consider the map of Fp[G]-mods α : MG → Fp[G]d . SinceFp[G] is injective over itself, α extends to
α : M → Fp[G]d .Now α is injective since G is a p-group and α is injective.
By the Deuring-Shafaravich formula, dimFp M = #G · dimFp MG
so α must be surjective too.
![Page 59: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/59.jpg)
Relation to Mazur-Wiles
Put Jr := Jac(Ig(pr ))
Mazur-Wiles study the Λ := lim←−rZp[Γ/Γr ]-module:
M = lim←−r
Hom(lim−→m
Jr [pm](Fp), Qp/Zp)
They show that M is a finite Λ-torsion module and isintimately related to the Kubota-Leopoldt p-adic L-function.
Theorem
There is a canonical isomorphism of Fp[[Γ]]-modules
Mord ' M/pM.
Proof.
By geometric class field theory, Jr [p](Fp) ' H0(Xr ,Ω1)ord.
![Page 60: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/60.jpg)
Relation to Mazur-Wiles
Put Jr := Jac(Ig(pr ))
Mazur-Wiles study the Λ := lim←−rZp[Γ/Γr ]-module:
M = lim←−r
Hom(lim−→m
Jr [pm](Fp), Qp/Zp)
They show that M is a finite Λ-torsion module and isintimately related to the Kubota-Leopoldt p-adic L-function.
Theorem
There is a canonical isomorphism of Fp[[Γ]]-modules
Mord ' M/pM.
Proof.
By geometric class field theory, Jr [p](Fp) ' H0(Xr ,Ω1)ord.
![Page 61: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/61.jpg)
Relation to Mazur-Wiles
Put Jr := Jac(Ig(pr ))
Mazur-Wiles study the Λ := lim←−rZp[Γ/Γr ]-module:
M = lim←−r
Hom(lim−→m
Jr [pm](Fp), Qp/Zp)
They show that M is a finite Λ-torsion module and isintimately related to the Kubota-Leopoldt p-adic L-function.
Theorem
There is a canonical isomorphism of Fp[[Γ]]-modules
Mord ' M/pM.
Proof.
By geometric class field theory, Jr [p](Fp) ' H0(Xr ,Ω1)ord.
![Page 62: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/62.jpg)
Relation to Mazur-Wiles
Put Jr := Jac(Ig(pr ))
Mazur-Wiles study the Λ := lim←−rZp[Γ/Γr ]-module:
M = lim←−r
Hom(lim−→m
Jr [pm](Fp), Qp/Zp)
They show that M is a finite Λ-torsion module and isintimately related to the Kubota-Leopoldt p-adic L-function.
Theorem
There is a canonical isomorphism of Fp[[Γ]]-modules
Mord ' M/pM.
Proof.
By geometric class field theory, Jr [p](Fp) ' H0(Xr ,Ω1)ord.
![Page 63: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/63.jpg)
Relation to Mazur-Wiles
Put Jr := Jac(Ig(pr ))
Mazur-Wiles study the Λ := lim←−rZp[Γ/Γr ]-module:
M = lim←−r
Hom(lim−→m
Jr [pm](Fp), Qp/Zp)
They show that M is a finite Λ-torsion module and isintimately related to the Kubota-Leopoldt p-adic L-function.
Theorem
There is a canonical isomorphism of Fp[[Γ]]-modules
Mord ' M/pM.
Proof.
By geometric class field theory, Jr [p](Fp) ' H0(Xr ,Ω1)ord.
![Page 64: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/64.jpg)
Further Questions
Recall that M = Mord ⊕Mnil.
For s ≥ 1, put
Mnils :=
ω ∈ Mnil : Csω = 0
.
This gives a Fp[[Γ]]-filtration
Mnil1 ⊆ Mnil
2 ⊆ · · · ⊆ Mnils ⊆ · · ·
Problem: For each s ≥ 1, describe the quotient
grs(Mnil) := Mnil
s /Mnils−1
as Fp[[Γ]]-module.
Relation to modular forms (mod p)?
![Page 65: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/65.jpg)
Further Questions
Recall that M = Mord ⊕Mnil. For s ≥ 1, put
Mnils :=
ω ∈ Mnil : Csω = 0
.
This gives a Fp[[Γ]]-filtration
Mnil1 ⊆ Mnil
2 ⊆ · · · ⊆ Mnils ⊆ · · ·
Problem: For each s ≥ 1, describe the quotient
grs(Mnil) := Mnil
s /Mnils−1
as Fp[[Γ]]-module.
Relation to modular forms (mod p)?
![Page 66: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/66.jpg)
Further Questions
Recall that M = Mord ⊕Mnil. For s ≥ 1, put
Mnils :=
ω ∈ Mnil : Csω = 0
.
This gives a Fp[[Γ]]-filtration
Mnil1 ⊆ Mnil
2 ⊆ · · · ⊆ Mnils ⊆ · · ·
Problem: For each s ≥ 1, describe the quotient
grs(Mnil) := Mnil
s /Mnils−1
as Fp[[Γ]]-module.
Relation to modular forms (mod p)?
![Page 67: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/67.jpg)
Further Questions
Recall that M = Mord ⊕Mnil. For s ≥ 1, put
Mnils :=
ω ∈ Mnil : Csω = 0
.
This gives a Fp[[Γ]]-filtration
Mnil1 ⊆ Mnil
2 ⊆ · · · ⊆ Mnils ⊆ · · ·
Problem: For each s ≥ 1, describe the quotient
grs(Mnil) := Mnil
s /Mnils−1
as Fp[[Γ]]-module.
Relation to modular forms (mod p)?
![Page 68: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/68.jpg)
Further Questions
Recall that M = Mord ⊕Mnil. For s ≥ 1, put
Mnils :=
ω ∈ Mnil : Csω = 0
.
This gives a Fp[[Γ]]-filtration
Mnil1 ⊆ Mnil
2 ⊆ · · · ⊆ Mnils ⊆ · · ·
Problem: For each s ≥ 1, describe the quotient
grs(Mnil) := Mnil
s /Mnils−1
as Fp[[Γ]]-module. Relation to modular forms (mod p)?
![Page 69: Geometric Iwasawa theory and modular forms 8mu(mod6mup)cais/Papers/Talks/CMS.pdf · 2010. 7. 9. · Geometric Iwasawa theory and modular forms (mod p) Bryden Cais CMS Winter Meeting,](https://reader034.fdocuments.us/reader034/viewer/2022051814/60382305ca1b310c182d7edd/html5/thumbnails/69.jpg)
Thank You!