Showing math.AGShow all
2 papers · 1 filter
math.AG2025
Chatelet's Theorem in Synthetic Algebraic Geometry
Thierry Coquand, Hugo Moeneclaey
We prove a version of Chatelet's Theorem about Severi-Brauer variety having rational points in the setting of synthetic algebraic geometry. We work over an arbitrary base ring.
math.AG2024
Projective Space in Synthetic Algebraic Geometry
Felix Cherubini, Thierry Coquand, Matthias Ritter +1
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of thes…