개요
모듈러 람다 함수(영어: modular lambda function)는 수학, 특히 정수론과 타원함수론에서 다루어지는 해석함수이다. 이 함수는 합동 부분군 Γ(2)에 대하여 불변인 모듈러 함수의 일종으로, 복소상반평면 상에서 정의되며 타원 곡선과 리만 구면 사이의 관계를 설명하는 데 핵심적인 역할을 한다.
정의
복소상반평면을 ℍ라고 할 때, 모듈러 람다 함수 λ : ℍ → ℂ는 바이어슈트라스 타원함수 ℘를 이용하여 정의할 수 있다. 타원함수의 주기(period)를 ω₁, ω₂로 두고 τ = ω₂/ω₁이라고 하면, 모듈러 람다 함수는 다음과 같이 주어진다.
λ(τ) = [℘(ω₁/2 + ω₂/2) − ℘(ω₂/2)] / [℘(ω₁/2) − ℘(ω₂/2)]
여기서 ℘는 바이어슈트라스 타원함수를 나타낸다. 또한 모듈러 람다 함수는 야코비 세타 함수 θ₂, θ₃를 이용하여 다음과 같이 나타낼 수 있다.
λ(τ) = θ₂⁴(0, τ) / θ₃⁴(0, τ)
이 외에도 데데킨트 에타 함수 η를 이용한 표현도 존재한다.
성질
불변성과 함수 방정식
모듈러 람다 함수는 합동 부분군 Γ(2)에 대하여 불변이다. 즉, 모든 τ에 대하여 다음 관계식이 성립한다.
λ(τ + 2) = λ(τ/(1 − 2τ)) = λ(τ)
이에 따라 모듈러 람다 함수는 종수(genera) 0의 리만 곡면인 모듈러 곡선 X(2) = ℍ/Γ(2)와 리만 구면 사이의 구체적인 동형사상을 정의한다. 완전 모듈러 군 Γ(1) = PSL(2; ℤ)에 대해서는 다음 변환 규칙을 따른다.
λ(τ + 1) = λ(τ) / (λ(τ) − 1) λ(−1/τ) = λ(τ) − 1
급수 전개
q = exp(πiτ)로 둘 때, 모듈러 람다 함수는 다음과 같은 q-급수 전개를 가진다.
λ(τ) = 16q − 128q² + 704q³ − 3072q⁴ + 11488q⁵ − 38400q⁶ + …
기하학적 해석
바이어슈트라스 타원함수 ℘는 타원 곡선 ℂ/⟨1, τ⟩에서 리만 구면으로 가는 2겹 분지 피복(2-fold branched cover)을 이룬다. 이 피복사상은 4개의 점에서 분기(branching)하며, 모듈러 람다 함수는 바로 이 점들의 비조화비(anharmonic ratio)로 해석된다. 즉, 분기점을 e₁, e₂, e₃, e₄ = ∞라고 할 때,
λ(τ) = (e₃ − e₂)(e₄ − e₁) / [(e₁ − e₂)(e₄ − e₃)]
로 주어진다.
타원의 모듈러스와 람다 별 함수
모듈러 람다 함수는 타원 곡선의 모듈러스(elliptic modulus)와 밀접한 관련이 있다. 특히 람다 별 함수 λ*(x)는 타원 모듈러스를 제공하며, 제1종 완전타원 적분 K를 이용하여 다음과 같은 관계를 만족한다.
K[√(1 − λ*(x)²)] / K[λ*(x)] = √x
람다 별 함수 λ*(x)와 모듈러 람다 함수 λ(τ) 사이에는
λ*(x) = √(λ(i√x))
의 관계가 성립한다. 양의 유리수 x에 대하여 λ*(x)는 항상 대수적 수(algebraic number)가 된다는 사실이 알려져 있다.
람다 별 함수는 다양한 정수값에서 구체적인 대수적 표현을 가지며, 예를 들어 λ*(1) = (1/2)√2, λ*(2) = √2 − 1, λ*(3) = (1/4)√2(√3 − 1) 등으로 주어진다. 이러한 값들은 타원 적분과 관련된 여러 수학적 문제에서 활용된다.
의의와 응용
모듈러 람다 함수는 다음과 같은 분야에서 중요한 역할을 한다.
- 타원곡선론: 타원 곡선을 리만 구면의 분지 피복으로 나타내는 구조적 설명에 사용된다.
- 모듈러 곡선론: 모듈러 곡선 X(2)의 함수체를 생성하는 하우프트모둘(Hauptmodul)로서 기능한다.
- 정수론: 타원 모듈러스와 완전타원 적분의 관계를 통해 수론적 대상들의 대수적 성질을 밝히는 데 기여한다.
참고 문헌
- Chandrasekharan, K. (1985), 《Elliptic Functions》, Springer, ISBN 3-540-15295-4
- Rankin, Robert A. (1977), 《Modular Forms and Functions》, Cambridge University Press, ISBN 0-521-21212-X
