[논문 리뷰] Number theoretic properties of Wronskians of Andrews-Gordon series

Antun Milas, Eric T. Mortenson외 1명|ArXiv.org|2005. 12. 28.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 5

한 줄 요약

이 논문은 conformal field theory의 (2,2k+1) Virasoro 최소 모델에서 나타나는 Andrews-Gordon q-급수로부터 생성된 와이어스트라인의 수론적 성질을 조사한다. 일부 와이어스트라인 몫이 소수 $ p = 2k+1 $ 모듈로에서 초특이 타원곡선을 분류하며, $ p $ 모듈로에서의 분할 항등식과 합동식을 증명한다. 특히 $ k \neq 6t^2 - 6t + 1 $일 경우 와이어스트라인 몫이 $ 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-급수의 와이어스트라인의 산술적 및 수론적 성질을 조사하는 것. 이들은 conformal field theory의 (2,2k+1) Virasoro 최소 모델의 특성으로 나타난다.
• 이 와이어스트라인이 언제 0이 되는지 결정하고, 그들의 구조에서 유래하는 기초적인 분할 항등식을 밝혀내는 것.
• 와이어스트라인 몫과 특성 $ p $ 에서의 초특이 $ j $-불변량의 위치 사이의 연결 고리를 확립하는 것. 이는 $ 2k+1 = p $ 가 소수일 때 성립한다.
• 와이어스트라인 몫에 대한 $ p $ 모듈로 합동식을 증명하고, 이들이 모듈러 형식과 인수 다항식과 어떻게 관련되는지 밝혀내는 것.

제안 방법

• 저자들은 Andrews-Gordon q-급수 특성 $ \text{ch}_{i,k}(q) $ 의 $ k $-튜플에서 파생된 정규화된 와이어스트라인 $ \mathcal{W}_k(q) $ 와 $ \mathcal{W}_k'(q) $ 를 정의하며, 급수의 도함수를 사용한다.
• 행렬식 전개와 소행렬 분해를 통해 와이어스트라인 몫을 분석하며, 특히 $ \mathcal{F}_k(z) = \mathcal{W}_k'(q)/\mathcal{W}_k(q) $ 에 초점을 맞추고, 주계수를 1로 정규화한다.
• 소멸성 증명은 특성이 선형 독립임을 보여주는 데 기반하며, 이는 $ q $-전개에서 비정수 지수와 비영인 지수를 가지므로 와이어스트라인이 0이 될 수 없음을 의미한다.
• 모듈러 형식 기법을 적용하며, $ p = 2k+1 $ 이며 $ p $ 모듈로로의 환원과 델리뉴의 정리를 사용하여 와이어스트라인 몫을 초특이 $ 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 Andrews-Gordon q-급수의 와이어스트라인이 언제 0이 되며, 그 비소멸성에서 유래하는 분할 항등식은 무엇인가?
• RQ2 와이어스트라인 몫이 특성 $ p $ 에서의 초특이 타원곡선 이론과 어떻게 연결되는가? 특히 $ p = 2k+1 $ 이 소수일 경우.
• RQ3 와이어스트라인 몫 $ \mathcal{F}_k(z) $ 에 대해 $ p $ 모듈로에서 성립하는 합동식은 무엇이며, 이는 모듈러 형식과 인수 다항식과 어떻게 관련되는가?
• RQ4 인수 다항식 $ F(\mathcal{F}_k, x) $ 의 영점은 어떻게 특성화할 수 있으며, 이들은 이센스타인 급수의 영점과 유사한 성질을 가지는가?

주요 결과

• Andrews-Gordon 특성의 $ k $-튜플에 대한 와이어스트라인은 0이 아님. 특성들이 서로 다른 $ 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} $ 임을 보였으며, 이는 $ \mathcal{F}_k(z) $ 가 이센스타인 급수 $ E_{p-1}(z) \equiv 1 \pmod{p} $ 와 합동임을 의미한다.
• 와이어스트라인 몫 $ \mathcal{F}_k(z) $ 모듈로 $ p $ 는 초특이 위치 다항식 $ 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} $ 가 성립함을 시사하며, 더 깊은 곱셈적 구조를 시사한다.