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
훗
-
이감 6-5 4
92점이면 컷 몇인가요 비문 -1 문학 -2입니다 이거 난이도 쉬운편인가여?
-
사실적시에 의한 명예훼손으로 들어간다고 쳐도 공익 목적이면 처벌 못함 걍 겁주거나...
-
요즘 이상한게 3
과제를 해도 해도 계속 생겨나는거 같은 이상한 상황에 빠졌어요
-
소드아트 온라인 클리어 ㄷㄷㄷㄷㄷ
-
수능 이러면 뛰어내려야할듯
-
오늘부턴 3
10시이후로 오루비 안들어온다 ㄹㅇ루
-
김기현t 파데로 끝냈는데 음함수 미분만 나오면 너무 헷갈리네요.. 문제에서 변수...
-
유기하는 중인데 해야할까
-
짱먹어라 그래 ㅋㅋㅋㅋㅋㅋ 손바닥으로 하늘을 가리지
-
미안하다 열심히 안 해서 ㅈㄴ 두렵다 띠바...
-
문화변동요인이 작용하더라도 당시 사회적 환경이나 구성원들의 수용의지 등에 따라 문화...
-
비도오고그래서 3
니 생각이나서
-
35325 한서삼 가능한가요..? 한서삼 탐구 하나만 보던데 (서경대 제외) 수학 때문에 떨어지려나
-
미적27번까지만 맞추려고 하는데 3점대비방법이 있나요
-
작년에 대성 사전예약이 앞으로 1년 있을 패스 중에 가장 혜자 였는데 올해도 아마...
-
아 시발 사러 나가기 존나 귀찮은데 밖에 존나 추워
-
ㄹㅇ 트레일러는 어케 풀지 이거보다 어렵다는데
-
장난전화 1
크흠
우익수