[论文解读] There is no Definable Grauert Direct Image Theorem

Hélène Esnault, Moritz Kerz|arXiv (Cornell University)|Jan 26, 2026

Advanced Topology and Set Theory被引用 0

一句话总结

作者表明对非有限态射在 o-minimal 几何中不存在可定义的 Grauert 直接像射定理，通过与可定义 Chow 定理的非恒等映射到 Picard 方案的矛盾推导得到。

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. v2: small typos corrected.

研究动机与目标

• 将可定义的复分析几何向有限态射外推广的动机
• 研究若存在一个假设的可定义 Grauert 直接像射定理将如何与可定义 Picard functor 相互作用
• 证明该定理所暗示的弱可表示性与 Definable Chow 定理相矛盾

提出的方法

• 构造一个光滑射影可定义态射 f: X -> S，并给出一个可定义的凝聚层 F，使得 f_*F 不是可定义凝聚的
• 采用 Simpson 风格的构造将可定义的直线丛与通过基改变及 Grassmannian/Quot 构造得到的到 Picard 方案的映射联系起来
• 证明到 Pic^0(Y) 的非恒定可定义映射将依据可定义 Chow 定理是代数的，从而与有理到阿贝尔态的态射产生矛盾
• 利用可定义凝聚性结果和基变换将可定义部分与映射到 Pic(X/S) 的联系起来
• 利用表征变量以及秩为一的可定义局部系统产生一个非恒定的可定义族
• 若对所有 n 都有 f_*L(n) 可定义凝聚，则相关的到 Picard 的映射将是可定义的，因此是代数的，这在现实中不可能出现

实验结果

研究问题

• RQ1 对于任意射影态射之间的代数变量之间，是否存在一般的可定义 Grauert 直接像射定理？
• RQ2 假设存在的可定义 Grauert 直接像射定理是否强制要求可定义 Picard 函子的弱可表示性，并且这是否与可定义 Chow 定理相容？
• RQ3 可定义的秩为一的局部系统如何通过 Picard 方案对 X = Y × S 上的线丛进行参数化？
• RQ4 尝试实现来自由参数族的 S 到 Pic(Y) 的非恒定可定义态射时会遇到什么阻碍？

主要发现

• 存在一个光滑投影可定义态射 f: X -> S，以及在 X 上的一个可定义凝聚层 F，使得 f_*F 不是可定义凝聚的
• 在 X 上存在若干可定义的直线丛，其推前映射 f_*L(n) 对所有 n>0 均不可定义凝聚
• 存在一个来自秩为一的局部系统族而来的 S -> Pic(Y) 的非恒定可定义映射，如果可定义凝聚成立将与可定义 Chow 定理相矛盾
• 可定义 Chow 定理意味着这样的映射将是代数的，但从有理多项式到阿贝尔多样体之间不存在非恒定的代数态射，从而得到矛盾
• 命题 2.1 表明如果 f_*L(n) 可定义凝聚，则相关的 Picard 映射将是可定义的，这与上面的矛盾相联系
• 总体结论是一般的可定义 Grauert 直接像射定理在非有限一般性下不可成立