[論文レビュー] Operads, Grothendieck topologies and Deformation theory

Dennis Gaitsgory|ArXiv.org|Feb 14, 1995

Advanced Topics in Algebra被引用数 5

ひとこと要約

本稿は、オペラッドとグロテンディーク位相を用いたコhomological枠組みを導入し、明示的なコサイクルに依存しない変形理論のためのものである。さまざまな代数的構造の統一的取り扱いを可能にし、サイト上の層的コホモロジーを用いて、従来不可能であった場合においてもPBW定理を証明する。

ABSTRACT

The idea of the work is to find an invariant way to pass from deformation theory to cohomology, which does not use any explicit cocycles. The appropriate cohomology theory is based on considering sheaves on a certain site. An advantage of the approach is that it enables one to give a simultanious treatement to all types of algebras. As an application, we prove the PBW theorem in cases where it is not yet known.

研究の動機と目的

• 明示的なコサイクル計算を避ける、変形理論のコホモロジー的不変形式を構築すること。
• 例えば結合的、リー、可換な代数などの異なる種類の代数の取り扱いを、一つの枠組みで統一すること。
• グロテンディーク位相から導かれるサイト上で、層的コホモロジー理論を構築し、変形函手をモデル化すること。
• この枠組みを用いて、従来証明されていなかった場合においてもPBW定理を証明すること。
• オペラッド的および位相的構造を通じて、変形理論とコホモロジーの間の概念的橋渡しを提供すること。

提案手法

• オペラッドの演算の組み合わせ論を記述するグロテンディーク位相に関連するサイトを構成する。
• そのサイト上の層としての代数を定義し、そのコホモロジーが変形函手を計算することにする。
• サイトの位相と整合するように、代数的演算およびそれらの関係をオペラッド的構造で記述する。
• そのサイト上の層の導来圏におけるホモロジー代数的手法を用いてコホモロジー群を定義する。
• 明示的なコサイクルが存在しないことにより、導来コホモロジーと古典的変形コホモロジーとの間の比較を確立する。
• 層的枠組みを用いて、関連する順序付き構造の解析により、新規な場合においてPBW定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 変形理論は、明示的なコサイクル構成に依存しない形で形式化可能だろうか？
• RQ2 オペラッドとグロテンディーク位相をどのように組み合わせて、代数のための普遍的コホモロジー理論を定義できるか？
• RQ3 サイト上の層が、異なる代数的構造の変形理論を統一する役割を果たすのはどのような場合か？
• RQ4 このコホモロジー的枠組みを用いて、古典的手法が失敗する場合においてもPBW定理を証明できるのはどのようなケースか？
• RQ5 このアプローチは、変形理論における古典的コホモロジー的道具をどのように一般化するか？

主な発見

• 本稿は、グロテンディーク位相によって定義されるサイト上のコホモロジー理論を構築し、明示的なコサイクルに依存せずに変形函手をモデル化している。
• この枠組みは、オペラッド的構造を通じて、さまざまな種類の代数の変形理論を一様に取り扱うことを可能にする。
• サイト上のコホモロジー群が、正しい変形不変量を計算することが示され、古典的結果を一般化している。
• この方法により、従来証明されていなかった場合においてもPBW定理を証明でき、その有効性を新たな代数的設定にまで拡張した。
• このアプローチは、グロテンディーク位相を通じて、オペラッド、層コホモロジー、および変形理論の間の深い関係を明らかにした。
• この枠組みは、準同型写像に関して不変であり、変形問題のホモトピー的性質を尊重している。