[論文レビュー] Braid group actions on derived categories of coherent sheaves

Paul Seidel, Richard Thomas|ArXiv.org|Jan 7, 2000

Algebraic Geometry and Number Theory被引用数 21

ひとこと要約

本稿では、フーリエ＝ムカイ変換を用いて定義されるねじれファンクターを用いて、滑らかな複素射影的多様体のコherent層の導来圏上にブraid群作用を構成する。主な結果は、多様体の次元が2以上であるとき、これらのブraid群作用は常に忠実であるということであり、これはホモロジカルミラー対称性やクレパント解消におけるブraid群対称性のカテゴリカル実現を提供する。

ABSTRACT

This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when $\dim X \geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities that lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.

研究の動機と目的

• 滑らかな複素射影的多様体上の有界導来圏 $ D^b(X) $ におけるブraid群作用の構成。
• 次元 $ \geq 2 $ の場合にこれらの作用が忠実であることを確立し、ブraid群対称性のカテゴリカル実現を提供する。
• これらの作用が、特異点の解消と滑らか化の双対性を通じてホモロジカルミラー対称性とどのように関連するかを明らかにする。
• McKay対応およびファノ多様体上の例外的層との関係を探索する。
• 楕円曲線の詳細な解析を通じて、具体的な例を提示する。

提案手法

• canonical pairing $ \eta: \boldsymbol{\rm E}^\vee \boxtimes \boldsymbol{\rm E} \to \mathcal{O}_\Delta $ のコーンを用いて、ねじれファンクター $ T_{\boldsymbol{\rm E}} $ をフーリエ＝ムカイ変換として定義する。
• 導来圏 $ D^b(X) $ と、平行移動ファンクターと可換な完全ファンクターを用いて、自己同値を定義する。
• ある quasi-isomorphism を通じた dga $ \mathcal{A}_{m,n} $ への合成を用いて、$ D^b(\mathfrak{S}') $ から $ D(\mathcal{A}_{m,n}) $ へのファンクター $ \Psi $ を構成する。
• $ H^*(\mathrm{end}(E')) \cong A_{m,n} $ の同型を活用し、自己準同型代数をアーティンのブraid群代数と関連付ける。
• 三角圏の公理と正確な三角形を含む可換図式を用いて、$ T_{E_1}(E_1) \cong E_1[1-n] $ のような同型を証明する。
• 怪奇性基準を適用する：braid群の元 $ g $ がすべての $ \mathcal{P}_i $ を固定するならば、$ g $ は自明でなければならない。これにより忠実性が証明される。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的多様体のコherent層の導来圏上に、いつブraid群作用が生じるか。
• RQ2 なぜ $ \dim X \geq 2 $ のとき、$ D^b(X) $ 上のブraid群作用が忠実になるのか。その幾何学的またはカテゴリカルな理由は何か。
• RQ3 これらの作用は、特異点のクレパント解消と滑らか化の双対性を通じて、ミラー対称性とどのように関係するか。
• RQ4 自己準同型 dga $ \mathrm{end}(E') $ は、カテゴリカルにブraid群作用を実現するために果たす役割は何か。
• RQ5 維度1における忠実でない作用は、dga $ A_{3,1} $ の非形式性によって説明可能か。

主な発見

• 任意の滑らかな複素射影的多様体 $ X $ について、$ \dim X \geq 2 $ ならば、ねじれファンクターを用いて構成された $ D^b(X) $ 上のブraid群作用は常に忠実である。
• ねじれファンクター $ T_{E_1} $ は $ T_{E_1}(E_1) \cong E_1[1-n] $ を満たし、$ n \geq 2 $ であるから、$ T_{E_1}^r(E_1) \not\cong E_1 $ となるのは $ r = 0 $ のみであり、非自明なダイナミクスが生じる。
• $ \mathrm{Hom}^*(E_{i+1}, E_i) $ が次数 $ d_i $ に集中しているとき、自己準同型 dga $ \mathrm{end}(E') $ のコホモロジーはアーティンのブraid群代数 $ A_{m,n} $ と同型である。
• 導来圏 $ D^b(\mathfrak{S}') $ は $ D(\mathcal{A}_{m,n}) $ と同値であり、ねじれファンクターはこの同値のもとで対応する。
• 合成 $ R_{m,n}^g \circ \Psi \cong \Psi \circ R^g $ が成り立ち、braid群作用が同値と整合的であることを示す。
• 維度1における $ B_4 $-作用の非忠実性は、$ A_{3,1} $ が本質的に形式的でないことを示しており、Massey積の計算によって裏付けられている。