RF
게시글 주소: https://snu.orbi.kr/00069377875
Residually finite: For any nontrivial element $g\in G$, there is a subgroup $G_1$ of finite index in $G$ which does not contain $g$.
Locally extended residually finite (LERF): If for each finitely generated subgroup $H$ of $G$, for any element $g\in G - H$, there is a subgroup $G_1$ of finite index in $G$ which contains $H$ but not $g$.
Theorem A. Let $X$ be a manifold possibly with boundary with a regular covering $\tilde{X}$ and covering group $G$. Then TFAE:
(1) $G$ is residually finite.
(2) If $C\subset\tilde{X}$ is a compact subset, then the projection map $\tilde{X}\to X$ factors through a finite covering $X_1$ of $X$ such that $C$ projects by a homeomorphism into $X_1$.
Theorem B. Let $X$ be a manifold possibly with boundary with a regular covering $\tilde{X}$ and a covering group $G$. Then TFAE:
(1) $G$ is LERF.
(2) Given a finitely generated subgroup $H$ of $G$ and a compact subset $C$ of $\tilde{X}/H$, there is a finite covering $X_1$ of $X$ such that the projection $\tilde{X}/H\to X$ factors through $X_1$ and $C$ projects homeomorphically into $X_1$.
위의 theorem B는 특히 중요한데, 만약 $\pi_1(M)$이 surface group $H$를 포함하고 있고, LERF라면, $M$이 virtually Haken임을 내포한다. 다시 말해서, surface group을 representing하는 immersed surface in $M$이 적절한 finite covering을 취하면, embedding으로 lift가 된다는 것.
자명하게 LERF는 RF보다 강한 조건이다. Theorem A,B는 LERF와 RF의 기하학적인 의미를 담고 있다. 보통 해석할 때, $\tilde{X}$는 universal cover를 염두해둔다. 이 경우, Residual finiteness는 다음과 같이 해석된다:
$\pi_1(X)$ is residually finite if and only if for every compact subset $C$ of $\tilde{X}$, there is some finite cover $X'\to X$ with $C$ projects homeomorphically.
만약 $X$에 어떤 geometric structure가 있다고 한다면, $X$의 sequence of finite covering $\tilde{X}_i$가 있어서, 점점더 그것의 universal cover $\tilde{X}$에 가까워진다, 수학적으로는 Gromov-Hausdorff converge한다고 볼 수 있다. Hyperbolic 3-manifold에서는 이것을 geometric convergence라고 부른다.
Examples
1. $M$: a Seifert fibered 3-manifold then $\pi_1(M)$ is LERF.
2. $M$: a hyperbolic 3-manifold then $\pi_1(M)$ is LERF. (Virtual Haken/Fibered Conjecture)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난이도 ㄷㄷ 다음회차는 또 내가 어디서틀릴까 뭔 선지를 보게될까 두려움 ㅋㅋ...
-
돌돌돌돌 4바퀴 말음
-
89 98 3 96 96 고려대에 가기에 40일은 너무 길다
-
모르는 문제있을때 큐브로 물어볼려고 문제사진찍는데 찰칵소리날때마다 다른 사람들...
-
내일 일반상대성 ㄱㄱ혓 10
오늘은 케플러까지 마스터 그나저나 타원넓이공식 쓸만하네여
-
다들 어디서 오시나오??
-
돈없어서 넷플릭스로 못보고 유툽으로 볼려는데, 요약본같은거말고 걍 전편 처음부터...
-
자기 ㄷ 안자기 4
-
라이더
-
님들의 도움이 필요함 12
야식먹고 자기vs 그냥자기
-
고백받았는데 내가 거절했어한순간에 남같이 돌변하더라너무 힘들어 지금도 울고 있어보고...
-
ㅋㅋ
-
메인글 따라해봄
-
현재 숭실상경+군필 9모 원점수로 92 92 2 47 46 화확영생사 기필코 수능날...
-
팜하니 4
-
세지 사설모고 0
jit도 풀까 이기상쌤꺼만 해도 31회인데 음.. 사탐 존나해서 풀 시간은 될거...
-
그저 평범한 고등학생이 쓰는 아무 보잘것 없는 글이지만 조금만 횡설수설해보겠습니다...
-
??
-
담배많이핀 날은 정신은 맑은데 몸이 무거운 느낌 그래서 몸은 피곤한데 잠이 안듦
-
6문제 빼고 한바퀴 + 나머지 6문제 풀기 vs 처음부터 끝까지 한바퀴 + 나머지...
-
막곡은 역시 1
맨! 정신이 난 힘들어 아!무것도 할 수가 없어 맨! 정신이 난 제일 싫어 너!...
-
궁금
-
. 7
-
적중예감 파이널 5
등급컷 따로 있나요.? 글고 파이널이 더 어려움? 아직1회차라 넘쉬운데
-
오지2>식센모 블랙>오지3>식센모 화이트>오지 1>데브 맞나요??
-
많은 학생들이 시험장에서 실수를 합니다. 어떤 학생들은 고질적인 실수로 항상 자신의...
-
패파 트레이닝 step2까지만 풀어도 어지간한 n제 3~4권 분량이네 ㄷㄷ 패파...
-
어디서부터 풀어야 할지 모르겠어서 그냥 22 6평부터 평가원 기출 쭉 풀어볼게요 툴...
-
노래방 가고싶다 4
호에에
-
오리스티커 넣을 공간은 있고 Omr넣을 공간은 없나 봄.
-
. 2
-
뭐가 더 모래주머니 같은가요?
-
왁자지껄 우당탕탕 여름청춘고교라이프가 생각나는 밝고 통통튀는 브금
-
우린 야경처럼 반짝거리네에ㅔㅔㅔㅔ에에에ㅔ 나는 널 채우는 샴페인 너는 날 깨우는...
-
수특. 수완 말고 또 뭐가 있나요?? 뭐 봉투모의고사 그런것도 연계인가요..?
-
여기서 보통 9분정도 쓰는데 너무 많이 쓰는거 같음 어떻게 줄이지…
-
내가 네말을 듣겠냐고 그렇게 할일 없냐고? 도저히 너처럼 못살아
-
정시 파이터 한다고 내신 1.7에 덜컥 자퇴했는데 막상 공부 해보니까 외롭고 멘탈...
-
. 11
.
-
n수는 12시간 동안 갇혀서 공부만 하며 거친 야생성을 버리고 점차 섬세하고...
-
올해 전역하는 군인입니다. 말그대로 노베인데 김동욱 선생님의 일취클 듣고 마더텅같은...
-
한 달짜리? d-100? 하프이어? 400일 맞이 d-100짜리 사려햇는데 4권...
-
너의 모습 그대로 셔터를 눌러 다시 필름을 감아 사진 속 그어떤 멋을 내봐도 너의...
-
더프 보정컷 2
9월 더프 보정 너무 후하게 들어간거 같은데 수능이랑 가장 비슷할 거 같은...
-
거리에는 환한 미소 넘치네에에
-
(진짜모름)
-
지금 너무 보고 싶어 언젠가 만날꺼야 마음속에 피어오르는 나는 너만의 꽃 나는...
-
9덮 결과 4
화작 72 미적 92 영어 85 물리 45 생명 50 무보 51231 보 31211...
-
실화냐
우익수