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를 선물하세요.
-
그저 평범한 고등학생이 쓰는 아무 보잘것 없는 글이지만 조금만 횡설수설해보겠습니다...
-
??
-
막곡은 역시 1
맨! 정신이 난 힘들어 아!무것도 할 수가 없어 맨! 정신이 난 제일 싫어 너!...
-
. 7
-
적중예감 파이널 5
등급컷 따로 있나요.? 글고 파이널이 더 어려움? 아직1회차라 넘쉬운데
-
오지2>식센모 블랙>오지3>식센모 화이트>오지 1>데브 맞나요??
-
많은 학생들이 시험장에서 실수를 합니다. 어떤 학생들은 고질적인 실수로 항상 자신의...
-
어디서부터 풀어야 할지 모르겠어서 그냥 22 6평부터 평가원 기출 쭉 풀어볼게요 툴...
-
노래방 가고싶다 4
호에에
-
오리스티커 넣을 공간은 있고 Omr넣을 공간은 없나 봄.
-
. 2
-
뭐가 더 모래주머니 같은가요?
-
왁자지껄 우당탕탕 여름청춘고교라이프가 생각나는 밝고 통통튀는 브금
-
우린 야경처럼 반짝거리네에ㅔㅔㅔㅔ에에에ㅔ 나는 널 채우는 샴페인 너는 날 깨우는...
-
수특. 수완 말고 또 뭐가 있나요?? 뭐 봉투모의고사 그런것도 연계인가요..?
-
여기서 보통 9분정도 쓰는데 너무 많이 쓰는거 같음 어떻게 줄이지…
-
내가 네말을 듣겠냐고 그렇게 할일 없냐고? 도저히 너처럼 못살아
-
정시 파이터 한다고 내신 1.7에 덜컥 자퇴했는데 막상 공부 해보니까 외롭고 멘탈...
-
n수는 12시간 동안 갇혀서 공부만 하며 거친 야생성을 버리고 점차 섬세하고...
-
올해 전역하는 군인입니다. 말그대로 노베인데 김동욱 선생님의 일취클 듣고 마더텅같은...
-
한 달짜리? d-100? 하프이어? 400일 맞이 d-100짜리 사려햇는데 4권...
-
너의 모습 그대로 셔터를 눌러 다시 필름을 감아 사진 속 그어떤 멋을 내봐도 너의...
-
더프 보정컷 2
9월 더프 보정 너무 후하게 들어간거 같은데 수능이랑 가장 비슷할 거 같은...
-
거리에는 환한 미소 넘치네에에
-
(진짜모름)
-
지금 너무 보고 싶어 언젠가 만날꺼야 마음속에 피어오르는 나는 너만의 꽃 나는...
-
9덮 결과 4
화작 72 미적 92 영어 85 물리 45 생명 50 무보 51231 보 31211...
-
실화냐
-
난 디게어렵던데
-
뭔지 내게 말해줘 사랑일까 이런게 사랑일까아ㅏ 워우워예에
-
꽤 열심히 살았으니 업키는 가져가겠어
-
진심으로 영어 3이 젤 걱정이었음..... 작수 국수영까지 보고 영어땜에 떨궜다...
-
(수정은 비밀)
-
명상<-최고 2
1교시 국어 종 치기 2분전쯤 눈감고 숨을 2초 크게 들이쉬고 4초 뱉기 2번씩만...
-
0~12분: 개념 16문제(다 손가락 걸기) 12~14분: 개념 1문제(제대로...
-
으으ㅡ으ㅡ 진짜 2~3만 나와도 되는ㄷ......
-
어느 영화와 같은 일들이 이뤄져가기르으을 힘겨워한 날에에 너를 지킬 수 없었던...
-
사고 실험 여태까지 Accident experiment 인줄 처음에 사고실험을...
-
안녕하세요 4
디도
-
갈 수 있다면 어디 가심?
-
슈뢰딩거가 양자역학 실험에서 유명해서 양자역학 주장한 사람인줄 알앗는데 오늘 국어...
-
맞팔9 8
금테 ㄱㅈㅇ
-
저희는 '응, 알아.'에서 끝내지 않겠습니다. 반갑습니다. 국어 연구소 Team....
-
1. 시중에 있는 실모 거의 다 풀어봤다고 자부함. (대성이투스메가 꼴타까지 포함)...
-
EU에서도 일할 수 있고 어느 정도 머리만 있고 영어 잘한다면 충분히 해볼 만 할...
-
함께 있는 이 순간에 내 모든 걸 당신께 주고싶어
-
진짜 큰거안바라고 500억만ㅜ
-
통합수능되고 나서 1컷 원점수는 평가원에서 공개안하나요?
-
별의 광도, 별의 반지름은 별의 광도 구하는 식을 변형하여 구할 수 있는데 별의...
-
수고했습니다 4
오늘 공부가 유난히 안되던 분들도 늦어서 벼락치기 하시는 분들도 꾸준히 열심히...
우익수