Residual Finiteness
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학기 복학 노림? 2학기보다는?
-
관심있으시면 쪽지 부탁드립니다! 자세한얘긴 쪽지로 협의해요
-
얼버기 1
라고하면 내가 잔거같겠지
-
쌰라라
-
그럼 결국엔 욕을 먹는 이유가 없게됨
-
고2임, 내년에 투과목할거라 10모때 사문 볼건데 지금부터 개빡세게 2일 공부하면 2등급 나오나요?
-
설렌당 얼른왔으면
-
아가 기사 0
-
얼버기 4
-
낄낄
-
얼버기 1
(안잠) 코비브라이언트 추모영상만 1시간 본듯.. 잘 타이밍 다 놓쳤다
-
왜 4시지
-
초딩때 같은반이던 여자애 여기서 연 끝일 줄 앎 근데 알바하면서 사귄 전 여친이랑...
-
미적분 고자 0
진짜 작수부터해서 올9모까지 평가원 모고나 실모 칠때마다 거의 항상 공통은...
-
5일동안 스카에서만 모기 12마리를 잡고 해탈해서 원래 다니던 스카로 돌아갈 예정이다...
-
코시만 보내주는 형
-
연세대 오세요 2
뒷고기 사드림
-
연논 광탈 0
아아 한양낭군님 날 다려가오
-
시발시발시발 2
자고싶다.
-
너무 막연한가
-
진짜 없겠지
-
ptsd온다 수험생분들 다들 파이팅하셔요
-
랩 레슨이랑 보컬 트레이닝 같이 받으면서 음악 활동 해보고싶음 작곡 프로그램...
-
급현타 몰려오는데 어캄 13
ㅈ된거 실감한듯
-
구해요
-
SKY서성한 아니면 재수하기 싫으면 SKY+서성한中2+중앙대 교과 적정~안정 하나...
-
서울대 의대 2
휴학 안한 예과 1,2학년들은 욕 엄청 먹고있나요? 아시는분 있다면 답좀..
-
난이도가 더 올라가네... 더 열심히 해야할 듯
-
정시로 재수하면 3학년2학기 출결도 보나요? 수능보고 기말때만 학교가고 나머지는...
-
망상임 영양가 완벽한 분열 잘하는 세포 증식해서 먹음 엽록체 미친듯이 박아넣고
-
25년생임...
-
끝자리 1125들 나한테 덕코를 줘.
-
고1때 정시파이터 선언하고 아무것도 모르고 김승리 올오카 들어서 잘모르겠고 이번년에...
-
6모 2컷이고, 9모 84점입니다. 10월 4번째 주 정도까지 기출 볼거 같습니다....
-
매우 작은 플랑크 길이 정도부터 세포 인류 지구 은하 국부 은하군 라니아케아...
-
연논 논란특 2
내신에선 매 시험마다 있었음
-
뭐야 무서워
-
;
-
으아 어지러
-
내신으로 합격증 하나를 못받아봄 ㅅㅂ
-
죄다 탈퇴함 덕코 뿌리고 가지 나는 뿌림 선착순 2명 1000덕
-
수1 리본이랑 기출력 거의 다 끝나서 플랜써 하려고 하는데 너무 빠를까요?
-
천재다..어떻게 이런 생각을
-
적생모랑 같이 풀려고 하는데 괜찮나요? 김용택쌤은 안 풀고싶어서
-
질문 받음 15
오르비 너무 안했다 요즘
-
아직 현역이라 그런건가요
-
연대 입학처 0
지금 비상대책위원회 가동중일듯
-
의논에서 시간 ㅈㄴ 투자해서 다 푼 문제 오류 좀 있다고 전원 정답 ㅅㅂ
-
AI가 지구 온난화에 대해서 예측을 했는데 온실가스 방출량하고 온실가스 흡수량이...
우익수