Residual Finiteness
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를 선물하세요.
-
9,11,16틀 개념 3개 틀린거 개 빡치네 무보 2, 보정 1
-
그렇게 입으면 추워 뒤집니다
-
바른 개념도 배워서 상쇄하면 그만 아님?
-
작년에 윤성훈인가 머시긴가 무슨 팀장이 성적갖고 조롱(?)했다가 유빈이에 박제당하고...
-
수학 뽑아서 풀만한가요??
-
선생님! 윤리를 가르치는 사람들은 모두 도덕적이겠죠? 2
??? : 그렇지 않단다 정당한 반박 또한 힘으로 해결하는 것이란다
-
차등의 원칙은 더 큰 재능의 소유자에 대한 관심을 표현한다 롤스 누구에게도 소유된...
-
아아 그는 갔습니다 추모금은 제가 대신 받겠습니다~ 여기로 덕코 보내주시묜됩니다
-
수능끝나고 할거 3
1. 포켓몬 카드게임 모바일 어린시절 추억보정 들어간 나를 막을 수는 없음 존나 재밌어 보인다..
-
고대 낮과 5
영어3 탐구5050일 때 언매 미적 커트라인 어느정도 됨?
-
으흐흐
-
둘다 합격하면 어디 가세요?
-
지인선 x 신성규kk 30번 저처럼 푸신 분 있나요 4
역함수 합성 후 역함수가 반드시 0을 가지는 것을 이용해서 k 구하고 계산했는데...
-
미미미누 수능 시뮬 언제 나오는거죠. . ..
-
캬..
-
한마리에 24000원이라 최대의 행복을 누려야해요 뭐먹을까요
-
둘 다 합격하면 어디 가세요?
-
오개념없고 컨텐츠가 넘쳐남ㅇ
-
라고하명안되것죠
-
병아리 불쌍해ㅠㅠㅠㅠㅠㅠㅠㅠ
우익수