Publications

Current Projects & Preprints

No.TitleAuthorsLink Implemented in formalized mathematics
3The mechanization of science illustrated by the Lean formalization of the multi-graded Proj constructionA. Mayeux, J. ZhangLinkYes
2A polyptych of multi-centered deformation spaces A. Dubouloz,
A. Mayeux
(appendix by S. Brochard, A. Dubouloz, A. Mayeux)
LinkNot yet
1Algebraic MagnetismA. Mayeux
(appendix by M. Romagny)
LinkNot yet

Research journal papers

No.TitleAuthors JournalYearLink Implemented in formalized mathematics
8Dilatations of CategoriesA. Mayeux Higher Structures2025Link Not yet
7On multi-graded Proj schemesA. Mayeux,
S. Riche
Publications of the Research Institute for Mathematical SciencesAccepted, to appearLink Partly
6Algebraic magnetism invariants of self-actions of diagonalizable monoid schemesA. MayeuxSemigroup Forum2025LinkNot yet
5Conjecture: the set of prime numbers is supernaturalA. Mayeux Proceedings of the Bulgarian Academy of Sciences2025LinkNot yet
4Comparing Bushnell-Kutzko and Sécherre’s constructions of types for GL_N and its inner forms with Yu’s construction A. Mayeux,
Y. Yamamoto
Bulletin de la Société Mathématique de France2024LinkNot yet
3Multi-centered dilatations, congruent isomorphisms and Rost double deformation spaceA. MayeuxTransformation Groups2024LinkNot yet
2Néron blowups and low-degree cohomological applications A. Mayeux,
T. Richarz,
M. Romagny
Algebraic Geometry2023LinkNot yet
1Bruhat-Tits theory from Berkovich’s point of view. Analytic filtrationsA. Mayeux Annales Henri Lebesgue2022LinkNot yet

Miscellanea

No.TitleAuthorsDescriptionYear Link
6Algebraic magnetism invariants of a double scalar action on the projective planeA. Mayeux Note of a talk at the section “Moduli spaces in algebraic geometry” of the conference “Arithmetic and algebraic geometry” in Iasi2025Link
5Algebraic Magnetism A. Mayeux Oberwolfach Report of the conference “Algebraic Groups”2025Link
4A survey on algebraic dilatationsA. Dubouloz,
A. Mayeux,
J. P. dos Santos
Proceedings of the conference “Langlands Program: Number Theory and Representation Theory”, BIRS-CMOto appearLink
3Magnets and attractors of diagonalizable group schemes actionsA. Mayeux Proceedings of the conference “Lie Theory and its applications in physics XV”, Springer Proceedings in Mathematics & Statistics2025Link
2Comparison of Bushnell-Kutzko and Yu’s constructions of supercuspidal representationsA. Mayeux Oberwolfach Report of the conference “New Developments in Representation Theory
of p-adic Groups”
2019Link
1On the constructions of supercuspidal representationsA. Mayeux PhD thesis, IMJ-PRG, Université Paris Cité2019Link