[論文レビュー] Chiral Koszul duality

John Francis, Dennis Gaitsgory|arXiv (Cornell University)|Mar 30, 2011

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

ひとこと要約

この論文は、曲線を超えて高次元多様体へとベイリソンとドリンフェルトのchiralおよびfactorization代数の理論を拡張することで、高次元多様体におけるchiral Koszul双対性を確立する。ホモトピー的枠組みを用いて、chiral Lie代数とfactorization余代数の間の同値性を証明し、factorization余代数をchiral可換余代数に埋め込むことで、chiral形式のKoszul双対性として双対性を実現する。

ABSTRACT

We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld in \cite{bd}, to higher-dimensional varieties. This extension entails the development of the homotopy theory of chiral and factorization structures, in a sense analogous to Quillen's homotopy theory of differential graded Lie algebras. We prove the equivalence of higher-dimensional chiral and factorization algebras by embedding factorization algebras into a larger category of chiral commutative coalgebras, then realizing this interrelation as a chiral form of Koszul duality. We apply these techniques to rederive some fundamental results of \cite{bd} on chiral enveloping algebras of $\star$-Lie algebras.

研究の動機と目的

• chiralおよびfactorization代数の理論を曲線から高次元多様体へ拡張する。
• 微分的可換代数のクイレン理論に類似したchiralおよびfactorization構造のホモトピー論を構築する。
• ホモトピー的Koszul双対性のchiral形式を用いて、高次元においてchiral Lie代数とfactorization余代数の同値性を確立する。
• 新しい枠組みを用いて、ベイリソンとドリンフェルトのchiral包あくり代数に関する主要な結果を再導出する。
• chiral/factorization双対性を、chiral設定におけるKoszul双対性の一種として概念的に再解釈する。

提案手法

• 双対性を実現するために、factorization余代数をchiral可換余代数のより大きな圏に埋め込む。
• ∞-圏と零指数テンソル構造を用いて、chiralおよびfactorization代数のホモトピー論を形式化する。
• Ran空間上のD-加群にchiralテンソル積を定義し、chiral作用をモデル化する。
• 強化されたバー構成を用いてchiral Koszul双対性関手を構成し、それが全射的であることを証明する。
• chiral包あくり代数の⋆-Lie代数に理論を適用し、そのchiralホモロジーがfactorization加群によって計算されることを示す。
• chiral作用の零指数条件を用いて、chiral加群圏におけるホモトピー同値を証明する。

実験結果

リサーチクエスチョン

• RQ1 曲線上のchiral Lie代数とfactorization余代数の同値性は、高次元多様体へ一般化可能か？
• RQ2 モデル圏構造の欠如を補うために、chiralおよびfactorization構造のホモトピー的枠組みをどのように構築できるか？
• RQ3 chiral設定におけるKoszul双対性の正確な形は何か？そして、古典的Koszul双対性とどのように関係するか？
• RQ4 ⋆-Lie代数のchiral包あくり代数とfactorization余代数の関係は何か？また、そのchiralホモロジーはどのように計算されるか？
• RQ5 D-加群上のchiral作用が零指数であるための条件は何か？そして、これは双対性にどのように影響するか？

主な発見

• 論文は、高次元多様体上のchiral Lie代数とfactorization余代数の間の完全な忠実なchiral Koszul双対性関手を確立する。
• 同値性は、factorization余代数をchiral可換余代数の圏に埋め込むことで実現され、古典的Lie–余代数双対性の一般化である。
• chiral Koszul双対性における二重双対は、追加の条件なしに常にホモトピー同値である。
• ⋆-Lie代数のchiral包あくり代数のchiralホモロジーは、factorization加群によって計算され、[BD1]の結果が新しい枠組みで回復される。
• Ran空間上のD-加群におけるchiral作用は、導来圏における自然なホモトピー同値によって、零指数であることが示される。
• $X^{I_0}$に台を持つchiral A-加群とfactorization $ ext{C}^{ ext{ch}}(A)$-余加群の間の同値性が確立され、曲線の場合の一般化がなされた。