Klein-Maskit combination theorems
게시글 주소: https://orbi.kr/00068655489
Klein combination theorem. Suppose $G_1,G_2$ are two Kleinian groups with fundamental domains $D_1,D_2\subset\hat{\Bbb C}$ such that $\mathrm{int} D_1\supset\hat{\Bbb C} - D_2$ and $\mathrm{int} D_2\supset\hat{\Bbb C} - D_1$. In particular, $D_1$ and $D_2$ overlaps and the limit sets of $G_1$ and $G_2$ are disjoint. Then the subgroup $G = \langle G_1,G_2\rangle$ generated by $G_1$ and $G_2$ is a Kleinian group that is isomorphic to the free product $G_1\ast G_2$. The domain $D = D_1\cap D_2$ is a fundamental domain for the action of $G$ on $\hat{\Bbb C}$.
Maskit combination theorem은 특정 정리를 말하는 것이 아니라, 어떤 성질을 만족하는 두개의 Kleinian group으로 generated 되는 group이 어떻게 생겼는지 알 수 있는 상황을 말한다. 이 경우에는 우리는 두개의 Kleinian group을 combine했다고 표현한다. 이렇기에 Maskit combination theorem은 어마어마하게 많은데, 그 중에서 제일 중요하기도 하고 내가 이해한/와닿는 combination theorem 2가지만 소개한다. 만약 내 이해가 깊어진다면, 혹은 필요성을 느끼게 된다면 그때 추가하기로 한다.
꽤나 쉬운 Klein combination과는 다르게, Maskit combination은 약간 복잡하다. 왜 이런 형태의 combination theorem이 나왔는지는 motivating example을 보면서 이해하는 것이 가장 좋다: smooth manifold $M$이 hypersurface $S$를 기준으로 $A$와 $B$라는 component로 separate 됐다고 치자. 그러면, van Kampen에 의해서, $\pi_(M)$은 $\pi_1(A)\ast_{\pi_1(S)}\pi_1(B)$와 isomorphic하다. 이러한 $A,B,S$가 $M$의 universal cover에서 (우리의 경우에는 결국 $\Bbb H^3$가 될 것이다) 어떻게 $\pi_1(A),\pi_2(B),\pi_1(S)$와 interaction을 하는지 살펴보자.
먼저 $\tilde{A},\tilde{B},\tilde{S}$를 $A,B,S$ 각각의 universal cover라고 하자. 그러면 우리는 $\tilde{A},\tilde{B}$들의 copy들에 의해서 $\tilde{M}$이 tessellate이 된다는 것을 알 수 있고, 또한 $S$가 자체가 separating 이었기 때문에, $\tilde{S}$의 copy들로 인해서 $\tilde{A}$와 $\tilde{B}$가 $\tilde{M}$에서 separate된다는 것을 알 수 있다. 이제 $Z$라는 $\tilde{S}$의 copy하나로 separate되는 $X,Y$라는 $\tilde{A},\tilde{B}$의 representative하나를 잡자. 그러면 $X,Y$ 각각을 stabilize하는 component subgroup $G_A,G_B$를 잡을 수 있고, 당연히 각각 $\pi_1(A),\pi_1(B)$와 isomorphic하다. 또한, surface $Z$는 precisely invariant under $J = \pi_1(S)$ in both $G_A$ and $G_B$ 다. 다시 말해서, 각각의 $\gamma\in J$에 대해서, $\gamma(Z) = Z$이고, $\eta\in G_A - J$ 혹은 $\eta\in G_B - J$에 대해서, $\eta(Z) \cap Z = \emptyset$ 이다. 이제 $X^+$ (resp. $Y^+$)를 $\tilde{M} - Z$의 component들 중에 $X$ (resp. $Y$)를 포함하는 component라고 하자. 그러면, domain $X^+$는 precisely invariant under $J$ in $G_B$이고 $Y^+$는 precisely invariant under $J$ in $G_A$가 된다. 다시 말해서, $X^+$와 $Y^+$는 정확히 $J$의 action에서만 접점이 있고, 그 외에서는 전혀 접점이 없다.
The first Maskit combination theorem은 정확히 저 위의 과정을 뒤집은 것이다. 일단 group $G_A,G_B$ acting on a space $W$를 가져온 뒤에, $G_A\cap G_B >J$라는 subgroup을 포함되는 상황을 설정한다. 그러면, $W$를 $X^+$과 $Y^+$같은 domain들로 $Z$를 따라서 decompose를 하게 되고, $J$는 $Z$를 stabilize하는 상황. 그리고 $X^+,Y^+$ 또한 precisely invariant property를 갖고 있어야 한다. 그렇게 되면, $G_A$와 $G_B$로 generate되는 group은 정확히 $G_A\ast_J G_B$이고, fundamental domain은 "기대한 바" 를 얻게 된다.
The second Maskit combination theorem은 $S$가 nonseparating인 경우를 다룬다. 다시 말해서, 하나의 component에서 합치는 장면을 말하고 있다. 이 경우에는 HNN-extension이 나오는데, mapping torus와 같은 상황을 생각하면 편하다 (물론 mapping torus는 combination theorem으로 만들어지는 것은 아니다. 그냥 상황이 비슷하다는 것이다).
The first Maskit combination theorem. Let $G_1$ and $G_2$ be a pair of Kleinian groups such that $H<G_1\cap G_2$. Suppose that $H$ is quasi-Fuchsian group such that $\hat{\Bbb C} - \Lambda(H) = \Omega_1\cup\Omega_2$. Assume that the domain $\Omega_j$ is precisely invariant under $H$ in $G_j$ for $j = 1,2$.
- Then the group $G$ generated by $G_1$ and $G_2$ is a Kleinian group and isomorphic to $G_1\ast_H\ast G_2$.
- If $G_1$ and $G_2$ are geometrically finite then so is $G$.
- The surface $S(G) = \Omega(G)/G$ is naturally conformally equivalent to $(S(G_1) - \Omega_1/H)\cup (S(G_2) - \Omega_2/H)$.
- Under the isomorphism $G\to G_1\ast_H\ast G_2$, the image of any parabolic element of $G$ is either conjugate to one of the groups $G_1,G_2$ or commutes with a parabolic element of a conjugate of $H$.
Rmk. 가정 중에서 가장 중요한 것은, $\hat{\Bbb C} - \Lambda(H) = \Omega_1\cup\Omega_2$라는 가정으로, 우리가 $H$를 따라서 붙이려는 conformal boundary의 구조와 각도등이 정확히 $G_1$과 $G_2$에 해당되는 conformal boundary와 일치해야 한다는 의미다.
The second Maskit combination theorem. Let $G_0$ be a Kleinian group such that $H_1,H_2\subset G_0$, where $H_j$ are quasi-Fuchsian that stabilize different connected components $\Omega_1,\Omega_2$ of $\Omega(G_0)$. Let $\gamma\in\mathrm{PSL}_2\Bbb C$ be an element such that $\gamma(\Omega_1) = \hat{\Bbb C} - \mathrm{cl}(\Omega_2)$ and $\gamma H_1\gamma^{-1}= H_2$ induces an isomorphism $\phi$ of $H_1$ and $H_2$.
- Then the group $G$ generated by $G_0$ and $\gamma$ is isomorphic to the HNN-extension $G_0\ast_{\phi}$ of $G_0$ via $\phi$.
- If $G_0$ is geometrically finite then so is $G$.
- The surface $S(G) = \Omega(G)/G$ is naturally conformally equivalent to $S(G_0) - (\Omega_1/H_1\cup\Omega_2/H_2)$.
- Under the isomorphism $G\to G_0\ast_{\phi}$, the image of any parabolic element in $G$ is either conjugate to the group $G_0$ or it commutes with a parabolic element of a conjugate of $H_1$.
Rmk. Second combination에서 가장 중요한 가정은 $\gamma(\Omega_1) = \hat{\Bbb C} - \mathrm{cl}(\Omega_2)$ 라는 것이다. 다시 말해서, 우리가 $\gamma$를 통해서 붙이려는 conformal boundary들은 conformal structure가 같고 ($\gamma H_1\gamma^{-1} = H_2$) 그리고 붙일 때 그 "각도" 혹은 "모양" 이 같아야 한다는 것이다. 이러한 비유는 예전에 어떤 대가께서 (정확히 이 분야를 하지는 않는다) combination theorem을 말할 때 썼던 비유로, 당시에는 제대로 느껴지진 않았지만, 지금 생각해보면 이것보다 정확한 비유는 없다고 생각한다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
원래 흑석을 못가 하려다 꽥을 못지워서 이렇게됐는데 돠게 이상한데도 뭔가...
-
https://orbi.kr/00068656033/%EC%98%A4%EB%8A%98-...
-
왜 난 아직 이 겜이 좋을까
-
ㄹㅇ 고1 때부터 있던 안좋은 버릇.. 그나저나 이 팔찌 예쁘지 않음? 겟하고싶네
-
실전감 기르고 싶은데 뭐부터 실모 풀어야할까요 순서 추천좀여....!!!!
-
수능 공부가 부족함
-
기하 칼럼러가 되어버리겠어
-
첫영상이라 많이 서투릅니다 ㅠ 제 유튭도 놀러와주시면 감사핫=겠습니다<3
-
만약 수능이 7월이었다면 이렇게 오래보진 않았을텐데..
-
으앙아앙앙 8
외로워..
-
태클 1도없고 자유롭게 하니까 진짜재밌다ㅋㅋㅋ
-
오른쪽 액정에 핑크색 줄이 있었는데 오늘 왼쪽에 연두색 줄이 생김.. 수능 끝날...
-
인스타 릴스에 계속 뜨던데... 애니 함 봐야겠다
-
오티에서 어쩌다가 뭐 두산팬도 있고 기아팬도있고 한화팬은.. 힘내고 이러던데 개꼴받았음 ㅇㅇ
-
자러가야지 0
으음 굿나잇
-
강사추천글을쓰고싶구나..
-
너무 막어렵지 않고 무난한 평가원스러운 실모 없을까요? 알고있는 실모 많이 추천좀..
-
날씨 진짜 없네 2
잠이 안와
-
1.일단 그 쌤이 요구한 대로 공부하면 1등급 나올듯 그치만 학생한테 완벽한...
-
공부할 마음이 안들어
-
생윤 질문 2
벤담은 자신이나 타인의 행복을 증가시키지 못한 행위는 도덕적 행위가 될 수 없다고...
-
주제는 결정론이랑 양자역학 섞어서... 이제 마음이 좀 편해지네 ㅎㅎ
-
송도뷰 2
공사장뷰
-
ㄹㅇ 뭐 해먹고 삼?
-
ㅇㅈ 9
대신 귀여운 니나를..!
-
국오 기출 0
한번 풀어본것들운 기억나서 다시 푸는게 도움이 될까요… 처음 보는 지문의 당혹감이 안느껴져서
-
술게임 너무 재밌는데 대학아니면 못하니까..
-
국수 둘 다 1컷쯤(모의고사 몇 번 풀고 보면 96~99), 안 풀고 보면...
-
설의를 목표로 했을때 조정점수 영향이 클까요? 원원을 희망하는데 투과목 하나 넣는게...
-
뭐랄까 고등학교때까지는 말을 거의 안했음 고등학교가 사람을 망치는게 맞음.
-
나가기도귀찮다
-
노베에서 공부한다니깐 진짜 사탐 하라거나 내가 이렇게 했는데 님 그러다 망해요소리...
-
지구 5달하고 본 6평 성적보다 1주동안 개념강의 본 화학 7덮이 원점수 높음 물론...
-
칼럼특 0
읽기 귀찮음 알맹이는 있어 좋은데 사진첨부되있으면 그냥 스킵하는듯
-
꿀있는 부분이 아직도 안나옴 ㅅㅂ
-
하면 걍 죽닥치고 돈인듯 학벌보단 돈이 최고다 ㄹㅇ
-
이력서에 중퇴라고 쓰나 걍 고졸이라고 쓰나 아시는분
-
현역 충북대떨 재수 동국대 삼수 외대떨
-
키:157 몸무게:78 국수탐탐 등급:8848 쪽지 기다리고있겠습니다
-
https://youtu.be/-JviOqV3Kgc?si=5uRTB1uvaIL_LYu...
-
T1 1
1557
-
기본 5만원 칭찬해주기 5000원 밥 같이 먹어주기 2만원 아침 기상전화하기 1만원...
-
작년 백분위 6/9/수능 순으로 96/99/88(ㅅㅂ..)이고 수능때 현대소설이랑...
-
건부 찢겨서 이젠 니네가 희망이야 제발
-
잭스 왜 저럼? 태산이네 임팩트 ㄹㅇ 아파신한테 직스는 왜 주는거임 직스 대처도...
-
가정교육과? 지리교육과?
-
제이스랑 이즈는 영원히하지말자 마오도 아닌거같다
-
신카이 마코토 4
좋아하는 사람 없냐 모든 책 애니 n번 봤는데..
첫번째 댓글의 주인공이 되어보세요.