Residual Finiteness
게시글 주소: https://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를 선물하세요.
-
ㄹㅇ 딩초때부터 있었는데 그땐 거들떠도 안봤지 이제와서 보니까 그냥...
-
올해 전역하는 군인입니다. 말그대로 노베인데 김동욱 선생님의 일취클 듣고 마더텅같은...
-
작년에 월화 풀실모에 추가 공부 더하니까 목요일에 컨디션이 별로였어서 저는 토요일...
-
올해 ㅈㄴ 늦은거 당연히 알고있음 작년말에 우울증 걸리고 지금까지 치료 받고 있음...
-
나만 그럼? "누구에게나 흔한 행복" 이거 할 때 꿈 생각나던데
-
거리에는 환한 미소 넘치네에에
-
오르비가 야해지고 있다 -> 제 댓글 중 너무 야해요의 비중이 급증했어요 너무 야해요
-
미적분 이거 언제 다 하냐 양 ㅈ나 많네 수1은 이젠 고난도 엔제 풀면서 감 유지할...
-
콜라캔 따서 마시는 중 이게 행복이지
-
뭐 외우면 잘풀리는게 있는건가요? 진짜 준킬러가 너무 안풀려요 ㅜㅜ 공부법이라도...
-
감기에 걸렸지만 열공하게 해주셔서 감삼다. 내일도 아플것같지만 의지가 꺾이지 않아서...
-
이게젤편함
-
갈까 말까
-
지금보니 틀린게 왜 틀렸지 라는 생각만 드네.. 근데 이걸 이제서야 다시 본 나 ㅁㅊ놈인듯
-
(수정은 비밀)
-
이감 간쓸개 0
국어 9모때 3등급이 나왔는데요 수능때 1받고싶은데 지금 아수라하고있고 강e분...
-
정석에서 배운 것 같은데 수2 들어가 보니 쓸 데가 없슴뇨
-
어느 영화와 같은 일들이 이뤄져가기르으을 힘겨워한 날에에 너를 지킬 수 없었던...
-
네. 2
ㅋㅋ
-
이감 더프만 있나…?
우익수