"타원 모듈라 j-함수 (elliptic modular function, j-invariant)"의 두 판 사이의 차이

2021년 2월 17일 (수) 06:03 기준 최신판

개요

j-불변량
- 클라인의 absolute j-invariant 라는 이름으로 불리기도 함
타원 모듈라 함수(elliptic modular function) 로 불리기도 함
복소 이차 수체의 class field 이론에서 중요한 역할
몬스터 군의 monstrous moonshine에 등장

정의

\(q=e^{2\pi i\tau},\tau\in \mathbb{H}\)라 두자
타원 모듈라 j-함수는 다음과 같이 정의된다

\[ j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=q^{-1}+744+196884q+21493760q^2+\cdots \] 여기서 \[ E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n= 1+240q+2160q^2+\cdots,\quad \sigma_3(n)=\sum_{d|n}d^3\]는 아이젠슈타인 급수(Eisenstein series), \[\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}= q-24q+252q^2+\cdots\] 는 판별식 함수

다음과 같이 쓰기도 한다

\[j(\tau)=1728\frac{g_ 2^3}{g_ 2^3-27g_ 3^2}\] 여기서 \(g_2,g_3\)는 아이젠슈타인 급수(Eisenstein series), 바이어슈트라스 타원함수 ℘ 항목 참조

singular moduli

quadratic imaginary number 에서의 값
예 :

\[j(\frac {-1+\sqrt{-163}} {2})=-262537412640768000=-640320^3\]

타원 모듈라 j-함수의 singular moduli 참조
판별식이 -23인 세 이차형식 (숫자 23과 다항식 x³-x+1 참조)

\[ x^2+x+6,2 x^2-x+3,2 x^2+x+3 \] 의 상반평면에서의 해를 구하여, 다음의 값을 생각하자 \[ j\left(\frac{1}{2} \left(-1+i \sqrt{23}\right)\right),j\left(\frac{1}{4} \left(1+i \sqrt{23}\right)\right),j\left(\frac{1}{4} \left(-1+i \sqrt{23}\right)\right)\]

이들은 대수적 정수이며, 다음 다항식의 해가 된다

\[ x^3+3491750 x^2-5151296875 x+12771880859375 \]

슈나이더의 정리

복소상반평면의 대수적 수 \(\tau\in \mathbb{H} \cap \bar{\mathbb{Q}}\)에 대하여, \(\tau\)가 2차(imaginary quadratic)가 아니면, \(j(\tau)\)는 초월수이다.

푸리에 계수

\(j(\tau)=\sum_{n=-1}^{\infty}c(n) q^n=q^{-1}+744+196884q+\cdots\)로 두면, \(c(n)\)은 다음과 같이 주어진다
1, 744, 196884, 21493760, 864299970, 20245856256, 333202640600, 4252023300096, 44656994071935, 401490886656000, 3176440229784420, 22567393309593600, 146211911499519294, 874313719685775360, 4872010111798142520, 25497827389410525184
근사식 [Rademacher1938]

\[c(n)=\frac{2\pi}{\sqrt{n}}\sum_{k=1}^\infty \frac{A_k(n)}{k}I_{1}(\frac{4\pi\sqrt{n}}{k})\] 여기서 \(I_ 1\) 은 베셀 함수, \[A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k }\] 이 때, \(hh'\equiv -1 \mod k\). \(A_k(n)\)은 클루스터만 합의 특수한 경우

점근 급수

\[ c(n)\sim \frac{e^{4\pi \sqrt{n}}}{\sqrt{2}n^{3/4}}\left(1-\frac{3}{32\pi\sqrt{n}}+O(n)\right) \]

무한곱

다음이 성립한다 (http://en.wikipedia.org/wiki/Monster_Lie_algebra)

\[ j(p)-j(q)= \left({1 \over p} - {1 \over q}\right) \prod_{n,m=1}^{\infty}(1-p^n q^m)^{c(nm)} \]

모듈라 다항식

j-불변량과 모듈라 다항식
\(\Phi_n\bigl(j(n\tau),j(\tau)\bigr)=0\)를 만족하는 기약다항식 \(\Phi_n(x,y)\in{\mathbb{ Z}}[x,y]\)이 존재하며, 이 때 차수는 \(x,y\) 각각에 대하여 \(\psi(n)=n\prod_{p|n}(1+1/p)\)로 주어진다

역사

1877 데데킨트
1878 클라인

메모

Hilbert class fields of imaginary quadratic fields are generated by singular moduli

매스매티카 파일 및 계산 리소스

사전형태의 자료

리뷰논문, 에세이, 강의노트

Cohen, Paula B. 2000. “On the Modular Function and Its Importance for Arithmetic.” In Noise, Oscillators and Algebraic Randomness, edited by Michel Planat, 388–397. Lecture Notes in Physics 550. Springer Berlin Heidelberg. http://link.springer.com/chapter/10.1007/3-540-45463-2_21. http://dx.doi.org/10.1007/3-540-45463-2_21
B.J.Green The Ramanujan Constant. An Essay on Elliptic Curves, Complex. Multiplication and Modular Forms.
Stark, H. M. 1973. “Class-Numbers of Complex Quadratic Fields.” In Modular Functions of One Variable I, edited by Willem Kuijk, 153–174. Lecture Notes in Mathematics 320. Springer Berlin Heidelberg. http://link.springer.com/chapter/10.1007/978-3-540-38509-7_5.

메타데이터

위키데이터

ID : Q17099049

Spacy 패턴 목록

[{'LOWER': 'monster'}, {'LOWER': 'lie'}, {'LEMMA': 'algebra'}]

@@ 1번째 줄: / 1번째 줄: @@
 ==개요==
-*  j-invariant<br>
+* j-불변량
 ** 클라인의 absolute j-invariant 라는 이름으로 불리기도 함
 * 타원 모듈라 함수(elliptic modular function) 로 불리기도 함
+* 복소 이차 수체의 class field 이론에서 중요한 역할
 * [[몬스터 군]]의 monstrous moonshine에 등장
-==여러가지 (같은) 정의들==
-<math>j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=\frac{(1+240\sum_{n>0}\sigma_3(n)q^n)^3}{q-24q+252q^2+\cdots} =q^{-1}+744+196884q+21493760q^2+\cdots</math>
-여기서 <math>q=e^{2\pi i\tau}</math>
-<math> E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n= 1+240q+2160q^2+\cdots</math> ([[아이젠슈타인 급수(Eisenstein series)]])
-<math>(\sigma_3(n)=\sum_{d|n}d^3)</math>
-<math>\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}= q-24q+252q^2+\cdots</math>
-<math>j(\tau)=1728\frac{g_ 2^3}{g_ 2^3-27g_ 3^2}</math>
+==정의==
+* <math>q=e^{2\pi i\tau},\tau\in \mathbb{H}</math>라 두자
+* 타원 모듈라 j-함수는 다음과 같이 정의된다
+:<math>
+j(\tau)= {E_ 4(\tau)^3\over \Delta(\tau)}=q^{-1}+744+196884q+21493760q^2+\cdots
+</math> 여기서
+:<math> E_ 4(\tau)=1+240\sum_{n>0}\sigma_3(n)q^n= 1+240q+2160q^2+\cdots,\quad \sigma_3(n)=\sum_{d|n}d^3</math>는 [[아이젠슈타인 급수(Eisenstein series)]],
+:<math>\Delta(\tau)= q\prod_{n>0}(1-q^n)^{24}= q-24q+252q^2+\cdots</math> 는 [[판별식 (discriminant) 함수와 라마누잔의 타우 함수(tau function)|판별식 함수]]
+* 다음과 같이 쓰기도 한다
+:<math>j(\tau)=1728\frac{g_ 2^3}{g_ 2^3-27g_ 3^2}</math>
+여기서 <math>g_2,g_3</math>는 [[아이젠슈타인 급수(Eisenstein series)]], [[바이어슈트라스 타원함수 ℘]] 항목 참조
 ==singular moduli==
+* quadratic imaginary number 에서의 값
+* 예 :
+:<math>j(\frac {-1+\sqrt{-163}} {2})=-262537412640768000=-640320^3</math>
+* [[타원 모듈라 j-함수의 singular moduli]] 참조
+* 판별식이 -23인 세 이차형식 ([[숫자 23과 다항식 x³-x+1]] 참조)
+:<math>
+x^2+x+6,2 x^2-x+3,2 x^2+x+3
+</math>
+의 상반평면에서의 해를 구하여, 다음의 값을 생각하자
+:<math>
+j\left(\frac{1}{2} \left(-1+i \sqrt{23}\right)\right),j\left(\frac{1}{4} \left(1+i \sqrt{23}\right)\right),j\left(\frac{1}{4} \left(-1+i \sqrt{23}\right)\right)</math>
+* 이들은 대수적 정수이며, 다음 다항식의 해가 된다
+:<math>
+x^3+3491750 x^2-5151296875 x+12771880859375
+</math>
-* [[타원 모듈라 j-함수의 singular moduli]]
-*  quadratic imaginary number 에서의 값들<br>  <br>
+===슈나이더의 정리===
+* 복소상반평면의 대수적 수 <math>\tau\in \mathbb{H} \cap \bar{\mathbb{Q}}</math>에 대하여, <math>\tau</math>가 2차(imaginary quadratic)가 아니면, <math>j(\tau)</math>는 초월수이다.
-==푸리에계수==
+==푸리에 계수==
+* <math>j(\tau)=\sum_{n=-1}^{\infty}c(n) q^n=q^{-1}+744+196884q+\cdots</math>로 두면, <math>c(n)</math>은 다음과 같이 주어진다
 * 1, 744, 196884, 21493760, 864299970, 20245856256, 333202640600, 4252023300096, 44656994071935, 401490886656000, 3176440229784420, 22567393309593600, 146211911499519294, 874313719685775360, 4872010111798142520, 25497827389410525184
-* http://www.research.att.com/~njas/sequences/A000521
 * 근사식 '''[Rademacher1938]'''
 :<math>c(n)=\frac{2\pi}{\sqrt{n}}\sum_{k=1}^\infty \frac{A_k(n)}{k}I_{1}(\frac{4\pi\sqrt{n}}{k})</math>
-여기서 <math>I_ 1</math> 은 베셀함수,
+여기서 <math>I_ 1</math> 은 [[베셀 함수]],
-:<math>A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k },</math>
+:<math>A_k(n)=\sum_{0 \leq h < k,(h,k)=1}e^{-2\pi i (nh+h')/k }</math>
-이 때, <math>hh'\equiv -1 \mod k</math>
+이 때, <math>hh'\equiv -1 \mod k</math>. <math>A_k(n)</math>은 [[클루스터만 합]]의 특수한 경우
+* 점근 급수
+:<math>
+c(n)\sim \frac{e^{4\pi \sqrt{n}}}{\sqrt{2}n^{3/4}}\left(1-\frac{3}{32\pi\sqrt{n}}+O(n)\right)
+</math>
-==슈나이더의 정리==
-* 복소상반평면의 대수적 수 <math>\tau\in \mathbb{H} \cap \bar{\mathbb{Q}}</math>에 대하여, <math>\tau</math>가 2차(imaginary quadratic)가 아니면, <math>j(\tau)</math>는 초월수이다.
+==무한곱==
+* 다음이 성립한다 (http://en.wikipedia.org/wiki/Monster_Lie_algebra)
+:<math>
+j(p)-j(q)= \left({1 \over p} - {1 \over q}\right) \prod_{n,m=1}^{\infty}(1-p^n q^m)^{c(nm)}
+</math>
+==모듈라 다항식==
+* [[j-불변량과 모듈라 다항식]]
+* <math>\Phi_n\bigl(j(n\tau),j(\tau)\bigr)=0</math>를 만족하는 기약다항식 <math>\Phi_n(x,y)\in{\mathbb{
+Z}}[x,y]</math>이 존재하며, 이 때 차수는 <math>x,y</math> 각각에 대하여 <math>\psi(n)=n\prod_{p|n}(1+1/p)</math>로 주어진다
+==역사==
+* 1877 데데킨트
+* 1878 클라인
 ==메모==
-* http://mathoverflow.net/questions/71704/computing-the-q-series-of-the-j-invariant
 * Hilbert class fields of imaginary quadratic fields are generated by singular moduli
-==관련된 고교수학 또는 대학수학==
 ==관련된 항목들==
+* [[Complex multiplication]]
-* [[타원적분|타원적분, 타원함수, 타원곡선]]<br>
+* [[타원적분]]
-** [[타원함수]]
+* [[타원함수]]
 * [[아이젠슈타인 급수(Eisenstein series)]]
 * [[가우스의 class number one 문제]]
@@ 74번째 줄: / 94번째 줄: @@
 * [[몬스터 군]]
 * [[라마누잔의 class invariants]]
-* [[분할수의 근사 공식 (하디-라마누잔-라데마커 공식)|하디-라마누잔-라데마커 분할수 공식]]
+* [[분할수의 근사 공식 (하디-라마누잔-라데마커 공식)]]
+==매스매티카 파일 및 계산 리소스==
+* https://docs.google.com/file/d/0B8XXo8Tve1cxZmh4aHM5M0l1M2c/edit
+* http://mathoverflow.net/questions/71704/computing-the-q-series-of-the-j-invariant
+* http://oeis.org/A000521
+* http://mvngu.googlecode.com/hg/10143-plot/sage/schemes/elliptic_curves/cm.html
 ==사전형태의 자료==
@@ 85번째 줄: / 109번째 줄: @@
 * [http://en.wikipedia.org/wiki/j-invariant http://en.wikipedia.org/wiki/j-invariant]
 * http://mathworld.wolfram.com/j-Function.html
-* http://www.wolframalpha.com/input/?i=ramanujan
@@ 96번째 줄: / 118번째 줄: @@
+==리뷰논문, 에세이, 강의노트==
+* Cohen, Paula B. 2000. “On the Modular Function and Its Importance for Arithmetic.” In Noise, Oscillators and Algebraic Randomness, edited by Michel Planat, 388–397. Lecture Notes in Physics 550. Springer Berlin Heidelberg. http://link.springer.com/chapter/10.1007/3-540-45463-2_21. http://dx.doi.org/10.1007/3-540-45463-2_21
+* B.J.Green [http://www-math.mit.edu/%7Egreen/ramanujanconstant.pdf The Ramanujan Constant. An Essay on Elliptic Curves, Complex. Multiplication and Modular Forms.]
+* Stark, H. M. 1973. “Class-Numbers of Complex Quadratic Fields.” In Modular Functions of One Variable I, edited by Willem Kuijk, 153–174. Lecture Notes in Mathematics 320. Springer Berlin Heidelberg. http://link.springer.com/chapter/10.1007/978-3-540-38509-7_5.
-==관련논문과 에세이==
-* [http://dx.doi.org/10.1007/3-540-45463-2_21 On the Modular Function and Its Importance for Arithmetic] Paula B. Cohen, Lecture Notes in Physics Volume 550/2000 388-397
+==관련논문==
-* [http://www-math.mit.edu/%7Egreen/ramanujanconstant.pdf The Ramanujan Constant. An Essay on Elliptic Curves, Complex. Multiplication and Modular Forms.] B.J.Green
+* Nicolas Brisebarre, and Georges Philibert. 2003. “Effective lower and upper bounds for the Fourier coefficients of powers of the modular invariant j.” Research report. http://lara.inist.fr/handle/2332/864.
-* [http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262662 On singular moduli.] Gross, B.H.; Zagier, Don B, J. Rcinc Angew. Math. 355 (1984), 191-220
+* Gross, Benedict H., and Don B. Zagier. 1985. “On Singular Moduli.” Journal Für Die Reine Und Angewandte Mathematik. [Crelle’s Journal] 355: 191–220. http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262662
-* [http://www.springerlink.com/content/lm33275055606310/ Class-Numbers of Complex Quadratic Fields] H. M. Stark, from Modular Functions of One Variable I, 1973
+* Cohen, Paula. 1984. “On the Coefficients of the Transformation Polynomials for the Elliptic Modular Function.” Mathematical Proceedings of the Cambridge Philosophical Society 95 (3): 389–402. doi:http://dx.doi.org/10.1017/S0305004100061697.
-* Lehmer, D. H. 1942. “Properties of the Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 64 (1) (January 1): 488–502. doi:10.2307/2371699.
+* Herrmann, Oskar. 1975. “Über Die Berechnung Der Fourierkoeffizienten Der Funktion <math>j(\tau )</math>.” Journal Für Die Reine Und Angewandte Mathematik 274/275: 187–195. http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN002190532&IDDOC=253998
-* '''[Rademacher1938]''' Rademacher, Hans. 1938. “The Fourier Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 60 (2) (April 1): 501–512. doi:10.2307/2371313.
+* Lehmer, D. H. 1942. “Properties of the Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 64 (1) (January 1): 488–502. doi:http://dx.doi.org/10.2307/2371699.
+* '''[Rademacher1938]''' Rademacher, Hans. 1938. “The Fourier Coefficients of the Modular Invariant J(τ).” American Journal of Mathematics 60 (2) (April 1): 501–512. doi:http://dx.doi.org/10.2307/2371313.
 * H. Petersson: [1]. "fiber die Entwicklungskoefficienten der automorphen Formen," Acta, Mathe- matica, vol. 58 (1932), p. 202.
-* http://dx.doi.org/
+[[분류:정수론]]
+==메타데이터==
+===위키데이터===
+* ID :  [https://www.wikidata.org/wiki/Q17099049 Q17099049]
+===Spacy 패턴 목록===
+* [{'LOWER': 'monster'}, {'LOWER': 'lie'}, {'LEMMA': 'algebra'}]