RF
게시글 주소: 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를 선물하세요.
-
언매 89: 풀기 전에 구상했던 작전이 성공적 기하 88: 이거 역대급 난이도...
-
아.
-
영어 너무 오랫동안 안했어서 요즘은 2점이니까 걍 버리는 편인데… 님들은 챙기는 편?
-
ㅆㅅㅌㅊ
-
Oz강대 2
Oz 모의고사랑 강대k 지구랑 차이가 있나요? 딱히 없으면 oz 모의고사 쭉 풀려고...
-
요새 컨디션 감기때매 개 박고 안좋은 일도 너무 많아서 우울했는데 5
오늘 서바친거 100점 맞아서 보상받는 느낌이 들어서 좋다 최근 진짜 심적으로 너무 힘들었는데
-
1월에 원서넣을 때 "분리변표" 나오면 오르비에 민란 날거같은데
-
왜또 시원해지는척만함?
-
워낙 물이라 ㅇㅇ
-
ln y를 x에 대해서 미분했을 때 왜 y’/y 가 되는지 모르겠습니다 확통이로...
-
그러나 귀찮음이 앞서게 되
-
의지가 충만해지고 그때 한일들은 다 결과가 좋았음 올해도 제발…
-
애들이 대체로 순하고 원만한가 봄.
-
ㄹㅇ 이거 안좋아하는 사람 불쌍해요
-
감각으로 풀 수 있음?
-
난 디게어렵던데
-
감기걸림..머리깨질거같애..
-
낮과 기준요 언매 2컷 확통 1컷 영어2 사탐각각 1컷, 3등급
-
(의뱃님들 혹시 계시면 답좀..) 며칠 전에 갑자기 심박수 급상승 + 어지러움...
-
종아리 걷고..얇은 회초리로
우익수