Preprints
| Title | Authors | Link | Implemented in formalized mathematics |
|---|---|---|---|
| A polyptych of multi-centered deformation spaces | A. Dubouloz, A. Mayeux (appendix by S. Brochard, A. Dubouloz, A. Mayeux) | Link | Not yet |
Research journal papers
| Title | Authors | Journal | Link | Implemented in formalized mathematics |
|---|---|---|---|---|
| Algebraic Magnetism | A. Mayeux | accepted in Semigroup Forum | ||
| Multi-centered dilatations, congruent isomorphisms and Rost double deformation space | A. Mayeux | Transformation Groups, Volume 31, pages 1801–1850 (2026). | Link | Partly |
| On multi-graded Proj schemes | A. Mayeux, S. Riche | Publications of the Research Institute for Mathematical Sciences, 62 (2026), no. 1, 115–176. | Link | Partly |
| Algebraic magnetism invariants of self-actions of diagonalizable monoid schemes | A. Mayeux | Semigroup Forum, 112 (2026), no. 2, 532–540. | Link | Not yet |
| Dilatations of categories | A. Mayeux | Higher Structures, 9 (2025), no. 2, 62–75. | Link | Not yet |
| 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, 152 (2024), no. 4, 785–855. | Link | Not yet |
| Néron blowups and low-degree cohomological applications | A. Mayeux, T. Richarz, M. Romagny | Algebraic Geometry, 10 (2023), no. 6, 729–753. | Link | Not yet |
| Bruhat-Tits theory from Berkovich’s point of view. Analytic filtrations | A. Mayeux | Annales Henri Lebesgue, 5 (2022), 813–839. | Link | Not yet |
Miscellanea
| Title | Authors | Venue | Year | Link |
|---|---|---|---|---|
| The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction | A. Mayeux, J. Zhang | Springer Proceedings in Mathematics & Statistics, to appear. | to appear | Link |
| A survey on algebraic dilatations | A. Dubouloz, A. Mayeux, J. P. dos Santos | Fields Institute Monographs, to appear. | to appear | Link |
| Conjecture: the set of prime numbers is supernatural | A. Mayeux | Proceedings of the Bulgarian Academy of Sciences, 78 (2025), no. 11, 1585–1592. | 2025 | Link |
| Algebraic Magnetism | A. Mayeux | in Oberwolfach Reports, 22 (2025), no. 2. | 2025 | Link |
| Magnets and attractors of diagonalizable group schemes actions | A. Mayeux | Springer Proceedings in Mathematics & Statistics, Vol. 473, pp. 437–442, Springer, Singapore, 2025. | 2025 | Link |
| Comparison of Bushnell-Kutzko and Yu’s constructions of supercuspidal representations | A. Mayeux | in Oberwolfach Reports, 16 (2019), no. 4. | 2019 | Link |
| On the constructions of supercuspidal representations | A. Mayeux | PhD Thesis, Université Paris VII, Paris, France, 2019. | 2019 | Link |
Arnaud Mayeux 