[논문 리뷰] Logarithmic vector-valued modular forms

Marvin I. Knopp, Geoffrey Mason|ArXiv.org|2009. 10. 20.

Advanced Algebra and Geometry참고 문헌 5인용 수 4

한 줄 요약

이 논문은 로그 성분 함수를 가진 $q$-급수(즉, $\log q$의 거듭제곱을 포함하는) 벡터 값 모듈라 형식인 로그 벡터 값 모듈라 형식을 도입하고, $\mathrm{SL}_2(\mathbb{Z}) \to \mathrm{GL}_p(\mathbb{C})$의 표현 $\rho$에 대해 $\rho(T)$의 고유값이 단위 원 위에 있을 경우, 유리형 행렬 값 푸앵카레 급수를 구성한다. 핵심 결과는 해석적 로그 벡터 값 모듈라 형식의 공간이 고전적 해석적 모듈라 형식의 링 위에서 계수 $p$의 자유 모듈러스라는 것이다.

ABSTRACT

We consider logarithmic vector- and matrix-valued modular forms of integral weight $k$ associated with a $p$-dimensional representation $ρ: SL_2(\mathbb{Z}) o GL_p(\mathbb{C})$ of the modular group, subject only to the condition that $ρ(T)$ has eigenvalues of absolute value 1. The main result is the construction of meromorphic matrix-valued Poincaré series associated to $ρ$ for all large enough weights. The component functions are logarithmic $q$-series, i.e., finite sums of products of $q$-series and powers of $\log q$. We derive several consequences, in particular we show that the space $\mathcal{H}(ρ)=\oplus_k \mathcal{H}(k, ρ)$ of all holomorphic logarithmic vector-valued modular forms associated to $ρ$ is a free module of rank $p$ over the ring of classical holomorphic modular forms on $SL_2(\mathbb{Z})$.

연구 동기 및 목표

• 일반적인 $\mathrm{SL}_2(\mathbb{Z})$ 표현에 대해 $\rho(T)$의 고유값의 절댓값이 1인 경우, 로그 벡터 값 모듈라 형식의 체계적 이론을 개발하는 것.
• 특히 공형 장 이론 및 버텍스 연산자 대수의 맥락에서 로그 모듈라 형식에 대한 일반적 프레임워크의 부재를 해결하는 것.
• 보정 행렬 요소 $B_\rho$를 포함한 새로운 행렬 값 푸앵카레 급수 구성 방법을 통해 비자명한 로그 모듈라 형식의 존재를 확립하는 것.
• 해석적 로그 벡터 값 모듈라 형식의 공간 $\mathcal{H}(\rho)$가 고전적 해석적 모듈라 형식의 링 위에서 계수 $p$의 자유 모듈러스임을 증명하는 것.

제안 방법

• 표현 $\rho$에 대해 $p$차원 표현에 대해 행렬 값 푸앵카레 급수를 구성하며, $\rho$에 대한 적절한 변환 성질을 확보하기 위해 행렬 요소 $B_\rho$를 통합한다.
• $\rho(T)$의 고유값의 절댓값이 1임을 조건으로 두어 수렴성과 실수 지수를 가진 $q$-전개를 보장한다.
• $\rho(T)$의 수정된 조르당 표준형을 사용하여 형태 $f(\tau) = \sum_{j=0}^t (\log q)^j h_j(\tau)$인 로그 $q$-전개를 모델링하며, 여기서 $h_j(\tau)$는 일반적인 $q$-급수이다.
• 새로운 추정치(정리 3.7)와 아이히러 캐논리컬 형식 기법을 적용하여 상반평면에서 푸앵카레 급수의 수렴성을 증명한다.
• 푸앵카레 급수의 성분 함수를 $\rho(T)$의 조르당 블록에 따라 분석함으로써 로그 $q$-급수 전개를 유도한다.
• 헤케와 [KM1]에서 적응한 방법을 사용하여 푸리에 계수의 다항식 성장 추정치를 확립하며, 이는 무게 $k$와 표현 $\rho$에 따라 달라진다.

실험 결과

연구 질문

• RQ1 모든 표현 $\rho$에 대해 $\mathrm{SL}_2(\mathbb{Z})$에 대해 $\rho(T)$가 단위근을 가질 경우, 유리형 행렬 값 푸앵카레 급수를 구성할 수 있는가? 특히 $\rho(T)$가 대각화 가능하지 않은 경우에도 가능한가?
• RQ2 해석적 로그 벡터 값 모듈라 형식의 공간 $\mathcal{H}(\rho)$는 고전적 해석적 모듈라 형식의 링 위에서 자유 모듈러스인가?
• RQ3 모든 로그 벡터 값 모듈라 형식과 관련된 표준적인 모듈라 선형 미분방정식(MLDE)을 정의할 수 있으며, 그 최소 차수는 얼마인가?
• RQ4 전체 및 커스피달 로그 벡터 값 모듈라 형식의 푸리에 계수에 대한 다항식 성장 추정치는 무엇인가?
• RQ5 $\rho$의 표현, 특히 그 조르당 형식의 구조가 모듈라 형식의 $q$-전개 및 변환 성질에 어떻게 영향을 미치는가?

주요 결과

• 해석적 로그 벡터 값 모듈라 형식의 공간 $\mathcal{H}(\rho) = \bigoplus_k \mathcal{H}(k, \rho)$는 고전적 해석적 모듈라 형식의 링 위에서 계수 $p$의 자유 모듈러스이며, 정상적인 경우에 대한 결과를 일반화한다.
• 모든 로그 벡터 값 모듈라 형식 $F$에 대해, 그 성분 함수들이 생성하는 해공간을 갖는 최소 차수의 표준 모듈라 선형 미분방정식이 존재하며, 정규화된 최고차항 계수는 최소 무게를 갖는다.
• $F$의 소거자(annihilator)는 링 $\mathcal{R}$ 위에서 순환 $\mathcal{R}$-모듈러스이므로, 이러한 형식에 대한 체계적인 대수적 프레임워크가 존재함을 나타낸다.
• 무게 $k$의 해석적 로그 벡터 값 모듈라 형식의 푸리에 계수는 어떤 $\alpha$에 대해 $a(n) = O(n^{k + \alpha})$를 만족하며, 커스피달 경우에 더 날카운 추정치 $a(n) = O(n^{k/2 + \alpha/2})$도 얻는다.
• 보정 행렬 요소 $B_\rho$를 포함한 행렬 값 푸앵카레 급수의 구성은 $\rho$에 대한 적절한 변환 행동을 보장하며, 비자명한 로그 모듈라 형식의 존재를 가능하게 한다.
• 푸앵카레 급수의 수렴성은 $\rho(T)$의 고유값이 단위 원 위에 있을 조건 하에서 확립되며, 이는 공형 장 이론에 의해 물리적으로 동기화되며, 유리형 및 로그 공형 장 이론의 표현들에 의해 만족된다.