Searcharxiv⌕ Search

arXiv subjects

Makoto Matsumoto

Publications and source records attributed to Makoto Matsumoto.

23 records · Page 2Linked to original sources
arXiv2009

Relative Pro-$\ell$ Completions of Mapping Class Groups

Fix a prime number ell. In this paper we develop the theory of relative pro-ell completion of discrete and profinite groups -- a natural generalization of the classical notion of pro-ell completion -- and show that the pro-ell completion of the Torelli group does not inject into the relative pro-ell completion of the corresponding mapping class group when the genus is at least 3. As an application, we prove that when g > 2, the action of the pro-ell completion of the Torelli group T_{g,1} on the pro-ell fundamental group of a pointed genus g surface is not faithful. The choice of a first-order deformation of a maximally degenerate stable curve of genus g determines an action of the absolute Galois group G_Q on the relative pro-ell completion of the corresponding mapping class group. We prove that for all g all such representations are unramified at all primes \neq ell when the first order deformation is suitably chosen. This proof was communicated to us by Mochizuki and Tamagawa.

math.NT↗
arXiv2003

Galois actions on fundamental groups of curves and the cycle $C-C^-$

Suppose that C is a smooth, projective, geometrically connected curve of genus g > 2 defined over a number field K. Suppose that x is a K-rational point of C. Denote the Lie algebra of the unipotent completion (over Q_ell) of the fundamental group of the corresponding complex analytic curve by p(C,x). This is acted on by both G_K (the Galois group of K) and Gamma, the mapping class group of the pointed complex curve. In this paper we show that the algebraic cycle C_x-C_x^- in the jacobian of C controls the size of the image of G_K in Aut p(C,x). More precisely, we give necessary and sufficient conditions, in terms of two Galois cohomology classes determined by this cycle, for the Zariski closure of the image of G_K in Aut p(C,x) to contain the image of the mapping class group. We also prove an equivalent version for the pro-ell fundamental group, an unpointed version, and a Galois analogue of the Harris-Pulte Theorem.

math.NT↗
arXiv2001

Weighted Completion of Galois Groups and Galois Actions on the Fundamental Group of P^1 - {0,1,infinity}

This is a revision of the paper that was previously entitled "Weighted Completion of Galois Groups and Some Conjectures of Deligne". Fix a prime number $ł$. We prove a conjecture stated by Ihara, which he attributes to Deligne, about the action of the absolute Galois group on the pro-$ł$ completion of the fundamental group of the thrice punctured projective line. Similar techniques are also used to prove part of a conjecture of Goncharov, also about the action of the absolute Galois group on the fundamental group of the thrice punctured projective line. The main technical tool is the weighted completion of a profinite group with respect to a reductive representation (and other appropriate data). This theory is developed in this paper.

math.AG↗