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

개요

타원적분의 singular value k
- 자연수 <math>n </math> 에 대하여, 다음을 만족시키는 <math>k</math>를 singular value 라 한다:<math>\frac{K'}{K}(k):=\frac{K(\sqrt{1-k^2})}{K(k)}= \sqrt n </math>
타원 모듈라 λ-함수:<math>\lambda(\tau)=k^2(\tau)</math> 는 modulus라고 불렸으며, 아벨, 자코비와 후학들(에르미트)에 의해 많이 연구됨
가장 기본적인 모듈라함수로 여겨졌으나, 나중에 <math>j</math>-불변량에 그 자리를 내줌
explicit class field theory 에서 중요한 역할을 한다
초등정수론의 합동식 (모듈로 modulo 연산) 와는 다른 것임.

<math>k=k(\tau)=\frac{\theta_2^2(\tau)}{\theta_3^2(\tau)}</math>

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

<math>\lambda(\tau)=k^2(\tau)=\frac{\theta_2^4(\tau)}{\theta_3^4(\tau)}</math>

타원 모듈라 j-함수 (elliptic modular function, j-invariant)
<math>J(\tau)=\frac{4}{27}\frac{(1-\lambda+\lambda^2)^3}{\lambda^2(1-\lambda)^2}</math>:<math>j(\tau)=1728J(\tau)</math>:<math> j(\frac {-1+\sqrt{-163}} {2})=-262537412640768000=-640320^3</math>
베버(Weber) 모듈라 함수
라마누잔의 class invariants

일종타원적분 K:<math>\frac{K'}{K}(\frac{1}{\sqrt{2}})= 1</math>:<math>\frac{K'}{K}(\sqrt{2}-1)= \sqrt{2}</math>:<math>\frac{K'}{K}\left(\frac{\sqrt{6}+\sqrt{2}}{4}\right)= \sqrt{3}</math>:<math>\frac{K'}{K}\left(3-2\sqrt{2}\right)= \sqrt{4}</math>
singular values:<math>k(i)=\frac{1}{\sqrt{2}}</math>:<math>k(\sqrt{2}i)=\sqrt{2}-1</math>:<math>k(\sqrt{3}i)=\frac{\sqrt{6}+\sqrt{2}}{4}</math>:<math>k(2i)=3-2\sqrt{2}</math>

<math>s=1</math>에서의 디리클레 L-함수의 도함수 값 :<math>L_{-4}'(1)=\frac{\pi}{4}(\gamma+\ln 2\pi)-\frac{\pi}{2}\ln(\frac{\Gamma(1/4)}{\Gamma(3/4)})</math>Chowla-셀베르그 공식 항목 참조
적분쇼 :<math>\int_{\pi/4}^{\pi/2} \ln \ln \tan x\, dx=L'_{-4}(1)- \frac{\pi}{4}\gamma=\frac{\pi}{2}\ln \left(\frac{\Gamma(\frac{3}{4})}{\Gamma(\frac{1}{4})}\sqrt{2\pi}\right)</math>
타원적분의 singular value k:<math>k(\sqrt{-1})=\frac{1}{\sqrt{2}}</math>
타원 모듈라 λ-함수:<math>\lambda(\sqrt{-1})=\frac{1}{2}</math>
로저스-라마누잔 연분수와 항등식:<math>r(i)={\sqrt{5+\sqrt{5}\over 2}-{\sqrt{5}+1\over 2}}</math>
베버(Weber) 모듈라 함수:<math>\mathfrak{f}(i)^8=4</math>:<math>\mathfrak{f}_1(i)^8=2</math>:<math>\mathfrak{f}_2(i)^8=2</math>
타원 모듈라 j-함수 (j-invariant):<math> j(\sqrt{-1})=1728=12^3</math>
제1종타원적분 K (complete elliptic integral of the first kind):<math>K(\frac{1}{\sqrt{2}})=\frac{1}{4}B(1/4,1/4)=\frac{\Gamma(\frac{1}{4})^2}{4\sqrt{\pi}}=\frac{\sqrt{\pi}\Gamma(\frac{1}{4})}{2\sqrt{2}\Gamma(\frac{3}{4})}=1.8540746773\cdots</math>
자코비 세타함수 :<math>\theta_3(\sqrt{-1})=\frac{\sqrt[4]{\pi}}{\Gamma(\frac{3}{4})}</math>
데데킨트 에타함수 :<math>\eta(\sqrt{-1})=\frac{\Gamma(\frac{1}{4})}{2 \pi ^{3/4}}</math>