Holonomicity without Frobenius structure

Daniel Caro[1]

  • [1] Université de Caen Laboratoire de Mathématiques Nicolas Oresme Campus 2 14032 Caen Cedex (France)

Annales de l’institut Fourier (2011)

  • Volume: 61, Issue: 4, page 1437-1454
  • ISSN: 0373-0956

Abstract

top
This work fits into Berthelot’s theory of arithmetic 𝒟 -modules. We define the notion of holonomic arithmetic 𝒟 -modules. When the modules are endowed with a Frobenius structure we recover Berthelot’s definition of holonomicity. We show that Bernstein’s inequality and Virrion’s criterion hold without the hypothesis of a Frobenius structure. We prove that an overcoherent 𝒟 -module (without Frobenius structure) is 𝒪 -coherent over a dense open set of its support. This implies that a coherent 𝒟 -module whose dual is an overcoherent complex is holonomic. In particular, an overholonomic 𝒟 -module is holonomic.

How to cite

top

Caro, Daniel. "Holonomie sans structure de Frobenius et critères d’holonomie." Annales de l’institut Fourier 61.4 (2011): 1437-1454. <http://eudml.org/doc/219673>.

@article{Caro2011,
abstract = {Ce travail s’inscrit dans le cadre de la théorie des $\mathcal\{D\}$-modules arithmétiques de Berthelot. Nous définissons la notion de $\mathcal\{D\}$-modules arithmétiques holonomes. Lorsque les modules sont munis d’une structure de Frobenius, nous retrouvons la définition d’holonomie de Berthelot. Nous vérifions que l’inégalité de Bernstein et le critère homologique d’holonomie de Virrion restent valables sans l’hypothèse d’une structure de Frobenius. Nous établissons qu’un $\mathcal\{D\}$-module surcohérent (sans structure de Frobenius) devient $\mathcal\{O\}$-cohérent sur un ouvert dense de son support. Il en résulte qu’un $\mathcal\{D\}$-module cohérent est holonome si son dual est un complexe surcohérent. En particulier un $\mathcal\{D\}$-module surholonome est holonome.},
affiliation = {Université de Caen Laboratoire de Mathématiques Nicolas Oresme Campus 2 14032 Caen Cedex (France)},
author = {Caro, Daniel},
journal = {Annales de l’institut Fourier},
keywords = {Holonomicity; arithmetic $\mathcal\{D\}$-modules},
language = {fre},
number = {4},
pages = {1437-1454},
publisher = {Association des Annales de l’institut Fourier},
title = {Holonomie sans structure de Frobenius et critères d’holonomie},
url = {http://eudml.org/doc/219673},
volume = {61},
year = {2011},
}

TY - JOUR
AU - Caro, Daniel
TI - Holonomie sans structure de Frobenius et critères d’holonomie
JO - Annales de l’institut Fourier
PY - 2011
PB - Association des Annales de l’institut Fourier
VL - 61
IS - 4
SP - 1437
EP - 1454
AB - Ce travail s’inscrit dans le cadre de la théorie des $\mathcal{D}$-modules arithmétiques de Berthelot. Nous définissons la notion de $\mathcal{D}$-modules arithmétiques holonomes. Lorsque les modules sont munis d’une structure de Frobenius, nous retrouvons la définition d’holonomie de Berthelot. Nous vérifions que l’inégalité de Bernstein et le critère homologique d’holonomie de Virrion restent valables sans l’hypothèse d’une structure de Frobenius. Nous établissons qu’un $\mathcal{D}$-module surcohérent (sans structure de Frobenius) devient $\mathcal{O}$-cohérent sur un ouvert dense de son support. Il en résulte qu’un $\mathcal{D}$-module cohérent est holonome si son dual est un complexe surcohérent. En particulier un $\mathcal{D}$-module surholonome est holonome.
LA - fre
KW - Holonomicity; arithmetic $\mathcal{D}$-modules
UR - http://eudml.org/doc/219673
ER -

References

top
  1. Pierre Berthelot, Cohomologie rigide et théorie des 𝒟 -modules, -adic analysis (Trento, 1989) 1454 (1990), 80-124, Springer, Berlin Zbl0722.14008MR1094848
  2. Pierre Berthelot, 𝒟 -modules arithmétiques. I. Opérateurs différentiels de niveau fini, Ann. Sci. École Norm. Sup. (4) 29 (1996), 185-272 Zbl0886.14004MR1373933
  3. Pierre Berthelot, 𝒟 -modules arithmétiques. II. Descente par Frobenius, Mém. Soc. Math. Fr. (N.S.) (2000) Zbl0948.14017MR1775613
  4. Pierre Berthelot, Introduction à la théorie arithmétique des 𝒟 -modules, Astérisque (2002), 1-80 Zbl1098.14010MR1922828
  5. A. Borel, P.-P. Grivel, B. Kaup, A. Haefliger, B. Malgrange, F. Ehlers, Algebraic D -modules, 2 (1987), Academic Press Inc., Boston, MA MR882000
  6. S. Bosch, U. Güntzer, R. Remmert, Non-Archimedean analysis, 261 (1984), Springer-Verlag, Berlin Zbl0539.14017MR746961
  7. Daniel Caro, 𝒟 -modules arithmétiques surcohérents. Application aux fonctions L , Ann. Inst. Fourier (Grenoble) 54 (2004), 1943-1996 Zbl1129.14030MR2134230
  8. Daniel Caro, Comparaison des foncteurs duaux des isocristaux surconvergents, Rend. Sem. Mat. Univ. Padova 114 (2005), 131-211 Zbl1165.14305MR2207865
  9. Daniel Caro, Dévissages des F -complexes de 𝒟 -modules arithmétiques en F -isocristaux surconvergents, Invent. Math. 166 (2006), 397-456 Zbl1114.14011MR2249804
  10. Daniel Caro, Fonctions L associées aux 𝒟 -modules arithmétiques. Cas des courbes, Compos. Math. 142 (2006), 169-206 Zbl1167.14012MR2197408
  11. Daniel Caro, F -isocristaux surconvergents et surcohérence différentielle, Invent. Math. 170 (2007), 507-539 Zbl1203.14025MR2357501
  12. Daniel Caro, 𝒟 -modules arithmétiques surholonomes, Ann. Sci. Éc. Norm. Supér. (4) 42 (2009), 141-192 Zbl1168.14013MR2518895
  13. Daniel Caro, Une caractérisation de la surcohérence, J. Math. Sci. Univ. Tokyo 16 (2009), 1-21 Zbl1213.14041MR2548931
  14. C. Noot-Huyghe, Finitude de la dimension homologique d’algèbres d’opérateurs différentiels faiblement complètes et à coefficients surconvergents, J. Algebra 307 (2007), 499-540 Zbl1111.14006MR2275360
  15. Anne Virrion, Dualité locale et holonomie pour les 𝒟 -modules arithmétiques, Bull. Soc. Math. France 128 (2000), 1-68 Zbl0955.14015MR1765829

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.