Shearing hyperbolic surfaces and bending pleated surfaces
Definition (transverse cocycle). Closed oriented surface $S$에 대해서, geodesic lamination $\lambda$가 있고, $G$가 abelian group이라고 하자. $G$-valued transverse cocycle for $\lambda$는 $\lambda$에 transverse한 (unoriented) arc $k$에 대해서 $G$의 원소 $\alpha(k)\in G$를 associate 하는 것인데, $\alpha$는 additive하고 holonomy invariant 하는 성질을 만족해야한다. $\mathcal{H}(\lambda; G)$를 the group of $G$-valued transverse cocycle for $\lambda$를 뜻한다. (참고로 measure가 되려면, countably additive가 되어야 한다)
Rmk. 보통 $G = \Bbb R$ (transverse signed measure) 혹은 $=\Bbb R/2\pi\Bbb Z$ (bending measure) 인 경우를 생각한다. 만약 transverse cocycle의 값이 non-negative이라면 countably additive하다는 것을 보일 수 있고, 따라서 $\lambda$의 transverse measure를 정의한다. 따라서 transverse cocycle은 기존의 measured lamination의 transverse measure를 일반화한 개념이라고 볼 수 있다. Signed measure를 생각하는 이유는, "shear map" 을 다루기 위해서인데, 주어진 closed oriented surface에 두 가지의 hyperbolic metric $m_1,m_2$가 주어졌을 때, 어떤 lamination $\lambda$를 기준으로 왼쪽으로 각각의 $S-\lambda$의 component들을 twist해서 $m_1$ 에서 $m_2$로 바꿀 수 있다는 것을 보였음. (참고로 밑의 Theorem A는 unique하게 찾을 수 있음을 말해줌.) 이 경우에는 얼만큼 twist를 했는지를 따라서 $\lambda$에 transverse measure를 줄 수 있는데, 핵심 이유 중 하나는 항상 "왼쪽"으로 twist를 하는 것을 요구하기 때문. 일반적으로 오른쪽으로 twist하는 것도 허용을 하면, transverse measure를 주지는 못하고 위에 transverse cocycle을 줌. 이렇게 왼쪽 혹은 오른쪽으로 어떤 geodesic lamination을 기준으로 twisting 혹은 shifting을 하는 것을 shear map 이라고 부름. 왼쪽으로 twist는 양수, 오른쪽은 음수로 기록을 함.
밑에 Theorem들에 shearing cocycle과 bending cocycle를 언급하는데, 이걸 formal 하게 정의하면 너무 길어질 것 같아서, shearing cocycle에 대해서만 대충 말로 설명하자면, 기본적으로 $\lambda$에 transverse한 arc에 대해서 정의한 것을, 하나의 $S-\lambda$의 component에서 다른 component로 가는 것으로 생각할 수 있으므로, 주어진 두개의 component에 대해서, 하나의 real value를 assign하면 된다. Description을 쉽게 하기 위해, 보통 universal cover로 올린 다음에 생각하고, 이 경우 (closure를 취한) complementary component들을 plaque라고 부른다. 두개의 plaque $P,Q$가 주어졌을 때, $Q$에 가장 가까운 $P$의 edge와 $P$에 가장 가까운 $Q$의 edge를 leaf들에 orthogonal한 foliation으로 연결할 수 있는데, 이 연결하는 방식이 두 edge leaf들 사이의 isometry를 주게 된다. 따라서, $P$의 edge leaf에 canonical한 basepoint를 이용해서, $\Bbb R$로 basepoint는 0이 되도록 leaf를 parametrize하고 $Q$의 edge leaf 또한 비슷한 식으로 정의하면, $\sigma(P,Q)$라는 것은, 위에서 말한 isometry로 인해서 basepoint가 어디로 mapping이 되는지 기록하는 것이다.
Shearing cocycle $\sigma_m$의 중요한 성질은, 만약 $m_2$가 $m_1$에서 $\lambda$를 기준으로 shear mapping을 해서 얻은 것이라고 한다면, 이 shear map이 왼쪽으로 shift하는 정도를 measure하는 transverse cocycle은 정확히 $\sigma_{m_2} - \sigma_{m_1}$. 따라서, shearing cocycle은, $\lambda$를 기준으로하는 earthquake map을 일반화 한 것이라고 생각할 수 있다.
Theorem A. For a fixed maximal geodesic lamination $\lambda$, the map $\mathcal{T}(S)\to\mathcal{H}(\lambda;\Bbb R)$ by $m\mapsto\sigma_m$ defines a real analytic homeomorphism from $\mathcal{T}(S)$ to an open convex cone $\mathcal{C}(\lambda)$ bounded by finitely many faces in $\mathcal{H}(\lambda;\Bbb R)$.
만약 $M$이 oriented hyperbolic 3-manifold이고 $f:S\to M$이 pleated surface with pleated locus $\lambda$ 라고 한다면, $f$의 local convexity에 의해서, 다시 말해서 $f$가 항상 같은 방향으로 굽어져 있기 때문에, 굽어져있는 정도가 $\lambda$에 transverse measure를 정의한다는 것을 증명할 수 있다. 따라서 각각의 pleated surface $f$에 대해서, $\Bbb R/2\pi\Bbb Z$-valued transverse cocycle $\beta_f$를 associate 할 수 있다. (자세히는 말하지 않을 것이다. 일반적으로 어떻게 정의하는지는 상당히 까다롭다.) 또한, $f$의 image에 해당되는 immersed surface에 inherit 되는 complete hyperbolic metric을 $f$로 pullback을 해서 $S$에 $m_f$라는 hyperbolic metric을 얻을 수 있다. 다시 말해서, 각각의 pleated surface $f$에 대해서, 두가지 정보 $(m_f,\beta_f)$를 뽑아낼 수 있다. 다음의 정리는 이 두가지 정보가 pleated surface를 완전히 결정한다고 말하고 있다.
Pleated surface는 소위 "abstract" pleated surface로 생각하는 것이 편할 때도 있는데, 이것이 무엇이냐면, $f$를 $(\tilde{f},\rho)$로 기록을 하는 것이다. 여기서 $\tilde{f}:\tilde{S}\to\Bbb H^3$는 $S$의 universal covering $\tilde{S}$에서 $\Bbb H^3$로 가는, pleated locus가 $\tilde{\lambda}$인 pleated map으로 보는 것이다. 그리고 $\rho$는 $\tilde{S}$가 $S$에 어떻게 "접히는지" 기록하는 map으로, $\rho:\pi_1(S)\to\mathrm{PSL}_2\Bbb C$이다. 물론 $\tilde{f}$와 equivariant 하다는 것을 요구한다.
Theorem C. For every geodesic lamination $\lambda$ of $S$, the map $f\mapsto (m_f,\beta_f)$ induces a homeomorphism from the space of all pleated surfaces with pleating locus $\lambda$ to the space $\mathcal{T}(S)\times\mathcal{H}(\lambda;\Bbb R/2\pi\Bbb Z)$. In addition, the space $\mathcal{H}(\lambda;\Bbb R/2\pi\Bbb Z)$ is homeomorphic to the union of 0 or 1 tori, whose number and dimension can be explicitly computed from $\lambda$.
따라서, 만약 $\lambda$가 maximal이라면, 그 외의 부분에서 bending이 일어날 수 없기 때문에 $\lambda$를 pleated locus로 갖는 pleated surface는 $\rho$ 하나로 결정이 된다. 따라서, 이러한 space of pleated surface들은 $\mathcal{R}(\lambda)\subset\mathrm{Hom}(\pi_1(S),\mathrm{PSL}_2\Bbb C)/\mathrm{PSL}_2\Bbb C$으로 open subset으로서 identify할 수 있다. Theorem A와 C에 의해서, $\rho\in\mathrm{R}(\lambda)$는 bending cocycle $\beta_f\in\mathrm{H}(\lambda;\Bbb R/2\pi\Bbb Z)$ 와 shearing cocycle $\sigma_{m_f}\in\mathrm{H}(\lambda;\Bbb R)$ 으로 characterize할 수 있다. 이 두 가지를 하나로 합칠수 있는데, 이것을 "shear-bend cocycle" 이라고 부른다: $\Gamma_\rho = \sigma_m+i\beta_f\in \mathrm{H}(\lambda;\Bbb C/2\pi\Bbb Z)$
Theorem D. The map $\rho\to\Gamma_{\rho}$ induces a biholomorphic homeomorphism from $\mathcal{R}(\lambda)$ to the open subset $\mathcal{C}(\lambda)\oplus i\mathcal{H}(\lambda;\Bbb R/2\pi\Bbb Z)$ of $\mathcal{H}(\lambda;\Bbb C/2\pi i\Bbb Z)$, where $\mathcal{C}(\lambda)\subset\mathcal{H}(\lambda;\Bbb R)$ is the open cone of Theorem A.
Theorem D가 말하는 것은, 어떤 maximal geodesic lamination을 기준으로, earthquake과 bending은 서로 어떤 holomorphic map의 real, imaginary 파트를 담당한다고 생각할 수 있다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
1,2,3 중에 뭐 살까요 1이 끌리긴하는데 3도 귀엽고…. 흰색은 이너로 많이...
-
ㅈㄱㄴ입니다
-
공부가 노력인 이유 10
수학 고1 3등급 (꾸준 공부) 고2 11모 백분위 92 (방학 미친 빡공) 고3...
-
민철쌤 왈 오늘 늦게끝낼게요 선언…
-
왤케 사기 삘이 나죠.. 2만원 냈는데 환불 못받을것 같음.. 여기서 하는거 맞나요??
-
27은 가끔 맞힐 때 있고 28번에서부터는 막힙니다 ㅠ ㅡ ㅠ 미적 인강쌤 추천해주세오
-
딸 키우는 느낌
-
민법 인강들어야하는데 진짜 오늘따라 듣기가 싫음... 수능국어관련해서도 질답가능함
-
확통 질문 6
이거 복원추출인지 비복원추출인지 어떻게아나요? 문제가 이해가 안되네요 머지? 둘다...
-
눈물이 다 나네
-
책꽂이 이렇게 네칸있음 수학 90퍼센트 과탐 9퍼 국어 1퍼 영어 0퍼
-
갓영진
-
본인은 틀이라 분침 초침쓴다
-
집 가고 싶다 2
끄어어어 알바 1시간반 남았다
-
머리에서 연기남 대충 준킬러급만 100문제 이상 풀었다 보심 됨 덧) 현역때는...
-
대학 가면 여친.. 18
진짜 생기나요?
-
임마 왜 아방가르드하게 생겨잇노
-
9모 보기 하루 이틀 전에 집에서 시간 재고 풀어보려하는데 평가원이랑 괴리감이 크지...
-
국어는 진동 폭이 뭐가 이리 큰지.. 수학은 현역때랑 다른게 없는거 같고 지구가...
-
전사실재벌입니다 20
-
마스크 안끼고 기침하는 빌런들 때문에 머리아프네 지금 마스크끼고 해서 답답한데...
-
덕코 줬다 1
ㅇㅇ
-
잇붕이들아 1
너넨 잇올에서 공부 안되면 머하니 나는 한국사강의나 멍때리기하는데
-
진심으로 머리에 총 쏘고 죽고 싶음
-
기존에는 경증질환 진료받거나 매번 먹던약 처방받는 건데도(혈압약, 당뇨병약 등등)...
-
서바 강대 k ? 강대 k 아직 솔리드 줌? ㅋㅋㅋ 그 쓰레기엔제
-
한지 고인물들아 2
올해 이모다 시즌1, 2 둘 다 난이도 알려줘잉 고인물 기준 말고 객관적으로 봐서...
-
강K를 왜 다들 2
강민철 게이 모고라고 하시는 거죠? ㅋㅋㅋㅋ
-
와씨배아파죽겠다 17
뭘먹은게문제였던거지
-
안봄 ㅇㅇ
-
반수생 정석민 2
반수생입니다 성적은 2컷에서 1컷 왔다갔다하고 평균적으로는 2등급 중반 정도는...
-
수험생 여러분의 여론이 어떤지 보려고 잠입해있었습니다. 거.. 아마 내일 쯤에...
-
1. 영단어 암기 워드마스터에서 95%가 아는 단어면 더 이상 단어장 암기는...
-
나 때문에 두 사람이 다퉈서 결속밴드가 해체 위기라니... 이케멘의 삶도 힘들군요
-
투표 함 돌려볼까요
-
응시를 안했거든
-
요즘 츄니즘에 빠졋는데 존나재밋음 낄낄
-
논란을 일으킨 점 사죄드립니다
-
21년 북학론 1
본문 (나) 20-4번>>은에 대한 평가 중 세계로 진출, 대외적 기능이 누락되어서...
-
어중간한 사람이 꼭 자기 자랑 한다고 하시더니... 중딩 때도 영재학교 대비 학원...
-
학습관에서 조용히 하기 그렇게 어렵나? ㄹㅇ 개 때리고 싶다
-
실모 풀고 킬러급들 모아뒀다가 한번에 푸는 거 어떰? 1
22나 30번 이런 문제들이나 풀다가 못 푼 문제들 모았다가 풀까 하는데 이 방법은...
-
어려운 4점들 말고 비교적 쉬운 4점들 확실하게 잡아주는 강좌 있을까요? 4점...
-
약사/약대 무물받아요! 30
부모님 약사시고 저는 약대 재학중! 신상관련 제외 다 답해드립니다ㅎ
-
고등학교 말이죠
-
로또,번개맞을 확률보다 높을까요?
-
익숙한 글이 있네요
-
현역 게임 5
9모전까진 일주일에 두시간정도씩 하는건 ㄹㅇ 괜찮지않나요 주변에서 다...
첫번째 댓글의 주인공이 되어보세요.