=. Gl, V ) be the Zariski closure of ?. Then: 1. ? n : B n ? B n?1 is a (possibly ramied) Galois cover of smooth proper curves with group 1. The morphism C ? B is separable by Lemma A.2.3.2.1. Then the generator of the Galois group of C ? B is an hyperelliptic involution and so we can apply

. =-c/-<-i, > where i an hyperelliptic involution. Then the proof goes exactly as in

, every U ? C j,n (?) contains ?(n) (resp. ?(?(n + 1))), hence C j

, ? 1)) and use

. N-?-n, By denition of the projective system and induction (and [CT12b, Lemma 3.2] if j = 0

. F-j,n-:-x-j,n-:=-u-?c-j,n-x-u-?-x,

T. Abe, Langlands program for p-adic coecients and the petits camarades conjecture, J. reine angew. Math, 2015.

T. Abe, Langlands correspondence for isocrystals and existence of crystalline companion for curves, J. Amer. Math. Soc, vol.31, pp.921-1057, 2018.

T. Abe and D. Caro, Theory of weights in p-adic cohomology, American Journal of Mathematics, vol.140, pp.879-975, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02149881

T. Abe and H. Esnault, A Lefschetz theorem for overconvergent isocrystals with Frobenius structure

E. Ambrosi, A uniform open image theorem in positive characteristic

E. Ambrosi, Specialization of Néron-Severi groups in positive characteristic

E. Ambrosi, A note on the behaviour of the Tate conjecture under nitely generated eld extension

E. Ambrosi, Uniform boundedness of Brauer groups of forms in positive characteristic

E. Ambrosi, Specialization of p-adic monodromy groups in positive characteristic

E. Ambrosi and M. , Maximal tori of monodromy groups of F-isocrystals and applications

Y. André, On the Shafarevich and Tate conjectures for hyperkähler varieties

A. , , pp.205-248, 1996.

Y. André, Pour une théorie inconditionnelle des motifs, Publ. Math. IHES, vol.83, pp.5-49, 1996.

Y. André, Une introduction aux motifs (motifs purs, motifs mixtes, périodes), Panorama et synth`ese 17, 2004.

Y. André, Deformation et specialisation de cycle motives, Journal of the Institute of Mathematics of Jussieu, vol.4, pp.563-603, 2006.

Y. André and B. Kahn, Nilpotence, radicaux et structures monoïdales, Rendiconti del Seminario Matematico dell'Universitá di Padova 108, pp.107-291, 2002.

P. Berthelot, Cohomologie rigide et cohomologie ridige á supports propres, premiére partie

P. Berthelot, L. Breen, and W. Messing, Théorie de Dieudonné cristalline II, Lecture Notes in Mathematics, vol.930, 1982.

P. Berthelot and A. Ogus, Notes on Crystalline Cohomology, 1978.

F. Bien and A. Borel, Sous-groupe épimorphiques de groupe algebriques linéaires I, C.R. Acad. Sci. Paris, vol.315, pp.694-653, 1992.

F. Bien and A. Borel, Sous-groupe épimorphiques de groupe algebriques linéaires II, C.R. Acad. Sci, vol.315, pp.1341-1346, 1992.

M. Brion, Epimorphic subgroups of algebraic groups
URL : https://hal.archives-ouvertes.fr/hal-02020792

A. Cadoret, Note on the gonality of abstract modular curves., In "PIA 2010 -the arithmetic of fundamental groups, Contributions in Mathematical and Computational Sciences, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00862888

A. Cadoret, Motivated cycles under specialization, Groupes de Galois Géométriques et dierentiels, pp.25-55, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00862896

A. Cadoret, An open adelic image theorem for motivic representations over function elds, I.M.R.N, vol.2017, pp.1-28, 2017.

A. Cadoret, Ultraproduct Weil II for curves and integral models in compatible families of -adic local systems

A. Cadoret-;-drinfeld, L. Laorgue, and .. Abe, la conjecture des compagnons (d'après Deligne, 1156.

A. Cadoret and F. Charles, A remark on uniform boundedness of Brauer

A. Cadoret, C. Y. Hui, and A. Tamagawa, Q -versus F -coecients in the Grothendieck-Serre-Tate conjectures

A. Cadoret and A. Kret, Galois generic points on Shimura varieties, Algebra and Number Theory 10, pp.1893-1934, 2016.

A. Cadoret and A. Tamagawa, Uniform boundedness of p-primary torsion on abelian schemes, Invent. Math, vol.188, pp.83-125, 2012.

A. Cadoret and A. Tamagawa, A uniform open image theorem for -adic representations I, Duke Math. Journal, vol.161, pp.2605-2634, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00827757

A. Cadoret and A. Tamagawa, A uniform open image theorem for -adic representations II, Duke Math. Journal, vol.162, pp.2301-2344, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00862883

A. Cadoret and A. Tamagawa, Gonality of abstract modular curves in positive characteristic with an appendix Gonality, isogonality and points of bounded degree on curves

A. Cadoret and A. Tamagawa, On subgroups of GL r (F ) and representations of étale fundamental group

A. Cadoret and A. Tamagawa,

D. Caro, Sur la preservation de la surconvergence par l'image directe d'un morphisme propre et lisse, Ann. Sci. Ec. Norm. Super, vol.48, pp.131-169, 2015.

C. Chai, Families of ordinary abelian varieties: canonical coordinates, padic monodromy, Tate-linear subvarieties and Hecke orbits

F. Charles, Notes on absolute Hodge cycles

F. Charles, The Tate conjecture for K3 surfaces over nite elds, Invent. Math, vol.194, pp.119-145, 2013.

C. W. Chin, Independence of in Laorgue's Theorem, Adv. Math, vol.180, pp.64-86, 2003.

C. W. Chin, Independence of of monodromy groups, J.A.M.S, vol.17, p.723747, 2004.

A. Christensen, Specialization of Néron-Severi groups in characteristic p

B. Conrad, Chow's K/k-image and K/k-trace and the LangNéron theorem, Enseign. Math, vol.52, pp.37-108, 2006.

R. Crew, F-isocrystals and their monodromy groups, Ann. Sci. Ecole Norm. Sup, vol.25, pp.429-464, 1992.

R. Crew, The p-adic monodromy of a generic abelian scheme in characteristic p, padic methods in number theory and algebraic geometry, Contemp. Math, vol.133

. Soc, , pp.59-72, 1992.

R. Crew, Kloosterman sums and monodromy of a p-adic hypergeometric equation, Compos. Math, vol.91, pp.1-36, 1994.

R. Crew, Finiteness theorems for the cohomology of an overconvergent F-isocrystal on a curve, Ann. Sci. Ecole Norm. Sup, vol.31, pp.717-763, 1998.

M. , The monodromy groups of lisse sheaves and overconvergent Fisocrystals

A. J. De and J. ,

A. J. De and J. , Smoothness, semi-stability and alterations, Publ. Math. I.H.E.S, vol.83, p.5193, 1996.

A. J. Jong, Homomorphisms of Barsotti-Tate groups and crystals in positive characteristic, Inv. Math, vol.134, pp.301-333, 1998.

P. Deligne, Theoreme de Lefschetz et criteres de degenerescence de suites spectrales

, Publ. Math. IHES, vol.35, pp.107-126, 1968.

P. Deligne and . Théorie-de-hodge, Publ. Math. IHES, vol.II, pp.5-57, 1971.

P. Deligne, L. Conjecture-de, and . Weil, I, Publ. Math. IHES, vol.43, pp.137-252, 1974.

P. Deligne, L. Conjecture-de, and . Weil, Publ. Math. IHES, vol.II, pp.137-252, 1980.

P. Deligne, Hodge Cycles on Abelian varieties, in Hodge cycles, motives and Shimura varieties, 1982.

J. D. Dixon, M. P. Sautoy, A. Mann, and D. Segal, Analytic pro-p groups

, London Math. Soc. Lecture Note Series, vol.157, 1991.

V. Drinfeld, On a conjecture of Deligne, Moscow Math. J, vol.12, pp.515-542, 2012.

V. Drinfeld and K. Kedlaya, Slopes of indecomposable F-isocrystals, vol.13, pp.131-192, 2017.

J. Ellenberg, C. Elsholtz, C. Hall, and E. Kowalski, Non-simple abelian varieties in a family: geometric and analytic approaches, J. London Math. Soc, vol.80, pp.135-154, 2009.

J. Y. Étesse, Descente étale des F -isocristaux surconvergents et rationalité des fonctions L de schémas abéliens, Ann. Sci. École Norm. Sup, vol.35, pp.575-603, 2002.

J. Y. Étesse and B. L. Stum, Fonctions L associèes aux F -isocristaux surconvergent I. Interprétation cohomologique, Math. Ann, vol.296, p.557576, 1993.

G. Faltings, Diophantine approximation on abelian varieties, Annals of Math, vol.133, pp.549-576, 1991.

, Rational Points, 1984.

G. Frey, Curves with innitely many points of nite degree, Israel Journal of Math, vol.85, pp.79-85, 1994.

M. D. Fried and M. Jarden, Field Arithmetic, 2005.

L. Fu, On the semisimplicity of pure sheaves, Proc. Amer. Math. Soc, vol.127, pp.2529-2533, 1999.

L. Fu, Etale Cohomology Theory, Nankai Tracts in Mathematics, 2015.

W. Fulton, Intersection theory, 1998.

O. Gabber, Sur la torsion dans la cohomologie -adique d'une variété, C.R. Acad. Sci

, Paris Ser. I Math, pp.179-182, 1983.

P. Griths, J. Harris, and J. , Principles of algebraic geometry, 1994.

A. Grothendieck, On the de Rham cohomology of algebraic varieties, Publ. Math. Inst

, Hautes Etudes Sci, vol.29, pp.95-103, 0200.

A. Grothendieck, Crystals and the De Rham Cohomology of schemes, Dix exposés sur la cohomologie des schémas, pp.306-358, 1968.

A. Grothendieck, Conjectures on algebraic cycles, in Algebraic Geometry, TATA Inst. Fund. Res, pp.193-199, 1968.

U. Hartl and A. Pál, Crystalline Chebotarëv density theorems, 2018.

W. Hodge, The Theory and Applications of Harmonic Integrals, 1941.

W. Hodge, The topological invariants of algebraic varieties, Proceedings of the International Congress of Mathematicians, pp.18-192, 1950.

L. Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. Ecole Norm

. Sup, , vol.12, p.501661, 1979.

U. Jannsen, Motives, numerical equivalence and semi-simplicity, Invent. Math, vol.107, pp.447-452, 1992.

N. Katz, Slope ltrations of F-crystals, Asterisque, vol.63, pp.113-164, 1979.

N. Katz, On the calculation of some dierential galois groups, Invent. Math, vol.87, pp.13-61, 1987.

N. Katz and W. Messing, Some consequences of the Riemann hypothesis for varieties over nite elds, Invent. Math, vol.23, p.7377, 1974.

K. S. Kedlaya-;-de-gruyter, Full faithfulness for overconvergent F-isocrystals, in (refereed proceedings), Geometric Aspects of Dwork Theory, vol.II, pp.819-83, 2004.

K. S. Kedlaya, Finiteness of rigid cohomology with coecients, vol.134, pp.15-97, 2006.

K. S. Kedlaya, Fourier transforms and p-adic Weil II, Compos. Math, vol.142, pp.1426-1450, 2006.

K. S. Kedlaya, Semistable reduction for overconvergent F-isocrystals, I: Unipotence and logarithmic extensions, Compositio Mathematica, vol.143, pp.1164-1212, 2007.

K. S. Kedlaya, Notes on isocrystals, 2017.

K. S. Kedlaya, Étale and crystalline companions I, 2018.

W. Kim, K. , and M. Pera, 2-adic integral canonical models and the Tate conjecture in characteristic 2, preprint, 2015.

S. Kleiman, The standard conjectures, in Motives, vol.1, p.320, 1991.

J. Kramer-miller, The monodromy of F -isocrystals with log-decay

L. Laorgue, Chtoucas de Drinfeld et correspondance de Langlands, Invent. Math, vol.147, pp.1-241, 2002.

S. Lang and A. Néron, Rational points of abelian varieties over function elds

, J. Math, vol.81, pp.95-118, 1959.

M. Larsen and R. Pink, Determining representations from invariant dimensions, Invent. Math, vol.102, pp.377-398, 1990.

M. Larsen and R. Pink, Abelian varieties, -adic representations and -independence, Math. Ann, vol.302, pp.561-579, 1995.

C. Lazda, Incarnations of Berthelot's conjecture, J. Number Theory, vol.166, pp.137-157, 2016.

S. Lefschetz and L. , Analysis situs et la géométrie algébrique, 1924.

M. Levin, On the Group of Rational Points on Elliptic Curves Over Function Fields, Amer. J. Math, vol.90, pp.456-462, 1968.

B. and L. Stum, Cambridge Tracts in Mathematics, 2007.

M. Lieblich, D. Maulik, and A. Snowden, Finiteness of K3 surfaces and the Tate conjecture, Ann. Sci. Ec. Norm. Super, vol.2, pp.285-308, 2014.

K. and M. Pera, The Tate conjecture for K3 surfaces in odd characteristic, Invent. Math, vol.201, pp.625-668, 2015.

T. Matsusaka, The criteria for algebraic equivalence and the torsion group, Amer. J. Math, vol.79, pp.53-66, 1957.

D. Maulik and B. Poonen, Neron-Severi groups under specialization, Duke Mathematical Journal, vol.161, 2012.

J. S. Milne and É. Cohomology, Princeton Mathematical Series, 1980.

J. S. Milne, Algebraic Groups (v2.00), available at www.jmilne.org/math, 2015.

P. Monsky and G. Washnitzer, Formal cohomology I, Annals of Mathematics, vol.88, pp.181-217, 1968.

S. Mori, On Tate conjecture concerning endomorphisms of Abelian varieties, International symposium of Algebraic Geometry, pp.219-230, 1977.

B. Moonen, An introduction to Mumford-Tate group, 2004.

B. Moonen, On the Tate and Mumford-Tate conjectures in codimension one for varieties with h 2,0 = 1, Duke Math J, vol.166, pp.739-799, 2017.

B. Moonen, A remark on the Tate conjecture

M. Morrow, A note on higher direct images in crystalline cohomology, appendix to A Variational Tate Conjecture in crystalline cohomology, p.202

M. Morrow, A Variational Tate Conjecture in crystalline cohomology

N. O. Nygaard and A. Ogus, Tate's conjecture for K3 surfaces of nite height, Ann. Math, vol.122, pp.461-507, 1985.

A. Ogus, F -isocrystals and de Rham cohomology II -Convergent isocrystals, vol.51, p.765850, 1984.

M. Orr and A. N. Skorobogatov, Finiteness theorems for K3 surfaces and abelian varieties of CM type, Compositio Math, vol.154, pp.1571-1592, 2018.

A. , The p-adic monodromy group of abelian varieties over global function elds of characteristic p

R. Pink, adic algebraic monodromy groups, cocharacters, and the Mumford-Tate conjecture, J. reine Angew. Math, vol.495, pp.187-237, 1998.

B. Poonen, Gonality of modular curves in characteristic p, Mathematical Research Letters, vol.14, issue.4, 2006.

Q. Liu, Algebraic Geometry and Arithmetic Curves, Oxford Graduate Texts in Mathematics, 2006.

D. Rössler,

D. Rössler, On the group of purely inseparable points of an abelian variety dened over a function eld of positive characteristic II

N. Saavedra, Categories Tannakiennes, vol.265, 1972.

P. Samuel, Compléments á un article de Hans Grauert sur la conjecture de, Mordell. Inst. Hautes Etudes Sci. Publ. Math, vol.29, pp.55-62, 1966.

J. P. Serre, Géométrie algébrique et géométrie analytique Université de Grenoble. Annales de l'Institut Fourier 6, pp.1-42, 1956.

J. P. Serre, Sur les groupes de congruence des variétés abéliennes, Izv. Akad. Nauk SSSR Ser. Mat, pp.3-20, 1964.

J. P. Serre, Lie algebras and Lie groups, 1965.

J. P. Serre, Sur les groupes de Galois attachés aux groupes p-divisbles, pp.118-131, 1966.

J. P. Serre, Corps locaux, 1968.

J. P. Serre, Représentations -adiques. Algebraic number theory (Kyoto Internat. Sympos, pp.177-193, 1976.

J. P. Serre, K. Letter, and . Ribet, Oeuvres -Collected Papers IV, p.203, 1981.

J. P. Serre, Lectures on the Mordell-Weil theorem, 1989.

A. Shiho, Relative log convergent cohomology and relative rigid cohomology I

A. Shiho, Relative log convergent cohomology and relative rigid cohomology II

A. Grothendieck, Revetements étales et groupe fondamental (SGA 1), Lecture Notes in Math, vol.224, 1971.

A. Grothendieck,

M. Raynaud, Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA2), Advanced Studies in Pure Mathematics, vol.2, 1968.

A. Grothendieck, Theorie des topos et cohomologie étale des schemas (SGA4), 1973.

P. Deligne, Cohomologie étale, vol.569, 1970.

P. Berthelot, A. Grothendieck, and L. Illusie, Théorie des intersections et théoréme de Riemann-Roch (SGA 6), Lecture Notes in Math, vol.225, 1971.

P. Deligne and N. Katz, Groupe de monodromie en géométrie algébrique (SGA7), Lecture Notes in Math, vol.340, 1974.

, The Stacks Project Authors, Stacks Project

S. G. Tankeev, Surfaces of type K3 over number elds and the MumfordTate conjecture, Izv. Ross. Akad. Nauk Ser. Mat, vol.59, pp.179-206, 1995.

J. Tate, Algebraic cohomology classes and poles of zeta functions, Proc. Conf. Purdue Univ., 1963), pp.93-110, 1965.

J. Tate, Endomorphisms of abelian varieties over nite elds, Invent. Math, vol.2, pp.134-144, 1966.

J. Tate, Conjectures on algebraic cycles in -adic cohomology, in Motives, vol.55, pp.71-83, 1991.

T. Terasoma, Complete intersections with middle Picard number 1 dened over Q, Math. Z, vol.189, pp.289-296, 1985.

N. Tsuzuki, Morphisms of F-isocrystals and the nite monodromy theorem for unit-root F-isocrystals, Duke Math. J, vol.111, pp.385-419, 2002.

A. Varilly-alvarado and B. Viray, Abelian n-division elds of elliptic curves and Brauer groups of product of Kummer and abelian surfaces, Forum of Mathematics Sigma, vol.5, 2017.

Y. G. Zarhin, Endomorphisms of abelian varieties over elds of nite characteristic, Izv. Akad. Nauk SSSR Ser. Mat, vol.39, pp.272-277, 1975.

Y. G. Zarhin, Endomorphisms of abelian varieties and points of nite order in characteristic p, Mat. Zametki, vol.21, pp.737-744, 1977.

, ? Yvan André and Mauritz Kerz for accepting refereeing my manuscript

C. ?-françois, Hélène Esnault and Javier Fresán for accepting to participate to the jury in the day of the defence

?. Vincent, for having the courage to read some of my drafts, for translating into french Chapter

T. ?-akio, for hosting me at RIMS for two summers and for enlightening discussions

A. ?-tomoyuki, for his innite kindness, for the time he spent in listening and helping me, for all the subtleties of the p-adic machinery that he taught me

S. ?-atsushi, for his innite patience in kindly answering to all my trivial questions

A. Skorobogatov,

?. Marco and D. Addezio, for being almost a mathematical girlfriend, for helping me decoding cryptic papers on overconvergent F-isocrystals and independence, for going crazy on epimorphic subgroup with me for a couple of weeks working on, Chapter

M. ?-matilde, for being almost a non-mathematical girlfriend, for our travels on foot, by car, train, plane, for almost dying in a beach to see wonderful Greek ruins and in general for being always with me in the last 2 years

G. Baldi, for lending me his shirt the day of my thesis defence, for preparing an amazing breakfast with avocado and eggs, for a number of mathematical (crazy) discussion and for teaching me how to learn without learning

, ? Various people that have participated and/or organized various working groups (even if I don't remember all of them, let me mention some

F. Battistoni, for some funny discussion on Galois theory of number elds and because some of the ideas in Chapter 5 arised to me when we were eating an "Hetero classic

P. Fuseau, because french bureaucracy can be crazy, but at the Ecole polytechnique everything its easier thanks to her

, Ludovica, for our beers at 18.00, the two British house-mates for teaching me that it's necessary to rinse the dishes, Tommaso and the German girl, for helping me to survive the st couples of months in Paris with a crazy house owner and various problem, ? The two Romans (Elena and Nicola)

?. Various, . Milan-(lilo, . Zava, . Valeria, . Gabri et al., for what we have done (and we will do) together

?. Hugo, for often asking (coherent) mathematical questions, and Matthew, for coming all days in our oce at 11.15 to ask for having lunch

, ? My family (my mother, my father, my sister and my nephew) for their support in all the years of my life