[論文レビュー] Remarks on motives of moduli spaces of rank 2 vector bundles on curves

Kyoung-Seog Lee|arXiv (Cornell University)|Jun 28, 2018

Algebraic Geometry and Number Theory参考文献 2被引用数 12

ひとこと要約

本稿は、 genus $g \geq 2$ の曲線 $C$ 上のランク 2 の安定ベクトル束で、次数 1 の固定決定因子を持つもの $M_L$ のモチーフ的分解を確立する。デル・バーノのモチーフ計算に基づき、著者は $h(M_L)$ が対称べき $C^{(k)}$ のモチーフと Lefschetz のねじれをテンソル積したものの直和として分解されることを証明し、これはナラシムハンの導来カテゴリの半直交分解に関する予想に対する強い証拠を提供する。

ABSTRACT

Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.

研究の動機と目的

• 導来カテゴリとモチーフ的幾何の文脈において、デル・バーノによる $M_L$ のモチーフ計算の解釈と精緻化を図ること。
• $D(M_L)$ のナラシムハンの予想的半直交分解と整合するモチーフ的分解 $M_L$ を確立すること。
• 曲線 $C$ の対称べきを含む導来カテゴリ構造のモチーフ的実現に関する証拠を提供すること。
• モチーフ的分解、ホッジ理論、および Fukaya 圏を通じるホモロジカルミラー双対性との関係を探索すること。

提案手法

• デル・バーノの結果を用い、$M_L$ のモチーフが $h^1(C)$ の外冪と Lefschetz のねじれの和として表現されることを用いる。
• 対称べき $C^{(k)}$ のモチーフ的分解公式 $h(C^{(k)}) = \bigoplus_{a+b+c=k} 1^{\otimes a} \otimes \lambda^b h^1(C) \otimes \mathbb{L}^{\otimes c}$ を適用する。
• 形式的冪級数の恒等式を用いて、元の式と提案された分解における $\lambda^i h^1(C)$ の係数を比較する。
• 鍵となる代数的恒等式：$\sum_{j=0}^{m-1}\sum_{c=0}^j (x^{j+c} + x^{3m-2j+c}) + \sum_{c=0}^m x^{m+c} = \frac{1-x^{m+1}}{1-x} \cdot \frac{1-x^{2m+2}}{1-x^2}$ を用いて、モチーフの同型を検証する。
• モチーフの同型をホッジダイヤモンドの分解に翻訳し、ホモロジカルミラー双対性を通じて Fukaya 圏への示唆を提示する。

実験結果

リサーチクエスチョン

• RQ1 デル・バーノによる $M_L$ のモチーフ計算は、導来カテゴリの構造を反映する精緻な分解を許容するか？
• RQ2 $M_L$ のモチーフは、対称べき $C^{(k)}$ のモチーフと Lefschetz のねじれのテンソル積の直和として表現可能か？
• RQ3 このモチーフ的分解は、ナラシムハンの $D(M_L)$ に関する予想的半直交分解と整合的か？
• RQ4 このモチーフ的構造は、$M_L$ のホッジ理論およびホモロジカルミラー双対性にどのような含意を持つか？

主な発見

• 任意のモチーフの半単純な圏において、モチーフ $h(M_L)$ は同型 $\bigoplus_{k=0}^{g-2} h(C^{(k)}) \otimes (\mathbb{L}^{\otimes k} \oplus \mathbb{L}^{\otimes 3g-3-2k}) \oplus h(C^{(g-1)}) \otimes \mathbb{L}^{\otimes g-1}$ を持つ。
• この分解は、デル・バーノの公式と提案された表現における $\lambda^i h^1(C)$ の係数を比較することで証明され、形式的冪級数の恒等式に依拠する。
• モチーフ的分解は、$M_L$ のホッジダイヤモンドの対応する分解を示唆し、その背後にある幾何的構造を反映する。
• この結果は、ナラシムハンの $D(M_L)$ の半直交分解に関する予想を支持しており、$D(C^{(k)})$ の成分が $k = g-2$ までペアで現れ、$k = g-1$ で単一の成分が現れることを示す。
• モチーフ的構造は、$M_L$ の Karoubi 完備化された Fukaya 圏の予想的直交分解と整合的であり、ミラー対称的解釈を示唆する。