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를 선물하세요.
-
진짜 씨발 작년수능때 독서보다 화작을 더 틀럈는데 화작 어떻게 읽어야하는지 레전드로...
-
뭐냐뇨이
-
중앙대라도 가야지
-
이건… 안이지… (This is inside…)
-
인기있길래 처음 한번 먹어봤을때도 그렇게 만족스럽진 않았었는데 중독성이 개지림...
-
걍 존나 세상이 밉다 18
잘생기거나 돈이많거나 머리가 좋거나 적어도 하나는 있게해주라고 셋다가진 놈들 많잖아 흑흑
-
독서 기출 보고 자야겠다
-
좀 잤다가 5시쯤 논술 쓸까
-
맞죠?
-
그러게 왜 안 먹던 커피를 마셔서... 언제 자냐ㅠ
-
궁금
-
올해 ㅈㄴ 늦은거 당연히 알고있음 작년말에 우울증 걸리고 지금까지 치료 받고 있음...
-
빈 개념이 너무 많은듯 사설모고vs빨더텅 둘중에 뭐가 나을까요 기출은 돌리긴했어요 둘다
-
아이고야 3
도망가야지
-
성적 인증 8
남자라네요 8월달에 발급받은 여권
-
미적분 이거 언제 다 하냐 양 ㅈ나 많네 수1은 이젠 고난도 엔제 풀면서 감 유지할...
-
질받 34
-
잇올 민원 0
잇올 다니시는분들 달그락달그락 거리는거 이것도 민원넣나요?? 계속 그러는건 아닌데...
-
69 ㅇㅈ 7
(야한의미아님)
-
으흐흐
-
킬캠 4회 1
좀 쉬운 회차였나요? 3점부터 막혀서 비명횡사 했다가 겨우 끝까지가서 88점...
-
공부시간만 보면 나름 꽤 되는데... 전 한번에 길게 집중을 잘 못하는거같음요 제...
-
울학교 수학쌤이 수특수완 5회독하면 좋은 결과 있을거라고 함 3
어케 생각하시나요?? ㄹㅇ 딱 저거만 하라하심.. 참고로 6모때 출제하셨다고 들음..
-
공부를 너무 안해서괴로움 수능이 40일 너무 짧게 남았는데 난 재수는 진짜 하기...
-
지금보니 틀린게 왜 틀렸지 라는 생각만 드네.. 근데 이걸 이제서야 다시 본 나 ㅁㅊ놈인듯
-
한국에서 개봉한지 10년 다 되어감 시간 참 빠르당
-
과학하는데 지금 화가 너무 남….. 혼자 문제풀면서 욕하다가ㅜㅡㅜ 더더화날것가타서...
-
너무 서울대가 간절해서 7수하고있어요.. 다들 화이팅합시다
-
네. 2
ㅋㅋ
-
머리 길었는데 7
잘라 말아 눈 덮을정도?
-
ㅠㅠㅜㅠㅠㅠㅠㅠㅠ 나머지눈 유지여도 괜찮은디
-
더프 망했네 2
딴건 괜찮은데 물리 보정 6은 진짜 어케한거지 ㅋㅋㅋㅋㅋ 미치겠다 증말...
-
하고싶네요 3
...
-
독하게해야지
-
기출문제집 추천 부탁드립니다
-
9월부터 다이어트 해서 5kg? 정도 빠졌었는데 기존에 너무 부어있었고 어차피...
-
따스한점심햇살을음미하며닌텐도하고피아노치던내초딩시절은어디로갔는가...
-
일취월장에도 없고 체크메이트에도 없는데...
-
들어보고 싶은데…
-
어쩌다 시간이 이렇게…
-
국어는 보정 그닥 많이 안드가던데 무보 보 92 87이였나
-
형총 공부하면서 여지껏 느껴본 적 없는 걸 느끼고있음 11
내가 드디어 미친건가?
-
은 범준이햄 책처럼 강k 시험본 문제 다시 정리하는 느낌의 책인가요? 아니면 모고랑...
-
말 안하기
-
아 40점만 넘기자
-
다 푸는 게 맞나요? 소스가 얼마 없으니 가리지 말고 풀어야겠져..?
-
난이도 ㄷㄷ 다음회차는 또 내가 어디서틀릴까 뭔 선지를 보게될까 두려움 ㅋㅋ...
-
돌돌돌돌 4바퀴 말음
우익수