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를 선물하세요.
-
하 빡침 0
수업듣고 밥먹고 빨래하러 방들어왔는데 룸메 얘는 아직도 자고있어서 불도 못키고...
-
D-477 계획 2
나비효과 81~85 예비 매3비 4일차~6일차 오늘도 화이티
-
제가 만들었던 모의고사 중에 22번에 있던 문제입니다. 그때는 뭐 모르고 생각보다...
-
국수탐 99.07 국어 5점 사문 3점 마킹 실수 해서 날아간거 같은데 국어 바로...
-
44임 45임
-
동테 또는 은테인데 글만 올리면 댓글이 희한하게 많이 달린다? -> 여르비...
-
김승리 현강 3
김승리 현강 2026 올오카부터 다니려고 하는데 보통 언제부터 현강 신청 받나요??...
-
왠지 다른 분야 1등급 컷이랑 비교하면 확실히...
-
난 못껴서 울었다
-
개소리임 다른 시험이 더 하는 만큼 나옴 변수도 적고 그냥 메디컬 고시로 변질되어서 가성비 떡락한듯
-
기하황 들어와보세요 ㅠ 13
-BQ벡터를 PQ’벡터로 바꾸어 AQ’를 나타냈습니다. 제 풀이에서 자취는 가운데...
-
슬럼프가 왔나 0
방학 다꼬인거같은데 아무것도하기싫음... 하루에 실모하나풀고 아무것도 안하는듯
-
솔직히 이런 거 낼거면 그냥 삼도극 내도 차이 없을듯 6
삼각함수 도형 극한 vs 삼각함수 수열 극한 ㅋㅋㅋ
-
제가 수능 113일 남겨둔 시점에서 한번 수리논술이랑 수능 수학 동시에 과외...
-
왜냐고? 그건내가 종.강 owner이기때문이지 깔깔깔
-
얼버기 4
-
님들은 중앙기계,시립전전컴 둘다붙으면 어디갈거임? 12
ㅈㄱㄴ
-
동일과기준
-
뭐가 제일 나음?
-
기출해도 3등급 0
기출 다시 하는게 맞나요 지금 빅포텐 시즌2 풀고 있긴한데..
-
아인지우개 파란색쓰는데 빡빡지워도 흐리게 남고 지우개 가루가 너무 많이...
-
초딩때 성대 앞에서 학원 다녓는데 맨날 금연구역 학원 앞에서 대학생들이 담배펴서...
-
우변이 적분기호 안쪽에 식이 e^x - 1에 f(t) 합성한거라서 미분할 때...
-
똑똑하신분들 많았는데
-
저는 고2이고 방학때 수1 수2 뉴런을 들을지 말지 고민입니다 고3 모고 기준으로...
-
1. 공부법을 잘몰라서 무식하게 모고 18~23을 풀음 (70%이상푼듯) 2....
-
난이도 어떤거같음?...
-
확통 만백 100 확통만표=기하만표 객관식 오답률 86퍼
-
딱 우리 부모님 세대까지만 맞는 말인듯 주위에 아는 동기나 선배나 다 포함해도...
-
원서철 때 말하면 선동꾼이라고 치부하니까 어쩌면 지금이 적절한 시기인 듯 작년...
-
예..
-
강k 가져와서 한번 더 칠까 개슬프다... 심지어 문학 겁나 잘푼줄 알았음...
-
[PDF] 2025 수능 대비 기출 CORRECTION 모의고사 배포 3
2022학년도부터 2025학년도 6월까지의 평가원 문항들을 모아 기출 문항을...
-
수학 공통 퀄은 ㅂㄹ인 듯 수1 수2 문제 분배가 엉망이던데 주관식 17번 빼고...
-
우와 0
진짜
-
무법국가에대해서는 원조라는 단어안쓰고 정의로운전쟁을 통해 질서정연하게 만들어야한다...
-
결혼 늘자 5월 태어난 아기 8년반 만에 두달 연속 늘었다 5
혼인 건수 2개월 연속 20%대 증가율 기록…사망자 감소 전환 (세종=연합뉴스)...
-
머리속에서 다 해줬잖아가 무한재생됨 ㅅㅂㅋㅋㅋㅋ
-
평소엔 그래도 1컷은 나왔는데 이번엔 2컷 나옴...하 이감 문학 너무 어렵고...
-
김승리 커리 따라가서 올오카(다 들음) tim(1만 하고 2는 아직 안함)...
-
게임브금이라 가사가 좀 오글거리긴 하는데 페3 겜특이라 ㅋㅋㅋ
-
ㅋㅋㅋ
-
턱걸이 2….
-
생윤이랑 국어 오르비 강사분들 강의 듣고 쓸데없는 것에 집착하는 거 버림 생윤 -...
-
문제를 간단히쓰면 조건을 만족하는 두 정수 p,q ( p < q )의 모든 순서쌍의...
-
ㅈㄱㄴ
첫번째 댓글의 주인공이 되어보세요.