Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://i.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를 선물하세요.
-
염소 구합니다
-
작년 7월화2 3
7월학평 저거 화2 난이도 어떤편인가요? 등급컷으로 난이도 알기가 좀 어렵네요
-
어떰? 모의반 서바만 따로 사려는뎅
-
종이책 사면 따로 살 필요 없는거겟져
-
1회 풀어봤는데 레존든 정형화된 유형을 되게 어렵게 냈다는 평이 많던데딱 적합한 거...
-
물리 조진다 2
딱대
-
엔제로 자신감 뿜뿌ㅁ 하면 사설모고 하나 풀고 겸손해지기 반복중임 ㅅㅂ..
-
이번에 인강 처음 듣는데 기법비급이랑 일당백중에서 고민중인데 기본적인 실력은 있고...
-
언매 만표=수학 1컷 ....
-
뉴런 혁명이네 2
수1 끝내고 수2 3분의2정도 했는데, 벌써 점수가 오른다. 미쳤네. 모든 문제...
-
ㅈㄱㄴ
-
에스컬레이드와 핀셋을 한 세트씩 풀어보게 하라 각자가 딱 어떤 스타일인지 바로 느껴짐
-
N제랑 병행하면서 하려고 하는데 지금 설맞이 드릴5 이해원s1 샤인미 지인선 +...
-
7모 1
미적96 22틀 13번,20번 문제 굿
-
막귀인데 골라줘 4
WH-xm5 WF-xm5 WH-xm4 Qc45 에어팟 맥스(중고) 에어팟 프로2 이중에 뭐살까
-
80분만에 풀수있는 시험지가 아닌데 ㄹㅇ;; 5점짜리 3문제는 읽지도 못하고 끝나네…
-
얼마나 사기적인 책이면 국어추천서에 항상 거론되는거임?ㅠ
-
단원별 기출 22번급 빼고는 다푸는데 모고만 보면 깨지는 이유는 4
뭘까요... 투표 123 다 해당되는거같기두 수학 빨더텅 시킴
-
중복이니까 불닭 먹어야지
-
어제 추천받아서 OT 듣고 있어요
-
스카 앞이 ㅈㄴ인스타 핫플인가봄 ㄹㅇ 릴스에서나 보던 여자들이 실물로 돌아다니는데 미치겟네
-
끓는물에 손 10초 담구고 참으면 원하는 수능점수 줌 님 함? 단 못움직이게 뒤에서...
-
ㅈㄱㄴ
-
지구 퀴즈 6
[중심별과 행성의 질량비]와 [중심별과 공통 질량 중심까지의 거리와 행성과 공통...
-
진짜 사회에 1
정의가 사라진 거 같다.. 내가 만화로 세상을 배워서 씹타쿠에 선비인 건 맞는데 슬프다
-
목표는 1컷~ 이상 인데 여기 분들 보면 100개는 기본인것 같아서 불안하네요 ㅠ
-
서울 명동 물가 4
여기좀 싹 밀면 안되나
-
N제 푸는 목적이 뭐가 되어야함? 못푸는거 나오면 어캐했음? 그거 오답 다 하고...
-
(영상후반부싱크가 안맞았어서 다시 올립니다) 안녕하세요 아주 간혹 유튜브에 생1 팁...
-
3번에 가로로 수평거리 350km 깊이는 100해서 기울기가 45보다 작다는게...
-
캐치로직 체화 3
한종철 캐치로직 다 듣고 뭐풀어야 함? 지금 모든기출은 병행허고 있는데 현역기준으로...
-
어제도 오늘도학교에서 플래너 가져오는걸 까먹었
-
( 강원대병원교수+충북대병원교수 “지역 의료 위한 마지막 절규”…‘의대 증원 철회’ 목소리 ) 0
https://www.sisajournal.com/news/articleView.ht...
-
키움이랑 하니까 잘던지네 ㅋㅋ
-
슈슈슈슈퍼노바 0
-
n제 마무리 11
드릴4 수1, 수2, 확통 드릴5 수1, 수2 2024 이해원n제 시즌1 공통,...
-
대황밸수능 5
대황밸 20, 23 국어 쉬움 수학 적당한 고난이도 영어 7% 뭐하나 거를타선이...
-
안풀리면 개노잼인듯
-
봇치는 특전 뭐 주려나 10
개봉 첫날 첫타임 보러가고 2주차 특전 있으면 또 보러가야지
-
논술 최저 맞출용으로 3등급 나와야돼서 사문 하려는데 지금부터 해도 가능해요? 과탐...
-
풀리니까 재밌네
-
10h완 오늘좀 쉬자 닉변 했어요
-
혹시 사관학교 시험지는 공개 시간이 어떻게 되나요? 0
시험 끝나면 바로 업로드 되는건가요 혹시?
-
히히 덕코 흡쑤 2
선착순 2958명 1000덕 주세요
-
글쓰고 30초까지 댓글쓴 사람 모두 1000덕
-
첨에 회원가입할 때 네이버로 연동시켜놨는데 제 네이버 계정이 해킹당해서 네이버...
-
1회부터 어렵군
-
생기부, 이렇게만 쓰면 됩니다(서울대 약대 합격생 생기부 분석) 0
자소서가 폐지되고, 생기부 영역이 축소되면서 '교과세특'이 무엇보다...
첫번째 댓글의 주인공이 되어보세요.