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를 선물하세요.
-
행복한 시간 0
책덕후 책사러왔수요 추천 해주세요 비문학도용
-
솔루션도 못알아먹겟음대체 ai들도 다 다른답을냄
-
볼때마다 흠칫흠칫하네
-
24수능 인문지문이랑 현대시 복합세트 지문이 시간 잡아먹는 늪이었던 것 같습니다...
-
홈즈식 공부법 0
굶으면 소화기관에 갈 에너지가 머리로 가므로 똑똑해진다
-
집가고싶다고 1
이불속에 있고 싶다고
-
독서는 ㄹㅇ 메가 대성 통합 1등인 거 같음
-
아 영어도 역시 ㅈ같은 과목이구나 :) :) :) 일단 난이도를 떠나서 시간안에...
-
무조건 2Q로 질문합니다 질문 받아 주실 분 쪽지 부탁드려요ㅠㅠ
-
국정원 교재 있는 건 알겠는데 이렇게 보니 모르는 사람 오해할 듯
-
30노트는 되겠는걸
-
오잉
-
다음생엔 제발
-
1시간동안 4
190630 190930 191121 200630 를 조짐 200930만 풀면...
-
화작 25수능 화작으로 백분위 94였고 김승리쌤 커리 타려고 합니다. 대학 성적도...
-
수능 포기 완료 1
그냥 서성한~홍 뱃지 모으는 재미로 봐야겠군
-
점수 그래프?같은거 만들어서 보는 게 의미 있을까요
-
지피띠니도 그록이도 이상하게푸는데
-
밥 먹는 내내 귀가 아프다
-
오늘 늦게 일어났지만 지각은 안했잖아 동아리에서 떨어졌지만 어짜피 정시파이터잖아...
-
반수생 한의대, 약대, 계약학과, sky 문과 목표입니다. 탐구 추천해주세요. 2
사문은 하나 깔고가고 나머지 하나를 물리를 할지 사탐을 할지 고민입니다. 물리는...
-
피곤하다 1
공부 좀 쉬어야지
-
지구과학 질문 5
크로녹스 베이직 독학하고 기출 처음풀 때 80% 이상 맞으면 계속 해도 괜찮죠?
-
강의 들었을때 너무 괴로웠음 시간이 너무들고 시간써서 읽었는데도 이해가 잘안되고...
-
연락이안온다 5
-
치대, 약대, 한의대 목표입니다. 사탐런이 맞나요? 20
틀딱입니다 찾아보니 과탐 3% 가산인 대학들은 국수로 찍어누르면 지원가능해보이는데...
-
1984보다 쟈밌는 책이 없기 때문..
-
작년 펑크 고려 연대 응용통계학과 정시 어느정도 나와야 할까요 ㅠ
-
반수해서 대학 옮기면 16
전적대에서 인스타 팔로워한 분들은 어떻게 하나요?
-
조지 오웰의 , 민음사에서 나온 선집 의 조지 오웰 편(가 민음사 세문전과 같은...
-
그야 재밌으니까
-
대학교 경제학원론 안에 수능 경제 100% 다 들어있어요? 3
사실 안들어있는게 이상할거같긴 한데 경제학과 아닌데 어쩌다보니 경제학원론 수업...
-
단답형 3점짜리도 왜 어렵냐...
-
3시간동안 2
190630 181130나 180930 180630 180621 170930...
-
심찬우 6등급 1
괜찮나요? 아니면추천점요
-
언매황님들 이거 품사랑 문정성분 구분 어떻게 해야 하나요? 7
게임을 할 걸 그랬다. 생략한거 다 적으면, 내가 게임을 할 것을 그랬다<<이거...
-
연잡대는 최저 폐지가 딱이야
-
尹선고 임박, 정권교체 55% 연장 40%…민주, 국힘 재역전 [리얼미터] 1
(서울=뉴스1) 박소은 기자 = 윤석열 대통령의 탄핵심판 결정이 임박했다는 전망이...
-
25 무료배포하신거 다 풀고 26풀고 있는데 뒤쪽 번호 발상은 나름 되는 것 같음....
-
ㅇㅇ 좋은말할떄
-
경희한 목표고 수능 대박 터지면 의대도 고려중입니다.. 20학번으로 입학했다가 다시...
-
계신가요???
-
정시로 서연고 가신 분들 하루 루틴 좀 알려주세요
-
탐구 바꿔서 개념도 아직 반밖에 못 했는데 꼭 봐야되나 내일 공부 안 하면 계획도...
-
밀가루를 내주고 초코파이를 방어했어요. 협상 성공적!
-
ㅠ
우익수