Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://iu.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를 선물하세요.
-
공통 언어 각각 3개씩 틀려서 69+17해서 86점입니다 ..
-
스카 2주권에 사물함까지 8만5천원이면 ㄱㅊ은건가용
-
작수 생윤 3나오고 올해 6모는 안 봐서 잘 모름. 모의고사 볼 때마다 점수는...
-
시적허용? 3
유치환-선한나무 중 ’진실로 현실은 한 그루 나무 그늘을 길가에 세워 바람에...
-
쎈발점 다 돌렸고 평균적으로 모고는 1 뜨는데 고2모고에 낮1이기도 하고 이제 모고...
-
수리논술+수능 수학 동시에 가르치시는 선생님 찾고 있는데 ㄱㄱㅇ앱이나 입시 사이트는...
-
공부하기 싫어서 소개글 보는데 띠용 커여우니 봐드림
-
서울에있는 대기업 취업하고 싶은데
-
2025 언어이해 [희곡과 공연의 관계 탐색] 해설 2
마지막 지문은 무난하게 흘러갔음 글의 내용에 문학적 요소가 삽입된만큼 문제가...
-
실모 풀 때 꼭 22, 28~30번은 아니더라도 너무 어려운 문제 넘겨도 되나요?...
-
7모성적표 담임한테받앗는데 이게 걍말이안되는데 아 반등수도 개충격임 뭐지 6모는...
-
23년도 9평이야
-
네팔 카트만두 공항서 여객기 추락…"탑승자 19명 중 18명 사망" 4
조종사 1명만 구조…정비 위해 포카라로 가려다 사고 (뉴델리=연합뉴스) 유창엽...
-
문법 몇문제 매체 몇문젠가요
-
유전 깊게는 안하고 그냥 어느정도만 초 중 난이도문제 풀수있을 정도만 하고 남는...
-
풀이부탁드려요
-
올해 사탐런 첫 해라서 수능날 난이도 어떨지도 걱정이고, 등급컷도 걱정이다...ㅠ
-
헌혈하러 갔는데 혈관이 아예 안 보인다고 빠꾸먹음 ㅋㅋㅋㅋㅋ 봉사나 하러 가야지 ㅠㅠㅠ
-
물론 이번 사태의 핵심은 결국 상장을 위해 무리하게 짱구굴려보다 실패한 그...
-
주마다 약 11시간씩 고1수학&중학도형 공부한 후기 8
매달 50만원정도가 벌렸어요
-
지루성피부염 가려운거때문에 공부고 뭐고 아무것도 못하겠는데 어케함..
-
g'(x)가 |f(x)| - f(x), x=0에서 미분 불가능. 이거를 범위에...
-
현재 재수생 공부 시작 1주일째 하루 순공 1시간 국어 4등급 영어 4등급 수학...
-
저메추
-
밖에 왔다갔다하고 할일 하느라 생활소음 나더라도 자는사람이 알아서 감당해야하는게...
-
수특 독서 연계 2
많이되나요? 수완은 풀어볼생각인데 수특은 예전에 너무 문제가 짜증나서(핑계일수도...
-
약사들 처방 많이 힘든가요?요즘 처방안하는 약사들 많네요~ 1
https://youtube.com/shorts/ZM1FY6b1x14?si=f9XEI...
-
미적 어려운걸 하다보면 공통도 실력이 올라갈까요? 지금 미적분 위주로 하고 있는데...
-
내외분점이랑 내외심이 직접적으로 명시되는거 보면 가능하긴 할거 같은데
-
쎈발점은 이미 끝냈고 뉴분감 들어가기 전에 자이스토리를 풀까 말까 고민중인데 선택해주세요 ㅜ
-
덕코 복권 당첨되기
-
군대에서 일하면 1
불법인가요 ?
-
이것보다 더 간편화시킬수 있을까?
-
수능최저 최대2합6, 최소 2합7 보고있는 인문계열 학생입니다 7모기준 24332고...
-
맞팔 구해여~ 15
날마다 오는 기회가 아닙니다~ 이 위대한 귀염뽀짝 애기 혀녀기와 맞팔할 수 있는...
-
수2 뭔가 오개념이 계속 있는거같음 그런거 처음부터 못잡는건가요 뭔가 당연하게...
-
안녕하세요, 정경대학 다람쥐로 활동 중인 한국교원대학교 일반사회교육과 윤준수입니다....
-
미용실 누님이 6
여기서 5달 전에 훈련소 가기 전날, 머리 잘랐는데 절 기억하시네요.. 예약도...
-
일단 제주변에는 경제러가 저뿐이고 인터넷에서도 경제러는 남자밖에 못봄요 물2도...
-
국어 탐구 다른거 1이면 스카이 갈수있나?
-
롤이나 게임에서 선 안넘을때까지만 시비걸고 상대방이 빡쳐서 패드립이나 모욕하면...
-
유입 인구수 ㅁㅊㄷ
-
괜찮나요? 어떻게 도움받으셧나뇨
-
모르는게 너무많아..
-
[권희승] 가계도변이 맞추면 스벅3 (+지난문제 해설) 49
안녕하세요! 생1 강사 권희승T입니다. 생각보다 정답자가 꾸준히 나오느라 게시글을...
-
반수생입니다..7덮기준 22(미적)233(물지)인데 도저히 물리를 수능때 3등급...
첫번째 댓글의 주인공이 되어보세요.