[論文レビュー] Dolbeault dga of a formal neighborhood

Shilin Yu|arXiv (Cornell University)|Jun 22, 2012

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

ひとこと要約

この論文は、複素多様体内のコンpaktoな複素部分多様体の形式的近傍に対してDolbeault微分小代数（dga）を導入し、形式的近傍上の連接層の複素解析的アプローチを可能にする。また、このdga上の完全モジュールのdgカテゴリが、形式的近傍上の有界連接層の導来カテゴリのdg強化をなしていることを証明しており、Blockによる滑らかな多様体の場合の結果を一般化する。

ABSTRACT

Inspired by a work of Kapranov, we define the notion of Dolbeault complex of the formal neighborhood of a closed embedding of complex manifolds. This construction allows us to study coherent sheaves over the formal neighborhood via complex analytic approach, as in the case of usual complex manifolds and their Dolbeault complexes. Moreover, our the Dolbeault complex as a differential graded algebra can be associated with a dg-category according to Block. We show this dg-category is a dg-enhancement of the bounded derived category over the formal neighborhood under the assumption that the submanifold is compact. This generalizes a similar result of Block in the case of usual complex manifolds.

研究の動機と目的

• 滑らかな複素多様体におけるDolbeault複体の構成を、複素多様体内のコンパクトな複素部分多様体の形式的近傍へ拡張すること。
• 微分小代数を用いて、形式的近傍上の連接層を複素解析的枠組みで研究するためのフレームワークを提供すること。
• 滑らかな多様体の場合のBlockによる導来カテゴリのdg強化を、形式的近傍の状況に一般化すること。
• Dolbeault dga上の完全モジュールのdgカテゴリが、形式的近傍上の有界連接層の導来カテゴリと同値であることを確立すること。

提案手法

• 形式的近傍のDolbeault dgaを、滑らかな(0,•)-形式の層と形式的構造層との完了テンソル積として定義する。
• Dolbeault層が形式的構造層に対して平坦であることを利用し、完了テンソル積を用いて連接層の分解を構成する。
• Stein理論とMittag-Leffler条件を適用し、Stein開集合上の分解の射影極限が正確であることを保証する。
• 微分小代数の圏の三角的およびホモトピー的構造を活用して、Dolbeault dga上の完全モジュールのdgカテゴリを構成する。
• このdgカテゴリのホモトピー圏が、形式的近傍上の有界連接層の導来カテゴリと同値であることを証明する。
• 部分多様体のコンパクト性を用いて、分解および極限の議論に必要な有限性および連続性条件を保証する。

実験結果

リサーチクエスチョン

• RQ1 複素多様体内のコンパクトな複素部分多様体の形式的近傍に対して、Dolbeault複体を一般化できるか？
• RQ2 形式的近傍のDolbeault dgaは、その近傍上の連接層の導来カテゴリのdg強化を提供するか？
• RQ3 Dolbeault dgaの構造は、形式的近傍における正規バンドルの幾何学とどのように関係するか？
• RQ4 この構成におけるシフトされた正規バンドル上の$L_\infty$-代数的構造は、どのように機能するか？
• RQ5 形式的近傍上の連接層の分解は、Dolbeault dgaとの完了テンソル積を用いて構成可能か？

主な発見

• 形式的近傍のDolbeault dgaは、$(\mathcal{A}^{\bullet}(\hat{Y}), \overline{\partial})$ として定義され、ここで $\mathcal{A}^{\bullet}(\hat{Y})$ は滑らかな(0,•)-形式の層と形式的構造層との完了テンソル積である。
• Dolbeault dgaは形式的構造層 $\mathscr{O}_{\hat{Y}}$ に対して平坦であり、連接層の分解と整合性があることを保証する。
• 任意の $\mathscr{O}_{\hat{Y}}$-加群 $\mathscr{F}$ に対して、完了テンソル積 $\mathscr{F} \hat{\otimes}_{\hat{\mathscr{O}}} \mathscr{A}^{\bullet}_{\hat{Y}}$ は、$\mathscr{A}^{\bullet}_{\hat{Y}}$-加群による $\mathscr{F}$ の分解をもたらす。
• Dolbeault dga $A$ 上の完全モジュールのdgカテゴリ $\mathcal{P}_A$ のホモトピー圏は、形式的近傍 $\hat{Y}$ 上の有界連接層の導来カテゴリ $\mathcal{D}^{b}_{coh}(\hat{Y})$ と同値である。
• この構成により、シフトされた正規バンドル $N[-1]$ 上に $L_\infty$-代数的構造が現れ、その $\infty$-アンカー写像が部分多様体の接バンドルへと写される。
• 部分多様体のコンパクト性の仮定の下で、この結果はBlockによる滑らかな多様体の場合の導来カテゴリのdg強化を形式的近傍へ一般化する。