"모듈라 군(modular group)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
7번째 줄: 7번째 줄:
 
 
 
 
  
−
<h5>간단한 소개</h5>
+
<h5>개요</h5>
  
 
* <math>\operatorname{SL}(2,\mathbb{Z})</math><br>
 
* <math>\operatorname{SL}(2,\mathbb{Z})</math><br>

2012년 3월 10일 (토) 16:24 판

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

 

 

개요
  • \(\operatorname{SL}(2,\mathbb{Z})\)
    • 정수계수 \(2\times 2\) 행렬로 행렬식이 1인 원소
    • \(\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in\operatorname{SL}(2,\mathbb{Z}) \iff ad-bc=1\)
  • 복소상반평면에 작용하는 \(\operatorname{SL}(2,\mathbb{Z})\) 의 원소들로 만들어지는 뫼비우스변환

\(z\mapsto\frac{az+b}{cz+d}\)

들이 이루는 군 를 모듈라군이라 함.

 

 

 

생성원과 presentation
  • 모듈라군의 다음 두 원소로 생성됨.

\(S: z\mapsto -1/z\)

\(T: z\mapsto z+1\)

  • 행렬로 표현하면 다음과 같다.
    \(S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \), \(T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \)
  • presentation 은 다음과 같이 주어짐.
    \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\)

 

 

fundamental domain
  • 모듈라군에 의한 복소상반평면의 fundamental domain은 아래 그림에서 하얀색과 검은색 삼각형 한쌍으로 구성됨
    • 즉, \((2,3,\infty)\) - 삼각형 두 쌍으로 이루어짐
  • 아래 그림의 영역은 다음과 같이 주어짐
    \(R = \left\{ z \in H: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}\)

 

[[Media:|]]

 


  • \((2,3,\infty)\)- 삼각형이 모듈라군의 presentation \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\) 에 등장하는 숫자와 같음을 볼 수 있음.

 

 

\(\operatorname{SL}(2,\mathbb{Z})\)의 Abelianization과 숫자 12
  • \(\operatorname{SL}(2,\mathbb{Z})_{ab}=C_{12}\)
    • \(\Gamma \cong \langle S, T \mid S^2, (ST)^3 \rangle\) 과 \(\bar{S}\bar{T}=\bar{T}\bar{S}\) 를 이용하여, 다음과 같음을 보일 수 있음.
    • \(\{I, \bar{T}, \bar{T}^2, \bar{S}, \bar{S}\bar{T}, \bar{S}\bar{T}^2, -I, -\bar{T}, -\bar{T}^2, -\bar{S}, -\bar{S}\bar{T}, -\bar{S}\bar{T}^2\} \)

 

 

congruence 부분군

\(\Gamma(N) = \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{N} \right\}\)

\(\Gamma_0(N) = \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} {*} & {*} \\ 0 & {*} \end{pmatrix} \pmod{N} \right\}\)

\(\Gamma_1(N) = \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 & 1 \end{pmatrix} \pmod{N} \right\}\)

 

\(\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\}\)

 

\(\Gamma(2) \)의 fundamental domain

 

 

2010년 국제수학자대회 로고

[/pages/3003492/attachments/1370130 logo.jpg]


The logo for ICM 2010 depicts the standard fundamental domain for the modular group SL(2,Z) acting on the upper half plane. The formula written along the circular arc is a famous conjecture of the Indian mathematician Srinivasa Ramanujan proved by Pierre Deligne in 1973. The quotation in Sanskrit at the bottom of the logo is from the Rig Veda an ancient Indian religious work dating back to more than 1000 years before the start of the Christian era. It translates as "May good ideas come to us from everywhere."

 

 

관련된 항목들

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서
원본 주소 "https://wiki.mathnt.net/index.php?title=모듈라_군(modular_group)&oldid=9601"