Current Projects & Preprints
| No. | Title | Authors | Link | Implemented in formalized mathematics |
|---|---|---|---|---|
| 3 | The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction | A. Mayeux, J. Zhang | Link | Yes |
| 2 | A polyptych of multi-centered deformation spaces | A. Dubouloz, A. Mayeux (appendix by S. Brochard, A. Dubouloz, A. Mayeux) | Link | Not yet |
| 1 | Algebraic Magnetism | A. Mayeux (appendix by M. Romagny) | Link | Not yet |
Research journal papers
| No. | Title | Authors | Journal | Year | Link | Implemented in formalized mathematics |
|---|---|---|---|---|---|---|
| 8 | Dilatations of Categories | A. Mayeux | Higher Structures | 2025 | Link | Not yet |
| 7 | On multi-graded Proj schemes | A. Mayeux, S. Riche | Publications of the Research Institute for Mathematical Sciences | Accepted, to appear | Link | Partly |
| 6 | Algebraic magnetism invariants of self-actions of diagonalizable monoid schemes | A. Mayeux | Semigroup Forum | 2025 | Link | Not yet |
| 5 | Conjecture: the set of prime numbers is supernatural | A. Mayeux | Proceedings of the Bulgarian Academy of Sciences | 2025 | Link | Not yet |
| 4 | Comparing 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 France | 2024 | Link | Not yet |
| 3 | Multi-centered dilatations, congruent isomorphisms and Rost double deformation space | A. Mayeux | Transformation Groups | 2024 | Link | Not yet |
| 2 | Néron blowups and low-degree cohomological applications | A. Mayeux, T. Richarz, M. Romagny | Algebraic Geometry | 2023 | Link | Not yet |
| 1 | Bruhat-Tits theory from Berkovich’s point of view. Analytic filtrations | A. Mayeux | Annales Henri Lebesgue | 2022 | Link | Not yet |
Miscellanea
| No. | Title | Authors | Description | Year | Link |
|---|---|---|---|---|---|
| 6 | Algebraic magnetism invariants of a double scalar action on the projective plane | A. Mayeux | Note of a talk at the section “Moduli spaces in algebraic geometry” of the conference “Arithmetic and algebraic geometry” in Iasi | 2025 | Link |
| 5 | Algebraic Magnetism | A. Mayeux | Oberwolfach Report of the conference “Algebraic Groups” | 2025 | Link |
| 4 | A survey on algebraic dilatations | A. Dubouloz, A. Mayeux, J. P. dos Santos | Proceedings of the conference “Langlands Program: Number Theory and Representation Theory”, BIRS-CMO | to appear | Link |
| 3 | Magnets and attractors of diagonalizable group schemes actions | A. Mayeux | Proceedings of the conference “Lie Theory and its applications in physics XV”, Springer Proceedings in Mathematics & Statistics | 2025 | Link |
| 2 | Comparison of Bushnell-Kutzko and Yu’s constructions of supercuspidal representations | A. Mayeux | Oberwolfach Report of the conference “New Developments in Representation Theory of p-adic Groups” | 2019 | Link |
| 1 | On the constructions of supercuspidal representations | A. Mayeux | PhD thesis, IMJ-PRG, Université Paris Cité | 2019 | Link |