[論文レビュー] Differential Graded Schemes I: Perfect Resolving Algebras

Kai Behrend|ArXiv.org|Dec 17, 2002

Algebraic structures and combinatorial models参考文献 4被引用数 17

ひとこと要約

本稿は、微分付き階数付きスキームの基礎的対象として完全な解決代数を導入し、エタール位相における適切なアフィンモデルのクラスとして位置づける。完全な解決代数が局所的に有限解決代数と擬同型であることを証明し、擬同型がホモトピー同値と一致することを示す。これにより、標数0の体上の導来代数幾何における幾何的構成のためのホモトピー的枠組みが得られる。

ABSTRACT

We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale morphisms. The purpose for studying these, is that they will be used to glue differential graded schemes from affine ones with respect to an etale topology.

研究の動機と目的

• 微分付き階数付きスキームの堅固な代数的基盤を確立するため、適切なアフィンモデルのクラスを同定すること。
• エタール位相による張り合わせ構成を可能にするために、微分付き階数付き代数間のエタール準同型を定義し、研究すること。
• 有限解決代数の一般化として、有限性の性質を保ちつつエタール降下において局所アフィン性を許容する完全な解決代数を導入すること。
• 擬同型な代数によって定義される幾何的対象が等価であることを保証し、導来不変性の原則に整合させること。

提案手法

• 非正の次数に生成される自由な、可換なグレーディング付き微分付き代数として解決代数を導入する。
• 2つの条件（擬有限性と0次コホモロジー上での余接複体の完全性）によって完全な解決代数を定義する。
• 微分付き代数の単体的閉じたモデルカテゴリ構造を用いてホモトピー群とファイブレント写像空間を定義する。
• マッピング単体的集合がカーン性質を持つことから、解決代数間の擬同型がホモトピー同値と等価であることを示す。
• 補助変数に関する多項式代数とのテンソル積を用いた対角準同型の分解を構成し、ホモトピー的可換性を証明する。
• 有限解決代数が有限分解をもつこと、および微分生成子を用いた明示的構成によりホモトピー下付き引き戻しを有限解決代数で表現できることを証明する。

実験結果

リサーチクエスチョン

• RQ1 擬同型の下で幾何的不変性を保ちつつ、微分付き階数付きスキームのアフィンモデルとして機能する微分付き階数付き代数のクラスをどのように定義できるか？
• RQ2 古典的スキーム理論におけるように、アフィン準同型の概念がエタール位相において局所的であるための条件は何か？
• RQ3 有限解決代数を、エタール降下と局所的有限性を保ちつつ拡張できるより大きなクラスに拡張できるか？
• RQ4 解決代数のホモトピー群および微分作用素は、その切断構造をどの程度反映しているか？
• RQ5 導来設定におけるホモトピー下付き引き戻しは、どのように有限解決代数で表現できるか？

主な発見

• 任意の完全な解決代数は、その0次コホモロジー環上のザリスキ位相に関して、有限解決代数と局所的に擬同型である。
• 解決代数間の擬同型は、マッピング空間がファイブレント単体的集合かつカーン性質を持つことから、ホモトピー同値と等価である。
• テンソル積構成における対角準同型の余接複体は、正則的である。これにより、DG代数からそのテンソル積への2つの包含写像がホモトープであることが示される。
• 有限解決代数のホモトピー的可換引き戻しは、入力の基底サイズの和で抑えられる有限解決代数によって表現可能である。
• 完全な解決代数の微分作用素およびホモトピー群は、それらの有限切断と整合的であり、構造的一致性が保証される。
• 微分 $ d heta_i = c_i - b_i + h_i(b,c, heta) $ を持つ $ R = B igotimes_C C[oldsymbol{ heta}] $ を用いたホモトピー下付き引き戻しの構成により、導来ファイバー積を表す有限解決代数が得られる。