Residual Finiteness
게시글 주소: https://iu.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를 선물하세요.
-
심찬우 귀여워 3
요즘 완전 빠졌어❤️❤️❤️
-
-
ㅈㄱㄴ
-
심장을 바쳐라! 수능당일 듣고 가슴벅찬상태로 국어를 풀겠다
-
12월생이라 민증을 아직 발급 안 했어요 ㅠㅠ.. 원래 학생증 들고가서 보려고...
-
3분 남았구나 2
내일 봅시다 슬슬
-
미적분.. 1
공통에서는 보통 15,21,20 틀리는데 미적분은 28,29,30에서 29 쉽게...
-
생1 하는사람들 2
가계도 풀때 조건 너무 없으면 걍 성유전자로 가정하고 푸는데 님들도 이럼??
-
영어 1컷 90점 한국사 1컷 40점 이라는데
-
첫 사인은 이영수 선생님이였고 (특강 들으러 갔는데 수강생한테 사인 전부 나눠줌;;...
-
수특에 주판 나오는 지문 같은 건 앱스키마에서 안 다룬 것 같은데 이런 지문들도 다...
-
존나 궁금한데 수능끝나고까지 남아있을려나
-
17 19 22틀 수열22진짜 하 짜증나네 맨날 답 내고 틀려서 찢고싶음......
-
김종익오개념 3
뭐말하는거임요? ㅅㅂ나김종익쌍윤풀커리라고
-
나는 화생러다. 1
모두가 나에게 말했지 왜 굳이 화생이냐고. 모두가 나를 말렸어. 분명 후회할거라고....
-
사랑합니다 1
나라누나가 나이는 상관없댔어
-
걍 1주일 영어에 박고, 지구과학은 기도 갈김
-
국수만
-
이게뭔소리인데진짜
-
멘탈관리 1
요즘 멘탈관리가 왤케 힘들죠... 실모 푸는데 선지에 내 답이 없어서 바로 멘탈...
우익수