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를 선물하세요.
-
결승전에서 한화랑 붙는데 3대1로 페이커는 버스타고 우승했었음
-
문풀쇼 구경하는 느낌ㅂ으로 발상얻어가기, 문풀사고 정립하는데만 쓰기에는 아까울까요?
-
국어 오래하니깐 0
머리가 어지러움 수학으로 브레인 워시해야지
-
비문학 좀 천천히 풀다가 문학 급히 풀었더니 독서1틀 문학3틀 언매다맞으로...
-
대학생 공부 달린다 13
오늘은 물리화학을 해볼까
-
이왜진?
-
이번엔 걍 도표버리려고 개념 기출 화독할때 싹다 도표 제외하고 했는데 아직...
-
고정 1 받으시는 분들은 2에서 1갈때 뭘로 혈 뚫으셨나요?
-
밤이 깊었네 0
방황하며 춤을 추는 불빛들 이 밤에 취해 (술에 취해) 흔들리고 있네요
-
ㅈㄱㄴ 김승라앱수키마 할까요망까요
-
확통 질문 3
경로문제 안푸니까 어캐푸는지 전혀모르겠는데 어캐푸나요?..
-
수학이요 ㅎ 강사실모도 괜찮고 피뎊구할수잇는거면 괜차나여 수능이면 1컷 82정도...
-
대부분 스카이 학부이신건가요?? 친구가 간호학관데 스카이 츨신 교수분들이 되게 많다고 들어서유
-
수능 얼마 안 남았는데 신경쓰이게 하는 거 괘씸하네.... 고백으로 혼내줘야하나
-
또 나만 진심이었어,,
-
술 마실까 1
이왕 쉬는 거
-
진심임
-
;;
-
짜증
-
모의고사, 파이널, 수능완성 어떤 걸 풀어도 자꾸 점수가 80점대 초중반에서...
-
강민철 이감 반 2
재등록 문자 저만 안오는건가요 ??
-
4점 눈풀 성공 2
근데 나형인
-
이번 9모 363777 떴는데 지금부터라도 열심히 하면 가능할까요? 그리고 수학은...
-
언매 조금 하고 기출 조금 풀다 끝났어요
-
오늘 물2 기출 60문제 풀었는데 20문제 더 풀까요 딴거 할까요 근데 알바중에...
-
서바 10회 0
22틀 10틀 야발 ㅋㅋ
-
이거 요즘으로 치면 몇 번 급 난이도 인가요?
-
수1 개념 한바퀴 돌럈는데 자이스토리 풀 실력은 아닌거 같고 유형 많은데 안 두꺼운 문제집 있나여?
-
ㄷ. 지문 문제인데, 아래 편마암이 있는 걸로 심성암, 변성암이 있어야 한다는...
-
39점 나왔음 ㅜㅜ 하 ㄹㅇ 금요일 더픈데 ㄹㅇ 걱정되네 사실 39점이 요새 본거중에 잘본거긴한데
-
충청권 의대 3
올해 충청권 의대 지역인재 교과 많이 늘었다고는 하는데 지원자가 어마어마하더라고요…...
-
오늘도 새르비 가능
-
발상면에서 2회 13 14 15가 너무 발상이 없음 15번도 걍 변곡이랑 범위...
-
과제가 생겼다...?
-
뭔가 그냥 독학하는 느낌인데 나만 그럼?
-
Lim내부 식조작은 자유로우니깐 밑에서 위로 봐주셈
-
문이과 모두 0
언매화작 확통미적기하 사탐9개 과탐8개 그냥 전부 필수로 해서 괴랄한 문제 없이도...
-
마지막 라운드에 국자이크에 유튜버들… 장난하나 진짜..
-
라는 글을 야자시간에 오르비에 쓰는 1.0해린은 개추 ㅋㅋㅋㅋ 앞으로 국사랑 사회...
-
올해 6모 4번 0
어느 부분에서 공동체주의인 것을 알 수 있나요?
-
신은 존재하며 1
그 이름은 타이레놀이다
-
쉽고 자세하게 잘 돼있더라. 자주 쓰이는 실전개념도 나와있고.
-
수1 지로함수 5
조건대로 식을 세웠는데, 식이 더 필요해 보여요. 어디서 찾나요? y=x와...
-
요새 시립대는 거지들이간다고 안간다는말을 들었다 127
강남 8학군에서 시립대갈바에 아랫라인간다 등록금때문에 어쩔수없는애들이나 가는거다...
-
사람 만나고 싶은데 만나기는 싫음 진짜 뭐지 시발 mbti도 entp -> intp로 바뀜..
-
한완수 (상) 12P~95P 끝
-
마지막으로하게
-
부모님 몰래 면접 안갈껀데 000학생 면접불참으로 불합격처리되었습니다 이딴거...
첫번째 댓글의 주인공이 되어보세요.