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를 선물하세요.
-
한병훈쌤 왤케 훈훈하심 큐앤에이도 하트남발이고 큩보이야완전~..프로필사진올블랙어쩜ㅜㅜ 나미친듯
-
일반항이 왜이렇게 쓰여지는것이여
-
개념 특강도 어려움? 상위권 위주인가
-
킬캠 4회 1
좀 쉬운 회차였나요? 3점부터 막혀서 비명횡사 했다가 겨우 끝까지가서 88점...
-
흠..
-
내 옆자리 친구 정법으로 최저 맞추는 애라서 걔한테 9더프 정법 시험지 줌
-
오랜만에 오운완 2
시원하니좋네요
-
25살 후기 4
그냥 공부 시작도 하지말걸. 어줍짢게 공부한건 아닌데 진짜 노력해도 안됨. 제자리를...
-
본인 소문한3개빼고 답 다 맞았는데 다들 어캐 봄?
-
역겨워서 토나옴 2
어떻게 생각이 그리 어린지
-
나는 왜 음함수미분 공벡 무연근 부등식의영역 등등을 알고 있는가 5
책이 조금 오래되었기 때문이다
-
50m 22/22 올해 수능 볼 건 아니지만 심심해서 눈풀해봄 확실히 힘을 좀 빼긴...
-
오리가되고싶다 0
동동떠다고 헤엄치고 행복해보이네
-
따스한점심햇살을음미하며닌텐도하고피아노치던내초딩시절은어디로갔는가...
-
수능 물리 2
수능 물1에서 이번 특모 1, 2 만큼 나오면 불수능인거 맞나요?
-
수능날 이제 조금 더 어려워지고 1컷 46~47 형성 완료.
-
네모네모 네모네모 Sign(사인) 삐뚤빼뚤해 Like(라잌) 근데 영어에 달린 ㅇ도...
-
홍대 논술 2
얼마 안남았따 민철게이를 선배님으로 부르는 날이 오기를....
우익수