01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
A Hilbert irreducibility theorem for K3 and Enriques surfaces
Apparaît dans la 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.
