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를 선물하세요.
-
안녕하세요. Another class 화학 II 저자 이병진입니다. 7월 모의고사...
-
아무리 쉬운시험지도 90점이 잘 안넘던데 물론 내가 못하는게 맞음
-
그치 미적이 77까지 떨어질 시험지는 아니었단말이지 올해 치른 어떤 교육청보다도...
-
검찰, 건국대 마스코트 거위 '건구스' 때린 60대 남성 불구속 기소 2
검찰이 건국대의 마스코트 거위 '건구스'의 머리를 피가 날 때까지 때린 60대...
-
아는 사람 잇냐?
-
질문 1 : 4점 쉬움~중반 난이도의 N제 추천 부탁드립니다. 1-1 : 김기현의...
-
만약 명제가 참이라면 (참인 것을 확인했다면) 그것을 증명해보기까지 해보시면...
-
미적이 나을까요 기하가 나을까요
-
4합 6의 위엄... 아직까지는 지역인재 모의지원자 충족률 0%네요 ㅋㅋ 참고로...
-
일정 시간 사용안하면 자동으로 계정이 없어지는 시스템이라도 있는건가 몇년전 글...
-
현실에서 절 찾으시면 10
당근을 드립니다
-
작수도 이다지 한국사 듣고 수능 6등급받았구 이때까지 친 모고에서 한국사 4등급...
-
의식하고 쓰지 말아야 하나
-
생1이랑 수학 인강만 듣다가 라이브반 끼니까 만족스러워서 지구도 훈식쌤 커리...
-
아까 crux table? 그거 만드시는 분 화작 만표 모르겠다는 글 보고 올립니다...
-
점과 직선사이 공식 쓰는거 같긴한데 어케 접근해야할지 모르겠넹
-
공부가 어느순간부터 손이 안잡혀서 3일동안 신검도 받고 쉬었습니다. 오늘 저녁부터...
-
사문 생윤이구 사설 개념 강의 들으면서 개념 암기 후 바로 마더텅 들어가도 되나요?
-
50일수학 상하 다 듣고 시발점 수1 1강 듣는데 이해가 안가요; 6
어떡하죠 저.. 현우진쌤이 안맞는 걸까요..;;
-
안녕하세요 현 고2인데 이번 여름방학 안에 자이스토리 독해 실전 어휘어법 실전을...
-
수분감이랑 뉴런은 6모 전에 다 했는데 n기출 4점짜리 풀 때 못 푸는 문제가 반...
-
최근에 큰일난거 10
서랍장이 당근으로 꽉 차버렸어요
-
중3때 사서 지금까지 쓰느라 칠은 좀 벗겨졌는데 아직까지 고장난 적 없음
-
세번째랑 네번째거는 지우개랑 샤프심통 입니다 ㅎㅎ 당근 샤프 너무 좋아요 1위가...
-
창의력 GOAT
-
헉!
-
ㄹㅇㅋㅋ
-
죽여달라고 하네요
-
이감에서 수특수완 변형 낸거 있던데 그거 푸는거 괜찮음? 굳이인가.. 걍 n제...
-
본인 필통 게@이같음? 25
샤프 바꾸고 싶은데 사긴 귀찮아서 엄마 딸 책상에 있는거 아무거나 가져와서 쓰는데...
-
https://rural-leaf-dd6.notion.site/THODE-29212e...
-
걸려야 되는건가요… 공통풀다가 100분 다가겠음 너무느림지금
-
문해전 시즌1 풀다가 쌤 풀이가 너무 괜찮아서 들어보려는데 문해전이랑 설명하는게 비슷해서 굳이인가
-
오만 전문 서적, 논문, 인터넷 자료를 동원하여 간결한 레포트나 논문 형식으로...
-
다 오류거나 기간만료 이러네 아오
-
푸는데 정신나가는줄알았네슈발 이건 이해를 하면 안된다 그냥 크악
-
소신발언) 2
와플 너무 빨리 눅눅해짐 실모풀고오니까 다 눅눅하네
-
尹, 첫 저출생수석비서관에 '쌍둥이 워킹맘' 유혜미 교수 내정 1
(서울=뉴스1) 정지형 기자 = 윤석열 대통령이 신임 저출생수석비서관에 유혜미...
-
지금풀고있는데 다른분들은 어떤지 궁금합니다
-
저랑 관련이 없기는 한데 도대체 저 많은 내용을 어떻게 대비한다는 거임? 고1때...
-
..
-
데카포가 뭐여 0
내겐 서카포 뿐이다
-
당근 또 샀어요 4
이건 못 참지
-
직관적 사고의 의한 1인칭 해설 2025 BLANK 수학기출문제집...
-
가장 빨리 맞히시는 단 한 분께만 5000덕의 영광을 드립니다!
-
땀 아주 뻘뻘 흘리고 지친 뒤에 먹는 음료수 팥빙수 아이스크림 극락이다 진짜 와...
-
아무것도 안먹고 살순 없을까
-
나이도 되게 어린데 미래가 밝구만
첫번째 댓글의 주인공이 되어보세요.