[論文レビュー] Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds I (derived schemes)

Dennis Borisov, Artan Sheshmani+1 more|arXiv (Cornell University)|Aug 1, 2019

Algebraic Geometry and Number Theory参考文献 15被引用数 4

ひとこと要約

本稿では、任意の$\mathbb{C}$-スキームが$-2$-シフトされたシンプレクティック構造とハウスドルフ的古典的点空間を持つ場合、その上にグローバルに定義されたラグランジュ分布がdg $C^{\infty}$-多様体として存在することを確立する。主な貢献は、ラグランジュ分布の厳密化結果であり、第II部において、導来$m$Quot$-スタックの安定的領域にこのような分布を構成する道筋を拓く。

ABSTRACT

It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic structure, and having a Hausdorff space of classical points, admits a globally defined Lagrangian distribution as a dg $C^{\infty}$-manifold. This is in preparation for Part II, where this result is used to construct Lagrangian distributions on stable loci of derived $ m Quot$-stacks. The main tool for proving the theorem in the current paper is a strictification result for Lagrangian distribution.

研究の動機と目的

• 導来スキームに$-2$-シフトされたシンプレクティック構造を備えた場合、グローバルに定義されたラグランジュ分布が存在することを確立すること。
• 古典的点空間がハウスドルフであることを保証することで、幾何的整合性に不可欠な位相的条件を満たすこと。
• ラグランジュ分布のための厳密化結果を構築し、その後続の構成の基盤とする。
• 第II部への準備として、導来$m$Quot$-スタックの安定的領域にラグランジュ分布を構成する基盤を整えること。

提案手法

• 複素数体上の導来代数幾何の理論を用いて、$-2$-シフトされたシンプレクティック構造を備えた導来スキームを分析する。
• 厳密化結果を適用し、形式的または局所的なラグランジュデータをグローバルに定義されたdg $C^{\infty}$-多様体構造に変換する。
• 古典的点空間のハウスドルフ性を用いて、位相的正則性とグローバル構成との整合性を保証する。
• シフトされたシンプレクティック幾何とdg $C^{\infty}$-多様体の間の相互作用を活用し、ラグランジュ分布を定義・制御する。
• 古典的点空間の導来強化を用いて、幾何的構造をグローバルに持ち上げる。

実験結果

リサーチクエスチョン

• RQ1 導来スキームに$-2$-シフトされたシンプレクティック構造を備える場合、どのような条件下でグローバルに定義されたラグランジュ分布が存在するか？
• RQ2 ハウスドルフ的古典的点空間を備えた導来スキームに対して、どのようにしてラグランジュ分布をグローバルに実現できるか？
• RQ3 ラグランジュ分布の厳密化が、グローバル構成を可能にする上で果たす役割は何か？
• RQ4 $-2$-シフトされたシンプレクティック構造とdg $C^{\infty}$-多様体構造の間で、どのようにしてラグランジュ幾何を支えるか？
• RQ5 局所的なラグランジュデータをグローバルなdg $C^{\infty}$-ラグランジュ分布に拡張するために必要な構造的性質は何か？

主な発見

• 任意の$\mathbb{C}$-スキームが$-2$-シフトされたシンプレクティック構造とハウスドルフ的古典的点空間を持つ場合、その上にグローバルに定義されたラグランジュ分布がdg $C^{\infty}$-多様体として存在する。
• ラグランジュ分布の厳密化結果は、局所的または形式的データをグローバルな幾何的構造に変換する上で中心的な役割を果たす。
• グローバルなラグランジュ分布はdg $C^{\infty}$-多様体フレームワークと整合的であり、滑らかさと導来強化を保証する。
• この構成は局所モデルに依存せず、厳密化機構によるグローバルな整合性に依存する。
• この結果は第II部の基盤となるツールキットを提供し、導来$m$Quot$-スタックの安定的領域にラグランジュ分布を構成可能にする。