[論文レビュー] Moduli spaces, indecomposable objects and potentials over a finite field

Galyna Dobrovolska, Victor Ginzburg+1 more|arXiv (Cornell University)|Dec 6, 2016

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

ひとこと要約

本稿は、有限体上での分類の対象としての絶対的不定値対象に対する指数和の幾何的公式、およびその分類の全対象に対するスタック的和の公式を確立する。これは、対象のモジュライスタックが滑らかである有限体線型圏に対して成り立つ。コタングェントバンドルの幾何とポテンシャル関数および次元ベクトル関手の整合性を活用することで、クイバー表現、パラボリックバンドル、局所系の新しい文字和が得られ、ハウゼル、レテリエ、ロドリゲス＝ヴィレガスの結果を一般化する。

ABSTRACT

Given a linear category over a finite field such that the moduli space of its objects is a smooth Artin stack (and some additional conditions) we give formulas for an exponential sum over the set of absolutely indecomposable objects and a stacky sum over the set of all objects of the category, respectively, in terms of the geometry of the cotangent bundle on the moduli stack. The first formula was inspired by the work of Hausel, Letellier, and Rodriguez-Villegas. It provides a new approach for counting absolutely indecomposable quiver representations, vector bundles with parabolic structure on a projective curve, and irreducible etale local systems (via a result of Deligne). Our second formula resembles formulas appearing in the theory of Donaldson-Thomas invariants.

研究の動機と目的

• 有限体線型圏において、対象のモジュライスタックが滑らかである場合に、その絶対的不定値対象に対する指数和の幾何的公式を導出すること。
• これらの公式を、ドナルドソン＝トーマス不変量に類似する、すべての対象に対するスタック的和へと拡張すること。
• クイバー表現、パラボリックバンドル、エタール局所系の数え上げを、同一の幾何的枠組みによって統一すること。
• モジュライスタック上のコタングェントバンドルの幾何を用いた、新たな数え上げのアプローチを提供すること。

提案手法

• 本稿は、対象をパラメトライズする滑らかなアーティンスタック $\mathfrak{X}(\mathscr{C})$ を持つ $\boldsymbol{\mathbb{F}_q}$-線型カルーブィアンカテゴリ $\mathscr{C}$ を用いる。
• ポテンシャル $\phi$ と、直和に関する加法性を満たすスタック構造と整合する次元ベクトル関手 $F$ の存在を仮定する。
• 主な技術は、$\phi$ と $F_i$ を $\mathfrak{X}(\mathscr{C})$ 上の正則関数および局所自由層へと上げる操作であり、加法性の同型が整合的であることを仮定する。
• 主な公式は、特にフーリエ変換とインertialスタックを用いた、モジュライスタック $\mathfrak{X}(\mathscr{C})$ のコタングェントバンドル $T^*\mathfrak{X}(\mathscr{C})$ の幾何を用いて導出される。
• この手法は、曲線上のパラボリックバンドルのカテゴリーや、滑らかな代数の有限次元モジュラーのカテゴリに適用可能である。
• フロベニウス形式と、クイバー多様体におけるトーラス固定点と不定値表現との間の双対性を用いて、組合せ的・幾何的対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体上のカテゴリにおける絶対的不定値対象に対する指数和は、モジュライスタックの幾何的性質をどのように表現できるか？
• RQ2 このようなカテゴリにおけるすべての対象に対するスタック的和の幾何的解釈は何か？ そして、ドナルドソン＝トーマス不変量とどのように関係するか？
• RQ3 モジュライスタックのコタングェントバンドルは、与えられた次元ベクトルを持つ不定値対象の数をどのように符号化しているか？
• RQ4 クイバー表現、パラボリックバンドル、局所系の数え上げを、同一の幾何的枠組みによって一様に扱うことは可能か？
• RQ5 ポテンシャル関数 $\phi$ とそのスタック構造との整合性が、これらの公式の導出において果たす役割は何か？

主な発見

• 本稿は、モジュライスタック上のコタングェントバンドルの幾何を用いて、絶対的不定値対象に対する指数和 $E_{\mathbf{v}}(\mathscr{C}, F, \phi, \psi)$ の幾何的公式を提供する。
• ドナルドソン＝トーマス不変量に類似したスタック的和の公式を導出し、その和には自己同型群のサイズの逆数が含まれる。
• クイバー表現の場合は、ハウゼル、レテリエ、ロドリゲス＝ヴィレガスによる絶対的不定値表現の数え上げに関する結果を回復し、一般化する。
• フロベニウス形式を用いて、モーメント写像の零点集合の連結成分と不定値表現との間の双対性を確立し、表現論とヤング図形を結びつける。
• カロジェロ＝モーザークイバーの場合、不定値表現とトーラス固定点との双対性は、「ヘビ」を右折することでヤング図形を形成する形で実現される。
• 結果は、曲線上のパラボリックバンドルおよびエタール局所系に適用可能であり、後者はデリーニュの定理を用いて回復され、この枠組みの広範な適用可能性を示している。