모듈러 형식: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
|||
5번째 줄:
모듈러 형식론은 더 일반적인 [[보형 형식]]의 특수한 경우이며, 그러므로 오늘날 [[이산 군]]의 풍부한 이론에서의 가장 구체적인 부분으로 보인다.
== 정의 ==
'''모듈러 형식''' <math>f\colon\mathbb H\to\mathbb C</math>는 열린 반평면 <math>\mathbb H=\{z\in\mathbb C\colon\operatorname{Im}z>0\}</math> 위에 정의된, 다음 공리들을 만족시키는 [[정칙함수]]다.
* (S변환) 어떤 정수 <math>k</math>에 대하여, <math>f(-1/z)=z^kf(z)</math>이다. 이 <math>k</math>를 <math>f</math>의 '''무게'''({{lang|en|weight}})라고 한다.
* (T변환) <math>f(1+z)=f(z)</math>이다.
* (뾰족점에서의 정칙성) <math>f(z)</math>는 <math>z\to i\infty</math>에서 [[정칙함수]]다. 즉, <math>f(z)</math>는 다음과 같은 [[푸리에 급수]]로 쓸 수 있다.
::<math>f(z)=\sum_{n=0}^\infty c_n\exp(2\pi iz)</math>
:여기서 <math>c_0=f(i\infty)</math>에 해당한다.
{{토막글|수학}}
| |||