2000 character limit reached
There is no Definable Grauert Direct Image Theorem
Published 26 Jan 2026 in math.AG and math.LO | (2601.18711v1)
Abstract: We prove the claim in the title by showing that a definable Grauert Direct Image Theorem in o-minimal geometry would imply a weak representability-like property of the definable Picard functor. However, this weak representability cannot hold because of the Definable Chow Theorem of Peterzil and Starchenko.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.