[論文レビュー] A refinement of the A-polynomial of quivers

Fernando Rodríguez Villegas|arXiv (Cornell University)|Feb 25, 2011

Advanced Combinatorial Mathematics参考文献 6被引用数 5

ひとこと要約

本稿では、1つの頂点に $ g $ 個のループを持つクイバー $ S_g $ に対して、整数分割 $ \lambda $ でインデックス付けされた成分に分解する、改良された A-多項式 $ A_\lambda(q) $ を導入する。Huaの公式とプレチスティック対数を用いて、Möbiusの反転と分割依存の組合せ的項を含む $ A_\lambda(1) $ の閉形式表現を導出し、これが $ \rho = 2g-2 $ における非負の係数を持つ多項式であることを証明した。この結果は、ヒッグス bundle のモジュライ空間の位相と関連する予想を支持する。

ABSTRACT

We study a refinement of the A-polynomial in the case of the g-loop quiver. We give an explicit formula for its value at q=1. Conjecturally this implies a formula for the middle Betti number of the moduli space of Higgs bundles or equivalently of the character variety of a Riemann surface of genus g.

研究の動機と目的

• Kacの A-多項式 $ A_n(q) $ を、$ \mathbb{F}_q $ 上の絶対的完全に既約な表現の数を数えるものとして、分割 $ \lambda $ でインデックス付けされた成分 $ A_\lambda(q) $ に分解することで改良すること。
• $ A_\lambda(1) $、すなわち改良された多項式を $ q=1 $ で評価した値が、非負の整数係数を持つ $ \rho = 2g-2 $ における多項式であることを証明すること。
• クイバーのカルタン行列の構造から導かれる組合せ的項とMöbiusの反転を用いて、$ A_\lambda(1) $ の公式を確立すること。
• $ A_\lambda(1) $ が、$ \mathbb{C}^\times $-作用によるヒッグス bundle のモジュライ空間の連結成分の数を数えるという予想を支持すること。この空間は特性多様体 $ \mathcal{M}_n $ と微分同相である。
• $ A_\lambda(q) $ の漸近的および構造的性質、特に $ \lambda \mapsto n\lambda $ の下でのスケーリング挙動を調査すること。

提案手法

• Huaの生成関数 $ \operatorname{Hua}_N(T;q) $ を用い、分割ごとに重みが $ q^{(g-1)\langle\lambda,\lambda\rangle} $ と逆 $ q $-Pochhammer 補間関数を含む形で表される。
• 生成関数をプレチスティック対数に適用し、$ \sum A_n(q)T^n $ の形の級数に変換することで、$ A_n(q) $ の抽出を可能にする。
• 生成関数を多重度ベクトル $ m = (m_1, \dots, m_N) $ で表現し、行列指数 $ {}^t m \mathcal{H}_N m $ を持つ多変数級数に変換する。
• 行列 $ \mathcal{H}_N = (\min(i,j)) $ の逆行列を用い、スパース構造を活かして指数を簡略化し、$ x_i = T^i $ における有理関数を得る。
• 一般化された行列-木定理を適用し、行列式 $ \tau(m) $ を重み付きの全域木の和として解釈することで、$ \mathcal{H}_N $ に対して $ \tau(m) = P_2(m) \cdots P_{N-1}(m) $ を得る。
• Schrödingerの微分とMöbiusの反転を用いて、鞍点方程式の対数微分により $ x^m $ の係数を分離し、$ A_\lambda(1) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 $ g > 0 $ のとき、改良された A-多項式 $ A_\lambda(q) $ は $ q $ における非負の整数係数を持つ多項式か？
• RQ2 $ A_\lambda(1) $ は、Möbius関数と分割依存の組合せ的項を含む閉形式で表現可能か？
• RQ3 $ A_\lambda(1) $ は、ヒッグス bundle のモジュライ空間における $ \mathbb{C}^\times $-作用の下での型 $ \lambda $ の連結成分の数を数えるか？
• RQ4 $ \lambda \mapsto n\lambda $ の変換の下で $ A_\lambda(q) $ はどのようにスケーリングされるか？
• RQ5 $ A_\lambda(1) $ を $ \rho = 2g - 2 $ における多項式として見たとき、その次数と最高次の係数は何か？

主な発見

• $ g > 0 $ のとき、改良された A-多項式 $ A_\lambda(q) $ は $ q $ における非負の整数係数を持つ多項式であることが、$ g=2, n=3 $ などの例で確認された。
• $ A_\lambda(1) $ はMöビウスの反転を含む閉形式で与えられる：$ A_\lambda(1) = \frac{1}{\rho}\sum_{d|m} \frac{\mu(d)}{d^2} \frac{1}{P_1(m/d)P_N(m/d)} \prod_{i\geq 1} \binom{\rho P_i(m/d) - 1 + m_i/d}{m_i/d} $。
• $ \lambda = (1^n) $ の場合、この公式は既知の結果 $ A_{(1^n)}(1) = n^{n-2}/n! $ を回復し、$ n $ 個のラベル付き頂点における全域木の数と関連づける。
• 関数 $ A_\lambda(1) $ は $ \rho = 2g - 2 $ における多項式であり、次数は $ l(\lambda) - 1 $ である。最高次の係数は $ \frac{1}{P_1(m)P_{l(\lambda)}(m)} \prod_{i\geq 1} \frac{P_i(m)^{m_i}}{m_i!} $ である。
• スケーリング性質 $ A_{n\lambda}^\rho(q) = A_\lambda^{n\rho}(q) $ が成り立ち、特に $ A_{(n)}(q) = q^{n(g-1)+1} $ が成り立つ。
• $ A_\lambda(1) $ の公式は、Schrödingerの微分と一般化された行列-木定理を用いた鞍点方程式の対数微分から導出された。