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를 선물하세요.
-
ㅋㅋ 딱 저느낌임 오만하게 살다가 멀리 못간다 ㅋㅋ
-
근데 언제 끝날지 모르는 아 집에서 논술도 써야 하네
-
아니 김준이뭔데 10
왜 아무도 내게 김준의 존재를 알려주지 않았지? ㅠㅠ 진짜 1년동안 화학때문에...
-
특모문제인데 A관성계에서 관측할때 사건 P,Q는 다른장소에서 일어나고 A기준 이때...
-
5년전에 어떤 국어 강사 연계예측하다가 뒤지게 쳐맞았는데 8
자전거도둑이었나?
-
무섭다
-
순해지기 4일차 11
-
화학 질문 0
용기 (가), (나)에 X, Y가 존재 조건 1) 가, 나 에서 Y의 질량 / X의...
-
고대의대수시 2
자사고출신 친구가 내신 2.87등급인데 고대수시 학업우수 29명모집 지원하고 후회...
-
아수라 문학 푸는 것보다 수특 수완 문제 푸는게 더 나을까요? 스토리 읊어주는 인강...
-
모든것=(A or Not A) (A or Not A)의 부정은 (Not A and...
-
안녕히 주무세여 1
오늘 아침에 뵈어요
-
전 수능 수험생은 아니지만 오늘 공부 할당량 다 채우느라 이제 귀가했네요 수험생들 ㅍㅇㅌ
-
수학적 귀납법 역시 즘명가능한 statement라는 거, 알고 계셨나요?
-
강k 후기 6
특수특수 개특수 딸깍하니까 공통은 다 풀리는데 미적이 너무너무 어려웠슴..
-
내가 뭘 했는데 갑자기..
-
공부시간도 빼먹고 물론이거안하면또다른짓거리할듯 비틱하는개씹새끼들보면화나고좆같고...
-
(대충 pc러를 위한 혐주의 썸네일)호~ 해줘요ㅠ
우익수