Residual Finiteness
게시글 주소: https://iu.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
비염있는데 감기까지 걸려서 그런데 수능날에 감독관님한테 허락받고 책상에 휴지...
-
더데유데 3
더데유데 s2 89 90 90 88떴는데 수능때 1뜰수있을까요??
-
그정도로쉽지는 않았던거같은데 ㄹㅇ
-
영어 찍을때 2
빈칸 삽입중에 뭐 찍을까여 시간이 안남던데
-
단점:공부를 해도 3등급이 뜸
-
이해가 안갑니다
-
논술일 경우 실경쟁률 반토막 나나요? 논술을 진지하게 고려한게 올해가...
-
ㅇㅇ?
-
국어 상상E매진HOT100 EbsAllFinalZip 바탕 13회 수학 드릴...
-
발문에서 조건 놓쳐서 2개틀리니까 미치겠구망
-
진짜 모자란가 수능이 아니라 다행이지 어휴;; 이런 실수 가끔 나오면 섬뜩함
-
잇올vs러셀 1
지방러인데 잇올이랑 러셀 중에 윈터캠 뭐가 더 괜찮나요?
-
독서 -5 언매 -5 문학 -13 ㅋㅋㅋㅋㅋ 문학만 6문제를 틀려버림 재수해야하나보다
-
다른건 3번씩은 봤는데 이건 솔직히 나올까싶네여... 그냥 나오면 틀릴렵니다
-
전체에서 물리 1틀 ㅅㅅ 수학이 젤 퀄 좋았고 국어 독서랑 영어는 좀 옛날 기조네...
-
평가원 수준정도문제는 풀겟는데 가끔 한두문제 못풀겟음ㅁ 일단 사만다 s2-1 42점이긴함
-
이원준t 조교는 3
꼭 하고 싶은데 성적이 반대할 것 같다 99 컷따리로는 1차떨각이...
-
UFC 라이트헤비급은 되는듯 ㅋㅋㅋㅋ
-
라고 생각했는데 다시 보니까 3월 등급컷을 보고 있었음 그리고 절망함
-
정작 들어가니까 연계는 1문단의 실업 개념 제시로 끝난 다음에 비연계로 2406...
우익수