Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://orbi.kr/00068618297
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를 선물하세요.
-
어떡하지
-
작수 81점 6모 81점.. 컨디션 안조으면 실모는 70점대 컨디션 조으면...
-
아무리 찾아봐도 안보이네..
-
진짜 인생에 빠르고 느리고가 없는 듯... 5수할 때만 해도 남들보다 한참은...
-
우울해
-
하반기 전공의 모집에 의료계 반발…하반기 모집 7천707명 신청(종합) 2
전공의 7천648명 사직처리, 전체의 56.5% 그만둬…빅5 병원 전공의 92%...
-
엔수의신에 트리플에스 나올 때만 해도 이게 된다고?였는데 키오프 아이브 에스파...
-
이렇게 불안하게 만드는데 아직도 윤석열이 옳다는 수험생은 그냥 개패고싶네 ㅋㅋㅋ
-
Yesterday, all my troubles seemed so far away 2
Now it looks as though they're here to stay
-
수능 영어 과외를 맡게 되었는데 시중교재중 해석을 위한 어법 한권 수능보다 조금...
-
안녕하세요 전닉이 이세계 재수생이었던 뻘글러 옯창입니다 사실 전 올해 오르비를 처음...
-
옯비포터 시리즈 5
그리핀도르의 댕리 포터! 근데 치마를 입은! 슬리데린의 드레이코 말오리! 근데...
-
댠디킴 그릿들었는데 인문하고 과학이 부족한것 같아서 민철게이 피드백 인문 과학...
-
의대 올해 만약 진짜 모집정지나 인원 줄어들면 그냥 쌩재수 할거임? ㄴㄴ 어디라도...
-
https://orbi.kr/00038429389
-
어쨌든 달성했으니 인제 옯창 빙고에 동그라미 하나 추가군...
-
케이크를 와앙 4
뇸뇬뇸
-
수학n제 인강 1
엔제 인강은 안들어도 괜찮겠죠? 문제를 좀 많이 풀고 싶은데 인강까지 들으면 시간이...
-
제목이 곧 내용입니다
-
한화 쓰레기팀 0
죽어
-
영어 공부 하려고 하는데 여기서 강의를 들을지 문제만 풀지 고민입니다 ㅠ
-
너무 어려울라나요
-
"애미 애비 없다" 교사 모욕하고 저주인형 찔러댄 초등생... 학부모는 되레 항의 민원 3
초등학생이 학교 체육활동 과정에서 교사 판정에 불만을 품고 해당 교사에게 폭언과...
-
1줄컷도전 ㄱ
-
너무흥분되네요...
-
2회독때도 답지 보지 말까요? 1회독때는 최대한 여러번 길게 풀어보면서 웬만해선...
-
킬캠 2회 0
1회 84, 2회 73.. 이거 뭐야 올해 본 모고 중에 젤 낮음
-
작수 원점수 기준 국어 90 수학 96 영어 1 생1 50 지구47 이면...
-
2도 점수가 불안정해서 안정 1 뜨고 싶은데 ㅠㅜㅜ 양치기로 커버 가능할까
-
[AI 세특 작성] 서울대 의대 선생님의 생기부 관리법 2 (보고서) 0
안녕하세요 AI 모델 기반 세특 작성 서비스 aifolio 팀입니다. 일반고에서...
-
군수생 달린다 22
전대최강 군수 고수가 될 거야.
-
힘들어…
-
다니는 독서실이 가스때문에 에어컨에서 가끔 소음이 난다고 했는데 그 소음이 생각보다...
-
ㅠ.ㅠ 반수후대학라잎재도전이아니면답이안보이네요...
-
앵간하면 22 28 30 빼고 다 푸는데 이상한 계산실수로 몇 개 나가면 앞자리...
-
문학도 순서 정해서 푸심? 난 걍 쭉 풀긴하는데 안정적으로 가려면 순서 정하는게 더 낫나해서
-
se2나 se3쓰고싶어
-
평균적으로 4점 몇개 맞아야함? 2,3은 다 맞았다는 전제하에
-
여러분은 길가는데 어떤 사람이 신발좀 사달라고하면 어떻게 하실껀가요??? 6
아까 시내나가서 좀 걷고있는데, 그거리가 젊음의 거리기도하고 내셔널지오그래픽,...
-
1-1 4.9 1-2 4.7 2-1 4.5 2-2 3.7 3-1 3.0 일케 계속...
-
전에 별 생각없이 시대에 9모 신청해놨는데 담주 쯤에 독재로 런할 예정이라.. 이...
-
존잘인데 명문대 졸업하고 인성 좋고 돈 개많이 버는데 키는 180 중반에 비율이랑...
-
뜌땨
-
오카링 뚯뚜루~
-
제가 기출푸는 중인데 수1 수2는 했고 아직 확통하는중인데요 틀린거 복습은 하나도...
-
이거 브금 뭔가요 ㅠㅠ 보상드릴게요
-
뻑이가요 3
뻑이가요
-
급하지 않은데 계속 조급해지네.. 미치겠다ㅏㅏ
첫번째 댓글의 주인공이 되어보세요.