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를 선물하세요.
-
심지어 기하던데 기하 응시자 3% x 우리과에 있는 사람이 반수할 확률 x 10월...
-
작년까진 나왔던걸로 아는데 올해는 없는건가요?
-
D-41 2
-
두 명제가 모두 참인 것도 모두 거짓인 것도 가능하지 않은 관계를 모순 관계라고...
-
지1 질문입니다 4
식센모 블랙 시즌1 1회차 푸는데 다윈이 서태평양이고 타히티가 동태평양이라고...
-
4회에서 처음으로 45점 맞음 ㅜㅜ 기쁘다
-
이제 5등급만 찍으면 되는거냐구 캬캬
-
RF 1
Residually finite: For any nontrivial element...
-
현자의돌 실개완 교재 보니까 플라톤의 죽음관과 불교의 죽음관을 비교하면서 플라톤과...
-
마지막게시물로 서울대 성적표 올려놓고 끝내고싶다 엉엉
-
밸?런스게임 2
내년 4수 안할 확률이 98%임. 근데 만약에, 마안약에 하게 된다면 화학 버리고...
-
나도가고싶어
-
잇올에서 강K 샀던거 오늘 왔는데 화학 K+는 답지 같이 왔는데 K는 왜 답지...
-
설맞이미저기 5
HD랑MX 감동 스럽네 ..
-
오늘의공부 1
국어:비문핟 3지문 문학 3지문 언매한세트(다맞음ㅎㅎ) 영어 10지뮨 수학...
-
메가한테 글 내리라고 연락왔다
-
9모 전까진 강k 수학 조져도 80점 언저리고 그랬는데 9모 조진 이후로 60점대...
-
공부인증 8일차임다.. 사랑니 뽑고 왔는데 생각보다 괜찮아서 공부 조금 했습니다..
-
삶이 너무 피폐해지고 우울해지는 것 같습니다. 수능 공부를 좀 오래(?)하다 보니까...
-
3등급임?
우익수