"컴팩트 리만곡면의 자기동형군"의 두 판 사이의 차이
| 48번째 줄: | 48번째 줄: | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | 후르비츠 군 | |
| − | + | 모든 후르비츠 군은 리만 곡면의 자기동형군으로 나타난다. | |
| − | + | 푸앵카레 상반평면의 2-3-7 타일링을 생각하자. | |
| − | + | 후르비츠 군은 a^2=b^3=c^7=abc=1 로 생성되는 군의 적당한 subgroup X의 quotient 군으로 나타나므로, 상반평면/X 는 이 후르비츠 군을 자기동형군으로 가진다. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
2010년 11월 5일 (금) 06:39 판
개요
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)\)
때문에 그러하다.
이제
\(Area(U/N(\Gamma)) \ge \frac{\pi}{21}\)
을 보이는 일이 남았다.
이 부등식의 증명은 fundamental domain의 면적에 대한 지겔의 정리를 참조
이렇게 해서 Hurwitz’s theorem 대략 증명끝.
후르비츠 군
모든 후르비츠 군은 리만 곡면의 자기동형군으로 나타난다.
푸앵카레 상반평면의 2-3-7 타일링을 생각하자.
후르비츠 군은 a^2=b^3=c^7=abc=1 로 생성되는 군의 적당한 subgroup X의 quotient 군으로 나타나므로, 상반평면/X 는 이 후르비츠 군을 자기동형군으로 가진다.
관련된 다른 주제들
관련도서 및 추천도서
- Riemann Surfaces
- Hershel M. Farkas, Irwin Kra
- Chapter V
- Complex Functions: An Algebraic and Geometric Viewpoint
- Gareth A. Jones, David Singerman
- 도서내검색
- 도서검색
참고할만한 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/
- http://front.math.ucdavis.edu/search?a=&t=&c=&n=40&s=Listings&q=
- http://www.ams.org/mathscinet/search/publications.html?pg4=AUCN&s4=&co4=AND&pg5=TI&s5=&co5=AND&pg6=PC&s6=&co6=AND&pg7=ALLF&co7=AND&Submit=Search&dr=all&yrop=eq&arg3=&yearRangeFirst=&yearRangeSecond=&pg8=ET&s8=All&s7=
- 다음백과사전 http://enc.daum.net/dic100/search.do?q=
관련기사
네이버 뉴스 검색 (키워드 수정)
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
- http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
블로그
- Hurwitz의 정리: Compact Riemann Surface의 Automorphism group
- 피타고라스의 창, 2007-12-13
- 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=
- 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=
이미지 검색
- http://commons.wikimedia.org/w/index.php?title=Special%3ASearch&search=
- http://images.google.com/images?q=
- http://www.artchive.com