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를 선물하세요.
-
먹고 살기 힘들어서 그런가
-
디시 시대갤만 가도 육두문자는 기본에다.. 도를 넘는 말을 주고받던데 여긴...
-
Vod듣고 있는데 왜 9시 55분에 쉬는시간을주지
-
현대소설 영상은 다보고 책으론 안봤는데 이건 걍 점심 저녁 먹고 20분 쪼개서 계속...
-
수학 개념 질문! 10
위 명제가 항상 참인건가요? f와 g의 증감여부에 따라 다를 것 같은데....
-
피땀 흘려 쓴 서울대 의대생의 6평 도덕문장 지문 해설 7
안녕하세요? 국수입니다. 오늘은 조금 늦은 감이 없지 않지만 올해 6평의 도덕지문에...
-
제가 최근에 스타크래프트 이야길 많이 했었죠. 스타크래프트에서 정복, 승리하는 것은...
-
현 중3인데 문과는 아빠가 취업이 극과 극으로 나뉜다네요.. 이과는 취업이 잘된다...
-
수학 개념 1회독 하고 바로 머리 ㅈㄴ써가면서 쎈발점 푸는건가요? 아니면 쎈발점...
-
ㅈㄱㄴ
-
근데 화학 궁금한게 27
걍 이런건 찍는거 아니냐?
-
화장실 물곰팡이 계속생기는중 치우면습해서생기고또생기고아주그냥난리야
-
번쩍번쩍하는데 소리는 안들림
-
안녕하세요 이배이 저자입니다. 이배이는 EBS 배경지식의 이해로, EBS 수특수완...
-
역함수는 y=x 대칭이다 이 역도 성립해서 y=x 대칭이면 다 역함수이다 이것도...
-
정신 없다 0
어어토뇨ㅕ저즅
-
지금은 아무곳도 없는건가요 ㅇㅇ.. 강대 문항공모도 과탐영역은 없어졌던데 왜 내려간거지...
-
돼지특 1
컵라면 위에 삼김 얹어놓음 맞음?
-
커넥션 n티켓 이해원 n제 시즌 1 동시에 끝날 듯 1
ㅁㅌㅊ????
-
통합수학 되고나선 비울관계로 막풀리는 문제는 적죠? 3
뉴런 다풀고 수분감 한번 보려고 하는데 시간이 많은편은 아니라 22학년도 이후...
-
기출이랑 경찰사관까지 다 풀었는데 따로 더 원하면 "한국전통문화대학교 시험 기출"도...
-
아님 그냥 이만복 강의 무한재생하면 되나요? 도대체 어떻게 공부해요?
-
할복마렵네 1
아오
-
소확행:소소하지만 확실한 행복 이건 뭐 매일 바뀌어도 ㄱㅊ아요 저같은 경우는...
-
2024 경찰대 13번 지금 왜 경찰대를 올리느냐? 내 과외생이 썻거든 얘가...
-
잇올 다녀보신분 2
가족여행으로 며칠 빠져야할때 뺄 수 있나요? 벌점 먹음?
-
문제집 뭐가 좋나요? 기출을 제대로 돌리는건 거의 처음이라.. 고3이고 수학...
-
편의점 앞에서 우유 마시는데 한두방울 떨어지다가 5초만에 태풍온거마냥 쏟아짐 지구 망했다
-
ㅊㅊ좀
-
풀 수 있을까요? 지금 올려드리는 문제는 아니지만 전에 이 문제의 원류가 되는...
-
인설약 확통사탐 9
과탐 가산점에 확통 표점 낮은거 감안하고도 가능함? 그냥 미적에 사탐 끼는게 나은게 맞나요?
-
질문받습니다. 2
역사교육과 재학중입니다. 사범대 및 교육계열, 역사 관련 학과,...
-
숫자가 이게 뭡니까...!!!
-
이과 3모때 32133에서 6모때 2212ㆍ 조금 오르긴 했는데 국수는 낮은2고...
-
N제 추천 0
지금 드5,4규,n티켓 풀었는데 이것 다음으로 풀 수1,수2n제...
-
수능판 복귀 24
그.. 머시기냐 어쩌다보니 이렇게 됐는데 참 쉽지 않네요… 내가 어쩌자고 여기 다시 왔을까
-
[자작 문항] 갠적으로 지금껏 만든 것 중 젤 잘 만든 6
심플하면서도 깔끔한.....집합 표현이 맛도리인듯.... 그리고 합성함수 관련해서,...
-
2024 경찰대학 6번문제임 g(x)-f(x)를 직접적으로 물어보는 문제임 이정도...
-
사탐런 가능? 5
IT 공대 쪽 가려는데 무조건 과탐 해야 되지 않나요? 모집 요강 보면 인서울...
-
ㅋㅋ,,,,
-
100일 31
수능 D-100까지 2주도 안남았네요 저는 수능 직전보다도 이 맘 때 마음이 더...
-
클오클 뉴비 ㅇㅈ 10
겨우 60층..
-
얘들아... 0
유행이니?
-
한발짝 다가가면 또 내품에 안길것 같다가도 한발짝 멀어지고, 또 한발짝 다가가면...
-
칼부림 현장서 도망간 여경 "내가 대신 찔렸어야 했나" 항변 27
지난 2021년 '인천 흉기난동 사건' 당시 부실 대응으로 해임된 전직 여경이...
-
제가 중경외시 경젠데 원하는 진로가 경영 컨설턴트, 스타트업, 통계(빅데이터),...
-
탐구 성적 유지하면서 국수영 총합 6등급 올림. 새삼 작년의 내가 대단하지네....9망수잘은 ㄹㅇ임
-
문과 vs 이과가 언어논리 vs 수리논리 구도가 되어야하는데 감성 vs 이성 구도에 더 가까움
-
수능최저 질문 0
고2 기준 전교생 24명 농어촌 학교에서 내신 1.5 나오는 경희대 준비생입니다!...
-
52일이넴 .. 교재 언제 쯤 올련지 52일 안엔 완강 하겠죠
첫번째 댓글의 주인공이 되어보세요.