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를 선물하세요.
-
적중예감 프리, 파이널, 추석특강 19회차 오답 복습+개념 복기하기 만약에 실모...
-
르게만들지는 마요 워우워우워
-
문학에서는 실모와 평가원 사이에 갭이 있는 거 같음 6
문학에서 평가원은 감상 제대로 했는 지 맥락을 물어본다면 실모는 뭔가 포인트가...
-
연애 8
하고싶어요... 제게 고백해줘요
-
물리>>화학 3
일단 화학 하면서 물리 욕하는 애들 개허수임 반박시 님말이 맞음
-
편의점 커피 2
머가 맛있나요 너무 달지 않은 것 중에..
-
실모풀때 지장갈정도로 조금잔건 아니겠죠?
-
작수 66356 에서 화작 미적 화학 생명 83 79 2 77 80 까지 올렸는데...
-
700원 쌀숭이 쌀먹좀 하자
-
으헤헤 기엽다 4
하루에 하나씩 아껴먹어야지
-
-
잠 안오면개추 1
나부터
-
수능때 후드티 2
입고가서 모자덮어쓰고풀어도되나요 안정감있고좋을텐데...
-
신나무 우리 동네는 신나무 없어서 신이 안 나...
-
이해원 제외(이미 품)
-
예전부터 오르비 보다보니까 무조건 인서울 가겠다는 마인드가 컸는데 하다보니 점수도...
-
10모 난이도가 9모보다 평이한거 같은데 어떻게 지구 10모 1컷이 44고 9모가...
-
와뭐냐
-
수능빌런들아 4
국어때만은..제발 숨죽여다오...ㅠ 영어시간엔 신나게 다리떨어도 되니까 제발..
-
비율상 영어2=수학3 이던데
우익수