本文印刷
全画面プリント
代数学コロキウム
過去の記録 ～04/18｜次回の予定｜今後の予定 04/19～
| 開催情報 | 水曜日 17:00～18:00 数理科学研究科棟(駒場) 117号室 |
|---|---|
| 担当者 | 今井 直毅，ケリー シェーン |
2010年05月12日(水)
17:30-18:30 数理科学研究科棟(駒場) 056号室
松本 眞 氏 (東京大学数理科学研究科)
Differences between
Galois representations in outer-automorphisms
of the fundamental groups and those in automorphisms, implied by
topology of moduli spaces (ENGLISH)
松本 眞 氏 (東京大学数理科学研究科)
Differences between
Galois representations in outer-automorphisms
of the fundamental groups and those in automorphisms, implied by
topology of moduli spaces (ENGLISH)
[ 講演概要 ]
Fix a prime l. Let C be a proper smooth geometrically connected curve over a number field K, and x be its closed point. Let Π denote the pro-l completion of the geometric fundamental group of C with geometric base point over x. We have two non-abelian Galois representations:
ρA : Galk(x) → Aut(Π),ρO : GalK → Out(Π).
Our question is: in the natural inclusion Ker(ρA) ⊂ Ker(ρO) ∩ Galk(x), whether the equality holds or not. Theorem: Assume that g ≥ 3, l divides 2g -2. Then, there are infinitely many pairs (C, K) with the following property. If l does not divide the extension degree [k(x): K], then Ker(ρA) = (Ker(ρO) ∩ Galk(x)) holds.
This is in contrast to the case of the projective line minus three points and its canonical tangential base points, where the equality holds (a result of Deligne and Ihara).
There are two ingredients in the proof: (1) Galois representations often contain the image of the geometric monodromy (namely, the mapping class group) [M-Tamagawa 2000] (2) A topological result [S. Morita 98] [Hain-Reed 2000] on the cohomological obstruction of lifting the outer action of the mapping class group to automorphisms.
(This lecture is held as `Arithmetic Geometry Seminar Tokyo-Paris' and it is transmitted to IHES by the internet.)
Fix a prime l. Let C be a proper smooth geometrically connected curve over a number field K, and x be its closed point. Let Π denote the pro-l completion of the geometric fundamental group of C with geometric base point over x. We have two non-abelian Galois representations:
ρA : Galk(x) → Aut(Π),ρO : GalK → Out(Π).
Our question is: in the natural inclusion Ker(ρA) ⊂ Ker(ρO) ∩ Galk(x), whether the equality holds or not. Theorem: Assume that g ≥ 3, l divides 2g -2. Then, there are infinitely many pairs (C, K) with the following property. If l does not divide the extension degree [k(x): K], then Ker(ρA) = (Ker(ρO) ∩ Galk(x)) holds.
This is in contrast to the case of the projective line minus three points and its canonical tangential base points, where the equality holds (a result of Deligne and Ihara).
There are two ingredients in the proof: (1) Galois representations often contain the image of the geometric monodromy (namely, the mapping class group) [M-Tamagawa 2000] (2) A topological result [S. Morita 98] [Hain-Reed 2000] on the cohomological obstruction of lifting the outer action of the mapping class group to automorphisms.
(This lecture is held as `Arithmetic Geometry Seminar Tokyo-Paris' and it is transmitted to IHES by the internet.)
