[論文レビュー] Flatness in non-Archimedean analytic geometry

Antoine Ducros|arXiv (Cornell University)|Jul 21, 2011

Algebraic Geometry and Number Theory参考文献 20被引用数 7

ひとこと要約

この論文は、非アルキメデス的解析幾何における平坦性のための新しい枠組みを確立する。普遍平坦性を導入し、局所的デヴィッサージュと還元理論を用いて、境界のない平坦な準同型が普遍平坦であることを証明し、普遍平坦な準同型がコンパクトな解析的空間をコンパクトな解析的ドメインへ写像することを示す。形式的モデルや平坦化技術を用いずにレイノーの結果を新たな方法で証明する。

ABSTRACT

This text is devoted to the systematic study of flatness in the context of Berkovich analytic spaces. After having shown through a counter-example that naive flatness in that context is not stable under base change, we introduce the notion of {\em universal} flatness and we study a first important class of universally flat morphisms, that of quasi-smooth ones. We then show the existence of local {\em d\'evissages} (in the spirit of Raynaud and Gruson) for coherent sheaves, which we use, together with a study of the local rings of 'generic fibers' of morphisms, to prove that a flat, boundaryless morphism is universally flat. After that we prove that the image of a compact analytic space by a universally flat morphism can be covered by a compact, relatively Cohen-Macaulay and zero-dimensional multisection, and the image of the latter is shown to be a compact analytic domain of the target. It follows that the image of a compact analytic space by a universally flat morphism is a compact analytic domain of the target. This was first proved in the rigid-analytic context by Raynaud, but our proof is completely different: it is based upon Temkin's theory of the reduction of analytic germs and quantifiers elimination in the theory of non-trivially valued algebraically closed fields, and it uses neither formal models nor flattening techniques. We end the paper by showing, using Kiehl's method, Zariski-openness of the universal flatness and of the quasi-smoothness loci of a given morphism.

研究の動機と目的

• 非アルキメデス的解析幾何におけるナードフラット性が底変換に対して不安定であるという問題に取り組む。
• ナードフラット性の代替として安定な普遍平坦性の概念を定義し、その性質を研究する。
• 解析的設定における連接層に対する局所的デヴィッサージュの存在を確立する。
• 還元理論とモデル理論的道具を用いて、境界のない平坦な準同型が普遍平坦であることを証明する。
• 普遍平坦な準同型によるコンパクトな解析的空間の像が、被域におけるコンパクトな解析的ドメインであることを示し、レイノーの定理の新たな証明を提供する。

提案手法

• 底変換に対して安定であるように、ナードフラット性の強化として普遍平坦性を導入する。
• レイノーとグルソンの精神に従い、連接層の局所的デヴィッサージュを用いて平坦性を局所的に分析する。
• テンキンの解析的局所環の還元理論を応用し、一般ファイバーの局所環の構造を研究する。
• 非自明に賦値された代数的に閉じた体の理論における量化子除去を用いて、定義可能集合を解析し、マルチセクションを構成する。
• キエルの手法を活用し、普遍平坦性および準滑らかさの集合がザリスキ開であることを証明する。
• モデル理論的手法と解析的幾何を組み合わせ、形式的モデルや平坦化技術に依存しない。

実験結果

リサーチクエスチョン

• RQ1 非アルキメデス的解析幾何におけるナードフラット性が底変換に対してなぜ不安定であるのか、そしてその是正策は何か。
• RQ2 解析的設定において、任意の底変換に対して平坦性を保つための条件は何か。
• RQ3 形式的モデルを用いずに、平坦な準同型によるコンパクトな解析的空間の像がコンパクトな解析的ドメインであることを示せるか。
• RQ4 ベルコヴィッチ解析幾何における連接層に対して、局所的デヴィッサージュをどのように構成できるか。
• RQ5 賦値体における量化子除去が、平坦性集合の開性および像のコンパクト性の証明において果たす役割は何か。

主な発見

• ベルコヴィッチ解析幾何におけるナードフラット性は、反例によって底変換に対して不安定であることが示された。
• 普遍平坦性の概念が導入され、底変換に対して安定であることが証明された。
• 局所的デヴィッサージュと還元理論を用いて、境界のない平坦な準同型が普遍平坦であることが示された。
• 普遍平坦な準同型によるコンパクトな解析的空間の像が、被域におけるコンパクトな解析的ドメインであることが示された。
• テンキンの還元理論と量化子除去にのみ依拠する、レイノーの結果（像のコンパクト性）の新たな証明が得られた。
• キエルの手法を用いて、普遍平坦性および準滑らかさの集合がザリスキ開であることが示された。