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를 선물하세요.
-
내일부터 8지문씩 풀거임
-
신기했다
-
삼수기록 270일차 12
국어 > [강대모의고사K 8회] 공통, 화작 > [수능특강 독서] 2부 인문예술 3...
-
강k 23회차 4
60점대인데 이거 왤캐 어렵나요…. 내가 쫄아서 그런가
-
흠.. 어쩌라는거지 나도 억까당한거 쓰라면 하루종일도 쓸 수 있는데 솔직히...
-
컨디션이 좋았나? 9모랑 점수가 똑같네여 ㅋㅋ
-
목적성상실
-
제헌이 6
마약 DnT 일타삼피 일격필살 포카칩 칸타타 정병훈 정병호의 슈퍼파워 티오피 Bin...
-
서킷 좋나여
-
2개가 배송왔다 뭐지?
-
내신 이미 버려서 평균 4점중후반이고 수시재수생각없음 하루만 밤새고 등교하는거는 것도 비추인가요??
-
시험지가 나쁜걸로 그냥 부족한 부분만 체크하고 넘어가야지
-
3년동안 달렸더니 슬슬 체력이 딸림 수능 끝나면 연애도 하고,, 친구도 만들고,,...
-
재앙인가요?
-
심심하당 3
월즈도 밤에 하고 공부는 아까까지 해서 좀 쉬고싶고 오르비는 글 리젠이 안돼
-
∀x (x ∈ A ∪ A^c) -> ∀x (E(x)) E(x)는 x가 존재한다는 의미
-
적분을 안가르치고 풀린다고?
-
하시는데 평균 성적 44433에서 수능 34322 or 34323정도는 40일...
-
경제와 미적분, 한계효용 derivative : 도함수수정 : 미분이라는 ~> 도함수라는
-
탐구실모도쳐야하는데 엉엉
우익수