2012/08/14 by Anton Geraschenko, Geraschenko, Anton, David Zureick-Brown +1
Computer Science · Mathematics · #14D20 #14D23 #Algebraic Geometry (math.AG) #Computability, Logic, AI Algorithms #FOS: Mathematics #Geometric and Algebraic Topology #Logic, programming, and type systems #math.AG #msc:14D20 #msc:14D23
paper · pdf · doi:10.48550/arxiv.1208.2882
16 pages (updated to match published numbering)
openalex publication_date 2012/08/14 · arxiv created 2015/07/01 · arxiv updated 2015/07/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove formal GAGA for good moduli space morphisms under an assumption of "enough vector bundles" (which holds for instance for quotient stacks). This supports the philosophy that though they are non-separated, good moduli space morphisms largely behave like proper morphisms.