[论文解读] Number theoretic properties of Wronskians of Andrews-Gordon series

Antun Milas, Eric T. Mortenson+1 more|ArXiv.org|Dec 28, 2005

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文研究了由安德鲁斯-戈登 q 系列构成的朗斯基安的数论性质，这些朗斯基安在共形场论的 (2,2k+1) 韦拉索罗极小模型中作为特征标出现。研究证明，某些朗斯基安商式在模素数 $ p = 2k+1 $ 下分类了超奇异椭圆曲线，并证明了模 $ p $ 的分拆恒等式与同余式，包括当 $ k \neq 6t^2 - 6t + 1 $ 时，朗斯基安商式同余于 1 模 $ p $，并将其与超奇异 $ j $-不变量联系起来。

ABSTRACT

For positive integers $1\leq i\leq k$, we consider the arithmetic properties of quotients of Wronskians in certain normalizations of the Andrews-Gordon $q$-series $$ \prod_{1\leq n ot \equiv 0,\pm i\pmod{2k+1}}\frac{1}{1-q^n}. $$ This study is motivated by their appearance in conformal field theory, where these series are essentially the irreducible characters of $(2,2k+1)$ Virasoro minimal models. We determine the vanishing of such Wronskians, a result whose proof reveals many partition identities. For example, if $P_{b}(a;n)$ denotes the number of partitions of $n$ into parts which are not congruent to $0, \pm a\pmod b$, then for every positive integer $n$ we have $$ P_{27}(12; n)=P_{27}(6;n-1) + P_{27}(3;n-2). $$ We also show that these quotients classify supersingular elliptic curves in characteristic $p$. More precisely, if $2k+1=p$, where $p\geq 5$ is prime, and the quotient is non-zero, then it is essentially the locus of characteristic $p$ supersingular $j$-invariants in characteristic $p$.

研究动机与目标

• 研究共形场论中 (2,2k+1) 韦拉索罗极小模型的特征标——安德鲁斯-戈登 q 系列的朗斯基安的算术与数论性质。
• 确定这些朗斯基安在何种条件下为零，并揭示其结构所引发的底层分拆恒等式。
• 建立朗斯基安商式与特征 $ p $ 下超奇异 $ j $-不变量集合之间的联系，当 $ 2k+1 = p $ 为素数时。
• 证明朗斯基安商式模 $ p $ 的同余式，并将其与模形式及除数多项式联系起来。

提出的方法

• 作者从 $ k $-元组的安德鲁斯-戈登 q 系列特征标 $ \text{ch}_{i,k}(q) $ 出发，通过系列的导数定义归一化的朗斯基安 $ \mathcal{W}_k(q) $ 和 $ \mathcal{W}_k'(q) $。
• 他们使用行列式展开与余子式分解来分析朗斯基安的商式，特别关注 $ \mathcal{F}_k(z) = \mathcal{W}_k'(q)/\mathcal{W}_k(q) $，并将其归一化为首项系数为 1 的形式。
• 通过证明特征标的线性无关性来证明其不为零，由于其 $ q $-展开中具有不同的指数和非整数偏移，因此朗斯基安不可能为零。
• 应用模形式技术，包括模 $ p $ 约化（其中 $ p = 2k+1 $），并利用德利涅定理将朗斯基安商式与超奇异 $ j $-不变量联系起来。
• 通过分析 $ q $-级数展开及其系数，推导出分拆恒等式，如 $ P_{27}(12;n) = P_{27}(6;n-1) + P_{27}(3;n-2) $，利用朗斯基安行列式的结构。
• 他们应用模 $ p $ 下的埃斯滕斯坦系列与模形式的性质，证明当 $ k \neq 6t^2 - 6t + 1 $ 时，有 $ \mathcal{F}_k(z) \equiv 1 \pmod{p} $，并将其与超奇异点集联系起来。

实验结果

研究问题

• RQ1 安德鲁斯-戈登 q 系列的朗斯基安在何种条件下为零？其非零性会引出何种分拆恒等式？
• RQ2 朗斯基安商式与特征 $ p $ 下超奇异椭圆曲线理论之间有何关系，特别是当 $ p = 2k+1 $ 为素数时？
• RQ3 朗斯基安商式 $ \mathcal{F}_k(z) $ 模 $ p $ 满足何种同余式？其与模形式及除数多项式有何关联？
• RQ4 能否刻画除数多项式 $ F(\mathcal{F}_k, x) $ 的零点？其性质是否与埃斯滕斯坦系列的除数多项式零点相似？

主要发现

• 由安德鲁斯-戈登特征标的 $ k $-元组构成的朗斯基安不为零，因为这些特征标由于其不同的 $ q $-指数和非整数偏移而线性无关。
• 建立了如下分拆恒等式：$ P_{27}(12;n) = P_{27}(6;n-1) + P_{27}(3;n-2) $，其中 $ P_b(a;n) $ 表示将 $ n $ 分拆为不被 $ 0, \pm a \pmod{b} $ 同余的项的分拆数。
• 当 $ k \neq 6t^2 - 6t + 1 $ 且 $ t \geq 2 $ 时，若 $ p = 2k+1 $ 为素数，则朗斯基安商式 $ \mathcal{F}_k(z) \equiv 1 \pmod{p} $，这意味着商式同余于埃斯滕斯坦系列 $ E_{p-1}(z) \equiv 1 \pmod{p} $。
• 证明了模 $ p $ 下的朗斯基安商式 $ \mathcal{F}_k(z) $ 等于超奇异点集多项式 $ S_p(j(z)) $，从而将其识别为特征 $ p $ 下超奇异 $ j $-不变量的特征多项式。
• 本文猜想 $ F(\mathcal{F}_k, x) $ 在区间 $[0, 1728]$ 内仅有实根且为单重根，其性质与埃斯滕斯坦系列 $ E_{2k}(z) $ 的除数多项式零点一致。
• 数值证据表明，对于特定的 $ (k,p) $ 对（如 $ (10,17), (16,29) $），同余式 $ F(\mathcal{F}_k, j(z)) \equiv j(z) \cdot S_p(j(z)) \pmod{p} $ 成立，表明存在更深层次的乘法结构。