컴팩트 리만곡면의 자기동형군

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

Hurwitz의 정리

  The order of the automorphism group of a compact Riemann surface M of genus g > 1 is bounded by 84(g-1).  

증명의 아웃라인은 다음과 같다. (Riemann Surfaces, By Hershel M. Farkas, Irwin Kra Chapter V) 이 아웃라인에 대한 증명은 Complex Functions: An Algebraic and Geometric Viewpoint By Gareth A. Jones, David Singerman 에 잘 나와있다. 내가 학부생일때는 서울대 중앙도서관에 없었는데, 지금은 어떨지 모르겠다.


간략하게 답을 적자면,

(1) by the Uniformization theorem
(2) essentially by the monodromy theorem
(3) the image of a compact set under a continuous map is compact.
(4),(5) (fundamental domain for a subgroup) = union of several copies (same as index) of (fundamental domain for the original group)

이렇게 하고 보니, 학부생들에게 가르치기는 다소 무리가 있어 보이기도 한다. 우리가 공산당도 아니고… -_-

(2)와 (5)를 보면, 문제는

\(Area(U/\Gamma)\), \(Area(U/N(\Gamma))\)

을 구하는 것으로 귀결된다.

\(Area(U/\Gamma)=2\pi (2g-2)\)

이것은 Gauss-Bonnet theorem

때문에 그러하다.

이제

\(Area(U/N(\Gamma)) \ge \frac{\pi}{21}\)

을 보이는 일이 남았다.

이 부등식의 증명은 fundamental domain의 면적에 대한 지겔의 정리를 참조

 

이렇게 해서 Hurwitz’s theorem 대략 증명끝.

 

하위주제들

 

 

 

하위페이지

 

 

재미있는 사실

 

 

관련된 단원

 

 

많이 나오는 질문

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

 

관련기사

네이버 뉴스 검색 (키워드 수정)

 

 

블로그

 

이미지 검색

 

동영상
원본 주소 "https://wiki.mathnt.net/index.php?title=컴팩트_리만곡면의_자기동형군&oldid=19488"