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를 선물하세요.
-
아 ㅆㅂ. 우진이형!!!!!
-
난이도 어때요 ??
-
50m 22/22 올해 수능 볼 건 아니지만 심심해서 눈풀해봄 확실히 힘을 좀 빼긴...
-
살짝 떨리는 게 아니라 휙휙 떨리는데 덜덜덜덜덜덜덜
-
유사성 논증(argument by analogy), 미세 조정...
-
공부합시다 0
팜하니입니다
-
내년 수능 응시생이에요!
-
이게 머임 ㅅㅂ ㅠㅠ
-
시험장의 긴장감? 을 체험하기 위해 갔다왔습니당 ㅎㅎ 답 공유해볼게요(틀렸을수도...
-
경제학부 썼는데 2번 배점이 더 높더라고요 2번먼저 풀까요?
-
대문항 1번 3번까지 개꿀하면서 풀다가 4번 노가다밖에 생각 안나던데 노가다로...
-
감기 걸린듯 코가 아프군아
-
비흡연잔데 술자리에서 담탐때 혼자 앉아있는것도 뻘줌하고 전자담배는 뭔가...
-
이제 1일 1실모 해야디
-
애니프사 1
귀칼 주술회전 진격거 이런 프사들도 당연히 애니프사로 쳐주는 거 맞죠..? 애니프사...
-
수미잡. 1
단, 언제의 수능인지는 불확정성 원리에 의해 고정될 수 없음이 알려져 있다....
-
전체E_k는 증가할 수 있구나 메모..
-
오랜만에 맘에 드는군
-
다 때려 부수고싶은기분 문제를 푸는데 뭐가 잘못된건지 피드백이 전혀 안되용ㅠ
-
왜ㅜ벌써 주말이지
-
어려웠음? 나 세번째문제 거의 다 못썻는데 이거 광탈 확정임?ㅋㅋ… 씨.발 6모미적...
-
7모 12123 > 9모 34245 나온뒤부터 맨탈관리가 안됨... 9망수잘이라는게...
-
아 ㅋㅋ 5
실험에서 왜 수득량이 이론적 수득량보다 많지? 보고서 큰일났다
-
저능해서 울엇서 2
엉엉
-
교사출제<6평부터 존나 쎄했는데 아니나 다를까 국어는 연계 문학 암기대회+ 언매...
-
학교 다니면서 전공이라해봐야 화학 생물인데 중간 때 아예 다 날려도 혹여나 반수...
-
작년에도 있어ㅛ나요? 뭐 스킬북 이런것도 있다는데 없다고해도 가격이 싼편이라 사볼까싶음
-
드릴5 드크북 설맞이 풀었는데 실모랑 병행할 N제 추천해주세요! 낮은 1등급 나옵니다
-
1등급 맞고 싶은데 두문제정도 때문에 1등급 안나오네요.. n제는 4규 이해원 n제...
-
백호 섬개완에 나온 지식만으로 수능특강 3점 수준의 가계도 문제를 빨리 풀 수...
-
모여라~ 션티 영어 키센스 6평 9평 성적표 등급컷
-
마그리트는 [골콘다]라는 작품에서 데페이즈망 기법*을 활용하여 중력을 제거했습니다....
-
우영호 highest 끝났는데 뭐하지,.??
-
무슨 심리지? 옷 입을 때 분명히 학교 이름 붙은 거 입고 가면 애들 인식하는 거...
-
지구 망해라
-
언미영생지 9모 더프 국어 93 89 수학 84 77 영어 88 90 생명 47...
-
개좋은실모추천부탁함.
-
글만봐도 개역겹네….하기싫다
-
??
-
이감 개털렸네 1
점수 말도 못하겠다 국어에서 이런 거 처음인데 ㅅㅂ
-
왜 팔로우했는지 모르겠는 사람이 있어서 팔취하고 옴 7
아 뭐지 접점이 전혀 없는 거 같은데
-
우헤헤헤헤ㅔ헤 2
세크스세크스
-
가끔가다 A B가 잡히는데 안 잡혀서 해설 들어보면 내가 과연 저렇게 ab를 잡아서...
-
작수 11423 영탐고자인거 확실하니깐 뱐수시주 시작한 이후로 영탐에 몰빵해서...
-
근육통 1
얼마전에 벤치 잘못하다 근육통 씨게 생겼는데 다시 벤치를 해서 풀렸음 아놔ㅏㅏㅏ
-
지문 안 보고 들어가기에는 화작 유형 자체가 다 내용일치식이라 왔다갔다 하는거 좀...
우익수