Shearing hyperbolic surfaces and bending pleated surfaces
게시글 주소: https://i.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 or 일반+특수=3 해야할 것만 하면 됩니다. 쉬4 정도 되는 것 같습니다.
-
조사 목적은 국어/수학 채점결과 분석입니다. 분석을 통해 표준점수 계산 공식과...
-
뭐얏; 하고 봤더니 울고있네
-
전에 우진 문학상 출품했던 작품인데 아쉽게 떨어졌습니다 ㅠㅠ 시간 나실 때 한번씩...
-
수능에서 재능 노력 17
갠적인 생각인데 상위권 집단이냐 하위권 집단이냐에 따라 다른듯? 상위권에서는 노력은...
-
좋은 오후입니다 0
네
-
현재 고1 현역인데 3,6모 영어 3~4등급정도 뜨는 노베이스입니다.. 여름방학동안...
-
14 추리논증과 25 추리논증의 내용 그대로 가져와 25 추리논증 문제에 대한...
-
고2 정시 개념이 헷갈리고 아직 완전히 내껄로 못만들었다고 생각이 드는데 남은 방학...
-
클릭해서 들어가봤더니 한쌍도 아니고 각각에 65만원 하는 반지를 광고하고 앉았네.....
-
특히 국어 기출 풀고 분명 정답의 근거와 내가 생각한 근거가 맞혔는데도 불구하고...
-
변수가 포함된 상황에서 최대 또는 최소 구하라고 할때 마지막 값 구할때 그냥 제일...
-
기다릴게
-
6모기준 화작 미적 영어 각각 344이고 탐구는 백지상태입니다 최근에 전문직을...
-
풀어보신분들 전 평균 10분30초정도 걸리는데 수능 현장에서 언매 몇분컷 정도 낼까요?
-
매월승리에 딸려있는거 풀면되겟다 ㅋㅋㅋㅋ
-
본바탕 문학N제 풀어보신분 19분컷이면 수능문학 몇분컷 할까요? 0
평균 19분이면 그 본바탕 문학 미니모의고사형 N제 대부분 세트 17문제 다 풀고...
-
국어공부를 좀 늦게 시작해서 수특 이제 현대소설 풀고있는데 뒷부분에 극수필갈래복합...
-
빅포텐 4규 문해전 난이도 순서좀 알려주세요 다 시즌1입니다 3
4규 할만했는데 흠.. 빅포텐이 더쉽다고도 하길래 해야하나
-
이제 서비스를 신청해놓고 5시간정도 데이트를 한다고 하면 일단 애니메이트에 데려갈...
-
첨에 2급뜨고 재검때 4급 떳는데 주변에서 거의 동일한 사례로 6급뜬 사람보고 재검...
-
모 호텔에서 기념품 샵에서 군복 입은 곰돌이 인형 판매한다네유 ㅎㅎ 나중에 한정판...
-
기하랑 확통은 어느정도로 공부하시나요?
-
4규 다음 앤제 1
정답률 8090정도
-
문제를 찍어올리면 문제될거같기에.. 전 변 CQ의 길이가 왼쪽식으로 나왔고...
-
사람들은 자기가 끝내 이루지 못한걸 재능으로 치부하기 때문 나(국어 백분위 100...
-
코난 관람 완료 0
흐뭇한 뇌절
-
숙소 4인 1실이고 화장실 샤워실 1개라고 들었는데 샤워 시간 빠듯할 것 같아서요...
-
원래 240점±10으로 알고 있었는데 작년 기준 평균 210에 190대까지 추합...
-
ㅅㅂㅋㅋㅋ
-
하 ㅋㅋㅋㅋㅋ 요즘 개부러움 ㅋㅋㅋ 페이스 유지하면 역대급 슈퍼스타 탄생인데...
-
5모 99.62 6평 96 7모 65.99 킵 고잉.
-
티몬 위메프 부도이슈 터지고 나서 그 쪽 직원들은 퇴직연금 못 받게 생기고,...
-
보닌은 첨으로 복권 1등 당첨돤 이후로 확실히 옯창타락한듯
-
ㄷㄷㄷㄷ….
-
나도 쳐보고 싶다고 생각했는데 돼서 재미있었다 아니 이게 된다고??...
-
들을노래가없어. 16
그래서공부를못해. 노추좀.
-
[단독] 티몬發 '페이 대란' 오나…컬쳐랜드·해피머니도 거래중단 '불똥' 2
티몬·위메프 미정산 대란이 컬쳐랜드·해피머니 등 티몬에서 판매했던 상품권 업계로까지...
-
병원가서 젊은 의사쌤 만나면 속으로 이분도 오르비에서 섹스섹스 거리셨나라고 생각하게됨;;
-
회피를 하면안됨 문제풀때 어떤 유형을 본능적으로 피하고싶다, "아 대충 하고...
-
킬러4점 다풀어놓고 2 안곱하거나 2 안나눠서 틀림 의식적으로 느리게 쓰려는 그 고통을 알아? 흑흑
-
2024 고3 7모 Crux Table (영한탐) [N2407] 16
본 글의 작성자는 크럭스(Crux) 컨설팅 입시분석 팀장 환동입니다. 자료를...
-
두근두근 설래여서 언제오나 목 빠지게 기다리는중임
-
캬 물2 만표 88 만점자 수 45 화2 만표 88 만점자 수 18 생2 만표 87...
-
문제 풀다가 아드레날린 과다분비되어서 어어 이거 왜 브레이크가 안먹노 이럼
-
공설 평백 98정도? 고정1중반입니다. 문학 언매는 그냥 능력껏 최대한 빨리...
-
영어3모2->5모4->6모5->7모4 역주행중임.6모 2주전부터 션티 현강 들었고...
-
ㄹㅈㄷ ㅋㅋㅋㅋ 아 투과목 꿀단지 달다 물2 5096 화2 4892 생2 7775...
-
수학n제 0
공통 드릴5 미적 4의규칙 풀면서 난이도 적당하다고 느꼈는데 난이도 비슷한 n제...
-
거기서 여자 교관(?) 마이크 잡고 남성적인 목소리로 소리 지르면서 너네 여기...
첫번째 댓글의 주인공이 되어보세요.