Soit un schéma séparé de type fini sur un corps parfait de caractéristique et qui admet une immersion vers un schéma propre et lisse sur l’anneau des vecteurs de Witt tronqué Nous définissons la catégorie dérivée bornée des -cristaux unités localement finiment engendrés sur avec Tor-dimension finie sur , indépendemment de l’immersion. Nous provons ensuite que cette catégorie est anti-équivalente à la catégorie dérivée bornée des faisceaux constructibles étales de -modules avec Tor-dimension finie. Nous étudions aussi les relations de -structures sur ces catégories dérivées lorsque .
For a separated scheme of finite type over a perfect field of characteristic which admits an immersion into a proper smooth scheme over the truncated Witt ring , we define the bounded derived category of locally finitely generated unit -crystals with finite Tor-dimension on over , independently of the choice of the immersion. Then we prove the anti-equivalence of this category with the bounded derived category of constructible étale sheaves of -modules with finite Tor-dimension. We also discuss the relationship of -structures on these derived categories when .
Révisé le : 2017-05-31
Accepté le : 2017-07-12
Publié le : 2018-05-03
Classification : 14F30, 14F10
Mots clés : -modules, structure de Frobenius, faisceaux étales
@article{AIF_2018__68_3_1077_0, author = {Ohkawa, Sachio}, title = {Riemann--Hilbert correspondence for unit <span class="mathjax-formula">$F$</span>-crystals on embeddable algebraic varieties}, journal = {Annales de l'Institut Fourier}, pages = {1077--1120}, publisher = {Association des Annales de l'institut Fourier}, volume = {68}, number = {3}, year = {2018}, doi = {10.5802/aif.3184}, language = {en}, url = {archive.numdam.org/item/AIF_2018__68_3_1077_0/} }
Ohkawa, Sachio. Riemann–Hilbert correspondence for unit $F$-crystals on embeddable algebraic varieties. Annales de l'Institut Fourier, Tome 68 (2018) no. 3, pp. 1077-1120. doi : 10.5802/aif.3184. http://archive.numdam.org/item/AIF_2018__68_3_1077_0/
[1] -module arithmétiques II: Descente par Frobenius, Mém. Soc. Math. France, Volume 81 (2000), pp. 1-131 | Zbl 0948.14017
[2] -modules arithmétiques surcohérents. Application aux fonctions , Ann. Inst. Fourier, Volume 54 (2004) no. 6, pp. 1943-1996 | Article | Zbl 1129.14030
[3] Cohomologie étale. Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 (Deligne, Pierre, ed.), Lecture Notes in Math., Volume 569, Springer, 1977, iv+312 pages (Avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier) | Zbl 0345.00010
[4] The Riemann-Hilbert correspondence for unit -crystals, Astérisque, Volume 293, Société Mathématique de France, 2004, 257 pages | Zbl 1056.14025
[5] Notes on some -structures, Geometric aspects of Dwork theory. Vol. I, II., Walter de Gruyter, 2004, pp. 711-734 | Zbl 1074.14018
[6] Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie)., Publ. Math., Inst. Hautes Étud. Sci. (1967) no. 32, pp. 1-361 (Rédigé avec la colloboration de Jean Dieudonné.) | Zbl 0153.22301
[7] Residues and duality, Lecture Notes in Math., Volume 20, Springer, 1966, vi+423 pages (with an appendix by P. Deligne) | Zbl 0212.26101
[8] Géneralites sur les Conditions de Finitude dans les Catégories Derivées, Séminaire de géométrie algébrique du Bois Marie 1966/67, Théorie des Intersections et Théorème de Riemann-Roch (Lecture Notes in Math.) Volume 225, Springer, 1971, xii+700 pages
[9] The Riemann-Hilbert problem for holonomic systems, Publ. Res. Inst. Math. Sci., Volume 20 (1984) no. 2, pp. 319-365 | Article | Zbl 0566.32023
[10] -structures on the derived categories of holonomic -modules and coherent -modules, Mosc. Math. J., Volume 4 (2004) no. 4, pp. 847-868 | Zbl 1073.14023
[11] Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften, Volume 292, Springer, 1990, x+512 pages (with a chapter in French by Christian Houzel) | Zbl 0709.18001
[12] Sur le Problème de Hilbert-Riemann, C. R. Acad. Sci. Paris Sér. A, Volume 290 (1980) no. 9, pp. 415-417 | Zbl 0431.32009
[13] Cartier crystals and perverse constructible étale -torsion sheaves (2018) (https://arxiv.org/abs/1603.07696)
[14] Stacks Project (http://stacks.math.columbia.edu)