[論文レビュー] Proper local complete intersection morphisms preserve perfect complexes

Bertrand Toën|arXiv (Cornell University)|Oct 10, 2012

Algebraic structures and combinatorial models参考文献 9被引用数 23

ひとこと要約

この論文は、導来代数幾何を用いて問題をノエティアンの場合に還元することで、スキームの適切な局所的完全交差準同型が完全複体を保存することの新しい証明を提供する。ノエティアン基底上に導来スキームのモデルを構成することにより、著者たちは導来基底変換および連続性の性質を活用し、射影的でもノエティアンでもない仮定を必要とせずに完全複体の保存を確立する。

ABSTRACT

Let $f : X \longrightarrow Y$ be a proper and local complete intersection morphism of schemes. We prove that $\mathbb{R}f_{*}$ preserves perfect complexes, without any projectivity or noetherian assumptions. This provides a different proof of a theorem by Neeman and Lipman based on techniques from derived algebraic geometry to proceed a reduction to the noetherian case.

研究の動機と目的

• ネーマンとリプマンの定理（適切な完全準同型の下で完全複体が保存されること）の別証明を提供すること。
• ノエティアンでも射影的でもない仮定を課さずに、適切な局所的完全交差（lci）準同型への結果の拡張すること。
• 古典的降下が失敗する場合でも、導来代数幾何がノエティアンの場合への還元を可能にすることを示すこと。
• ノエティアン環上の導来lciスキームの導来圏が、適切な押し出しに関して完全複体を保存することを示すこと。
• 代数的K理論や双対性理論への応用を想定し、特に基底変換および連続性といった導来代数幾何の基礎的道具を確立すること。

提案手法

• 任意のスキームがノエティアン環の有向極限として書けるという事実を用い、問題をノエティアン設定に還元すること。
• 古典的スキーム $h^0(X_i)$ がlciでなくても、ノエティアン基底 $A_i$ 上の導来スキーム $X_i$ が導来的意味で適切かつlciであるように構成すること。
• 導来圏の連続性を適用し、十分大きな $i$ に対して $X$ 上の完全複体 $E$ を $X_i$ 上の完全複体 $E_i$ に降下させること。
• 平坦性の仮定がなくても成り立つ導来代数幾何における基底変換性質を用い、$X_i$ 上の導来押し出しと $X$ 上のそれとを関係づけること。
• 余接複体のアーベルス幅が $[-1,0]$ である導来スキームの局所構造定理を活用し、高次のホモトピー層 $h^i(X)$ が $h^0(X)$ 上でコherentで、かつ有限個の $i$ のみで非ゼロであることを示すこと。
• グロテンディークの有限性定理とデヴィッサージュを適用し、完全複体の導来押し出しが有界でコherentな複体であることを示し、ファイバーごとの完全性を用いて有限トーラス次元を結論づけること。

実験結果

リサーチクエスチョン

• RQ1 射影的でもノエティアンでもない仮定を課さずに、適切な準同型の下で完全複体が保存されることを証明できるか？
• RQ2 古典的スキームがlci準同型として降下できない場合でも、導来代数幾何の技法がノエティアンの場合への還元を可能にするか？
• RQ3 平坦性が欠如する状況において、導来基底変換性質は古典的基底変換よりも強い結論を可能にするか？
• RQ4 ノエティアン環上の導来lciスキームの導来圏は、完全複体の導来押し出しの結果が完全複体であるほど十分に良い性質を持つか？
• RQ5 グローバルな因子分解がない状況において、導来降下と連続性を用いてGRR予想をGRRのためのアプローチとして進められるか？

主な発見

• 任意のスキームの適切な局所的完全交差準同型 $f: X \to Y$ に対して、導来直接像関手 $\mathbb{R}f_*$ は完全複体を保存する。ノエティアンでも射影的でもない仮定がなくても成り立つ。
• 主な技術的進展は、適切なlci準同型がノエティアン環上の導来スキームの適切かつlci準同型に降下可能であるということである。
• 証明は導来圏の連続性と、平坦性の仮定がなくても成り立つ導来基底変換性質に依存しており、導来設定ではそれが成立する。
• 導来lciスキームの高次のホモトピー層 $h^i(X)$ は、切断 $h^0(X)$ 上でコherentであり、非ゼロとなる $i$ は有限個に限る。
• 任意の $X$ 上の完全複体 $E$ に対して、導来押し出し $\mathbb{R}f_*E$ は $Y$ 上の有界でコherentな複体であり、任意の閉点 $s$ におけるファイバーは $k(s)$-ベクトル空間上の完全複体である。
• したがって、導来押し出しは有限トーラス次元をもち、結果として完全複体である。これが主結果を確立する。