Showing 2025Show all
3 papers · 1 filter
cs.LO2025
The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
Arnaud Mayeux, Jujian Zhang
We formalize the multi-graded Proj construction in Lean4, illustrating mechanized mathematics and formalization.
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…