Showing math.AGShow all
3 papers · 1 filter
math.AG2026
Projective blowups: a formal and multicentered proof
A. Mayeux
We give a machine-checked proof, in Lean 4, of the universal property of multicentered blowups: given a finite family of closed subschemes of a scheme , presented on each ch…
math.AG2025
Algebraic magnetism invariants of a double scalar action on the projective plane
Arnaud Mayeux
This document is an expanded version of the notes from a talk at the \textit{Arithmetic and Algebraic Geometry Week} conference, which took place in Iasi in September 2025. In this…
math.AG2025
Algebraic Magnetism Invariants of Self-Actions of Diagonalizable Monoid Schemes
Arnaud Mayeux
We provide a method to compute the pure magnets of the action of a diagonalizable monoid scheme on itself. This is described in terms of minimal generators of the sharp monoid obta…