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를 선물하세요.
-
외고 자사고 제외하면 유니콘 같은 존재임? 문과에서 수학 하겠다고 덤비는 애들 진짜...
-
수학은 논리적 비약 없게 푸는거 연습하니까 좀 안정적임 0
그러니까 계산 실수아니고서는 4점 의문사 없어져서 걍 예상대로 점수가 뜸ㅋㅋ
-
설맞이 1
설맞이n제 배송왔는데 수2는 대칭이 맞는데 수1은 저렇게 돼있는데 원래 그런건가요?
-
신기했던 거 0
자습실에서 피뎁 제본한 책 많이 봤는데 국어x 수학x 영어x 과탐-조금있음...
-
대인라 국어 들어가려고 하는데 이정수 vs 이창훈 선생님 추천해 주세요~이정수...
-
수능때까지 2
닉넴 유지
-
타인한테서 소리들리는거+내가타인에게소리끼칠거에 너무 예민해서 제 공부에 온전히...
-
ㅎㅇ 7
-
ㄹㅇㅋㅋ
-
당연히 수학을 못하겠지요...예
-
이런시발 22지구서바 푸는줄알앗네
-
like 팜하니
-
과탐 자꾸 omr 줬다 안 줬다 하는 거 너무 킹받아요
-
오르비에 ~~하기엔 늦은거같은데 괜찮나요? ~~ 가능할까요? 질문 올리시는븐들께 11
늦었다고하면 안할건가요? 늦어도 할건해야하지않을까요? 늦었으면 남들보다 더 많이...
-
정시로 메디컬 생각하고 있고 내신으로 할 과탐 3개 선택해야하는데 화생은 할거고...
-
ㄹㅇ 사탐 과외 개빡셀듯
-
원래는 3개 남으면 못풀거같은데 ㅜㅜ마인드였다가 최근에 너 좆밥이잖아 마인드...
-
개인적으로 생각하는 실모만큼은 야뎁 쓰면 안되는 이유 0
거지 같이 풀어서 이 만원짜리 종이 쪼가리를 낯선 상태로 풀 수 있는 기회를 날리면...
-
엔제안풀고 실모 양치기 중인데 실력이 안늘고 정체돼있어요 거의 2등급 나오고 서바...
-
맞추면 뽀뽀
-
영어뭐들음 0
모고 풀때 뜻은 다아는데 해석이 잘 안됨 대성 뭐들을지 추천좀
-
실모 양치기 중인데 실력이 안늘고 정체임 거의 2등급 나오고 서바 치면 가끔...
-
80점,, 21 22 28 29 30 틀렸는데 21이랑 29는 왜틀린지 모르겟슴다...
-
“한국사 수준으로 쉽게 내야“ ㅋㅋㅋㅋㅋ...
-
보니까 뭐 복잡한거 많아서 뭘 들어야 할지 모르겠어요 시그니처패키지 개념완성패키지...
-
이번주만 두번째 데이오프...ㅅㅂ
-
20살오고 올해 초에 라식을 했는데 입학전 라식은 불합격사유라고 하네요ㅠㅠ 그럼...
-
삶을 살고 싶었는데... 인격 형성이 그쪽이랑은 멀게 형성되어버린듯 투덜투덜 부정부정 라이프...
-
평가원이면?
-
원래 국어가 젤 자신있어서 모고보면 백분위 98밑으로 잘 안떨어지는데 6평은...
-
경희대 여러 대학의 기출을 풀어 봤지만 개인적으로 여기가 최고 제시문 분류기준 안 주는 것부터 호감
-
물리 생명 0
현재 육군 군수중이고 평일:4,5시간 주말: 점호,식사를 제외하고 공부가 대부분...
-
두각 이감시행반 4
파이널1 결제해서 매주 가고 잇는데 파이널2때 연장 느낌으로 먼저 결제할 수...
-
프메 패파 병행 어떤가요?
-
올오카 이제 다 끝냈는데 김승리 이제 뭐 풀어야돼? tim이랑 매월승리 생각 중인데...
-
국영탐탐 1등급은 생각보다 적지 않을까..? 영어 제시문도 보니까 1등급은 돼야...
-
강k 4회 84 1
멘탈 ㅈㄴ나가네.... 이딴실력으로는 복학엔딩인데ㅜㅜ
-
빼놓고 다없애는게 대학진학률 낮추고 전체적으로 사회진출시기도 앞당기는 효과로...
-
이대로 수능 나오면 1컷 70점대 예상 진짜로 미친듯이 어려움요
-
서바 물리 1
전국서바 물리 난이도 어떰
-
너무 어려운 실모 아닌 이상 하방 80업다운 정도의 실력입니다 최종목표는 수능에서...
-
9개월 임산부 낙태 브이로그 주작이라던 한국여성분들 다 어디 가셨나요? ㅎㅎ 2
유튜버랑 병원장 입건되고 기사 다 떴는데도 귓구녕 틀어막고 눈 감고 믿고 싶은 것만...
-
해군 병사, '훈련 문건' 휴대폰 촬영해 카톡으로 中에 넘겨 7
A씨는 2023년 11월쯤 미국과의 연합 연습을 위해 해군이 번역한 미국 군사 교범...
-
N제 풀다가 답 틀려서 해설 봤는데 해설이 나랑 풀이가 달라서 해설 내용은 납득이...
-
러셀 모의고사 5
외부생으로 보러가는데 중간에 나오면 안되나..? 국수영만 보고 탐구는 안보고싶은데 신청하지말걸
-
남자라 당했어ㅠㅠㅠ
-
의료인 면허 결격사유 확대 후 상반기 취소 57명·재교부 0명 2
5년반 새 면허취소 등 행정처분 된 의사·한의사 등 2천751명 (서울=연합뉴스)...
-
그래 빈속에 핫식스 몇 캔을 들이부었었지 그게 몇 시였더라 밥 먹어야겠다
첫번째 댓글의 주인공이 되어보세요.