[論文レビュー] Model structure on differential graded commutative algebras over the ring of differential operators

Gennaro Di Brino, Damjan Pištalo+1 more|arXiv (Cornell University)|May 28, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用数 3

ひとこと要約

この論文は、滑らかなアフィン代数的多様体上の微分作用素環上の非負次数付き微分可換代数の圏に、コフibrantly生成されたモデル構造を確立する。クィレンの転送定理を用いて、微分作用素環上の微分可換モジュールの射影的モデル構造を上に持ち上げることで、バタリン＝ヴィルコビッチ形式主義および非線形PDEの解に対する導来${\cal D}$-幾何的枠組みを可能にする。

ABSTRACT

We construct a cofibrantly generated model structure on the category of differential non-negatively graded quasi-coherent commutative $D_X$-algebras, where $D_X$ is the sheaf of differential operators of a smooth afine algebraic variety X. The paper contains an extensive appendix on D-modules, sheaves versus global sections, some more technical model categorical issues, as well as on relative Sullivan algebras. This article is the first of a series of works -located at the interface of homotopical algebra, algebraic geometry, and mathematical physics - on a derived D-geometric approach to the BV-formalism.

研究の動機と目的

• 非線形PDEの解を調べるためのホモトピー的枠組みを、導来${\cal D}$-幾何学を用いて開発すること。
• 滑らかなアフィン多様体$X$に対して、微分可換${\cal D}_X$-代数のカテゴリにコフibrantly生成されたモデル構造を構成すること。
• コシュール＝テート分解によるオンシェル関数代数の導来的解釈を支える基礎的モデル構造を提供すること。
• ファイブレント対象の条件を用いて、導来${\cal D}$-スタックを関手$\tt{DGAlg}({\cal D}) \to \tt{SSet}$として取り扱えるようにすること。

提案手法

• クィレンの転送定理を用いて、$\tt{DGMod}({\cal D}(X))$におけるコフibrantly生成された射影的モデル構造を$\tt{DGAlg}({\cal D}(X))$に持ち上げる。
• 生成集合と小さな性質に関する必要な条件を満たすことを確認することで、転送定理を適用する。これには、モジュール圏における十分な射影的対象の存在に依存する。
• ${\cal D}$-代数のカテゴリにおけるコフibrationを構成するための主要な道具として、微分作用素環上の相対的サリバン代数を用いる。
• $\tt{DGMod}({\cal D}_X)$と$\tt{DGMod}({\cal D}_X(X))$の間のモノイダルカテゴリ的同値を確立することで、層論的問題をグローバル・セクションに還元する。
• 小対象の手続きと押し出しの超限合成を用いて、コフibrant置換が存在することを保証する。
• $\tt{DGMod}({\cal D}(X))$における基礎的モデル構造については、[GS06]および[Hov07]の結果を用い、非可換環${\cal D}(X)$に適応して利用する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなアフィン多様体上の微分作用素環上の微分可換代数のカテゴリにモデル構造をどのように構成できるか。
• RQ2 クィレンの転送定理を用いて、$\tt{DGMod}({\cal D}(X))$から$\tt{DGAlg}({\cal D}(X))$へのモデル構造を転送するための条件は何か。
• RQ3 相対的サリバン代数は、${\cal D}$-代数のカテゴリにおけるコフibrant置換の構成をどのように支援するか。
• RQ4 アフィン制限が、導来${\cal D}$-幾何学に必要な本質的なホモトピー的構造をどの程度保つのか。
• RQ5 このモデル構造は、バタリン＝ヴィルコビッチ形式主義およびオンシェル関数代数の導来的解釈をどの程度支持するか。

主な発見

• 滑らかなアフィン多様体$X$に対して、非負次数付き微分可換${\cal D}_X$-代数のカテゴリに、コフibrantly生成されたモデル構造が成功裏に構成された。
• モデル構造は、十分な射影的対象の存在に依存して、クィレンの転送定理を用いて$\tt{DGMod}({\cal D}(X))$の射影的モデル構造から持ち上げられた。
• 相対的サリバン代数は、${\cal D}(X)$上で定義され、$\tt{DGAlg}({\cal D}(X))$におけるコフibrationの生成に主要な技術的道具として用いられた。
• 非可換性${\cal D}(X)$の存在にもかかわらず、この構成は有効であり、可換設定とは異なる局所的微妙さの分析が必須であった。
• モデル構造は、ファイブレント対象が層の条件に対応するため、関手$\tt{DGAlg}({\cal D}) \to \tt{SSet}$として導来${\cal D}$-スタックを定義するホモトピー的基盤を提供する。
• オンシェル関数代数のコシュール＝テート分解は、このモデルカテゴリにおけるコフibrant置換に対応し、物理的構成とホモトピー代数の間のリンクを確立した。