[论文解读] Algebraicity and Asymptotics: An explosion of BPS indices from algebraic generating series

Tom Mainiero|arXiv (Cornell University)|Jun 8, 2016

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

一句话总结

本文为3-克罗内克quiver在维数向量(3n,2n)下的唐纳森-托马斯不变量建立了代数方程，证明其生成系列在ℚ(x)上为代数式。利用雷内克的函数方程，进一步推导出稳定quiver模空间的欧拉示性数的代数方程。关键结果是代数性意味着BPS指标的指数增长——要么有限个，要么指数增长——通过代数曲线分析可显式提取渐近行为。

ABSTRACT

It is an observation of Kontsevich and Soibelman that generating series that produce certain (generalized) Donaldson Thomas invariants are secretly algebraic functions over the rationals. From a physical perspective this observation arises naturally for DT invariants that appear as BPS indices in theories of class S[A]: explicit algebraic equations (that completely determine these series) can be derived using (degenerate) spectral networks. In this paper, we conjecture an algebraic equation associated to DT invariants for the Kronecker 3-quiver with dimension vectors (3n,2n), n>0 in the non-trivial region of its stability parameter space. Using a functional equation due to Reineke, we show algebraicity of generating series for Euler characteristics of stable moduli for the Kronecker m-quiver assuming algebraicity of generating series for DT invariants. In the latter part of the paper we deduce very explicit results on the asymptotics of DT invariants/Euler characteristics under the assumption of algebraicity of their generating series; explicit large n asymptotics are deduced for dimension vectors (3n,2n) for the Kronecker 3-quiver. The algebraic equation is derived using spectral network techniques developed by Gaiotto-Moore-Neitzke, but the main results can be understood without knowledge of spectral networks.

研究动机与目标

• 提出并推导3-克罗内克quiver在维数向量(3n, 2n)，n ∈ ℤ>0下的唐纳森-托马斯不变量的显式代数方程。
• 利用雷内克的函数方程，建立稳定quiver模空间的欧拉示性数生成系列的代数性。
• 证明生成系列的代数性意味着BPS指标的指数增长，并给出精确的渐近公式。
• 提供一种从代数方程中提取BPS指标渐近行为的构造性方法。
• 证明谱网络技术在S[A]类理论中可导出生成系列的显式代数关系。

提出的方法

• 使用谱网络技术，为3-克罗内克quiver在非平凡稳定区域中的DT不变量生成系列推导代数方程。
• 应用雷内克的函数方程，将DT不变量与稳定quiver模空间的欧拉示性数关联，证明后者生成系列的代数性。
• 利用生成系列的代数结构，通过代数函数的奇点分析推导渐近公式。
• 使用关联DT不变量与欧拉示性数生成系列的函数方程，实现代数性从不变量到模空间欧拉示性数的传递。
• 在Mathematica兼容格式下构造显式多项式（如PolyV、PolyT、PolyE），用于编码代数方程，以支持数值与解析计算。
• 应用代数几何与奇点理论的结果，从代数方程中提取渐近增长速率，表明除非为有单位根的有理函数，否则均为指数增长。

实验结果

研究问题

• RQ1 3-克罗内克quiver在维数向量(3n, 2n)下的DT不变量生成系列由何种代数方程控制？
• RQ2 DT不变量生成系列的代数性如何导致BPS指标的指数增长？
• RQ3 雷内克的函数方程能否用于推导稳定quiver模空间欧拉示性数的代数方程？
• RQ4 从BPS指标的代数生成系列中可提取何种显式渐近公式？
• RQ5 S[A]类理论中的谱网络技术如何导出生成系列的显式代数关系？

主要发现

• 为3-克罗内克quiver在维数向量(3n, 2n)下的DT不变量生成系列推导出显式代数方程，且在非平凡稳定区域中成立。
• 在假设DT不变量生成系列为代数式的基础上，通过雷内克的函数方程，证明了m-克罗内克quiver的稳定quiver模空间欧拉示性数生成系列为代数式。
• 本文确立了生成系列的代数性意味着BPS指标的电荷增长为有限或指数增长——指数增长为典型情况。
• 基于代数生成系列的奇点位置与性质，推导出BPS指标与欧拉示性数增长的显式渐近公式。
• 对于维数向量为(3n, 2n)的3-克罗内克quiver，渐近增长被证明为指数增长，且其精确速率可从代数方程中提取。
• 本文提供了Mathematica兼容的多项式（如PolyV、PolyT、PolyE），用于定义生成系列的代数方程，支持数值计算与分析。