모듈라 군, j-invariant and the singular moduli

수학노트
http://bomber0.myid.net/ (토론)님의 2009년 11월 17일 (화) 11:16 판
둘러보기로 가기 검색하러 가기
간단한 소개

\(k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}\)

\(k'=\sqrt{1-k^2}=\frac{\theta_4^2(\tau)}{\theta_3^2(\tau)}\)

\(\lambda(\tau)=k^2(\tau)=\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}\)

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

\(j(\tau)=1728J(\tau)\)

 

  • \(\lambda(\tau)=k^2(\tau)\) 는 modulus라고 불렸으며, 아벨, 자코비와 후학들(에르미트)에 의해 많이 연구됨
    • \(\Gamma(2)\)에 의해 불변임
    • 기본적인 내용은 [AHL1979] 7.3.4를 참고
  • 가장 기본적인 모듈라함수로 여겨졌으나, 나중에 \(j\)-불변량에 그 자리를 내줌

 

 

타원적분과 singular moduli
  • 일종타원적분 K
    \(\frac{K'}{K}(\frac{1}{\sqrt{2}})= 1\)
    \(\frac{K'}{K}(\sqrt{2}-1)= \sqrt{2}\)
    \(\frac{K'}{K}\left(\frac{\sqrt{6}+\sqrt{2}}{4}\right)= \sqrt{3}\)
    \(\frac{K'}{K}\left(3-2\sqrt{2}}\right)= \sqrt{4}\)
  • singular values
    \(k(i)=\frac{1}{\sqrt{2}}\)
    \(k(\sqrt{2}i)=\sqrt{2}-1\)
    \(k(\sqrt{3}i)=\frac{\sqrt{6}+\sqrt{2}}{4}\)
    \(k(2i)=3-2\sqrt{2}\)
  • singular moduli
    \(\lambda(i)=k^2(i)=\frac{1}{2}\)

 

 

정의

\(\theta_{4}(\tau)= \sum_{n=-\infty}^\infty (-1)^n q^{n^2/2}\)

\(k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}\)

\(K(k) = \int_0^{\frac{\pi}{2}} \frac{d\theta}{\sqrt{1-k^2 \sin^2\theta}}\)

\(E(k) = \int_0^{\frac{\pi}{2}} \sqrt{1-k^2 \sin^2\theta}}d\theta}{\)

\(k'=\sqrt{1-k^2}=\frac{\theta_4^2(\tau)}{\theta_3^2(\tau)}\)

\(K'(k) = K(k')\)

\(E'(k) = E(k')\)

  • 위의 함수들을 이용하여, 양수 \(r\)에 대하여 다음을 정의

\(\lambda^{*}(r):=k(i\sqrt{r})\)

 

 

하위페이지

 


관련된 항목들

 

 

수학용어번역

 

 

표준적인 도서 및 추천도서
  • Discontinuous Groups and Automorphic Functions
    • Joseph Lehner
  • [AHL1979]Complex Analysis
    • Lars Ahlfors, 3rd edition, McGraw-Hill, 1979

 

위키링크

 

 

참고할만한 자료
원본 주소 "https://wiki.mathnt.net/index.php?title=모듈라_군,_j-invariant_and_the_singular_moduli&oldid=9633"