2020/09/24 by Rubén Muñoz--Bertrand, Muñoz--Bertrand, Rubén · 1 citation
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Commutative Algebra and Its Applications #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.2009.11707
openalex publication_date 2020/09/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.