Abstract
In the framework of Berthelot’s theory of arithmetic \({\mathcal {D}}\)-modules, we prove that Berthelot’s characteristic variety associated with a holonomic \({\mathcal {D}}\)-modules endowed with a Frobenius structure has pure dimension. As an application, we get the lagrangianity of the characteristic variety of a log extendable overconvergent F-isocrystal.
Similar content being viewed by others
References
Abe, T.: Rings of microdifferential operators for arithmetic \(\fancyscript {D}\)-modules. Rend. Sem. Mat. Univ. Padova 131(1), 89–149 (2014)
Berthelot, P.: \({\cal{d}}\)-modules arithmétiques. I. Opérateurs différentiels de niveau fini. Ann. Sci. École Norm. Sup. (4) 29(2), 185–272 (1996)
Berthelot, P.: \(\cal{D}\)-modules arithmétiques. II. Descente par Frobenius. Mém. Soc. Math. Fr. (N.S.) (81), vi+136 (2000)
Berthelot, P.: Introduction à la théorie arithmétique des \(\cal{D}\)-modules, Astérisque (2002), 279, 1–80, Cohomologies \(p\)-adiques et applications arithmétiques, II
Caro, D.: Dévissages des \(F\)-complexes de \(\cal{D}\)-modules arithmétiques en \(F\)-isocristaux surconvergents. Invent. Math. 166(2), 397–456 (2006)
Caro, D.: Fonctions L associées aux \(\cal{D}\)-modules arithmétiques. Cas des courbes Compos. Math. 142(01), 169–206 (2006)
Caro, D.: Overconvergent log-isocrystals and holonomy. (Log-isocristaux surconvergents et holonomie.). Compos. Math. 145(6), 1465–1503 (2009)
Caro, D.: Betti number estimates in \(p\)-adic cohomology, ArXiv Mathematics e-prints (2015)
Caro, D., Tsuzuki, N.: Overholonomicity of overconvergent \(F\)-isocrystals over smooth varieties. Ann. Math. 176(2), 747–813 (2012)
Grothendieck, A.: Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes. Inst. Hautes Études Sci. Publ. Math. 8, 222 (1961)
Hotta, R., Takeuchi, K. Tanisaki, T.: \(D\)-modules, perverse sheaves, and representation theory, Progress in Mathematics, vol. 236, Birkhäuser Boston, Inc., Boston, MA, 2008, Translated from the 1995 Japanese edition by Takeuchi
Kashiwara, M.: \(B\)-functions and holonomic systems. Rationality of roots of \(B\)-functions. Invent. Math. 38(1): 33–53 (1976/77)
Kedlaya, K.S.: Semistable reduction for overconvergent \(F\)-isocrystals, IV: local semistable reduction at nonmonomial valuations. Compos. Math. 147(2), 467–523 (2011)
Laumon, G.: Sur la catégorie dérivée des \({\cal{D}}\)-Modules filtrés, Algebraic Geometry (Tokyo/Kyoto, 1982), Lecture Notes in Mathematics, vol. 1016. Springer, Berlin (1983)
Laumon, G.: Transformations canoniques et spécialisation pour les \({\cal{D}}\)-modules filtrés, Astérisque (130):56–129, differential systems and singularities (Luminy, 1983) (1985)
Malgrange, B.: Caractérisation homologique de la dimension, Séminaire Opérateurs différentiels et pseudo-différentiels, Grenoble (1975-1976)
Matsumura, H.: Commutative Algebra, second éd. Mathematics Lecture Note Series, vol. 56. Benjamin/Cummings Publishing Co., Inc., Reading (1980)
Revêtements étales et groupe fondamental (SGA 1). Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3. Société Mathématique de France, Paris, 2003. Séminaire de géométrie algébrique du Bois Marie 1960–61. [Geometric Algebra Seminar of Bois Marie 1960-61], Directed by A. Grothendieck, With two papers by M. Raynaud, Updated and annotated reprint of the 1971 original [Lecture Notes in Math., 224, Springer, Berlin]
Virrion, A.: Dualité locale et holonomie pour les \(\cal{D}\)-modules arithmétiques. Bull. Soc. Math. France 128(1), 1–68 (2000)
Weibel, Charles A.: An Introduction to Homological Algebra, Volume 38 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Caro, D. Lagrangianity for log extendable overconvergent F-isocrystals. Math. Z. 287, 325–339 (2017). https://doi.org/10.1007/s00209-016-1827-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-016-1827-2