RF
게시글 주소: 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를 선물하세요.
-
목소리가 생각보다 잘생기신듯 사투리 패시브인가
-
행복하네여
-
처음 보는 단어구만
-
나때는 공간벡터가 29번 킬러문항으로 나왔는데..
-
카펠고트가 떠오르네요 에르고타민제제
-
고2 정시런데 수1수2 동네학원 다니면서 내신은 1등급 유지했고 고2모고 백분위...
-
ㅋㅋㄹ님 저분은 5
그...논리 전개가 잘못되었다기 보다는 기본적인 전제가 잘못된 것 같네요
-
문제 맞춘거 그냥 넘기심? 뭔가 아까워서요... 맞게푼거같긴한데 ㅇㅎ 이개념 좀...
-
현재 숭실상경+군필 9모 원점수로 92 92 2 47 46 화확영생사 기필코 수능날...
-
드릴이랑 킬캠 풀면서 엔축 50번은 쓴듯
-
나름 괜찮은 학교의 원하는 학과를 걸어두고 와서 그런지 가장 정신 차려야 할 시기...
-
122일차
-
모든것 = (A or Not A) 부정은 (Not A and A)이고 (Not A...
-
안되면 그대로 묻어버리면 그만인데 ㅋㅋ
-
실검2위뭐냐 4
나도저정도급의네임드분탕충이되고싶구나..
-
졸려 5
잠와
-
고1때 잠깐 동네학교 다니다가 자퇴함 남은 고등학교에서만 사겼던 친구는 한두명?...
-
ㄹㅇ 재수하면서 소원이 국어 100점 한번만 맞아보자였는데 9평때 실패해서 아 약간...
-
누구를 탓하리오..
-
하씨 에반데 0
스카 퇴실안했네
우익수