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를 선물하세요.
-
-
무조건 안될거같은데
-
주변에 빌런이 진짜 개많아서 적응된듯 실제로 학교에서 셤치묜 양옆자리 자리떨고 한명...
-
현우진 괘씸한점 3
기하 해설강의를 안올려? 뉴런드릴 다샀지만 킬캠은 안샀다 흥ㅡㅡ
-
국어 드랍한지 좀 오래되서 그런가 자신감도 없고 불안한데 강의를 뭐라도 듣고...
-
한국인이 ㄴ이나 ㅁ을 말할 때 음성적으로 비음성이 약해져 같은 조음 위치에 있는...
-
딱 시험장 들어가는 순간부터 망해? +1하면 그만이야~ 이 생각하면 멘탈잡기좋은듯
-
시험 결과!! 2
국어 - 망망망… 공부를 덜한게 맞긴하지만 내가 한 노력보다 너무너무 안나온거...
-
절대 제가 2문제 맞아서 그런거 아니고요 그리고 어제 가보니까 35명 중에 33명 옴..
-
더 안함. 제일 열심히했던게 3~6월인거 같음... 진짜 빡공해야하는디
-
내년에 해야겠다 1
생각드는게 비정상인가요?? 현 재수생이고 그냥 내년에 해야겠다 하고 공부 던지는건...
-
사탐 노베입니다 고2입니다 생윤 사문 김종익쌤 윤성훈쌤 개념강의 들을 예정입니다 그...
-
성대 사범 정시 내신 반영 한다던데 영향력 큼? 나 내신 전과목 평균 5점대였던거...
-
논증이 옳다고 했을떄
-
솔직히 나정도면 13
옯뉴비
-
이제 슬슬 실모 풀어야 할 거 같은데 혜윰 괜찮나요... 정보량 안넘쳐나고...
-
어케 해서 해석은 잘 한거같은데 근데 답이 틀림 ㅋㅋㅋㅋ 나머지 잘썼다는 가정해도...
-
이제 기분좋게 간쓸개를 벅벅~
-
미적분 좋아함.
우익수