RF
게시글 주소: https://i.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
디도
-
갈 수 있다면 어디 가심?
-
슈뢰딩거가 양자역학 실험에서 유명해서 양자역학 주장한 사람인줄 알앗는데 오늘 국어...
-
맞팔9 8
금테 ㄱㅈㅇ
-
저희는 '응, 알아.'에서 끝내지 않겠습니다. 반갑습니다. 국어 연구소 Team....
-
1. 시중에 있는 실모 거의 다 풀어봤다고 자부함. (대성이투스메가 꼴타까지 포함)...
-
EU에서도 일할 수 있고 어느 정도 머리만 있고 영어 잘한다면 충분히 해볼 만 할...
-
함께 있는 이 순간에 내 모든 걸 당신께 주고싶어
-
진짜 큰거안바라고 500억만ㅜ
-
통합수능되고 나서 1컷 원점수는 평가원에서 공개안하나요?
-
별의 광도, 별의 반지름은 별의 광도 구하는 식을 변형하여 구할 수 있는데 별의...
-
수고했습니다 4
오늘 공부가 유난히 안되던 분들도 늦어서 벼락치기 하시는 분들도 꾸준히 열심히...
-
굳이 고된 나를 택한 그으으대에여어ㅓㅓ
-
우선 저는 뼈 속까지 문과인 예비 고3입니다. 여태껏 학력평가 보면 수학은 항상...
-
머리도 아프고 컨디션이 안좋아서 좀 많이잤네요… 그냥 졸린거면 카페인먹고 버티는데...
-
우우 아가 자야지 15
잠 온다
-
강기본 듣기 시작했어요 끝나면 강기분 이어서 하려는데 빠르게 올리는 효과적인 방법 있을까요?
-
레스고 지투 2
잘하네
-
9월더프컷 9
-
냅다 어떻게 사시나요 하면 도믿같냐 편한 애는 이미 달에 몇번씩해도 괜찮은데 뭔가...
-
고구마님이 올려주신 피뎊으로 하루에 1-2 지문 풀고 분석하고 애매한 선지나 해설...
-
학교 1교시였습니다만, 교실 구석에서 조용히 "우리는 해변에서 싸울 것입니다"...
-
평가원 성적은 잘 안나오면서 실모딸 치고 다른 애들 까내리기 진짜 매일 듣는다..
-
음식이 부글부글 끓다가 폭발하는 꿈꿨음 음식이 폭발할 수도 있구나하고 납득하면서...
-
1) 벌점먹으면 왜 산화됐다고 하나요? 2) 진짜로 덕코 편의점 사용 가능한가요?...
-
꼭 풀어볼것 ㅇㅇ
-
오래되지 않은 최근의 생각이다.
-
아무도날몰라
-
국어 질문 하나만 12
수능날 파본검사할때 문학 연계작 찾으러달리는게 맞죠..??진지하게 한장한장 파본검사 안해도 되는거져
-
덕 코인 6
모으면 뭐가좋음? 기분이좋나?
-
진짜 수능이었으면 지금 텔그정도로 가는건가요?
-
4회에서 처음으로 45점 맞음 ㅜㅜ 기쁘다
-
덕코를 모으면 12
덕코가 증가합니다 그게 덕코니까
-
생각 외로 실질적인 교차지원 비율은 줄지 않을듯. 교차지원 할 애들은 이미 사탐런 했거든.
-
수능날 시간부족할까봐 무서운데 왜 난이도가 점점 하향하는거지....
-
왜냐하면 의대 안썼으니까..
-
RF 1
Residually finite: For any nontrivial element...
-
ㅋㅋ 딱 저느낌임 오만하게 살다가 멀리 못간다 ㅋㅋ
-
오공완 8
오늘 독감 주사 맞아서 힘들어요
-
D-41 오공완 4
이것도 힘들어 죽겠는데 정오에 7시간 찍히는 분들은 대체 어떤 분들이실까요…. 대단….
-
마지막게시물로 서울대 성적표 올려놓고 끝내고싶다 엉엉
-
님들은대학왜감 10
원하는 학과?명성?행복?
-
작년에 월화 풀실모에 추가 공부 더하니까 목요일에 컨디션이 별로였어서 저는 토요일...
-
9모 언매 4 확통 5 영어 4 정법 4 사문 4 농어촌 버프로 현역 서울대...
-
버스땜에 시간을 1시간 정도 날렸네요… 내일부터는 더 열심히 하겠습니다!
-
잇올에서 강K 샀던거 오늘 왔는데 화학 K+는 답지 같이 왔는데 K는 왜 답지...
-
오늘의공부 1
국어:비문핟 3지문 문학 3지문 언매한세트(다맞음ㅎㅎ) 영어 10지뮨 수학...
-
오르비가 야해지고 있다 -> 제 댓글 중 너무 야해요의 비중이 급증했어요 너무 야해요
우익수