RF
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
해도해도 안느는거 같음...문제가 안풀리거나 하는건 아닌데 추상적인 뭔가가 걸리는...
-
바탕 goat 0
맨날 상상한테 처맞다가 오랜만에 힐링하려고 풀었는데 해설강의까지 이만한 고트가 없다……..
-
너무 힘들다
-
인생 첫 현장 90점대
-
키센스 사야지 0
션티 제 1등급좀 지켜주세요
-
그냥 무난하게 중하 시험지인거같은데... 에이펙스급 난이도 기대한게 잘못인가...
-
강k 7회 풀면서 틀린 문제 갯수 = 고1~ 현 9모까지 틀린 교육청, 평가원 틀린...
-
지문 내용구조 ㅈㄴ 아름답다..
-
오르비
-
이감 6-5 0
언매 93 독서에서 어휘틀림.. 하 바본가 시즌6에서는 5회차가 제일 쉬운듯..? 1컷 몇일까요
-
이거 평가좀 0
∀x(x∈A∪A^c) A=이세상 A^c=이세상이 아닌세상=저세상 모든것(x)은...
-
결혼을 했다는 것만으로 이미 외모나 매력이 증명된 거 아닌가 아줌마를 욕으로 쓰는...
-
바나나스플릿이랑 멜론소다
-
수험생분들 모두 화이팅
-
이감 6-5 후기 10
한줄평: 이감 이거 왜 갈수록 쉬워져요 74min, 독서 -3, 문학 -6(2점...
-
이감처럼 패키지로 10만원 넘게 사야하는 거 말고 3~5회 정도 들어간 5만원...
-
언매 뭐해야됨 4
언매 푸는게 빠르진 않고 그렇다고 막 문학 독서에 영향 많이 줄만큼 느리지도 않음...
-
도긩이 텔그 0
증원반영한건가요?
-
2023년인데 2년 전으로 느껴지고 2024년이 과거같음 ㅋㅋㅋ
-
2023 5월 이투스인가? 15번 42번 틀렸음 이게 사람인가 엌ㅋㅋ
-
캬아 이궈궈던 3
당직사관이 폰 쓰게 해주심
-
평균적으로 몇 문제 틀리시나요?
-
90점 맞았는데 1컷 간당간당하게 가능한가요? 언매에요
-
닉변해써요 2
ㅈㄱㄴ
-
지역 거점 국립대학교인 경북대학교만큼은 아니지만 좋은 학교입니다. 특히 미대 경영대...
-
체력의 한곈가 아무것도 안잡힘 아 근데 40일 남았는데 맞나..
-
수능 국어보다 어려운 문제는 어떻게 맞혀야 할까요? 1
갓반 고1이고.. 저희 학교 국어 시험이 스타일은 수능이랑 비슷한데 난이도가...
-
뉴런? N제? 0
고2 정파입니다. 뉴런 들어도 크게 얻어갈 거 없을 거 같은데 N제 문풀 양치기나...
-
일단 답배치가 좆또라이 같다. 본인은 11122333455 이지랄남 ㅅㅂ 아무도 안...
-
모두 파이팅 넘치는 하루가 되어보아요
-
안녕하세요 8
-
수업시간에 뭐함 시험시간이 길텐데 생각보다 수업이 짧은것같아서
-
그래도 모고는 낮1 정도 뜨는데 갓반 내신에서는 5-6등급이에요... 여름방학부터...
-
화작 미적 사탐사탐 기준이용
-
논리학어쩌구 0
첨엔 재밌었는데 드래곤어쩌구 부터 재미없어
-
국어 연계지문 0
6,9모에 나왔던 연계지문들 수능에 안나오겠죠??
-
변증법적 유물론, 경직적 임금과 가격, 새로운 신고전파 종합 긍정적 외부효과, 대학...
-
올해부터 연상경이라는 모집 단위가 따로 만들어지는데 경제, 응통 둘 중에 하나 택할...
-
∀x(x∈A∪A^c) A=이세상 A^c=이세상이 아닌 세상 . x드래곤이라고...
-
매번모고 풀때 그쪽파트 별의 물리량 허블법칙쪽에서 계산 절다가 시간 날려먹는 경우가...
-
입결 방어 잘 되겠는데? 드디어 정신을 차린거냐구..
-
수학 N제 1
메가스터디나 뭐 그런 인강교재 말고는 괜찮은거 뭐있나요? 쎈이나 숨마?
-
삼수생입니다. 2
현재 시립대 논술보러 왔습니다. 이상하게도 하나도 안 쫄리네요 평소실력 발휘해서 꼭...
-
날아오는 공을 미쳐 피하지 못하고 맞으면 점수가 깎인다. 날아오는 공을 무사히...
-
또틀렸어.. 0
하..
-
전문대 수시1차 안쓰고 2차 쓸수있나요??급해요ㅠ
-
0점부터 차곡차곡 쌓아나가는 것
-
히노카미카구라 0
-
하 미연 눈나.. 13
그대로 우리 집 와봐 할 얘기 있어
우익수