Rubén Muñoz--Bertrand

Maître de conférences en mathématiques

Curriculum vitæ

Je travaille à la fois en géométrie arithmétique et en calcul formel. Plus précisément, j'étudie les vecteurs de Witt, la cohomologie de de Rham–Witt surconvergente et ses coefficients, et leurs applications en théorie des nombres. Je me suis également intéressé aux applications algorithmiques de ces théories.

J'ai soutenu ma thèse en 2020.

Articles

1. Isocrystals and de Rham–Witt connections accepté à Documenta Mathematica (2025), 28 pages, arXiv:2502.01902

   On introduit la notion de connexions intégrables pour un faisceau d'algèbres différentielles graduées sur un espace topologique. Nous les décrivons ensuite dans le cadre localement projectif fini, lorsque le faisceau est soit le complexe de Rham d'un schéma formel ou faiblement formel, soit pour le complexe de Rham--Witt convergent ou surconvergent sur un schéma lisse sur un corps parfait de caractéristique strictement positive. Cela nous permet de donner une nouvelle description des isocristaux convergents et surconvergents munis d'une structure de Frobenius.
2. Characterising properties of commutative rings using Witt vectors, pré-paru en ligne aux Rendiconti del Seminario Matematico della Università di Padova (2026), 14 pages, doi:10.4171/rsmup/192

   On donne des équivalences entre certaines propriétés d'un anneau commutatif, et d'autres propriétés de son anneau de vecteurs de Witt. Parmi elles, nous caractérisons tous les anneaux commutatifs dont les anneaux de vecteurs de Witt sont noéthériens. Nous définissons une nouvelle catégorie d'anneaux commutatifs, appelée anneaux préduits, et expliquons pourquoi il s'agit de la catégorie d'anneaux dont l'anneau des vecteurs de Witt ne présente pas de p-torsion. Nous étendons ensuite cette caractérisation à la torsion du complexe de Rham–Witt.
3. Pseudovaluations on the de Rham–Witt complex, Bulletin de la Société Mathématique de France 150 (2022), no. 1, pp. 53–75, doi:10.24033/bsmf.2844

   Pour tout anneau polynomial sur un anneau commutatif de caractéristique strictement positive, on définit sur le complexe de de Rham–Witt associé un ensemble de fonctions, et l'on démontre que ce sont des pseudovaluations au sens de Davis, Langer et Zink. Pour y parvenir, on calcule explicitement des produits d'éléments basiques du complexe. On prouve également que le complexe de de Rham–Witt surconvergent peut être retrouvé en employant ces pseudovaluations.

Prépublications

1. Effective Artin–Schreier–Witt theory for curves (2025, avec Christophe Levrat), 31 pages, arXiv:2509.10633

   On présente un algorithme qui, étant donné une courbe projective lisse connexe 𝑋 sur un corps algébriquement clos de caractéristique 𝑝>0 et sa matrice de Hasse–Witt, ainsi qu'un entier positif 𝑛, calcule tous les revêtements galoisiens étales de 𝑋 de groupe ℤ/𝑝^𝑛ℤ. Nous calculons la complexité de cet algorithme lorsque 𝑋 est définie sur un corps fini, et nous fournissons une implémentation complète de cet algorithme dans SageMath, ainsi que des exemples explicites. Nous l'appliquons ensuite au calcul du complexe de cohomologie d'un faisceau localement constant de ℤ/𝑝^𝑛ℤ-modules sur une telle courbe.
2. Faster computation of Witt vectors over a polynomial ring (2025), 11 pages, arXiv:2504.01834

   On décrit un algorithme permettant de calculer les lois d'anneau des vecteurs de Witt de longueur finie sur un anneau de polynômes à coefficients dans un corps fini. Cet algorithme emploie un isomorphisme d'Illusie afin de se ramener à calculer dans un anneau de polynômes bien choisi. On donne également une implémentation de l'algorithme en SageMath, qui s'avère être plus rapide que l'algorithme de Finotti, qui était jusqu'alors l'algorithme le plus efficace pour ces opérations.
3. Local structure of the overconvergent de Rham–Witt complex (2023), 54 pages, arXiv:2311.15449

   On donne une description générale de la structure du complexe de de Rham–Witt relatif sur un anneau polynomial, en tant qu'algèbre sur sa partie entière. Après avoir donné une maîtrise de la surconvergence du morphisme de Lazard, on explicite similairement la structure du complexe surconvergent pour une algèbre finie étale sur un anneau noethérien parfait. On en déduit une généralisation de la décomposition en somme directe usuelle, compatible avec la surconvergence sur les projections.

Logiciels

J'ai également implémenté des scripts liés à mes travaux mathématiques. Je suis impliqué dans SageMath, donc n'hésitez pas à me contacter à propos de fonctionnalités liées aux travaux ci-dessous. Vous pourrez trouver d'autres codes dans mon curriculum vitæ.

1. Witt vectors (2025), paquet SageMath (depuis la version 10.7)

   Basé sur une PR de Jacob Dennerlein, et avec l'aide de Xavier Caruso et de Frédéric Chapoton, j'ai implémenté les vecteurs de Witt dans SageMath. Mon implémentation contient le nouvel algorithme phantom, qui est bien plus rapide lorsque l'anneau des coefficients est un anneau de polynômes sur un corps fini.
2. Effective Artin–Schreier–Witt theory for curves (2025, avec Christophe Levrat), code SageMath de notre article

   Il s'agit de l'implémentation de notre article. Étant donné une courbe projective lisse connexe 𝑋 sur un corps algébriquement clos de caractéristique 𝑝>0, ainsi qu'un entier positif 𝑛, calcule tous les revêtements galoisiens étales de 𝑋 de groupe ℤ/𝑝^𝑛ℤ.
3. Faster computation of Witt vectors over a polynomial ring (2025), code SageMath de mon article

   Il s'agit de l'implémentation de mon article. C'est un nouvel algorithme calculant les lois d'anneau des vecteurs de Witt d'un anneau polynomial sur un corps fini en caractéristique positive.

Enseignement

Vous pouvez trouver ci-dessous quelques notes de cours de mes enseignements passés et actuels.

1. Courbes elliptiques pour la cryptographie (partie 1), notes de cours mises à jour le 16 septembre 2026.
2. Introduction à la théorie des groupes, notes de cours.
3. p-adic cohomology theories and point counting, brouillon mis à jour le 26 juin 2023, commentaires bienvenus !

Comment écrire mon nom

Par expérience, mon nom est souvent mal orthographié. La faute aux deux signes diacritiques, et surtout au double tiret dans mon nom de famille. Il s'agit bien d'un double tiret, et non d'un simple tiret, ni d'un tiret long, et encore moins d'une faute frappe !

Si vous utilisez LaTeX2e dans une version postérieure à 2018, il vous suffit de rentrer ce code :

Rubén Muñoz-\relax-Bertrand

Pour Plain TeX, ou les versions obsolètes de LaTeX2e, vous pouvez employer ce code :

Rub\'en Mu\~noz-\relax-Bertrand

Pour BibTeX, vous pouvez employer:

Mu{\~n}oz-{}-Bertrand, Rub{\'e}n

Pour le Markdown, vous pouvez essayer:

Rubén Muñoz-\-Bertrand

Je vous serais très reconnaissant de respecter la graphie exacte de mon nom.