The total symbol theorem of a \(p\)-adic differential echelon operator \(h\geq 0\)
type: Item
instance of: scholarly article
title: The total symbol theorem of a \(p\)-adic differential echelon operator \(h\geq 0\)
zbMATH Open document ID: 1220.14018
DOI: 10.4171/RMI/630
author: Zoghman Mebkhout
published in: Revista Matemática Iberoamericana
publication date: 2011-05-03T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.rmi/1296828829
review text: Let \(V\) be a complete discrete valuation ring of unequal characteristic \((0,p)\), let \(A^{\dagger}\) be a weakly complete (the author writes: \(\dagger\)-adic) \(V\)-algebra with coordinate functions \(x_1,\ldots,x_n\) such that their differentials form a basis of the \(A^{\dagger}\)-module of separated differential forms. The subject matter of the present paper is an in depth study of the structure of the ring \(D^{\dagger, h}_{A^{\dagger}/V}\) of \(p\)-adic differential operators of degree \(h\), for any integer \(h\geq0\). The definition of \(D^{\dagger, h}_{A^{\dagger}/V}\) reflects, in the present mixed characteristic setting, the \(p\)-filtration of the ring of differential operators of an affine algebraic scheme over a field of characteristic \(p\). The main result, which in part builds on previous joint work of the author with L. Narváez-Macarro, can be stated as follow: there is a natural isomorphism of left \(A^{\dagger}\)-modules -- the assignment of the \textit{symbol} to an element of \(D^{\dagger, h}_{A^{\dagger}/V}\) -- between \(D^{\dagger, h}_{A^{\dagger}/V}\) and a certain commutative algebra \((A^{\dagger}[\xi_1^0,\ldots,\xi^h_n])^{\dagger}\), \[ D^{\dagger, h}_{A^{\dagger}/V}\cong(A^{\dagger}[\xi_1^0,\ldots,\xi^h_n])^{\dagger}. \] The latter is the weak completion of \(A^{\dagger}[\xi_1^0,\ldots,\xi^h_n]\), the quotient of the polynomial ring \(A^{\dagger}[\Xi_1^0,\ldots,\Xi_n^h]\) by the ideal generated by the expressions \((\Xi_i^j)^p-u_j\Xi_i^{j+1}\) for \(0\leq j\leq h-1\) and \(1\leq i\leq n\), where \(u_j=\frac{p^{j+1}!}{(p^j!)^p}\). If one assumes in addition that \(A^{\dagger}\) arises from a smooth \(V\)-algebra of finite type admitting global coordinates, then one can deduce that \(D^{\dagger, h}_{A^{\dagger}/V}\) is noetherian.
Mathematics Subject Classification ID: 14F30
Mathematics Subject Classification ID: 14F10
zbMATH DE Number: 5883101
zbMATH Keywords: \(p\)-adic differential operator
zbMATH Keywords: total symbol
zbMATH Keywords: degree filtration
reviewed by: Elmar Große-Klönne
MaRDI profile type: Publication
cites work: Liftings of smooth algebras and of their morphisms
cites work: Q3209229
cites work: Idéaux de germes d'opérateurs différentiels à une variable
cites work: On the Homological Dimension of Algebras of Differential Operators
cites work: Q3744475
cites work: A rank theorem for analytic maps between power series spaces
cites work: Continuous division of differential operators
cites work: Sur le theoreme de finitude de la cohomologie p -adique d'une variete affine non singuliere.
cites work: Q3349024
cites work: La théorie du polynôme de Bernstein-Sato pour les algèbres de Tate et de Dwork-Monsky-Washnitzer
cites work: The total symbol theorem of a \(p\)-adic differential operator
cites work: Q4214074
cites work: Weak Formal Schemes
cites work: Formal cohomology. I
cites work: Q4395589
cites work: Un théorème de comparaison entre les faisceaux d’opérateurs différentiels de Berthelot et de Mebkhout-Narváez-Macarro
cites work: The global homological dimension of the ring of differential operators on a nonsingular variety over a field of positive characteristic
Recommended article: The total symbol theorem of a \(p\)-adic differential operator
Recommended article: The \(p\)-adic differential-integral type operator
Recommended article: Pseudo-differential operators with semi-quasielliptic symbols over \(p\)-adic fields
Recommended article: On the index of \(p\)-adic differential operators. I
Recommended article: On the index of \(p\)-adic differential operators. II
Recommended article: Completed tensor products and a global approach to p-adic analytic differential operators
Recommended article: Q4659202
Recommended article: Q5190113
Recommended article: Q3165598
Recommended article: Q3349480
description: scientific article; zbMATH DE number 5883101