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를 선물하세요.
-
삼수생 모고 조져서 줄로 2개했는데 속 ㅈㄴ울렁거려서 산거 다버리고 지금 집와서...
-
떨치고 자야지 6
수면부족.
-
어차피 CC라 설자전 1년 박아서 될지도 모르겠고 당장 끌리는 공부도 아닌 수능공부...
-
《문항 예측정답률과 문항반응이론을 이용한 원점수 분포 추정》이라는 논문과 문항 반응...
-
지금 짜파게티 끓였거든요 김치랑 머그면 살 덜찌나요?
-
총정리 7 8이랑 모의고사 아직 입고 안된거맞죠?
-
근데 이 한 번 한 게 어? 나쁘지 않은데? 막 이런 생각 들면은 난 중독 안 돼~...
-
뭐가 더 낫습니까?? 어떤 차이가 있음?? 그리고 지금 이감 상상 강k 돌려풀고...
-
대학 간거 후회함 14
그냥 쌩n수 했어야하는데... 괜히 장학 나와서 등록해버린게 내 24년도 1월~5월 순삭시켜버린 듯
-
괴물들이 넘 많아 이 ㄱㅁ자들아
-
슬프군아
-
그냥 식 잘 두고 계산하는 문제라고 봐야하나요
-
수2 개때잡 0
수2 개때잡(정승제F)를 수강하신분이나,수강하고 계신는분들 개때잡은 어떤방식으로...
-
최저 맞추는 시간 제외하고 실기만 봤을때
-
먼 후일 5
먼 후일 당신이 찾으시면 그때에 내 말이 잊었노라 당신이 속으로 나무라면 무척...
-
Team04 모여봐요 11
화이팅입니다!ㅎ
-
이번달 매매 끝 4
저점이라고 생각함 만약 더 떨어지면 추매하면됨 ㅋㅋ
-
https://orbi.kr/00069421740/ 어원이나 어휘사나 국문법이나 왜...
우익수