경고 : 최신판이 아닙니다. 이 문서의 오래된 판을 편집하고 있습니다. 이것을 저장하면, 이 판 이후로 바뀐 모든 편집이 사라집니다. 로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!==개요== 모듈라 형식 (modular form)은 특정 조건을 만족하는 복소함수이다. 주로 [[정수론]]에 다양한 쓰임새를 가지며 ([[페르마의 마지막 정리]], [[이차 형식]](quadratic form), [[타원 곡선]], ...) [[조합론]], [[미분방정식]]은 물론 심지어 [[초끈 이론]]에까지 응용된다. ==정의== ===정의=== ''이하 글은 학부 수준의 간단한 복소함수론 지식과 대수학 지식을 가정합니다.'' 여러 가지 정의가 가능하지만, 우선 가장 간단하지만 알아듣기 힘든 정의부터 소개한다: 복소함수 <math>f</math>가 복소 반평면 <math>\mathbb H = \{z|\Re(z)>0\}</math>에서 정의된 미분가능한 함수라고 하자. 어떤 고정된 <math>k</math>에 대해, <math>f</math>가 두가지 조건을 더 만족하면 <math>f</math>를 무게 <math>k</math>의 모듈라 형식이라고 한다. 1. <math>\begin{bmatrix}a&b\\c&d \end{bmatrix}\in \text{SL}_2\mathbb Z</math>에 대해, <math> f(\frac{az+b}{cz+d})=(cz+d)^{k}f(z)</math>가 만족된다. 2. <math>y</math>가 무한으로 달려갈때, <math>f(iy)</math>는 sub-exponential growth를 가진다. 이 정의를 처음 봤다면 자연스럽게 들 수 있는 질문들이 세 가지 있다: 1. 왜 복소 반평면에서 굳이 정의하는가? 2. SL2Z에 대해 저런 이상한 변환조건은 왜 있는가? 3. 허수적 무한대로 갈때의 의미는 대체 무엇인가? ===정의의 직관=== 이게 다 푸리에 시리즈 때문에 일어난 일이다. [SL2Z is generated by translation and z->-1/z, etc. etc.] ===격자에 대한 함수로써의 모듈라 형식=== ===Fundamental Domain=== ===Finiteness of Class Number=== ==성질과 응용들== ===차원=== 모듈라 형식의 가장 중요한 성질 중 하나는 모듈라형식을 죄다 모음으로써 생기는 <math>\mathbb C</math>-벡터공간의 차원이 알려져 있다는 것이다. 무게 <math>k</math>의 모듈라 형식을 죄다 모아서 <math>M_k(\Gamma)</math>라고 하자. (<math>\Gamma=SL_2\mathbb Z</math>) 그리고 얘네를 모두 direct sum 해서 생기는 [[graded ring]]을 <math>M_*(\Gamma)</math>라고 하자. 그러면 다음 성질이 성립한다: 1. <math>M_0(\Gamma), M_1(\Gamma), M_2(\Gamma), \cdots</math>의 차원은 다음과 같다: 1 0 0 0 1 0 1 0 1 0 1 0 2 0 1 0 2 0 2 0 2 0 2 0 3 0 2 0 3 0 3 0 3 0 3 0 ... 2. <math>E_4, E_6</math>라는 특별한 모듈라 형식에 대해, <math>M_*(\Gamma)=\mathbb C[E_4,E_6]</math>이다. 즉, <math>E_4, E_6</math>의 곱과 합으로 모든 모듈라 형식을 다 표현할 수 있다는 것이다. 모듈라 형식의 차원이 유한하다는 것 덕분에, 어떤 두 모듈라 형식이 같다는 것을 보이고 싶으면 첫 몇개의 항만 체크하면 충분하다는 것을 알 수 있다. 예를 들어, <math> E_4^2</math>와 <math> E_8</math>는 둘 다 무게 8의 모듈라형식이지만 무게 8의 모듈라 형식들의 공간은 1차원이기에 <math> E_4^2</math>와 <math> E_8</math>는 서로 일정 비를 만족하게 된다. 따라서 두 모듈라 형식의 (푸리에 전개의) 상수항만 보면 충분하고, 이 상수항이 같기 때문에 <math> E_4^2 = E_8 </math>이다. 비슷하게 <math> E_4 E_6 = E_{10}, E_6E_8 = E_4 E_{10}, E_{14}</math>이다. 아이젠슈타인 시리즈의 푸리에 전개에서 따라서 다음의 신묘한 정수론적 정리들을 얻을 수 있다: <math> \sum_{m=1}^{n-1} \sigma_3(m) \sigma_3(n-m) = \frac1{120}(\sigma_7(n) - \sigma_3(n))</math> <math> \sum_{m=1}^{n-1} \sigma_3(m) \sigma_9(n-m) = \frac1{120}(\sigma_{13}(n) - 11\sigma_9(n)+10 \sigma_3(n))</math> ===모듈라 판별식, 바이어슈트라스 P와 타원곡선=== 타원곡선=도넛 그렇게 생기는 타원곡선의 판별식은 바로 무게 12 모듈라 형식. 아주 쓸데가 많다. ===분할함수=== 모듈라 판별식과 분할수 (partition number)의 생성함수 (generating function)을 곱하면 1이 된다. 이것 덕분에 분할수의 점화식을 바로 얻을 수 있다. === 자연수를 네 개의 제곱수로 나타내보자=== 예를 들어서 8이 있다면 이것은 <math> 8=2^2+2^2+0^2+0^2</math> 라고 표현 가능하다. 그리고 Lagrange four square theorem에 의하면 모든 자연수 n은 적당한 네 자연수 x,y,z,w가 있어서 <math> n=x^2+y^2+z^2+w^2</math> 이 된다. 그렇다면 다음을 정의하자. <math> \vartheta(z)=\sum^{\infty}_{k=-\infty}e^{i\zeta n^2}</math> 그렇다면 Fourier analysis의 정리 중 하나인 Poisson summation formula를 쓴다면 <math> (\vartheta(z))^4</math>은 modular form of weight 12가 된다. 이제 basis하고 비교하는 걸로 우리는 어떤 자연수를 네 개 제곱수로 나타내는 경우의 수를 정확하게 셀 수 있다. ===페르마의 마지막 정리=== 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț