RF
게시글 주소: https://iu.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컷 확통 1컷 영어2 사탐각각 1컷, 3등급
-
(의뱃님들 혹시 계시면 답좀..) 며칠 전에 갑자기 심박수 급상승 + 어지러움...
-
특모 시즌1,2랑 비슷한 난이도로
-
다시푸는데 작년에 어케다맞았지
-
제시문에서 하라는거 다 하고 남으면 약간 배경지식 추가해서 더 적어도 되나요?_?...
-
빡모에서 봤던 거 같은데 뭐지
-
통합수능되고 나서 1컷 원점수는 평가원에서 공개안하나요?
-
진짜로
-
모종의 일 때메 머리 속에 그 생각 밖에 없고 수능 생각은 없음 요즘 그냥 데이오프...
-
머리도 아프고 컨디션이 안좋아서 좀 많이잤네요… 그냥 졸린거면 카페인먹고 버티는데...
-
아수라 문학 푸는 것보다 수특 수완 문제 푸는게 더 나을까요? 스토리 읊어주는 인강...
-
부작용: 사람이 염세적으로 바뀜
-
뉴런하고도 문제 존나 안 풀리길래 내 대가리가 나쁜 건가 자책 엄청 했는데 드릴이랑...
-
빨더텅처럼 기출 회차별로 모아져 있는 문제집 중에서 모의고사 시험지 형식이랑 완전...
-
강기본 듣기 시작했어요 끝나면 강기분 이어서 하려는데 빠르게 올리는 효과적인 방법 있을까요?
-
근데 희비 비율이 1:9 ㅠㅠ
-
1) 벌점먹으면 왜 산화됐다고 하나요? 2) 진짜로 덕코 편의점 사용 가능한가요?...
-
심지어 기하던데 기하 응시자 3% x 우리과에 있는 사람이 반수할 확률 x 10월...
-
작년까진 나왔던걸로 아는데 올해는 없는건가요?
우익수