Residual Finiteness
게시글 주소: https://iu.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를 선물하세요.
-
이감 파이널 실모 총 10회분 <= 오늘 학원가서 받아왔슴다 2506 <= 4등급...
-
대성에서 사과만 몇 번 째야 ㅋㅋㅋㅋㅋ
-
무시한다 만다
-
요즘은 아이들도 당뇨가 오고, 젊은 사람들도 당뇨를 겪는 비율이 계속 올라가고...
-
-
문학 연계 예측 1
유명한 사람 누구 있나요?
-
이 시험 등급컷은 어디서 볼 수 있나요? 앱으로 파이널 10차해봤는데 답이 달라서요..ㅠ
-
-
본문 중 2
물론, 제가 작성한 내용은 모두 사실이며 허위사실을 유포한 것은 아닙니다. 그...
-
45점나와도 백분위 99 이런식으로 뜨면 좋겠다
-
롤러코스터~ 우워어~
-
옹이 라이더
-
좀 웃기네 2
평가원도 오류있으면 막 찌르는데 강사는 왜 안되지
-
시험 때문에 최성 콘서트 못감
-
뭐가더쉬움? 2406이 석열식킬러 지적먹었던 그 시험지 맞음 공포소구 촉매 확장인지이론
-
생윤황들아 7
1번이 맞는 건 알겠는데 2번은 왜 틀림?
-
저 여고생인데 생윤 마지막으로 풀만한거 추천좀요!!!! 7
인강은 안맞아서 현돌로 기출하고 서바랑 현돌모 지금까지 나온거 다...
-
실모20회 35000원 Qna개 좋음 Qna 질문 너무 많이 해서 사탐런 들어와도...
-
전지문 연계공부한 덕좀 보자
-
평소 빡모나 꿀모같은건 84~96 강k 스러너같은건 76~84정도 맞는데 설맞이...
우익수