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를 선물하세요.
-
ㅠㅡㅠ
-
지금은 메가 정훈구 기초 인강 하루에 하나정도씩 듣고있는데 같이 풀만한 문제집같은거 있나요?
-
개념이다 끝내고 뭐 순서로 풀어야 하나요? 문제 풀이로 넘어가기 전에 만점복습도...
-
노트북으로 인강듣고 아이패드로 문제푸는거
-
평가원 #~#
-
망했다... 13
추워요......
-
난 당당하다 0
위풍당당
-
수능끝나고 아예 공부 안했는데 이제부터 좀 하려고요
-
안녕하세요? 뉴런을 처음 들어보는데요 뉴런 theme 1개 듣고 문제 풀고 해설...
-
안내문자 언제옴?
-
말세다 3
아무리 과탐이 퍼즐놀이라지만 사탐으로 한의대 제외한 메디컬이나 공대를 간다는게 이해가 안됨
-
이거 어카냐 ㅠㅠ
-
4개월 다니고 수료해서 80만원 파니니 K리그 포토카드 팔아서 10만원 중고나라...
-
내가 미안해 너는 누가 뭐래도 내가 꼭 끝까지 사랑해줄게 12시까지 나랑 데이트해보자
-
진지합니다
-
잘됐으면좋겠다 3
-
69%에요
-
오늘 점심 6
로제 치즈 파스타 + 교자
-
생윤 복습
-
나랑 토론할사람 6
ㅈㄱㄴ
-
딸치즈마라
-
나도 독서랑은 담을 쌓고 살던 사람인데 젤 친한 친구랑 고3때 스카같이 다니면서...
-
칼이 이끌림
-
좀 햇갈리긴 하다 그져
-
연계 교재랍시고 써놓은게 고작 이런 주제?? 배경지식 몇개 정리해주는데 이렇게...
-
오르비닉 1
공스타랑 똑같이 하고싶은데 바로 특정당하겠죠..?
-
다들 힘내 좋아 12
거꾸로 읽으셈
-
ㄹㅇ 공부랑 담쌓아서 자기가 몇등급인줄도모르는6등급이하애있었는데 어렸을때 책을 많이...
-
쇼츠에 합격증 올렸더니 달린 댓글인데 지금 저 댓글은 삭튀했었는데 언제부터...
-
에휴 씨빨
-
기억력이 안좋아서 우럿서
-
정의만 보면 둘이 완전 달라보이는데 방증 쓰일 문장에서 반증을 더 많이 쓰는 듯한...
-
패션 ㅇㅈ 2
콜라 좋아하는 아싸 컨셉임 어떰
-
올 4등급 각인 가채점표를 들고 시험장을 터벅터벅 걸어나오는 꿈을 꿨음..
-
잇올 올프 6
6평도 잘쳐야 유지되나요? 10만원내다가 70만원내면 현타올듯..
-
최소 5천덕
-
잘잤다 15
어....어?
-
돈벌어야지
-
그러고 칼럼쓰는 상상함 진짜 미친새낀가 공부를 해라 이놈아
-
제발
-
사반수 고민 4
24수능 11221 뜬 재수생입니다 ㅠㅠ 24년에는 대학교 가서 놀아서.. 반수...
-
꿀쟘..
-
재수생 수학 커리 추천 부탁드립니다, 3점은 거의 다 푸는데 어려운 3점, 앵간한 4점에서
-
옯붕이들 하이 13
다들 힘내세요
-
일단 글자까지 다 외우고 듀오링고 가볍게 돌리는중인데 강의를 들어보는 게 학습효율에...
-
안녕하세요 '지구과학 최단기간 고정 1등급만들기' 저자 발로탱이입니다. 지난 1년간...
우익수