[논문 리뷰] Renormalization and quantum modular forms, part II: Mock theta functions

Yingkun Li, Hieu T. Ngo외 1명|arXiv (Cornell University)|2013. 11. 13.

Advanced Mathematical Identities참고 문헌 48인용 수 6

한 줄 요약

이 논문은 q-하이퍼기하급수에 대한 재정규화 절차를 제안하며, 이는 모방 테타 함수와 마스 웨이브포트를 통해 비홀로모르픽 모듈라 형식의 누락된 푸리에 계수를 복원한다. 양자 모듈라 형식과 상반평면 및 하반평면의 홀로모르픽 함수 간의 이중성에 기반하여, 재정규화된 급수를 통해 모듈라 대상을 완성함으로써, 라마누잔 함수의 숨겨진 구조에 대한 프리먼 다이슨의 추측을 확인한다.

ABSTRACT

Sander Zwegers showed that Ramanujan's mock theta functions are $q$-hypergeometric series, whose $q$-expansion coefficients are half of the Fourier coefficients of a non-holomorphic modular form. George Andrews, Henri Cohen, Freeman Dyson, and Dean Hickerson found a pair of $q$-hypergeometric series each of which contains half of the Fourier coefficients of Maass waveform of eigenvalue $1/4$. This series of papers shows that a $q$-series construction, called ``renormalization'', yields the other half of the Fourier coefficients from a series which contains half of them. This construction unifies examples associated with mock theta functions and examples associated with Maass waveforms. Thus confirming a conviction of Freeman Dyson. This construction is natural in the context of Don Zagier's quantum modular forms. Detailed discussion of the role quantum modular forms play in this construction is given. New examples associated to Maass waveforms are given in Part I. Part II contains new examples associated with mock theta functions, and classical modular forms. Part II contains an extensive survey of the ``renormalization'' construction. A large number of examples and open questions which share similarities to the main examples, but remain mysterious, are given.

연구 동기 및 목표

• 모방 테타 함수와 관련된 부분적인 q-급수로부터 전체 비홀로모르픽 모듈라 형식을 복원하는 오랜 문제를 해결하기 위해.
• 모방 테타 함수와 마스 웨이브포트의 예를 하나의 프레임워크로 통합하는 재정규화 구축을 체계화하기 위해.
• 홀로모르픽 q-급수와 비홀로모르픽 모듈라 대상 간의 연결에 있어 양자 모듈라 형식의 정확한 역할을 규명하기 위해.
• 재정규화 방법을 통해 무게 3/2의 모의 테타 함수와 고전적 모듈라 형식의 새로운 예를 제공하기 위해.
• 표준 모듈라 해석에 저항하는 미스터리한 q-급수를 식별하고 분석하여, 양자 모듈라 형식 이론에서 새로운 열린 문제를 제기하기 위해.

제안 방법

• 유한 합에서 무한한 극한을 빼어, 유리수 점의 조밀한 부분집합에서 수렴하는 급수를 얻는 방식으로 재정규화된 q-급수를 정의한다.
• 상반평면 ℍ와 하반평면 ℍ⁻에 각각 정의된 두 개의 홀로모르픽 함수를 구성하며, 각각 모듈라 형식의 푸리에 계수의 절반을 코딩한다.
• 양자 모듈라 형식 이론을 활용하여, 두 급수가 일치하는 부분집합 S ⊂ ℚ에서 함수를 정의함으로써, ℍ에서 ℍ⁻로 정보의 '누출'을 가능하게 한다.
• σ(q), σ*(q), 기타 모방 테타 유형 급수와 같은 q-하이퍼기하급수에 재정규화 절차를 적용하여 전체 모듈라 대상을 복원한다.
• 재정규화된 급수를 알려진 모듈라 형식과 부분 푸리에 급수 간의 관계로 연결하며, 특히 약수 함수와 무한곱을 포함한 항등식을 통해 분석한다.
• 재정규화 과정에서 나타나는 '유령 항'을 특성화하며, 일반적으로 모듈라 형식과 약수 함수 또는 부분 푸리에 급수의 곱으로 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 재정규화 절차가 모든 모의 테타 함수에 체계적으로 적용되어 그에 해당하는 비홀로모르픽 모듈라 형식을 복원할 수 있는가?
• RQ2 상반평면 및 하반평면 함수가 일치하는 부분집합 S ⊂ ℚ과 관련된 모듈라 형식의 고립성 사이의 정확한 관계는 무엇인가?
• RQ3 특정 재정규화된 급수, 예를 들어 ∑(1/(q)_n² - 1/(q)_∞²)가 약수 함수와 크랭크 생성함수와 연결된 산술적 성질을 보이는 이유는 무엇인가?
• RQ4 재정규화 과정에서 나타나는 '유령 항'의 선택에 대한 보편적인 구조가 존재하는가, 특히 그것이 모듈라 형식과 부분 푸리에 급수 또는 약수 함수의 곱으로 나타날 경우에?
• RQ5 L_6(q⁻¹) 또는 크랭ch 관련 급수와 같은 경우에 ∑(f_n(q) - f_∞(q)) 형식의 재정규화된 급수와 관련된 새로운 모듈라 대상을 정의할 수 있는가?

주요 결과

• 재정규화 구축은 초기에 계수의 절반만 포함하는 q-급수로부터 비홀로모르픽 모듈라 형식의 전체 푸리에 계수를 성공적으로 복원하며, 다이슨의 추측을 확인한다.
• σ(q)와 σ*(q)는 각각 고유값 1/4를 가진 마스 웨이브포트 φ₀(z)의 양의 및 음의 푸리에 계수를 담고 있으며, S(n) = T(24n+1) 및 S*(n) = T(1−24n)이다.
• 재정규화된 급수 ∑(1/(q)_n² - 1/(q)_∞²)는 약수 함수와 부분 푸리에 급수의 조합으로 명시적으로 표현되며, 크랭치 생성함수와 연결된다.
• 크랭치 관련 급수 cr(q⁻¹)의 재정규화된 합은 ∑ qⁿ/(1−qⁿ) 및 ∑ (−1)ⁿ⁻¹ q^{n(n+1)/2}/(1−qⁿ)를 포함하는 닫힌 형태의 표현식으로 주어지며, 산술적 깊이를 보여준다.
• L₆(q⁻¹)의 재정규화된 급수는 2q + 5q² + 2q³ + ...로 명시적으로 계산되었으며, 그 q-하이퍼기하급수적 구조는 아직 알려져 있지 않아 새로운 열린 문제를 제기한다.
• 재정규화 과정에서 나타나는 '유령 항'은 일반적으로 모듈라 형식과 약수 함수 또는 부분 푸리에 급수의 곱으로 나타나며, 이는 양자 모듈라 형식 공간 내에서 이러한 항들을 분류할 잠재적 가능성과 관련된다.