[논문 리뷰] A Serre derivative for even weight Jacobi Forms

Georg Oberdieck|arXiv (Cornell University)|2012. 09. 25.

Advanced Algebra and Geometry참고 문헌 9인용 수 15

한 줄 요약

이 논문은 변형된 에이젠스타인 급수를 사용하여, 짝수 스펙트럼의 자코비 형식으로 고전적 세르 미분을 일반화한 자코비-세르 미분을 도입한다. 이는 짝수 스펙트럼의 자코비 형식 위에 모듈라리티를 유지하는 2차 미분 연산자를 구성하며, 색인 1의 에이젠스타인 급수에 대해 라마누잔 유형의 방정식을 도출하고, 변형된 에이젠스타인 급수와 자코비 제타 함수 $\theta_1$ 사이의 직접적인 연결을 확립한다.

ABSTRACT

Using deformed or twisted Eisenstein Series, we construct a Jacobi-Serre derivative on even-weight Jacobi forms that generalizes the classical Serre derivative on modular forms. As an application, we obtain Ramanujan equations for the index $1$ Eisenstein series $E_{4,1}, E_{6,1}$ and a newly defined $E_{2,1}$. Finally, we relate the deformed Eisenstein Series directly to the classical first Jacobi theta function.

연구 동기 및 목표

• 모듈라 형식에 대한 고전적 세르 미분을 짝수 스펙트럼의 자코비 형식으로 일반화하기 위해.
• 비모듈라리티를 보완하기 위해 변형된 에이젠스타인 급수를 사용하여 자코비 형식 위에 모듈라리티를 유지하는 미분 연산자를 구성하기 위해.
• 색인 1의 자코비 에이젠스타인 급수 $E_{4,1}, E_{6,1}, E_{2,1}$에 대해 라마누잔 유형의 미분 방정식을 도출하기 위해.
• 변형된 에이젠스타인 급수와 자코비 제타 함수 $\theta_1$ 사이의 직접적인 대수적 및 해석적 관계를 확립하기 위해.
• 생성 함수와 로그 미분을 통한 자코비 형식 위의 미분 연산자에 대한 개념적 프레임워크를 제공하기 위해.

제안 방법

• 변형된 에이젠스타인 급수 $J_n(z,\tau)$를 타원형 일반화로 정의하며, $J_1$은 $\theta_1$의 로그 미분과 관련된다.
• 비모듈라리티를 보정하기 위해 $F'$, $F^\bullet$, $E_2$, $J_n$ 항을 사용하여 짝수 스펙트럼 자코비 형식 $\mathcal{J}_{2k,m}$ 위에 자코비-세르 미분 $\partial^J$를 구성한다.
• 생성 함수 $\mathcal{J} = \sum_{n \geq 0} \frac{J_n}{n!} x^n$을 사용하여 $\theta_1$ 위의 미분 연산자와 변형된 급수 사이의 관계를 설정한다.
• 핵심 항등식 $\frac{\theta_1^\bullet}{\theta_1} = J_1$를 도출하고, 연산자 지수를 통해 고차 미분으로 일반화한다.
• 생성 함수 항등식을 확립한다: $\mathcal{J} = x \cdot \theta_1^\bullet(0,\tau) \cdot \frac{\exp(x\partial_z)\theta_1(z,\tau)}{\theta_1(\frac{x}{2\pi i},\tau)\theta_1(z,\tau)}$.
• 수정된 $J_{i,n}$ 급수를 통해 $\theta_2, \theta_3, \theta_4$ 등의 다른 제타 함수로 프레임워크를 확장하고, 유사한 생성 함수 항등식을 증명한다.

실험 결과

연구 질문

• RQ1 모듈라 형식에 대한 고전적 세르 미분을 짝수 스펙트럼 자코비 형식으로 어떻게 일반화할 수 있는가?
• RQ2 어떤 자코비 형식 위의 미분 연산자가 모듈라리티를 유지하면서 세르 미분을 일반화하는가?
• RQ3 변형된 에이젠스타인 급수 $J_n(z,\tau)$는 자코비 제타 함수 $\theta_1(z,\tau)$와 어떻게 관련이 있는가?
• RQ4 색인 1의 자코비 에이젠스타인 급수 $E_{4,1}, E_{6,1}, E_{2,1}$에 대해 라마누잔 유형의 미분 방정식을 도출할 수 있는가?
• RQ5 생성 함수 $\mathcal{J}$는 미분 연산자와 제타 함수를 통합하는 데 어떤 역할을 하는가?

주요 결과

• 자코비-세르 미분 $\partial^J$는 $\partial^J(F) = F' - \frac{k}{12}E_2F + \frac{1}{1-4m}\left(F^{\bullet\bullet} - J_1F^\bullet + mJ_2F - \frac{m}{6}E_2F\right)$로 정의되며, $\mathcal{J}_{2k,m} \to \mathcal{J}_{2k+2,m}$를 맵핑한다.
• 자코비-세르 미분을 $z=0$에 제한하면 고전적 세르 미분을 회복한다: $(\partial^J F)(0,\tau) = \partial^S(F(0,\tau))$.
• 색인 1의 자코비 형식에 대한 라마누잔 방정식을 도출한다: $\partial^J E_{2,1} + \frac{1}{12}E_2 E_{2,1} + \frac{1}{16}E_4' \phi_{-2,1} = -\frac{1}{12}E_{4,1}$, $\partial^J E_{4,1} = -\frac{1}{3}E_{6,1}$, 및 $\partial^J E_{6,1} = -\frac{1}{2}E_4 E_{4,1}$.
• 변형된 에이젠스타인 급수 $J_1(z,\tau)$는 $\theta_1(z,\tau)$의 로그 미분이다: $\frac{\theta_1^\bullet}{\theta_1} = J_1$.
• 생성 함수 $\mathcal{J} = \sum_{n \geq 0} \frac{J_n}{n!} x^n$는 $\mathcal{J} = x \cdot \theta_1^\bullet(0,\tau) \cdot \frac{\exp(x\partial_z)\theta_1(z,\tau)}{\theta_1(\frac{x}{2\pi i},\tau)\theta_1(z,\tau)}$를 만족한다.
• 새로운 미분 관계를 $\theta_1$과 그 도함수들 사이에 도출한다: $\theta_1^{\bullet\bullet\bullet\bullet}\theta_1 - 4\theta_1^{\bullet\bullet\bullet}\theta_1^\bullet + 3\theta_1^{\bullet\bullet}\theta_1^{\bullet\bullet} - \theta_1\theta_1^{\bullet\bullet}E_2 + (\theta_1^\bullet)^2E_2 + \frac{1}{2}\theta_1^2 E_2' = 0$.