"모듈라 형식(modular forms)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로)
7번째 줄: 7번째 줄:
 
 
 
 
  
<h5>개요</h5>
+
==개요</h5>
  
 
* [[푸앵카레 상반평면 모델|푸앵카레 상반평면]]에서 정의된 해석함수
 
* [[푸앵카레 상반평면 모델|푸앵카레 상반평면]]에서 정의된 해석함수
17번째 줄: 17번째 줄:
 
 
 
 
  
<h5>모듈라 성질</h5>
+
==모듈라 성질</h5>
  
 
* weight 2k 인 모듈라 형식
 
* weight 2k 인 모듈라 형식
26번째 줄: 26번째 줄:
 
 
 
 
  
<h5>푸리에 전개</h5>
+
==푸리에 전개</h5>
  
 
*  cusp에서도 해석함수의 성질을 갖도록 해주기 위한 조건<br><math>f(\tau) = \sum_{n=0}^\infty a_n e^{2i\pi n\tau}</math><br>
 
*  cusp에서도 해석함수의 성질을 갖도록 해주기 위한 조건<br><math>f(\tau) = \sum_{n=0}^\infty a_n e^{2i\pi n\tau}</math><br>
34번째 줄: 34번째 줄:
 
 
 
 
  
<h5>중요한 예</h5>
+
==중요한 예</h5>
  
 
* [[격자의 세타함수|even unimodular 격자의 세타함수]]
 
* [[격자의 세타함수|even unimodular 격자의 세타함수]]
46번째 줄: 46번째 줄:
 
 
 
 
  
<h5>구조 정리</h5>
+
==구조 정리</h5>
  
 
(정리)
 
(정리)

2012년 10월 31일 (수) 15:29 판

이 항목의 스프링노트 원문주소

 

 

==개요

  • 푸앵카레 상반평면에서 정의된 해석함수
  • 모듈라 성질과 cusp에서의 푸리에전개를 가짐
  • 별다른 언급이 없을 경우 \(q=e^{2\pi i\tau}\) 를 의미함

 

 

==모듈라 성질

  • weight 2k 인 모듈라 형식
  • 모듈라 군(modular group)의 원소에 대하여 다음 조건을 만족시킴
    \(f \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2k} f(\tau)\)
     

 

 

==푸리에 전개

  • cusp에서도 해석함수의 성질을 갖도록 해주기 위한 조건
    \(f(\tau) = \sum_{n=0}^\infty a_n e^{2i\pi n\tau}\)

 

 

==중요한 예

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

 

 

==구조 정리

(정리)

\(\mathbb{C}[E_4,E_6]=\oplus M_k\)

\(\{E_6^2, \Delta\}\)는 weight 12인 모듈라 형식의 기저가 된다.

 

 

메모

\(d(\frac{az+b}{cz+d})=\frac{(acz+ad-acz-bc)}{(cz+d)^2}dz=(cz+d)^{-2}dz\)

 

 

 

하위페이지

 

 

 

역사

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서

 

 

관련기사

 

 

블로그