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를 선물하세요.
-
힙찔이픽 국힙 참고로 작년 수능 전날에 이거 듣고 잤었음
-
0빙고 ㅠㅠ
-
부모님께서 재수하면 될거같다고 하라는데 진짜 될거같나요?.. 5
솔직히 공부 열심히 안했습니다.. 3~7월 놀았고 8월달에 깨작깨작하다가 9모...
-
사문 도표 0
혹시 평가원 최근 5개년 정도 사문 도표 역대 정답선지 몇번몇번 나왔는지...
-
분명 88이어서 2컷이었는데 왜 찾아보니까 84가 2컷이라 그러지
-
재밌어서 못참음 정신건강에는 해로움 ㅇ
-
접근하기 어려움
-
생명3 받으려면 0
유전 몇개 맞춰야되나요 선택과집중하려는데
-
수학 왜 이렇게 0
뭐랄까 저능해진 기분인데 이거 어떡하죠.. 단순계산실수나 그런게 너무 많아요 오늘은...
-
수능 딱 1년 남는다면 진짜로 미친듯이 살아야 할텐데 지금까지 그래오지 못해서 너무...
-
b<4a 이거 왜 있는거임? 문제 상황 상 b<_a인게 확정되는데
-
(SDS)^4 2
=SD(S^2)D(S^2)D(S^2)DS =SDEDEDEDS =S(D^4)S...
-
수능 잘봐야하는 이유 20
수능끝나고 오르비해야함;
-
본인 입문 애니 15
5등분의 신부
-
수능에 나와도 44~45인게 말이되나. 이 문제가 작수기준 정답률 40프로대,...
-
구상 - 구자욱 (야구선수), 작은증조할아버지-증손자 관계 박태원 - 봉준호...
-
현정훈T 1
난이도는 어느정돈가요
-
ㅇㅈ 더 올라올까봐 눈에 불을 키고 새로고침중
-
ㄹ 선지 루소 입장에서 왜 맞는거임?루소 입장에서의 “정치체”의 개념과 국가의 전...
-
로스쿨 cpa 생각이면 부산대 vs 명지대 vs 단국대 vs 외대글캠 15
로스쿨생각있음 부산대라던데 언어정보 노어노문 한문학과이런데여도 부산대가 나은건가요...
-
공통 기준 231122 22예비22 210921(가) 일듯..(나도 포함임)
-
ㅇㅈ 4
ㅇ
-
하..
-
하아
-
[앵커] 오늘(7일) 오후 전국 법원의 홈페이지가 디도스로 의심되는 공격을 받아...
-
크아악
-
아디다스 삼선 바지 <-- 고트
-
양심고백 4
아직도 231122 이해못함
-
쥐의 엉덩이 라인은? 10
뭘까용 힌트: 휘발유
-
47/47/45/40/40/39/45인데 수능때 1 뜰려나요;;
-
얼마나 괴랄한 삼도극이 나왔을까..? 얼마나 이상한 합성함수해석이 나왔을까..?
-
근데 브레턴우즈 시즌2는 그걸 뛰어넘을꺼라는게 문제지..
-
브레턴 S2 여부 같은 거 알빠노인 수안분 들어오셈 0
근데 재밌긴 하겠다.. 경2마식 보도 낸 바로 다음 해에 킬러(진짜)로 정면돌파 ㅋㅋㅋㅋ
-
컨관(컨디션관리)잘하세요
-
파1 파2 언매 문제들 다른 n제나 모의 언매보다 괜찮은편인가요? 사설 언매 푼게...
-
테슬라 뭐임 2
ㅅㅂㅋㅋㅋ
-
컴퓨터사서 몬헌 와일즈 해야지
-
ㅇㅈ 8
아주 예쁜 민지
-
그래야 더 존중할 수 있다. -Cho.
-
가즈아
-
그래도 수능 만점 인터뷰는 못하겠지만…
-
뭐?브레턴우즈교수가실종됏다고?논리학이아니고경제라 고? 6
아 제발 이거 진짜예여????경제제발아제발
-
ㅇㅈ 9
-
전 게입니다 6
전 게입니다
-
중학교 선생님이 알타이어족이 정설이란 얘기를 펼치셨다 7
그 얘기에 빠졌다가 결국 아닌 걸 깨닫고 반박하려고 고대국어에 관심을 갖게 됐죠...
-
순서 유형 접근법 1) 지문의 구조로 접근이 가능한 경우 평가원은 대부분 글에...
-
다만 지금은 누워있다오
-
작년 강대k 국어도 풀만한가요?? 내년 수능 준비라 연계는 상관없어서..
우익수