4 papers
Effective Artin-Schreier-Witt theory for curves
Christophe Levrat, Rubén Muñoz--Bertrand
We present an algorithm which, given a connected smooth projective curve over an algebraically closed field of characteristic and its Hasse--Witt matrix, as well as a pos…
Faster computation of Witt vectors over polynomial rings
Rubén Muñoz--Bertrand
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 isomorphi…
Characterising properties of commutative rings using Witt vectors
Rubén Muñoz--Bertrand
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 rin…
Pseudovaluations on the De Rham-Witt complex
Rubén Muñoz--Bertrand
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 pseudovaluatio…