Loading [MathJax]/extensions/MathZoom.js
Soient un anneau de valuation discrète complet d’inégales caractéristiques, un -schéma formel séparé et lisse, sa fibre spéciale, un sous-schéma fermé de , un diviseur de tel que soit un diviseur de et le complété faible du faisceau des opérateurs différentiels sur à singularités surconvergentes le long de tensorisé par . Nous construisons un foncteur pleinement fidèle, noté , de la catégorie des isocristaux sur surconvergents le long de dans celle des -modules cohérents...
Nous étudions d’abord le foncteur cohomologique local. Ensuite, nous introduisons la
notion de -modules arithmétiques surcohérents. Nous prouvons que les -
isocristaux unités sont surcohérents et surtout que la surcohérence est stable par images
directes, images inverses extraordinaires et foncteurs cohomologiques locaux. On obtient,
via cette stabilité, une formule cohomologique pour les fonctions associées aux
complexes duaux de complexes surcohérents. Celle-ci étend celle d’Étesse et Le Stum...
Soient un corps parfait de caractéristique , une variété sur et une puissance de Frobenius. Nous construisons la catégorie des (-)-modules arithmétiques surholonomes sur et celle des (-)complexes de -modules arithmétiques sur surholonomes. Nous montrons que les complexes surholonomes sont stables par images directes, images inverses, images inverses extraordinaires, images directes extraordinaires, foncteurs duaux. De plus, lorsque est lisse, nous vérifions que les -isocristaux...
We show that the Zink equivalence between -divisible groups and Dieudonné displays over a complete local ring with perfect residue field of characteristic is compatible with duality. The proof relies on a new explicit formula for the -divisible group associated to a Dieudonné display.
If is a smooth scheme over a perfect field of characteristic , and if is the sheaf of differential operators on [7], it is well known that giving an action of on an -module is equivalent to giving an infinite sequence of -modules descending via the iterates of the Frobenius endomorphism of [5]. We show that this result can be generalized to any infinitesimal deformation of a smooth morphism in characteristic , endowed with Frobenius liftings. We also show that it extends to adic...
Let be a field of characteristic zero complete for a discrete valuation, with perfect residue field of characteristic , and let be the valuation ring of . We relate the log-crystalline cohomology of the special fibre of certain affine -schemes with good or semi-stable reduction to the Galois cohomology of the fundamental group of the geometric generic fibre with coefficients in a Fontaine ring constructed from . This is based on Faltings’ theory of almost étale extensions.
A Brückner-Vostokov formula for the Hilbert symbol of a formal group was established by Abrashkin under the assumption that roots of unity belong to the base field. The main motivation of this work is to remove this hypothesis. It is obtained by combining methods of ()-modules and a cohomological interpretation of Abrashkin’s technique. To do this, we build ()-modules adapted to the false Tate curve extension and generalize some related tools like the Herr complex with explicit formulas for the...
Dans ce travail nous développons un analogue relatif de la théorie de Sen pour les -représentations. On donne des applications à la théorie des représentations -adiques, en la reliant à la théorie des -modules relatifs, et à celle des modules de Higgs -adiques développée par G. Faltings.
Currently displaying 1 –
20 of
224