"타원 모듈라 λ-함수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
39번째 줄: 39번째 줄:
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">모듈라군에 의한 변환</h5>
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">모듈라군에 의한 변환</h5>
  
−
* [[모듈라 군(modular group)]]의 생성원<br>[[모듈라 군(modular group)|]]<math>S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} </math>, <math>T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} </math><br>
+
* [[모듈라 군(modular group)]]에 의한 변환<br>
−
* <math>T: \tau \to \tau+1</math>에 의한 변화<br><math>\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} \omega_1+\omega_2 \\ \omega_1 \end{pmatrix}</math><br><math>e_1'=\wp(\frac{\omega_1}{2})=e_1</math><br><math>e_2'=\wp(\frac{\omega_1+\omega_2}{2})=e_3</math><br><math>e_3'=\wp(\frac{\omega_2}{2})=e_2</math>[[모듈라 군(modular group)|]]<math>\lambda(\tau+1)=\frac{e_2-e_3}{e_1-e_3}=\frac{\lambda(\tau)}{\lambda(\tau)-1}</math><br>
+
*  생성원<br><math>S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} </math>, <math>T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} </math><br>
−
 
+
* <math>T: \tau \to \tau+1</math>에 의한 변화<br><math>\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} \omega_1+\omega_2 \\ \omega_1 \end{pmatrix}</math><br><math>e_1'=\wp(\frac{\omega_1}{2})=e_1</math><br><math>e_2'=\wp(\frac{\omega_1+\omega_2}{2})=e_3</math><br><math>e_3'=\wp(\frac{\omega_2}{2})=e_2</math><math>\lambda(\tau+1)=\frac{e_2-e_3}{e_1-e_3}=\frac{\lambda(\tau)}{\lambda(\tau)-1}</math><br>
−
 
+
* <math>S: \tau \to -\frac{1}{\tau}</math>에 의한 변화<br><math>\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} -\omega_1 \\ \omega_2 \end{pmatrix}</math><br><math>e_1'=\wp(\frac{\omega_2}{2})=e_2</math><br><math>e_2'=\wp(\frac{\omega_1}{2})=e_1</math><br><math>e_3'=\wp(\frac{\omega_1+\omega_2}{2})=e_3</math><math>\lambda(-\frac{1}{\tau})=\frac{e_3-e_1}{e_2-e_1}=1-\lambda(\tau)</math><br>
−
 
+
*  따라서 [[모듈라 군(modular group)]]에 의해, 다음과 같은 값을 취할 수 있게 된다<br>  <br>[[교차비(cross ratio)|]]<br><math> \lambda, {1\over\lambda},{1\over{1-\lambda}},  1-\lambda, {\lambda\over{\lambda-1}}, {{\lambda-1}\over\lambda}</math><br>
−
* <math>S: \tau \to -\frac{1}{\tau}</math>에 의한 변화<br><math>\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} -\omega_1 \\ \omega_2 \end{pmatrix}</math><br><math>e_1'=\wp(\frac{\omega_2}{2})=e_2</math><br><math>e_2'=\wp(\frac{\omega_1}{2})=e_1</math><br><math>e_3'=\wp(\frac{\omega_1+\omega_2}{2})=e_3</math>[[모듈라 군(modular group)|]]<math>\lambda(-\frac{1}{\tau})=\frac{e_3-e_1}{e_2-e_1}=1-\lambda(\tau)</math><br>
+
* [[교차비(cross ratio)|사영기하학과 교차비]]<br>
−
 
 
−
 
 
  
 
 
 
 

2009년 12월 17일 (목) 12:14 판

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

 

 

개요
  • \(\lambda(\tau)=k^2(\tau)\) 는 modulus라고 불렸으며, 아벨, 자코비와 후학들(에르미트)에 의해 많이 연구됨
  • 가장 기본적인 모듈라함수로 여겨졌으나, 나중에 \(j\)-불변량에 그 자리를 내줌
  • 모듈라 군(modular group) \(\Gamma(2)\)에 대한 모듈라 함수가 됨
    \(\Gamma(2) = \left\{ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in SL_2(\mathbf{Z}) : \begin{pmatrix} a & b \\ c & d \end{pmatrix} \equiv \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \pmod{2} \right\}\)
  • 기본적인 내용은 [AHL1979] 7.3.4를 참고

 

 

세타함수와의 관계
  • 자코비 세타함수
    [[자코비 세타함수|]]\(k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}\)
    \(\lambda(\tau)=k^2(\tau)=\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}\)

 

 

바이어슈트라스 타원함수와의 관계
  • 바이어슈트라스의 타원함수
    [[바이어슈트라스 타원함수 ℘|]]\(\wp(z;\omega_1,\omega_2)=\frac{1}{z^2}+ \sum_{m^2+n^2 \ne 0} \left\{ \frac{1}{(z-m\omega_1-n\omega_2)^2}- \frac{1}{\left(m\omega_1+n\omega_2\right)^2} \right\}\)
    \(\tau=\frac{\omega_2}{\omega_1}\) 로 두면, \(\lambda(\tau)=\frac{e_3-e_2}{e_1-e_2}\)
    여기서 
    \(e_1=\wp(\frac{\omega_1}{2};\omega_1,\omega_2)\)
    \(e_2=\wp(\frac{\omega_2}{2};\omega_1,\omega_2)\)
    \(e_3=\wp(\frac{\omega_1+\omega_2}{2};\omega_1,\omega_2)\)
  • \(e_1,e_2,e_3,\infty\) 네 점의 교차비로 이해할 수 있음
  • 사영기하학과 교차비 항목 참조
    \(z_4=\infty\) 인 경우
    \((z_1,z_2;z_3,\infty) = \frac{(z_1-z_3)}{(z_2-z_3)}\)

 

 

모듈라군에 의한 변환
  • 모듈라 군(modular group)에 의한 변환
  • 생성원
    \(S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \), \(T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \)
  • \(T: \tau \to \tau+1\)에 의한 변화
    \(\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} \omega_1+\omega_2 \\ \omega_1 \end{pmatrix}\)
    \(e_1'=\wp(\frac{\omega_1}{2})=e_1\)
    \(e_2'=\wp(\frac{\omega_1+\omega_2}{2})=e_3\)
    \(e_3'=\wp(\frac{\omega_2}{2})=e_2\)\(\lambda(\tau+1)=\frac{e_2-e_3}{e_1-e_3}=\frac{\lambda(\tau)}{\lambda(\tau)-1}\)
  • \(S: \tau \to -\frac{1}{\tau}\)에 의한 변화
    \(\begin{pmatrix} \omega'_2 \\ \omega'_1 \end{pmatrix}=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} \omega_2 \\ \omega_1 \end{pmatrix} =\begin{pmatrix} -\omega_1 \\ \omega_2 \end{pmatrix}\)
    \(e_1'=\wp(\frac{\omega_2}{2})=e_2\)
    \(e_2'=\wp(\frac{\omega_1}{2})=e_1\)
    \(e_3'=\wp(\frac{\omega_1+\omega_2}{2})=e_3\)\(\lambda(-\frac{1}{\tau})=\frac{e_3-e_1}{e_2-e_1}=1-\lambda(\tau)\)
  • 따라서 모듈라 군(modular group)에 의해, 다음과 같은 값을 취할 수 있게 된다
     
    [[교차비(cross ratio)|]]
    \( \lambda, {1\over\lambda},{1\over{1-\lambda}}, 1-\lambda, {\lambda\over{\lambda-1}}, {{\lambda-1}\over\lambda}\)
  • 사영기하학과 교차비

 

 

 

j-invariant와의 관계

\(J(\tau)=\frac{4}{27}\frac{(1-\lambda+\lambda^2)^3}{\lambda^2(1-\lambda)^2}\)

 

(증명)

 

 

 

special values

\(\lambda(\sqrt{-1})=\frac{1}{2}\)

 

 

재미있는 사실

 

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=타원_모듈라_λ-함수&oldid=20040"