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를 선물하세요.
-
D-357 공부 0
-
D-358 공부 2
-
D-359 공부 2
-
재수 고민 0
재수 고민하시는 분들 부모님께 뭐라고 말씀 드리시나여 ㅜㅜ
-
D-360 공부 0
-
D-361 공부 4
-
D-362 공부 4
-
D-363 공부 6
-
D-364 공부 0
-
D-365 공부 0
-
D-366 공부 0
-
뚜레쥬르 잔망루피 케이크랑 선물세트 받았네요 진짜 졸귀... 선물 받은거 보니 수능...
-
D-367 공부 0
-
D-368 공부 0
-
D-369 공부 2
-
D-370 공부 0
-
D-371 공부 0
-
D-372 공부 0
-
손에 안잡혀요 ㅜㅜㅠ
-
선생님이 카톡으로 뚜레쥬르 찹쌀떡 보내줬는데 먹고 대학 찰싹 붙으래 ㅠ 수능 D-8 ㅎㅇㅌ
-
D-373 공부 0
-
D-374 공부 0
-
D-375 공부 2
-
D-376 공부 2
-
D-377 공부 10
-
D-378 공부 2
-
D-379 공부 2
-
D-380 공부 2
-
D-381 공부 2
-
오늘은 제가 30대에 부동산 투자를 하며 1억이라는 큰 돈을 잃고 깨달은 점에 대해...
-
D-382 공부 2
-
D-383 공부 6
-
D-384 공부 2
-
D-385 공부 0
-
점심에 먹은 곳이 좀 맛없어서 저녁에 맛있는거 먹고싶음. 메뉴 추천 고고
-
좋은 아침이야 0
좋아!!(좋은 아침이라는 뜻)
-
패배주의 극복 방법 좀 14
머리거 그닥 좋지도 못하고 adhd 있어서 몰입과 집중을 못함. 그냥 어릴때부터...
-
주택담보대출 받으려고 보는데 디딤돌인가 그게 이자 가장 낮대서 조건 보니깐...
-
교통사고 합의금, 교통사고전문변호사에게 맡기는게 훨 나음 0
지인이 과외 하면서 모은 돈으로 중고차 뽑자마자 사고났는데, 교통사고 소송 일처리...
-
ㅇ 1
ㅇ
-
인생 헛산거 아님? 대학 가긴 했을까? 대학 갔으면 더 비참할듯 자기 인생도 책임...
-
아이유콘서트 1
직접 촬영한 아이유
-
스트레스, 환경변화 등으로 잠자리에 누워도 수면에 들지 못하는 사람이 늘고...
-
고3인데 대학목표를 높은데잡아서 3월부터 공부빡세게하는중입니다. 보통 2시반~3시에...
-
이히히
-
뱃지 확인용 10
뱃지 확인용
-
안녕하세요. 연세대학교 재학중인 학생입니다. 입시가 끝나고 눈팅만 하던 중 낮은...
-
난 수능에서 좀 미끄러지긴 했어도 납득은 가능한 성적 받고 대학도 이만하면 나쁘지...
-
이 양반 너무 무섭네 ㅎㅎㅎ
-
처음 가입했어요 8
앱이 어렵네요 처음엔 아무도 안 계시고 공지글만 있는줄 알았어요 ㅋㅋㅋㅋ ㅠㅠ
우익수