RF
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를 선물하세요.
-
지금 3~4등급인데 실모 안풀때 기출해야함 아니면 그냥 사설 문풀 양 늘려야함...
-
나도 질받해볼랭 15
자기 전에 마지막으롱
-
하.. 찌릿찌릿해서 죽겠는걸 얼마나 방치해둬야 하나
-
문디컬 도전 4
예전 수능때 화작99 미적95 영어2 생명91 지구87 정도 였던 사람입니다....
-
매실문 하는중인데 헷갈리거나 못 푸는 문제만 골라들어도 되나요? 아님 2배속...
-
히마와리 6
아도최애곡이 이거라면믿어주실건가요 너무좋음,,,
-
한지 9덮 0
한지하시는 분들 9덮 보정컷 많이 후한 것 같나요?
-
누구탈릅했나 8
팔로우팔로워둘다빠짐
-
혹시 전남대,제주대 약대 1-2학년 다니시거나 반수하시는분 계실까요? 0
여쭤 보고 싶은게 있습니다! 답변 주시면 정말 감사하겠습니당!
-
무섭다
-
성의수학과외 밑에 “ㅊㅇㅇ”
-
어제 안 자서 6시에 깰 수 있나.. 알람 못 들을 듯여
-
1일차
-
조커 폴리 아 되 아침 9시 대치가는데 볼까말까
-
안녕히 주무세여 1
오늘 아침에 뵈어요
-
가장 안정감 넘치는 형태는 무엇인가요? 아마도 원을 꼽는 사람들도 꽤 있을...
-
공부시간도 빼먹고 물론이거안하면또다른짓거리할듯 비틱하는개씹새끼들보면화나고좆같고...
-
내가 뭘 했는데 갑자기..
-
글리젠용 뻘글 1
글리젠용 뻘글 글리제로따먹고싶다 뻘글
-
늦은 현역 인증 5
불금이니깐
-
공부 안하는 부류 근데 9모 이후의 나는…… 내가 제일 싫어하는 부류가 된 것 같다...
-
ㄹㅇ 괜찮을거같은데 무리만 안하면 물론 아칼리나 사일을 나은듯
-
오늘의 라유는 5
0.3 꼬기에요
-
노래 플리 ㅇㅈ 4
네
-
ㅇㅈ 4
교재인증이었구요 저는 한문과 중국어를 좋아했다네요~지금 풀어 보라 하면 다 틀립니다
-
여러분 메일 넣으면 재르비 풀어준다는 소문이 잇어요 8
사실인지는 모르겠지만 혹시 모르니 눈팅하는 재르비언분들ㄱㄱ
-
제가 좋아했던 주제로
-
재르비 풍년이군 3
-
ㅇㅈ메타에요? 5
ㅇㅈ할게없는데
-
사탐지원가능 메디컬, 공학계옐 중 올해처럼 과탐 가산점 3%, 4점 이렇게 나온곳이 있나요?
-
25학번 의대생들도 26학년도의대 정원 낮추라고 휴학인가 파업인가 그런거 할까요?
-
누군가가 나를 좋아해줄까..?
-
좀 어릴때긴 함..
-
?!. 3
요 요요 요
-
ㅇㅇ..
-
라유 비질께
-
사실 갑자기는 아니고 그냥 내 기저에 있던 생각이 끌어올려진거에 가깝긴 한데 행복한날이올까나한테도
-
저도참전함
-
활동 잘하다가 갑자기 탈릅하는 사람이 아니라 그냥 서서히 활동이 뜸해지다가 안 오는 사람인듯
-
평가원 더프 1~2 진동인데 올해 이감만 풀면 70점대 나옴… 짜증나서풀기싫음…
-
독서실퇴근 1
집가자집
-
벌써 잘못된건 아니겠지
-
옛 친구 2명이랑 3년만에 만나서 하루종일 밥먹고 같이 있었는데 한 마디도 못 한 저는,,,,
-
안녕하세요, 인듐입니다. 모의고사 만들다가 좀 지겨워져서... 화학II 칼럼이나...
-
탈릅할까 3
갑자기든생각 그냥현타옴
-
예비 고2 윈터스쿨 시대인재 vs 러셀 투표 해주세요 수1, 수2, 미적 쎈발점 +...
-
수능패턴으로 맞출려면 6시에 일어나야할텐데 이럴땐 어케함요? 집공부는 못하는데 스카로 옮겨야하나
우익수