Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://a.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를 선물하세요.
-
퇴근 합시다 6
-
어캄요 ㅠ 우직하게 밀고 나갈 용기부터 없네요
-
[국어] 구주연마의 서 4주차 ~p16 예습 나랏말쌈 p21~p35 여기에서부터가...
-
이건 뭐... 갈 대학이 없네 ㄹㅇ
-
수학 실모 0
강x는 덤으로 놓은상태고, 강k도 샀는데 실전용으로 킬캠이 낫나요 빡모가 낫나요...
-
9모 텔그 결과 0
6모 아주 인하 9모 건동 ㅇㅇ
-
텔그 개꼬라박음 4
이게뭐냐
-
덮 22번은 0
그냥 가형 킬러네
-
이게 몇일전 외출떄 찍은 머리인데 지금은 더길었습니다 10월 중순에 말출15일...
-
ㅅㅂ 님들 2
저 너무힘들어요… 내일통으로 쉬는건 좀 에바고 공부좀만하고쉴까…. 수능40일남앗는데그래도될까
-
연대 중간공 연초- 올 주황 빨강 이거 맞나
-
8시에 공부시작해서 10시까지 하고 10시 20분부터 수학실모 돌리는데 수학실모...
-
성대 경영 붙었었는데... 찬란한 꿈을 꾸었습니다
-
평생 두산 싫어할 것
-
국어를 못하면 인생이 비극이네요 사실 수학도 못함 ^~^/ 한강 ㄱㄱ혓!.
-
좀 보면 국어 못하는 애들 수학 못하는애들 끝까지 성적 못올리는 경우 디게 많던데
-
기본 교과 내용에는 물론 없고 뉴런에도 없고 그냥 그 논리 자체가 오류라는 게...
-
저는 수능 끝나고 취미생활 하려고 공부하는데 되게 사소한거같아도 수능 못보고...
-
수학 풀땐 정말 잘풀려서 30이랑 21빼곤 다 풀었는데 26 19 이딴거랑 주관식...
-
역시 대범준 goat
-
분명 올해 시작할 땐 제발 수학1만 받았으면 했는데 6
69 99 98 맞으니 좀 무뎌지고 원점수100이 아른거림 막
-
선택은 확통이고 9평 21번만 틀렸습니다 지금 실모 하루에 2개씩 푸는데 84점...
-
오랜만의 근황입니다 27
코딩하는 알로스, 오늘 부로 대한민국 육군 병장 만기 전역 했습니다 ㅎㅎ
-
물국어 낼 확률 vs 수학 ㄱㄴㄷ 문제 낼 확률
-
문과도 수학 4일때 국어 높1이면 중경외시 가능함? 궁금해서
-
수학이 너무 안 올라요 그냥 문제를 보면 어떻게 풀어야 할지 바로 떠오르지도 않고...
-
10도아래로 떨어짐 가을 어디갔죠..
-
현장에서 계산실수 찾기는 ㄹㅇ 조상신이 도와야 하네 1
첨부터 제대로 계산하던가 검토 시간이 엄청 많을 정도로 뛰어나던가 해야할듯
-
싹 다 중간 수준 백분위라 가정하면요 화작 확통 생윤 사문
-
현재 기출분석은 돌려놔서 리트로 피지컬 기르려고 하는데 리트 전년도 기출 뽑아서...
-
닭꼬치 먹고싶당 0
이시간에 살 수 있는데는 없겠지
-
인사해주세요,, 5
너무 초라해서 비교가 많이 되네요,, 나 같은 사람은 운도 따라 할 수가...
-
시간 없어서 자료 싹 버리고 그냥 기출풀면서 단과는 모의고사용으로 감
-
귤이 맛있으면 왜 비싼데 쓰벌
-
9평이든 9덮이든 뭐든 그저 흘러가는것중 하나일 뿐이에요 수능 한방 참 무서운 말이죠
-
뉴민지 등!장 4
행복해보여,,
-
한 3페이지 가면 전의상실하고 걍 타이머 끄고 푸는데 적당한 난이도는 없는거임...?
-
줘팰까
-
올해 연계교재 독서 중 가장 어려운 지문이 뭐라 생각함? 7
비행기 유체역학 단백질 접힘 등 다양한 후보가 떠오르는데
-
고3 때까지 정신 못 차렸다가… 재수 시작하고 나서야 제대로 공부한 케이스임… 작년...
-
공하싫 3
-
생윤 사문 기출 2
2달 전부터 수능 준비 시작해서 현재 사문 생윤 6단원 제외 개념 끝낸 상태입니다...
-
커리 뭐 타시나요? 11
국어 : 강민철 + 이원준 + 국일만 (독서) 문학은 김상훈 수학 :...
-
내일부터는... 0
7모 2 떴는데 9평 3끝자락 ㅋㅋ 42일동안 8시간씩 수학만 풀어야지..
-
난 내가 9평 풀면서 실력이 그래도 오른 줄 알았다…
-
보기로 딱 타자 어쩌고 박아 넣고 독해 시키기도 딱 좋고 고전 소설 유씨삼대록 고전...
-
밤에 볼 웹툰 추천좀 19
밤에 볼거라했다
-
저게 내 최대 고점일거같은데 9모 성적 14322임 미적 생윤 사탐 수학의 3은...
첫번째 댓글의 주인공이 되어보세요.