arXiv subjects
Publications and source records attributed to Rubén Muñoz--Bertrand.
We give a general description of the structure of the relative de Rham-Witt complex on a polynomial ring, seen as an algebra over its integral part. After giving a control of the overconvergence of Lazard's morphism, we similarly give the structure of the overconvergent complex, locally on a smooth algebraic variety over a perfect field of positive characteristic.
We present an algorithm which, given a connected smooth projective curve $X$ over an algebraically closed field of characteristic $p>0$ and its Hasse--Witt matrix, as well as a positive integer $n$, computes all étale Galois covers of $X$ with group $\mathbb{Z}/p^n\mathbb{Z}$. We compute the complexity of this algorithm when $X$ is defined over a finite field, and provide a complete implementation in SageMath, as well as some explicit examples. We then apply this algorithm to the computation of the cohomology complex of a locally constant sheaf of $\mathbb{Z}/p^n\mathbb{Z}$-modules on such a curve.
We describe an algorithm which computes the ring laws for Witt vectors of finite length over a polynomial ring with coefficients in a finite field. This algorithm uses an isomorphism of Illusie in order to compute in an adequate polynomial ring. We also give an implementation of the algorithm in SageMath, which turns out to be faster that Finotti's algorithm, which was until now the most efficient one for these operations.
We give equivalences between given properties of a commutative ring, and other properties on its ring of Witt vectors. Amongst them, we characterise all commutative rings whose rings of Witt vectors are Noetherian. We define a new category of commutative rings called preduced rings, and explain how it is the category of rings whose ring of Witt vectors has no $p$-torsion. We then extend this characterisation to the torsion of the de Rham-Witt complex.
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal or a weakly formal scheme, or for the convergent or the overconvergent de Rham-Witt complex on a smooth scheme over a perfect field of positive characteristic. This enables us to give a new description of convergent and overconvergent isocrystals with a Frobenius structure.
For a polynomial ring over a commutative ring of positive characteristic, we define on the associated de Rham-Witt complex a set of functions, and show that they are pseudovaluations in the sense of Davis, Langer and Zink. To achieve it, we explicitly compute products of basic elements on the complex. We also prove that the overconvergent de Rham-Witt complex can be recovered using these pseudovaluations.