[論文レビュー] 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直接像定理が成り立たないことを示し、非定数の定義可能写像をPicardスキームへ考えることによる definable Chow 定理との矛盾を導く。

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直接像定理が definable Picard functor とどのように相互作用するかの検討。
• そのような定理によって示唆される弱表現性がDefinable Chow定理と矛盾することの実証。

提案手法

• 滑らかな射影的定義可能モーフィズム f: X -> S と、f_*F が definable coherent でない definable coherent sheaf F の構成。
• Simpson風の構成を用いて、基底変換および Grassmannian/Quot の構成を介して定義可能な線束を Picard スキームへの写像と関連づける。
• 定義可能な非定数写像 to Pic^0(Y) が definable Chow 定理によって代数的であることを導き、有理からアーベルへの写像と矛盾する。
• definable coherence の結果と基底変換を活用して、定義可能な截断を Pic(X/S) への写像に結びつける。
• キャラクター多様体とランク1 定義可能局所系を用いて、非定数の定義可能な族を作成する。
• すべての n に対して f_*L(n) が definable coherent であると仮定すると、それに付随する Picard への写像が definable となり、それが代数的であるはずだが矛盾する。

実験結果

リサーチクエスチョン

• RQ1 任意の代数多様体間の射影写像に対して一般的な definable Grauert直接像定理は成り立つのか。
• RQ2 仮想的な definable Grauert直接像定理は definable Picard functor の弱表現性を課すのか、そしてそれはDefinable Chow定理と適合するのか。
• RQ3 Y 上の Rank-one definable局所系は、X = Y × S の Picard schemes を介してどのように線束をパラメータ化するのか。
• RQ4 S -> Pic(Y) の非定数写像を family of line bundles parametrized by S から実現しようとする際にどのような障害が生じるのか。

主な発見

• 滑らかな射影的 definable写像 f: X -> S と、X 上の definable coherent sheaf F が存在し、f_*F が definable coherent でない。
• X 上には f_*L(n) がすべての n>0 に対して definable coherent でないような definable line bundles が存在する。
• Rank-one の局所系の族から生じる非定数の definable map S -> Pic(Y) は definable Chow 定理により代数的であるはずだが、これは矛盾を生む。
• definable Chow 定理はこの写像が代数的であることを示すが、有理多様体からアーベル多様体への非定数代数的写像は存在しないため矛盾。
• Proposition 2.1 は f_*L(n) が definable coherent である場合、付随する Picard 写像も definable となることを示し、これが矛盾へと結びつく。
• 全体として、一般的な definable Grauert 直接像定理は非有限一般性の下では成り立ち得ない。