아이젠슈타인 급수 아이젠슈타인 급수(Eisenstein series)는 수학의 모듈러 형식(modular form) 이론에서 핵심적인 역할을 하는 특수 함수이다. 독일의 수학자 고트홀트 아이젠슈타인(Gotthold Eisenstein)의 이름을 따서 명명되었다.
-
정의 일반적으로 복소 상반평면(upper half-plane) 위에서 정의되며, 격자(lattice)에 대한 무한 급수의 형태로 표현된다. 짝수 가중치(weight) $k > 2$에 대하여, 복소수 $\tau$($Im(\tau) > 0$)에 대한 아이젠슈타인 급수 $G_k(\tau)$는 다음과 같이 정의된다. $G_k(\tau) = \sum_{(m,n) \in \mathbb{Z}^2 \setminus {(0,0)}} \frac{1}{(m\tau + n)^k}$ 이 급수는 $k > 2$일 때 절대 수렴하며, 복소 상반평면에서 홀로모픽(holomorphic) 함수이다.
-
주요 특징
- 모듈러 성질: 아이젠슈타인 급수는 모듈러 군(modular group) $SL_2(\mathbb{Z})$의 작용에 대하여 가중치 $k$의 모듈러 형식이 된다. 즉, $a, b, c, d$가 $ad - bc = 1$을 만족하는 정수일 때, $G_k(\frac{a\tau + b}{c\tau + d}) = (c\tau + d)^k G_k(\tau)$를 만족한다.
- 푸리에 전개: 아이젠슈타인 급수는 $q = e^{2\pi i \tau}$에 대한 푸리에 급수 전개를 가지며, 그 계수는 약수 함수(divisor function)와 관련이 있다. 이를 통해 정수론적인 성질을 분석하는 데 사용된다.
- 상수항: 적절한 정규화를 거친 아이젠슈타인 급수 $E_k(\tau)$의 경우, 상수항이 1이 되도록 설정하며 이를 통해 모듈러 형식 공간의 구조를 파악한다.
- 응용 및 의의 아이젠슈타인 급수는 타원곡선, 타원함수, 보형 형식(automorphic form) 연구의 기초가 된다. 특히 바이어슈트라스(Weierstrass) $\wp$-함수의 급수 전개 계수로 등장하며, 현대 정수론에서 L-함수의 특수값 연구나 페르마의 마지막 정리 증명과 관련된 모듈성 정리 등에서도 중요한 도구로 활용된다. 또한 물리학의 끈 이론(string theory) 등에서도 시공간의 기하학적 성질을 기술하는 데 사용되기도 한다.
