[論文レビュー] Model categorical Koszul-Tate resolution for algebras over differential operators

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

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

ひとこと要約

この論文は、微分作用素の層 ${\cal D}$ 上の微分非負次数可換代数の圏において、明示的で関手的なコフibrントおよびファイブレーション置換関手を構成することによって、導来 ${\cal D}$-幾何における Koszul-Tate 係数分解のモデル圏的枠組みを確立する。コフibrーションは相対的 Sullivan ${\cal D}$-代数の再帰的射影として特徴づけられ、これにより、座標に依存しない関手的モデル圏的 Koszul-Tate 係数分解が、正則性や還元可能性の仮定を必要とせずに構成される。

ABSTRACT

Derived D-Geometry is considered as a convenient language for a coordinate-free investigation of nonlinear partial differential equations up to symmetries. One of the first issues one meets in the functor of points approach to derived D-Geometry, is the question of a model structure on the category C of differential non-negatively graded quasi-coherent commutative algebras over the sheaf D of differential operators of an appropriate underlying variety. In [BPP15a], we described a cofibrantly generated model structure on C via the definition of its weak equivalences and its fibrations. In the present article - the second of a series of works on the BV-formalism - we characterize the class of cofibrations, give explicit functorial cofibration-fibration factorizations, as well as explicit functorial fibrant and cofibrant replacement functors. We then use the latter to build a model categorical Koszul-Tate resolution for D-algebraic on-shell function algebras.

研究の動機と目的

• 微分的 ${\cal D}$-代数の圏 $\tt{DG{\cal D}A}$ におけるモデル構造を、コフibrーションの特徴づけと明示的な関手的分解の構成によって完成させること。
• 導来 ${\cal D}$-幾何におけるオンシェル関数代数に対して、関手的で座標に依存しない Koszul-Tate 係数分解を提供すること。
• 古典的 Koszul-Tate および適合性複体係数分解を、正則性やオフシェル還元可能性の条件を必要としないように一般化すること。
• Vinogradov の2次的微積分、ホモトピー的代数幾何、${\cal D}$-幾何の側面を統合する導来 ${\cal D}$-スタックのホモトピー的枠組みを確立すること。

提案手法

• コフibrーションを相対的 Sullivan ${\cal D}$-代数の再帰的射影として特徴づけ、コフibrant対象の明確な代数的記述を提供する。
• 生成子ごとの帰納的構成を用いて、小さな対象の方法に依存しない直接的な帰納的構成により、明示的な関手的 'Cof–TrivFib' および 'TrivCof–Fib' 分解を構成する。
• 代数のホモロジー類と生成子から構成される階数付き ${\cal D}$-代数 $\mathcal{S}V_B$ の直接的極限構成により、コフibrant置換関手 $Q$ を定義する。
• 構成の関手性を用いて、任意の準同型 $v: B \to B'$ に対して、$\mathfrak{q}: Q(B) \to B'$ となる準同型を定義し、モデル構造と整合性を保証する。
• オンシェル関数の代数 $\mathcal{R}$ にコフibrant置換関手を適用し、モデル圏的 Koszul-Tate 係数分解を得る。
• 可換図式と生成子に関する帰納的チェックを通じて、得られた係数分解が必要なホモロジー的および代数的条件を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 微分的 ${\cal D}$-代数の圏において、コフibrations はどのように明示的に特徴づけられるか？
• RQ2 小さな対象の方法に依存せずに、$\tt{DG{\cal D}A}$ において関手的コフibrントおよびファイブレーション置換関手を構成できるか？
• RQ3 座標に依存しない関手的で、オンシェル関数代数のモデル圏的 Koszul-Tate 係数分解を構成することは可能か？
• RQ4 提案された係数分解は、正則性やオフシェル還元可能性といった仮定を弱めた条件下でも、古典的構成を一般化するか？
• RQ5 ${\cal D}$ の非可換性は、導来 ${\cal D}$-幾何におけるモデル構造および係数分解の構成にどのように影響するか？

主な発見

• ${\tt{DG{\cal D}A}}$ におけるコフibrーションは、相対的 Sullivan ${\cal D}$-代数の再帰的射影として正確に特徴づけられ、コフibrant対象の明確な代数的記述が得られる。
• 小さな対象の方法とは異なり、生成子ごとの帰納的構成により、明示的で関手的な 'Cof–TrivFib' および 'TrivCof–Fib' 分解が構成される。
• コフibrant置換関手 $Q$ は、$Q(B) = \mathcal{S}V_B$ として明示的に与えられ、ここで $\mathcal{S}V_B$ はホモロジー類と生成子から構成される階数付き ${\cal D}$-代数である。
• オンシェル関数代数 $\mathcal{R}$ のモデル圏的 Koszul-Tate 係数分解は $Q(\mathcal{R})$ として得られ、関手的かつ座標に依存しない。
• 従来の研究で要求される正則性やオフシェル還元可能性の仮定は必要とせず、文献に既存の結果を一般化する。
• 可換図式と生成子に関する帰納的チェックを通じて、係数分解が必要なホモロジー的適合性条件を満たすことが検証された。