[論文レビュー] 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

ひとこと要約

本稿は、コンformal field theoryにおける(2,2k+1) Virasoro minimal modelの特徴関数として現れるAndrews-Gordon q級数から構成されるWronskianの数論的性質を調査する。特定のWronskian商が素数 $ p = 2k+1 $ を法として超特異楕円曲線を分類することを確立し、$ p $ を法とする分割恒等式および合同式を証明する。特に、$ k \neq 6t^2 - 6t + 1 $ のとき、Wronskian商が $ p $ を法として1に合同であることを示し、これにより超特異 $ 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$.

研究の動機と目的

• Andrews-Gordon q級数のWronskianの算術的および数論的性質を調査すること。これらは、コンformal field theoryにおける(2,2k+1) Virasoro minimal modelの特徴関数として現れる。
• これらのWronskianがどのような条件下で消えるかを特定し、その構造から生じる背後にある分割恒等式を解明すること。
• Wronskian商と、$ 2k+1 = p $ が素数である場合の特異的 $ j $-不変量の集合との間の関係を確立すること。
• Wronskian商について $ p $ を法とする合同式を証明し、モジュラー形式および除数多項式と関連付けること。

提案手法

• 著者らは、$ k $-組のAndrews-Gordon q級数特徴関数 $ \text{ch}_{i,k}(q) $ の導関数を用いて、正規化されたWronskian $ \mathcal{W}_k(q) $ および $ \mathcal{W}_k'(q) $ を定義する。
• 行列式展開および小行列分解を用いてWronskianの商を分析し、特に $ \mathcal{F}_k(z) = \mathcal{W}_k'(q)/\mathcal{W}_k(q) $ に注目し、先頭係数が1になるように正規化する。
• 消えることの証明は、特徴関数の線形独立性を示すことで行い、$ q $-展開における非整数の指数が非ゼロであることから、Wronskianがゼロになれないことを示す。
• モジュラー形式の技法を適用し、$ p = 2k+1 $ を法としての還元およびDeligneの定理を用いて、Wronskian商と超特異 $ j $-不変量との関係を結ぶ。
• Wronskian行列式の構造を分析することで、$ q $-級数展開およびその係数を用いて分割恒等式を導出し、たとえば $ P_{27}(12;n) = P_{27}(6;n-1) + P_{27}(3;n-2) $ のような式を得る。
• Eisenstein級数および $ p $ を法とするモジュラー形式の性質を適用し、$ k \neq 6t^2 - 6t + 1 $ のとき $ \mathcal{F}_k(z) \equiv 1 \pmod{p} $ であることを示し、これにより超特異集合と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 Andrews-Gordon q級数のWronskianがどのような条件下で消えるか。また、その非消える場合にどのような分割恒等式が生じるか。
• RQ2 Wronskian商が、特に $ p = 2k+1 $ が素数である場合に、特異的 $ j $-不変量の理論とどのように関係するか。
• RQ3 $ p $ を法とするWronskian商 $ \mathcal{F}_k(z) $ に成り立つ合同式は何か。また、これらはモジュラー形式および除数多項式とどのように関連するか。
• RQ4 除数多項式 $ F(\mathcal{F}_k, x) $ の零点を特徴づけられるか。また、Eisenstein級数の零点と類似の性質を持つだろうか。

主な発見

• Andrews-Gordon特徴関数の $ k $-組のWronskianは、$ q $-指数が異なり、非整数のシフトを持つことから、線形独立であるため、ゼロにならない。
• 分割恒等式が確立された：$ P_{27}(12;n) = P_{27}(6;n-1) + P_{27}(3;n-2) $、ここで $ P_b(a;n) $ は $ n $ を $ b $ を法として $ 0, \pm a $ と合同でない部分に分割する個数を表す。
• $ t \geq 2 $ かつ $ k \neq 6t^2 - 6t + 1 $ のとき、$ p = 2k+1 $ が素数であれば、Wronskian商 $ \mathcal{F}_k(z) \equiv 1 \pmod{p} $ が成り立ち、これは $ E_{p-1}(z) \equiv 1 \pmod{p} $ であるEisenstein級数と合同であることを示唆する。
• $ p $ を法とするWronスカン商 $ \mathcal{F}_k(z) $ が、超特異 $ j $-不変量の特徴的 $ p $ 構造である $ S_p(j(z)) $ と等しいことが示され、これにより超特異 $ j $-不変量の集合が特定される。
• 著者らは、$ F(\mathcal{F}_k, x) $ が $[0, 1728]$ 内にすべて実数かつ単一の根を持つと予想する。これはEisenstein級数 $ 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} $ が成り立つことが示され、より深い乗法的構造が存在する可能性が示唆される。