"격자의 세타함수"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “<br><math>” 문자열을 “:<math>” 문자열로) |
Pythagoras0 (토론 | 기여) |
||
| 1번째 줄: | 1번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==정의== | ==정의== | ||
| − | * | + | * 격자 <math>L</math> 에 대하여 세타함수를 다음과 같이 정의함:<math>\theta_L(\tau)=\sum_{x\in L}q^{\frac{x^2}{2}}, \quad q=e^{2\pi i \tau}</math> |
| − | * | + | * 여기서 <math>x^2</math> 은 벡터 <math>x</math>의 norm 을 가리킴. |
| − | + | ||
| − | + | ||
==자코비 세타함수의 경우== | ==자코비 세타함수의 경우== | ||
| + | * 격자가 정수집합 <math>\mathbb Z</math> 로 주어진 경우의 세타함수:<math>\theta(\tau)=\sum_{n\in \mathbb Z}q^{\frac{n^2}{2}}= \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau}</math> | ||
| + | * [[자코비 세타함수]]를 얻는다 | ||
| − | |||
| − | |||
| − | |||
| − | + | ||
==세타함수의 모듈라 성질== | ==세타함수의 모듈라 성질== | ||
| 28번째 줄: | 19번째 줄: | ||
(정리) | (정리) | ||
| − | rank가 | + | rank가 2n의 even unimodular 격자 <math>L</math>에 대하여 , 세타함수 <math>\theta_L</math> 은 weight n인 모듈라 형식이 된다. |
| − | + | ||
(증명) | (증명) | ||
| − | 먼저 cusp 에서의 푸리에 급수 | + | 먼저 cusp 에서의 푸리에 급수 조건은 정의에 만족된다. ( <math>\theta_L(i\infty)=1</math> 도 알 수 있음.) |
[[포아송의 덧셈 공식]]을 사용하자. | [[포아송의 덧셈 공식]]을 사용하자. | ||
| − | + | ||
| − | + | ||
==관련된 항목들== | ==관련된 항목들== | ||
| − | * [[자코비 세타함수]] | + | * [[자코비 세타함수]] |
| + | * [[리치 격자(Leech lattice)]] | ||
| + | * [[모듈라 형식(modular forms)]] | ||
2013년 4월 11일 (목) 07:04 판
정의
- 격자 \(L\) 에 대하여 세타함수를 다음과 같이 정의함\[\theta_L(\tau)=\sum_{x\in L}q^{\frac{x^2}{2}}, \quad q=e^{2\pi i \tau}\]
- 여기서 \(x^2\) 은 벡터 \(x\)의 norm 을 가리킴.
자코비 세타함수의 경우
- 격자가 정수집합 \(\mathbb Z\) 로 주어진 경우의 세타함수\[\theta(\tau)=\sum_{n\in \mathbb Z}q^{\frac{n^2}{2}}= \sum_{n=-\infty}^\infty e^{\pi i n^2 \tau}\]
- 자코비 세타함수를 얻는다
세타함수의 모듈라 성질
(정리)
rank가 2n의 even unimodular 격자 \(L\)에 대하여 , 세타함수 \(\theta_L\) 은 weight n인 모듈라 형식이 된다.
(증명)
먼저 cusp 에서의 푸리에 급수 조건은 정의에 만족된다. ( \(\theta_L(i\infty)=1\) 도 알 수 있음.)
포아송의 덧셈 공식을 사용하자.