Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://ui.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를 선물하세요.
-
공부에 에너지 젤 많이 쏟아야되서 다른 활동을 못 하는게 노잼으로 만드는 듯 게임도...
-
뭐냐뇨이 걍참아야지머 느껴지는감정을어떻게참지 불가능하구나
-
어케 이런 문제를 내지
-
수능 끝나고 봅시다. 작년 9평 경기대에서 수능 경희대로 올린 기적, 올해 더 높은...
-
[국어] 구주연마의 서 53강, 54강 (4주차 본강의 50%) 구주연마의 서...
-
근래 봤던 25번중에는 젤 어려운듯 ㅋㅋ 식으로하면 계산폭탄일거 같아서 걍 함수의극한처럼 풀었음
-
뭘까 감을 드디어 잡은건가 문학은 거의 안틀리네
-
하아... 먹을까 말까
-
시간이훅훅가요!
-
긴장도 거의 안되고 걍 하루하루가 무난하고 버틸 만한데 긴장을 가지는 게...
-
제가 미적러고 올해 6모 백분위94 9모 88점 딱2컷인데 히카 이해원 양모 같은거...
-
왜 이렇게 이상한 사람이 되었을까요 생각보다 다른 사람들도 이상해서 상대적으로...
-
15는 찍맞이라 92임 15/22틀 미적 3개 다 맞은 거 처음임 와 ㅅㅂ 90점대 처음 찍어본다
-
내일 수능을 보면 12
난 어떻게 되는 걸까
-
아직 OT를 보지않은 나 알려줘요
-
메가패스 파이널 0
실모 벅벅하려고 살라하는데 14일 끝나면 더 싸지나요? 아니면 내년 패스로 넘어가려나
-
이감은 다풀고 얘만 쌓이는데 처리를 어떻게하지
-
T1뭐냐 2
아니 잭갈통만따라고 왜자꾸 잭갈통빼고 나머지를물어버리는거야
-
D-42 1
AM 8 ~ 12 : 30 : 독서론 24 / 6 : 문학론 24 / 6 PM 13...
-
ㅈㄴ 아쉽네
-
잇올에서 연애 1
하고싶다.......잘해줄게..
-
뭐야 롤 졌넹 5
어째서
-
1 나온 적 있어요?
-
지금 크럭스 테이블이 2회 수정을 거쳐서 표준점수 산출 공식이 위와 같이 됐는데,...
-
뭔가 작수랑 비슷하지 않았어요..?? 수능문제는 하도 많이 풀어봐서 이젠 쉽다고...
-
곰 호랑이 사람 0
이중 호랑이는 한자어 虎狼+접미사 -이 '곰'은 '고마'에서 음절이 축약되며 성조가...
-
나는지능도떨어지고능력도없는게쓸데없이망상만많이해가지고아무일도없는데걱정거리만늘어나고별의별...
-
슬럼프옴 ㅈ됐네 13
걍 공부가 하기싫네 독재가서 책펴놓고 마음속으로 공부하기싫어 공부하싫어 3000번 외친듯
-
개천절 지났네
-
원래 한의대 목표였는데 무슨 짓을 해서라도 의대에 가야겠습니다 의사가 월400도 못...
-
다들 왤케 잘하는거임 화학을;; 나만 존나 안잡히는건가 서바도 매번 세문제 두문제...
-
후루루룹
-
부모님 왈: >>>전역하면 시작이야 사회생활이 더 힘들다...사회에 나가봐라 지금...
-
질뿍 1
-
기출만 올해 할까요?
-
진짜 존나 피곤하네 뭐만 하면 찡찡거리고 전화 안되냐 나 너무힘들다 뭐 씨발 이...
-
길게 쓰긴 귀찮고 그냥 마늘 얘기할게요. 또 이 접미사 -ᄋᆞᆯ은 중세국어...
-
피부과 가야해요?
-
강대x 6회차 0
문제 자체는 풀면서 쉽다는 느낌이 나긴했는데 시간이...
-
내일이 중간고산데, 재수하면 수시원서는 절대 안넣을거 같아서 버릴려 하는데, 챙겨야...
-
멤버십 어쩌고 한 이유가 있었군
-
드릴 본교재 대신 워크북만 사서 푸는거 어떤가요..? 그냥 본교재만 사는게 훨씬 나은가요..
-
신 상 혁ㄷㄷ 1
찬양해
-
40일 정도 남았는데 다 풀긴 많아서 2015? 2018?
-
뭐임뇨
-
일반인이 DSM ICD 읽어 봤자겠지만요 그냥 읽어보고 싶네요 일반인이 아닌...
-
과탐의 정상화가 시급하다
-
꽤 자주 연락은 하는데 따로 보긴 어색한 사이 ...전적대(예정) 떠나면 다시 볼 일 없겠죠?
첫번째 댓글의 주인공이 되어보세요.