This article is the first one of a series of three articles devoted to direct images of isocrystals: here we consider isocrystals without Frobenius structure; in the second one [Et 6] (resp. the third one [Et 7]), we will introduce a Frobenius structure in the convergent (resp. overconvergent) context.
For a liftable proper smooth morphism we establish the overconvergence of direct images, owing to a base change theorem for a proper morphism between rigid analytic spaces. This result partially answers a conjecture of Berthelot on the overconvergence of direct images under a proper smooth morphism.
Cet article est le premier d’une série de trois articles consacrés aux images directes d’isocristaux : ici nous considérons des isocristaux sans structure de Frobenius ; dans le deuxième [Et 6] (resp. le troisième [Et 7]), nous introduirons une structure de Frobenius dans le contexte convergent (resp. surconvergent).
Pour un morphisme propre et lisse relevable nous établissons la surconvergence des images directes, grâce à un théorème de changement de base pour un morphisme propre entre espaces rigides analytiques. Ce résultat répond partiellement à une conjecture de Berthelot sur la surconvergence des images directes par un morphisme propre et lisse.
Keywords: algèbres de Monsky-Washnitzer, schémas formels, espaces rigides analytiques, théorème de changement de base propre, cohomologie rigide, isocristaux surconvergents
@article{JTNB_2012__24_1_101_0, author = {Etesse, Jean-Yves}, title = {Images directes {I~:} {Espaces} rigides analytiques et images directes}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {101--151}, publisher = {Soci\'et\'e Arithm\'etique de Bordeaux}, volume = {24}, number = {1}, year = {2012}, doi = {10.5802/jtnb.790}, zbl = {1254.14024}, mrnumber = {2914903}, language = {fr}, url = {http://archive.numdam.org/articles/10.5802/jtnb.790/} }
TY - JOUR AU - Etesse, Jean-Yves TI - Images directes I : Espaces rigides analytiques et images directes JO - Journal de théorie des nombres de Bordeaux PY - 2012 SP - 101 EP - 151 VL - 24 IS - 1 PB - Société Arithmétique de Bordeaux UR - http://archive.numdam.org/articles/10.5802/jtnb.790/ DO - 10.5802/jtnb.790 LA - fr ID - JTNB_2012__24_1_101_0 ER -
%0 Journal Article %A Etesse, Jean-Yves %T Images directes I : Espaces rigides analytiques et images directes %J Journal de théorie des nombres de Bordeaux %D 2012 %P 101-151 %V 24 %N 1 %I Société Arithmétique de Bordeaux %U http://archive.numdam.org/articles/10.5802/jtnb.790/ %R 10.5802/jtnb.790 %G fr %F JTNB_2012__24_1_101_0
Etesse, Jean-Yves. Images directes I : Espaces rigides analytiques et images directes. Journal de théorie des nombres de Bordeaux, Volume 24 (2012) no. 1, pp. 101-151. doi : 10.5802/jtnb.790. http://archive.numdam.org/articles/10.5802/jtnb.790/
[B 1] P. Berthelot, Cohomologie cristalline des schémas de caractéristique . Lecture Notes in Math. 407, Springer, 1974. | MR | Zbl
[B 2] P. Berthelot, Géométrie rigide et cohomologie des variétés algébriques de caractéristique . Bulletin de la SMF, mémoire n 23 (1986), 7–32. | Numdam | MR | Zbl
[B 3] P. Berthelot, Cohomologie rigide et cohomologie rigide à supports propres. Prépublication 96-03 de Rennes, 1996.
[B 4] P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide. Invent. Math. 128 (1997), 329–377. | MR | Zbl
[B 5] P. Berthelot, Cohomologie rigide § 3. Préprint (14/09/89) non publié.
[B 6] P. Berthelot, Cohomologie rigide et théorie de Dwork, le cas des sommes exponentielles. Astérisque no 119-120 (1984), 17–49. | Numdam | MR | Zbl
[Bo-Dw-R] S. Bosch, B. Dwork, Ph. Robba, Un théorème de prolongement pour des fonctions analytiques. Math. Ann. 252 (1980), 165–173. | MR | Zbl
[B-G-R] S. Bosch, U. Güntzer, R. Remmert, Non-archimedean analysis. Grundlehren der Math. Wissenschaften 261, Springer Verlag, 1984. | MR | Zbl
[Bo-Lü 1] S. Bosch, W. Lütkebohmert, Formal and rigid geometry I. Rigid Spaces. Math. Ann. 295 (1993), 291–317. | MR | Zbl
[Bo-Lü 2] S. Bosch, W. Lütkebohmert, Formal and rigid geometry II. Flattening techniques. Math. Ann. 296 (1993), 403–429. | EuDML | MR | Zbl
[Bour] N. Bourbaki, Algèbre [A] chap. I à VII ; Algèbre commutative [AC] chap. I à X ; Topologie Générale [TG] chap. I à X.
[C-E] H. Cartan, S. Eilenberg, Homological Algebra. Princeton University Press, 1956. | MR | Zbl
[C-T] B. Chiarellotto, N. Tsuzuki, Cohomological descent of rigid cohomology for etale coverings. Rendiconti Sem. Mat. Univ. Padova, Vol. 109 (2003). | EuDML | Numdam | MR | Zbl
[EGA] A. Grothendieck, J. Dieudonné, Eléments de Géométrie Algébrique. Chap. I, Springer Grundlehren 166 ; Chap. II, III, IV, Pub. Math. IHES no 8, 11, 17, 20, 24, 28, 32. | Zbl
[Et 1] J.-Y. Etesse, Relèvement de schémas et algèbres de Monsky-Washnitzer : théorèmes d’équivalence et de pleine fidélité. Rendiconti Sem. Mat. Univ. Padova, Vol. 107 (2002), 111–138. | EuDML | Numdam | MR | Zbl
[Et 2] J.-Y. Etesse, Descente étale des F-isocristaux surconvergents et rationalité des fonctions L de schémas abéliens. Annales Scient. Ec. Norm. Sup., 4ème série, t. 35 (2002), 575–603. | EuDML | Numdam | MR | Zbl
[Et 3] J.-Y. Etesse, Introduction to L- functions of F-isocrystals. In Geometric Aspects of Dwork Theory, Vol. II, de Gruyter, 2004, 701–710. | MR | Zbl
[Et 4] J.-Y. Etesse, Images directes et fonctions L en cohomologie rigide. Hal.00262316/ arXiv :0803.1580.
[Et 5] J.-Y. Etesse, Relèvement de schémas et algèbres de Monsky-Washnitzer : théorèmes d’équivalence et de pleine fidélité II. Rendiconti Sem. Mat. Univ. Padova, vol 122 (2009), 205–234. | EuDML | Numdam | MR | Zbl
[Et 6] J.-Y. Etesse, Images directes II : F-isocristaux convergents. Hal-00425919/arXiv : 0910.4434.
[Et 7] J.-Y. Etesse, Images directes III : Images directes de F-isocristaux surconvergents. Hal-00425922/arXiv : 0910.4435.
[Et 8] J.-Y. Etesse, Cohomologie syntomique : liens avec la cohomologie étale et la cohomologie rigide. Hal-00425926/ arXiv : 0910.4436.
[Et 9] J.-Y. Etesse, Fonctions L en cohomologie rigide. Préprint.
[G-K 1] E. Große-Klönne, de Rham-Kohomologie in der rigiden Analysis. Preprintreihe der Universität Münster SFB 478, Heft 39 (1999).
[G-K 2] E. Große-Klönne, Rigid analytic spaces with overconvergent stucture sheaf. Journal für die reine und angewandte Math. 519 (2000), 73–95. | MR | Zbl
[G ] A. Grothendieck, Fondements de la Géométrie Algébrique. Extraits du Séminaire Bourbaki 1957–1962, Secrétariat Mathématique, 1962. | MR | Zbl
[J ] C. U. Jensen, Les Foncteurs Dérivés de et leur Applications en Théorie des Modules. Lecture Notes in Math. 254, Springer, 1972. | MR | Zbl
[K ] N. Katz, Nilpotent connections and the monodromy theorem : application of a result of Turritin. Pub. Math. IHES 39 (1970), 175–232. | EuDML | Numdam | MR | Zbl
[Ked 1] K. Kedlaya, Finiteness of rigid cohomology with coefficients. Preprint, arxiv : math.AG/0208027. Duke Math. J. 134 (2006), 15–97. | MR | Zbl
[Ked 2] K. Kedlaya, Full faithfullness for overconvergent F-crystals. In Geometric Aspects of Dwork Theory, Vol. II, de Gruyter, 2004, 819–835. | MR | Zbl
[Ked 3] K. Kedlaya, Semistable reduction for overconvergent F-isocrystals, I : Unipotence and logarithmic extensions. Preprint, arxiv : math.NT/0405069 v3, 24 Jul 2005. Compositio Math. 143 (2007), 1164–1212. | MR | Zbl
[LS] B. Le Stum, Rigid Cohomology. Cambridge Tracts in Mathematics, Cambridge University Press, 2007. | MR | Zbl
[Lü] W. Lütkebohmert, Formal-algebraic and rigid-analytic geometry . Math. Ann. 286 (1990), 341–371. | EuDML | MR | Zbl
[M-T] S. Matsuda, F. Trihan, Image directe supérieure et unipotence. J. Reine Angew. Math. 569 (2004), 47–54. | MR | Zbl
[Shi 1] A. Shiho, Crystalline Fundamental Groups II- Log Convergent Cohomology and Rigid Cohomology. J. Math. Sci. Univ. Tokyo 9 (2002), 1–163. | MR | Zbl
[Shi 2] A. Shiho, Relative Log Convergent Cohomology and Relative Rigid Cohomology I. ArXiv : 0707.1742v1 [math.NT] 12 Jul 2007.
[Shi 3] A. Shiho, Relative Log Convergent Cohomology and Relative Rigid Cohomology II. ArXiv : 0707.1743v1 [math.NT] 12 Jul 2007.
[SGA 4] M. Artin, A. Grothendieck, J.-L. Verdier, Théorie des topos et cohomologie étale des schémas. Lecture Notes in Math. 269, 270, 305, Springer 1972, 1973. | MR
[Tri] F. Trihan, Image directe supérieure et unipotence. Preprint University of Tokyo, 2001. | Zbl
[Tsu ] N. Tsuzuki, On base change theorem and coherence in rigid cohomology. Documenta Mathematica, Extra Volume : Kazuya Kato’s Fiftieth Birthday, 2003, 891-918. | EuDML | MR | Zbl
Cited by Sources: