2018/11/29 by Benjamin Bakker, Bakker, Benjamin, Yohan Brunebarbe +3 · 4 citations
Mathematics · #03C64 #14C30 #14D20 #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Complex Variables (math.CV) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.1811.12230
openalex publication_date 2018/11/29 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are definable with respect to a given o-minimal structure, and prove a GAGA-type theorem algebraizing definable coherent sheaves on complex algebraic spaces. We then combine this with algebraization theorems of Artin to show that proper definable images of complex algebraic spaces are algebraic. Applying this to period maps, we conclude that the images of period maps are quasi-projective and that the restriction of the Griffiths bundle is ample.