[論文レビュー] Purity of critical cohomology and Kac's conjecture

Ben Davison|Edinburgh Research Explorer|Nov 27, 2013

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

ひとこと要約

この論文は、コhomological Donaldson–Thomas理論を用いて、クーヴィー表現に関するKacの正性予想の新しい証明を提示する。修正されたクーヴィーとポテンシャル $(\widetilde{Q},W)$ の臨界コホモロジーの純粋性を確立することで、コホモロジー的整数性定理と次元削減を用いて、Kac多項式 $a_\gamma(q)$ の正性を導出し、この予想の正当性に対するホッジ理論的解釈を提供する。

ABSTRACT

We provide a new proof of the Kac positivity conjecture for an arbitrary quiver $Q$. The ingredients are the cohomological integrality theorem in Donaldson-Thomas theory, dimensional reduction, and an easy purity result. These facts imply the purity of the cohomological Donaldson-Thomas invariants for a quiver with potential $( ilde{Q},W)$ associated to $Q$, which in turn implies positivity of the Kac polynomials for $Q$.

研究の動機と目的

• 絝的単純表現の個数を数えるKac多項式 $a_\gamma(q)$ の係数が正であることを示すKacの予想の新しい証明を提供すること。
• クーヴィーとポテンシャル $(\widetilde{Q},W)$ から導かれる $Q$ からの導来された、零性的表現に関連する混合ホッジ構造 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ の純粋性を確立すること。
• この純粋性が、コホモロジー的整数性定理とホッジ構造の特性関数を用いて、Kac多項式の正性を示すこと。
• 重み多項式とパワー構造を用いて、精製されたDonaldson–Thomas不変量とKac多項式の間の関係を明確にすること。

提案手法

• 精製されたDT分割関数とKac多項式を関連付けるために、Donaldson–Thomas理論におけるコホモロジー的整数性定理を用いる。
• 次元削減を適用して、$\rho$ が $\gamma$ 次元の $Q$-表現で $\lambda$ が零性的であるような対 $(\rho,\lambda)$ をパラメトライズするスタック $Z_\gamma$ のコホモロジーが、$\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ の次数 $\gamma$ の部分と同型であることを示す。
• 各層 $Z_\gamma^m \setminus Z_\gamma^{m-1}$ が純粋なコンパクト台付きコホモロジーを持つような層化 $Z_\gamma^0 \subset \cdots \subset Z_\gamma^n = Z_\gamma$ を構成する。
• コンパクト台付きコホモロジーにおける長い完全系列を用いて、$Z_\gamma$ 自身が純粋なコンパクト台付きコホモロジーを持つことを示し、したがって対応する混合ホッジ構造 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ が純粋であることを結論づける。
• 純粋なホッジ構造に特性関数 $\chi_{q,x}$ を適用して、精製されたDT分割関数を回復し、パワー構造の恒等式を用いて $a_\gamma(q)$ と関連付ける。
• 双対性とパワー構造の形式的体系を用いて、$\chi_{q,x}(\mathcal{H}^{\operatorname{nilp},\vee}_{\widetilde{Q},W})$ を $a_\gamma(q)$ と関連付け、得られる級数の整数性と純粋性から正性を導出する。

実験結果

リサーチクエスチョン

• RQ1 コホモロジー的Donaldson–Thomas理論からのホッジ理論的道具を用いて、Kacの正性予想を再証明する方法は何か？
• RQ2 クーヴィーとポテンシャルの零性的表現のモジュライ空間の臨界コホモロジーにおける純粋性の役割は何か？
• RQ3 次元削減は、スタック $Z_\gamma$ のコホモロジーと $(\widetilde{Q},W)$ のコホモロジー的ホール代数の間でどのように関係づけるか？
• RQ4 精製されたDonaldson–Thomas不変量 $(\widetilde{Q},W)$ とKac多項式 $a_\gamma(q)$ の正確な関係は何か？
• RQ5 純粋な混合ホッジ構造の重み多項式の係数の正性から、$a_\gamma(q)$ の正性を導けるか？

主な発見

• 混合ホッジ構造 $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ は純粋であり、各コホモロジー次数における重みフィルトレーションに非自明な拡張が存在しないことを意味する。
• $\mathcal{H}^{\operatorname{nilp}}_{\widetilde{Q},W}$ の純粋性は、関連する $\chi_{q,x}$-特性関数の係数が正であり、それらがKac多項式と関連していることを示唆する。
• ジャコビ代数の表現のカテゴリ、特に零性的作用をもつものについての精製されたDonaldson–Thomas不変量は $-q^{-1/2}a_\gamma(q)$ で与えられ、[16] で得られた結果を回復する。
• 生成関数 $\chi_{q,x}(\mathop{\rm Gr}^{\operatorname{wt}}(\mathcal{H}_{\widetilde{Q},W}))$ は $q$ の整数乗のみを含み、正の係数を持つ。これは予想3.1と整合的である。
• Kac多項式 $a_\gamma(q)$ は $qa_\gamma(q^{-1}) = \sum_{n \in 2\mathbb{Z}} \dim(\mathfrak{g}^{\operatorname{nilp},n}_{\operatorname{prim},\gamma}) q^{n/2}$ を満たし、コホモロジーの原始的部の構造によって正性が確認される。
• 証明により、Kac多項式は $Q$ の向きの取り方とは無関係であることが示され、ペア $(\mathbb{C}\widetilde{Q}, W)$ が向きの反転に対して不変であることに起因する。