Residual Finiteness
게시글 주소: https://ebsi.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를 선물하세요.
-
아니면 상태 안 좋은? 사람들만 하나요?
-
지금 가입해도 되요? 너무 설레발인가
-
이대에서 반수해서 타대 진학했는데 취준 정보 필요해서 삽니다 인증 가능
-
새내기 게시판 가서 에타 활동하고 싶은데 정시 추합 아직 다 돈거같지도 않은데 왜...
-
족보구해야되는데 1번의 실수로 1년정지 먹어버렸네요 ㅠㅠ 한번 살려주실 분 구합니다
-
왜 안돼... 이전에 회원가입한 적 없고 진짜로 가고 싶은 대학 붙은 후에 회원가입...
-
정지에요
-
재학생인데 정지먹어서 꼭필요해요ㅠㅠ 구매나 대여 가능할까요?
-
연애를 하다.. 실수를 해서 올 차단을 당하고 차였는데… 상대방이 건대를 다니고.....
-
계정 구매하는 건 아니고 일정기간 대여 해주시면 사례해 드립니다!! 지인 가게...
-
어제 에타 무지성 신고테러 받고 정지먹었는데 지금 탈퇴하고 학번 나올때 쯤 재가입...
-
대외활동 홍보 잘못했다가 5년정지 받음... 5이상에 살테니까 댓글이나 쪽지 부탁드립니다.
-
보현에 대한 타대학 에타 캡쳐본(이대,설대,연대,중대) 9
문제시 삭제ㅎㅎ
-
헝ㅎ헝ㅠㅜ 광고 홍보글.. 뭣도 모르고 써줬다가 신고먹어서 정지됐네요.. 2년.....
-
2만원에 사봐요 크롤링 하다가 이게 정지사유인지 모르고 정지당했습니다.. 재학생 인증 가능합니다 !
-
성대 에타 7
1차 추합 새내기인데 계속 에타 합격생 인증이 안된다고 떠요 ㅠㅠ 다른 추합학생들...
-
에타 계정이 정지 되어서 구해봅니다... 단순 시험 정보나 과제 등 정보 얻는...
-
에타를 안보든가 해야지 에타에 미친 놈들이 왜 이렇게 많은지;; 보면 진짜...
우익수