Shearing hyperbolic surfaces and bending pleated surfaces
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를 선물하세요.
-
추천해주데용
-
앱2 데넷 앱1 베르트랑 레전드임 그냥
-
증사 3만원 0
동네 사진관 3만원부터 시작인데 그냥 포토이즘 흰색 배경 가서 찍고 보정 해서 사진...
-
올해는 0
수학 영어 화학만 깨작거리고 와야지
-
화작92 (화작-2점) 확통84 (확통-4점) 한지50 세지50
-
으...
-
답이안나오는데
-
24수능 문학 2틀 2506 문학 2틀 시간은 30~35분 씁니다. (연계공부 안...
-
김기현 풀커리고 아이디어 듣는 고2인데 너무 다들 들으니까 안듣기도 불안하고...
-
특이할 때를 짚는 우선순위가 잘 되어 있으면 두 함수가 loga x로 같아질 때...
-
이제 띰 9 나가고있는데 앞에 미분법 전까지는 산뜻하게 잘 나가다가 미분법...
-
귀칼진격거 정도만 보고 자기 씹덕이라 하는 건 패션씹덕이 맞는데 예를 들어 어떤...
-
6모 영어 1등급 못 받았다고 닦이는 거 왤케 서럽냐 0
ㅋㅋ.. 저도 2등급 받고 싶지 않았어요 사실상 백분위 99 못 받았다고 닦이는 거 아니냐..
-
뉴런 활용법 1
저는 그냥 뉴런들으면서 강의듣기전에 문제를푼후에 뉴런책에는 현우진 풀이방식만적는데...
-
릅탈 0
많은 정보 얻어가유 ㅃㅇㅇ
-
보이는거 괜찮아? 양쪽 다 보여야하고 배경도 흰색이여야해?
-
애니프사 맞팔구 20
잡담태그 잘 다는 애니프사를 원해요 (잡담태그 안 다는 분은 팔로우 안 할거임..)
-
쌈무가 맛이없다 1
흐물흐물
-
오르비 로그인 2
다들 들어올 때마다 로그인해요..? 방법이 없나 이거 귀찮아죽것네
-
9번부터 막히더니 14번부터 쭉 틀리고 확통 29번 실수해서 71점 떴는데 이번에...
-
화작 확통 세지 한지 56633인데 전과목3등급이 목폰데 정신차리고 일주일째...
-
ㅁ
-
문과기준으로요~ 다보면 나쁠게 없지만 보통 어느과목은 수특수완 보는게 좋다고...
-
보통 주상절리는 제주도에서처럼 바다나 땅에 노출되자마자 빠르게 식어서 다각형...
-
아아니 과목 바꾸고싶은데 학교에서 이미 신청이 완료돼서 교육지원청 가야한다는데...
-
추천 좀여..
-
더프 수학 오답 0
다들 하셨나요?
-
종로 8모 언매 0
38번 저만 이상한가요?? 문제 하나하나를 따져볼 가치 없이 시험지 자체가 너무...
-
오르비식 기만질 비틱질*(3등급,4등급보고 노베이스라고 하는) 빼고 진짜로요 평가원...
-
중앙 경영 vs 경북대 화공 취업면에서요! 집은 대구입니다
-
진짜 이러다 죽겄다
-
이감수학 컷 1
이감사이트에 올라온 컷은 보정인가요 무보정인가요?
-
블아콜라보 먹구시픔...
-
진짜 개고민되네 화가 나네 사탐 공대 땜에 생1 버리기 싫엇는데 빠져나가는 거 보면...
-
계간지 0
여름 거르고 가을만 해도 되나 지문은 별개인 거 같던데 아님 여름을 하루에 많이...
-
저도 펜잡는거 자체가 오랫만이라 학생 수업준비도 해야되고 질문도 받으려면 공부를 좀...
-
초코우유 누룽지 과자 3장 아이스아메리카노 키세스 3알
-
수학 겅부 뭐할질 모르겟습니다 이해원n제 하루에 day 하나씩 푸는데 뭘 더 해야하나요ㅠㅠ
-
기억나는것만 적을께여 노겜노라 4구라 리제로 코노스바(1기) 진격거(유기)...
-
대학와서 방황 0
현역 때 정시파이터 선언하고 어찌저찌 대학 왔는데 입시 할 때보다 더 불안해짐...
-
종로모고 수학 1
나만 망했구나….
-
메가 대성 합쳐서 질문 200개 되는데 ㅁㅌㅊ?
-
난 부먹 찍먹 중에 14
처먹임 솔직히 그거 가지고 왜 싸우는지 이해 안되는 1인
-
그동안 감 안떨어지게 국/영 실모랑 한능검 교재 좀 깔짝거릴까 헌법이랑 민법은 다...
-
헤으읏 주말이다 8
진짜 죽는줄알았네
-
ㅆㅂ
-
사탐 1
경제 하고있는데 8덮 25점받고 생윤으로 바꿀까 고민 중이예요 ㅠㅠ 어떤가요….?
-
졸린채로 존맛탱 풀면 몇점 뜰까요
-
특히 복잡한 도형문제는 그리다가 시간 다 가서 뭐 같았는데 걍 책에다 보조선 긋고...
첫번째 댓글의 주인공이 되어보세요.