Rubén Muñoz--Bertrand

Postdoctorant

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. Characterising properties of commutative rings using Witt vectors, accepté aux Rendiconti del Seminario Matematico della Università di Padova (2025), 11 pages, arXiv:2503.20115

   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.
2. 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. Isocrystals and de Rham–Witt connections (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.
4. 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.
5. Using de Rham–Witt cohomology in Kedlaya's algorithm (en rédaction), code SageMath

   On explique comment remplacer la cohomologie de Monsky–Washnitzer par la cohomologie de de Rham–Witt surconvergente dans l'algorithme de Kedlaya dans le cas des courbes hyperelliptiques sur un corps fini de caractéristique impaire. Cette méthode permet d'obtenir une formule simplifiée pour l'action du Frobenius. On décrit comment construire des formules de réductions cohomologiques permettant de retrouver la fonction zêta de la courbe. Enfin, on donne une implémentation en SageMath de l'algorithme.

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), documentation

   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

Ce semestre, je supervise les TDs de CSC_1F001_EP (Computer Programming) à l'École polytechnique. Ses contenus sont accessibles sur Moodle (accès restreint).

J'ai effectué plus de 800 heures d'enseignements, à la fois en mathématiques pures et en informatique, dans 7 instituts différents. Vous pouvez en consulter la liste détaillée dans mon curriculum vitæ.

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

1. p-adic cohomology theories and point counting, brouillon mis à jour le 26 juin 2023, commentaires bienvenus !
2. Introduction à la théorie des groupes, version en ligne mise à jour le 06 septembre 2024.

M'avez-vous vu ? Quand se verra-t-on ?

Voici la liste des exposés que je donne, ainsi que les workshops auxquels je participe, durant l'année universitaire 2025–2026.

1. 2025-10-02: orateur au Séminaire Arithmétique (Université de Lille)
2. 2025-10-29: ai commencé à travailler sur les 𝑝-adiques au FLINT development workshop in Palaiseau Wednesday afternoon only (Inria Saclay / École polytechnique)
3. 2025-11-06: orateur aux Effective Algebra Days (Université de Limoges)
4. 2025-11-20: orateur au GRACE seminar exposé en commun avec Christophe Levrat (Inria Saclay / École polytechnique)
5. 2025-11-28: orateur au PolSys seminar (Sorbonne Université)
6. 2026-01-26–01-30: je vais pusher du code aux Sage Days 130 (Maison de la nature du bassin d'Arcachon)
7. 2026-02-23–02-27: je vais rejoindre un groupe de travail à Open Problems on Rank-Metric Codes 2026 (Université de Bordeaux)
8. 2026-06-03–06-05: orateur à TBA (Université de Caen Normandie)

Voici la liste des conférences auxquelles j'ai assisté, ou auxquelles je vais assister cette année. Venez me dire bonjour !

1. 2025-10-27–10-31: New Structures and Techniques in p-adic Geometry (IHÉS)
2. 2025-12-11–12-12: CAIPI Decoding error-correcting codes in various metrics (Université de Montpellier)
3. 2026-01-05–01-09: Final workshop ANR BARRACUDA (CIRM)
4. 2026-03-02–03-06: Journées Nationales de Calcul Formel 2026 TBC (CIRM)
5. 2026-06-08–06-12: Fourteenth International Workshop on Coding and Cryptography TBC (Inria Paris)
6. 2026-07-06–07-10: Seventeenth Algorithmic Number Theory Symposium TBC (Rijksuniversiteit Groningen)
7. 2026-07-13–07-17: International Symposium on Symbolic and Algebraic Computation 2026 TBC (Carl von Ossietzky Universität Oldenburg)

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.