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를 선물하세요.
-
나 진짜휴릅할게(하도록노력할게)
-
옛 진나라의 환관 조고가 사슴을 가지고 말이라고 하며 진나라황제에게 바치자 농으로...
-
틀리더라도 빨리 풀고 넘기자 마인드 이러면 또 국어 꼴 나는 건데........
-
이거 또 왜 뮤직비디오 인기 25위야 수능 직전이라 그런가
-
11덮 옯붕이들이 수능이었으면 미적 1컷 88 86 이러길래 나만 등신이구나 했는데 10
보정 1컷이 78이네? 옯붕이들 말은 믿을 게 못 되는 건가 아니면 보정이 후한 건가
-
尹 “유럽과 아시아에서 트럼프 당선 걱정했던 지도자 많아” 29
윤석열 대통령이 7일 도널드 트럼프 미 대통령 당선과 관련 “유럽과 아시아에서...
-
-
본인 오르비 가입 이유 27
애니 얘기 할려고.. 에타 애니게시판은 조용하고 다른사이트는 이상한 놈들이 많음
-
그 사람이 돈 받고 하는 것도 아니고 그냥 무료로 나올 작품 선별해서 알려주는 거...
-
ㅈㄱㄴ
-
[속보] 트럼프 "한미간 좋은 협력 관계 이어가길 기대…한국 국민에 각별한 안부" 5
후속기사가 이어집니다
-
어렸을때먹었던 그맛이아닌데...?
-
주된 업무가 디씨질 오르비질인가요? 진짜몰라서물어봄
-
나만 아직도 안온건가
-
확통러인데 10 15까지 1개 20 22까지 1개 28 30까지 1개 총 3개를...
-
영어 기출 풀면 계속 78점 나오는데 실전에서 빈칸,순삽 버리고 나머지 한 번호로...
-
갑국에서 전체성 변동성인건 알겠는데, 을국에서도 전체성 변동성 아닌가요.. 축적성이 어디있나요?
-
대책은 그냥 대안책? 해결책? 느낌아고 정책은 진짜 법적으로 하는 정치적인 느낌이라...
-
본인 쌍윤러인데 원래 윤리 ㅈㄴ 좋아했음 근데 윤리 계속 오개념 논란 터지고 내가...
우익수