모듈라 형식(modular forms)

개요

푸앵카레 상반평면에서 정의된 해석함수
모듈라 성질과 cusp에서의 푸리에전개를 가짐
정수론에서 많은 중요한 역할

기호

<math>\mathbb{H}=\{\tau\in \mathbb{C}|\Im \tau>0\}</math>
모듈라 군(modular group) <math>\Gamma=SL(2, \mathbb Z) = \left \{ \left. \left ( \begin{array}{cc}a & b \\ c & d \end{array} \right )\right| a, b, c, d \in \mathbb Z,\ ad-bc = 1 \right \}</math>
<math>\operatorname{PSL}(2,\mathbb{Z})=\operatorname{SL}(2,\mathbb{Z})/\{\pm I\}</math> acts on <math>\mathbb{H}</math> by

<math>\tau\mapsto\frac{a\tau+b}{c\tau+d}</math>

for <math>\left ( \begin{array}{cc}a & b \\ c & d \end{array} \right )\in \operatorname{SL}(2,\mathbb{Z})</math>

<math>SL(2, \mathbb Z)</math> is generated by <math>S</math> and <math>T</math>

<math>S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix},T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} </math>

<math>S: \tau\mapsto -1/\tau,T: \tau\mapsto \tau+1</math>

모듈라 형식

def

A holomorphic function <math>f:\mathbb{H}\to \mathbb{C}</math> is a modular form of weight <math>k</math> (w.r.t. <math>SL(2, \mathbb Z)</math>) if

<math>f \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{k} f(\tau)</math>
<math>f</math> is "holomorphic at the cusp", i.e. it has a Fourier expansion of the following form

<math>

f(\tau)=\sum_{n=0}^{\infty}c(n)e^{2\pi i n \tau} </math>

예

<math>\Delta(\tau)=q\prod_{n>0}(1-q^n)^{24}=q-24q+252q^2+\cdots</math>

아이젠슈타인 급수

아이젠슈타인 급수(Eisenstein series)
for an integer <math>k\geq 2</math>, define

<math>

G_{2k}(\tau) : =\sum_{(m,n)\in \mathbb{Z}^2\backslash{(0,0)}}\frac{1}{(m+n\tau )^{2k}} </math>

Eisenstein series : normalization of <math>G_{2k}</math>

<math>E_{2k}(\tau):=\frac{G_{2k}(\tau)}{2\zeta (2k)}= 1+\frac {2}{\zeta(1-2k)}\left(\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)</math>

where <math>\zeta</math> denotes the Riemann zeta function and <math>\sigma_r(n)=\sum_{d|n}d^r</math>

this is a modular form of weight <math>2k</math>
for example

<math>E_4(\tau)= 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n}=1 + 240 q + 2160 q^2 + \cdots </math>

<math>E_6(\tau)=1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n}=1 - 504 q - 16632 q^2 - \cdots </math>

구조 정리

정리

<math>M_k</math> be the space of modular forms of weight <math>k</math> and <math>M:=\bigoplus_{k\in \mathbb{Z}_{\geq 0}} M_k</math>. We have

<math>M=\mathbb{C}[E_4,E_6]</math>

차원 생성 함수

<math>

\sum_{k=0}^{\infty}\dim M_k x^k=\frac{1}{\left(1-x^4\right)\left(1-x^{6}\right)}=1+x^4+x^6+x^8+x^{10}+2 x^{12}+x^{14}+2 x^{16}+2 x^{18}+2 x^{20}+\cdots </math>

가령 <math>\{E_6^2, \Delta\}</math>는 <math>M_{12}</math>의 기저가 된다. 여기서 <math>\Delta=E_4^3-E_6^2</math>

메모

마르틴 아티클러 (Martin Eichler)는 다음과 같은 말을 남김

There are five elementary arithmetical operations: addition, subtraction, multiplication, division, and… modular forms.
다섯개의 기본적인 산술적 연산이 있다 : 더하기, 빼기, 곱하기, 나누기, 그리고 ... 모듈라 형식.

역사

수학사 연표

매스매티카 파일 및 계산 리소스

https://docs.google.com/file/d/0B8XXo8Tve1cxNGxwUTkwdV9fakE/edit

수학용어번역

modular - 대한수학회 수학용어집

사전 형태의 자료

http://ko.wikipedia.org/wiki/보형형식

리뷰논문, 에세이, 강의노트

Finch, Modular Forms on <math>SL_2(\mathbb{Z})</math>
Vaughan, modular forms I, modular forms II

모듈라 형식(modular forms)

목차

개요

기호

모듈라 형식

예

아이젠슈타인 급수

구조 정리

메모

역사

관련된 항목들

매스매티카 파일 및 계산 리소스

수학용어번역

사전 형태의 자료

리뷰논문, 에세이, 강의노트

관련논문

둘러보기 메뉴

모듈라 형식(modular forms)

개요

기호

모듈라 형식

예

아이젠슈타인 급수

구조 정리

메모

역사

관련된 항목들

매스매티카 파일 및 계산 리소스

수학용어번역

사전 형태의 자료

리뷰논문, 에세이, 강의노트

관련논문

둘러보기 메뉴

검색