{"id":"arxiv/2601.18711","url":"https://arxiv.org/abs/2601.18711","tags":["math.AG","math.LO"],"score":0,"title":"There is no Definable Grauert Direct Image Theorem","domain":"math.AG","source":"arxiv","authors":["Hélène Esnault","Moritz Kerz"],"reviews":0,"subject":"math.AG","summary":"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. v2: small typos corrected.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-26","reactions":{}}