01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
A Hilbert irreducibility theorem for K3 and Enriques surfaces
Appears in collection : Skorobogatov 60
We prove that Enriques surfaces and some K3 surfaces over finitely generated fields of characteristic 0 have the (weak) Hilbert Property after a finite field extension of the base field, thus verifying a conjecture of Campana and Corvaja-Zannier. This is joint work with Giacomo Mezzedimi.
