[論文レビュー] Sheaves on P2 and generalized Appell functions

Jan Manschot|arXiv (Cornell University)|Jul 28, 2014

Advanced Numerical Analysis Techniques被引用数 7

ひとこと要約

本稿では、任意のランク $r$ とチャーン類をもつ $\mathbb{P}^2$ 上の半安定な層のモジュライ空間の仮想ポアンカレ多項式の母関数について、符号 $(n_+,n_-)$ を持つ Appell 関数の新しい一般化を用いて閉形式の表現を導出する。主な結果として、$r \geq 3$ に対して計算を統一的かつ簡略化する枠組みが得られ、$\mathcal{N}=4$ トポロジカルにねじれたヤン・ミルズ理論におけるより深いモジュラー的および算術的構造が明らかになる。

ABSTRACT

A closed expression is given for the generating function of (virtual) Poincaré polynomials of moduli spaces of semi-stable sheaves on the projective plane $\mathbb{P}^2$ with arbitrary rank $r$ and Chern classes. This generating function is known to equal the partition function of topologically twisted gauge theory with $\mathcal{N}=4$ supersymmetry and gauge group $U(r)$, which localizes on the Hermitian Yang-Mills solutions of the gauge field. To classify and study the novel generating functions, the notion of Appell functions with signature $(n_+,n_-)$ is introduced. For $n_-=1$, these novel functions reduce to the known class of Appell functions with multiple variables or higher level.

研究の動機と目的

• 任意のランク $r$ およびチャーン類をもつ $\mathbb{P}^2$ 上の半安定層のモジュライ空間の仮想ポアンカレ多項式の母関数に対する閉形式表現を提供すること。
• 古典的 Appell 関数を、$r \geq 3$ の場合にこれらの母関数を記述できる新しいクラスの符号 $(n_+,n_-)$ を持つ Appell 関数へ一般化すること。
• 高ランク層の位相的不変量の計算を統一的かつ簡略化することにより、不定型のスカラーファンクションおよび壁越えのアプローチに起因する既存手法の限界を克服すること。
• $\mathcal{N}=4$ トポロジカルにねじれたヤン・ミルズ理論における母関数のモジュラー的および算術的性質を明らかにする枠組みを確立すること。

提案手法

• 符号 $(n_+,n_-)$ を持つ一般化された Appell 関数を導入し、$\mathbb{P}^2$ 上の層の仮想ポアンカレ多項式の母関数を記述する。
• 仮想ポアンカレ多項式のジョイスの壁越え公式を適用し、母関数を閉形式で導出する。
• 吹き出し公式および極化の変更を用いて、異なる安定性条件間での不変量を関連づけ、$\widetilde{c}_1$ の選択に依存しない一貫性を保証する。
• ホール代数の技法およびトーリック局所化を、明示的な計算を伴わず、枠組み内に暗黙的に組み込む。
• 格子上の和およびモジュラー形式を用いて、$H_{3,c_1}(z,\tau;J_{1,0})$ の明示的表現を導出し、$H_1$、$H_2$、$H_3$ を構築要素として用いる。
• 異なる極化の選択において結果の一貫性を検証するため、$\widetilde{c}_1 = \phi^*c_1 - kC$ の下での不変性を示し、安定性パラメータの選択に依存しないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意のランク $r$ およびチャーン類をもつ $\mathbb{P}^2$ 上の半安定層の仮想ポアンカレ多項式の母関数を、任意のランク $r$ に対して閉形式でどのように表現できるか？
• RQ2 $r \geq 3$ の場合に、これらの母関数の構造を捉える適切な Appell 関数の一般化は何か？
• RQ3 一般化された Appell 関数の枠組みから、これらの母関数のモジュラー的および算術的性質はどのように生じるか？
• RQ4 異なる極化の選択において母関数を一貫して計算できるか？その結果、壁越えおよびモジュラー性に何を意味するか？
• RQ5 非正則的補完の役割は、これらの関数のモジュラー性において果たすものであり、一般化された Appell 関数の枠組みはその理解をどのように明確にするか？

主な発見

• 仮想ポアンカレ多項式の母関数は、式 (4.7) および命題 4.1 を用いて閉形式で導出され、$\mathbb{P}^2$ 上の任意のランク $r$ およびチャーン類に対して有効である。
• ランク 3 の場合、[32] の表現と比較して母関数が著しく簡略化され、$r > 3$ の不変量の計算が高速化される。
• 符号 $(n_+,n_-)$ を持つ一般化された Appell 関数は、$n_- = 1$ のとき、既知の多変数および高レベルの Appell 関数に還元され、その適用範囲が拡張される。
• $H_{3,c_1}(z,\tau;J_{1,0})$ は明示的に計算され、$c_1 \to -c_1$ および $c_1 \to c_1 + k$（$k \in H^2(\Sigma_1, 3\mathbb{Z})$）の下で不変であることが示され、極化の選択に依存しない一貫性が確認される。
• $H_{3,C+f}(z,\tau;J_{1,0})$ が $B_{3,0}(z,\tau)$ がゼロとなる点と同一の点でゼロになることが示され、順次的解析的一致性が確認される。
• $\Psi_{(1,1,1,1),(-2,2)}(z,\tau)$ は、明示的なベクトル $\boldsymbol{m}_i$、$\boldsymbol{u}$、$\boldsymbol{v}$ および $R = \frac{5}{2}$ を用いた形 (5.2) の一般化された Appell 関数として表現され、この枠組みが具体的な事例への適用可能性を示している。