amenable
게시글 주소: https://ys.orbi.kr/00068799319
Let $M_1$ be a complete Riemannian manifold with Riemannian covering $M_2\to M_1$ such that $M_1$ has a finite topological type, i.e., homotopy equivalent to a union of finitely many CW complexes. (manifold with finitely generated fundamental group for example.)
Theorem. If $\pi_1(M_1)/\pi_1(M_2)$ is amenable, then $\lambda_0(M_2) = \lambda_0(M_1)$.
Group이 amenable하다는 것은, 여러가지로 정의할 수 있는데, 이렇게 기하학적인 상황을 상정한다면, 가장 좋은 정의는 다음과 같다: In other words, there exists finite exhaustion subset $E_i$ of $\pi_1(M_1)/\pi_1(M_2)$ such that
$${\#(\partial E_i)\over \#(E_i)}\to 0,\quad\text{as }i\to \infty.$$
여기서 $\partial (E_i) = \{g\in E_i\mid g_j\cdot g\notin E_i\text{ for some }j\}$ 으로, $E_i$의 "boundary"에 해당된다. (Cayley graph에서는 진짜 boundary가 된다.)
Theorem을 증명하기 전에 여기서 $\lambda_0$는 Riemannian manifold위에 laplace-beltrami operator $\Delta$의 bottom eigenvalue에 해당된다. 이러한 $\lambda_0$ 값이 다음의 값과 같다고 알려져 있다:
$$\lambda_0(M) = \inf_f{\int_M\parallel df\parallel^2\over\int_M\parallel f\parallel^2}$$
여기서 $f$는 compactly supported smooth function on $M$을 말한다.
이제 이 두 사실을 이용해서 다음을 증명한다:
Proof. 일단 $M_1$의 $\pi_1(M_1)/\pi_1(M_2)$의 finite sided fundamental domain $F$를 고른다. 그리고 $g_1,\ldots,g_k$를 $\pi_1(M_1)/\pi_1(M_2)$의 generator들로 잡는데, 두개의 $F$의 copy들이 $\partial F$에서 겹치도록 $M_1$에서 나타나면 $g_i$의 원소들 중 하나가 하나의 $F$에서 다른 하나의 $F$로 옮기는 성질을 갖도록 한다. (이렇게 설명하니까 괜히 복잡한데, 쉽게 hyperbolic manifold의 세팅에서는 $F$는 Dirichlet domain들에 해당되고, $g_i$들은 그 domain을 형성할 때 사용되는 generator라고 생각하면 편하다.)
이제, $M_1$의 compactly supported smooth function $f$를 잡고, $\mathrm{supp}(f)$를 $F$로 lift를 시키자. 그리고 $\epsilon>0$을 충분히 작게 잡아서, 모든 $x\in\mathrm{supp}(f)$의 $\epsilon$-ball은 최대 $\partial F$의 component를 한번만 만나도록 한다. 그러면 이러한 가정에 의해서, 만약 $F_i = \bigcup_{g\in E_i}gF$ 라고 한다면,
$$x_i^\epsilon = \begin{cases} 1 & \text{if }\mathrm{dist}(x,\partial F_i)>\epsilon,\\ {1\over\epsilon}\mathrm{dist}(x,\partial F_i) & \text{o.w.} \end{cases}$$
는 잘 정의된 smooth function이 된다. 이제 $f$를 $M_2$로 lift를 하면, $f_i = x_i^\epsilon\cdot f$는 $M_2$의 compactly supported smooth function이 된다. 이제
$${\int_{M_2}\parallel df_i\parallel^2\over\int_{M_2}\parallel f_i\parallel^2}$$
를 계산하는데, 값을 구해보면, 만약 $A_i = \#(E_i), B_i = \#(\partial E_i),C_i = A_i - B_i = \#(E_i-\partial E_i)$라고 한다면, 분모는 $\geq C_i\int_{M_1}|f|^2$이고, 분자는 Schwartz inequality에 의해서
$$\leq{1\over\epsilon^2} B_i\int_{M_1}|f|^2+C_i\int_{M_1}\parallel df\parallel^2+{1\over\epsilon}B_i\left(\int_{M_1}|f|^2\right)^{1/2}\left(\int_{M_1}\parallel df\parallel^2\right)^{1/2}$$
가 된다. 따라서 계산하려는 식은 다음의 값으로 bound가 된다:
$$\leq {\int_{M_1}\parallel df\parallel^2\over\int_{M_1}|f|^2}+{B_i\over C_i}{1\over\epsilon^2}+{B_i\over C_i}{1\over\epsilon}\left({\int_{M_1}\parallel df\parallel^2\over\int_{M_1}|f|^2}\right)^{1/2}$$
가 된다. $E_i$의 성질에 의해서, $B_i/C_i\to 0$가 되고, 따라서 첫번째 텀 말고는 전부 죽는다. 따라서 $i\to\infty$로 해서 $E_i$가 $\pi_1(M_1)/\pi_1(M_2)$가 되도록 하면, $f_i$는 $f$로 수렴하고, 따라서
$$\lambda_0(M_2)\leq\lambda_0(M_1)$$
이 성립한다. $\geq$는 항상 성립한다고 알려져 있으므로* $\lambda_0(M_1) = \lambda_0(M_2)$가 된다. $\square$
*는 임의의 complete Riemannian manifold의 $\lambda_0$를 positive $\lambda_0$-harmonic function으로 represent될 수 있고, 임의의 positive $\lambda$-harmonic function은 항상 $\lambda_0\geq\lambda$가 된다는 성질로부터 나온다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
작수 79점 6모 3 9모 83점인데 하루에 최대 1시간씩 밖에 못해요... 수능날...
-
원래 목표는 외대 통번역이긴한데 만약 못가면 대깨 상경이라 경영 경제 이런거만...
-
6모 56점 (백분위75)에서 이번에 9모 21.28.30틀려서 88점나왔어요 (딱...
-
24번 출제 오류같다 생각들면 어디가서 국어 과외하지 마셈 11
수험생은 충분히 헷갈릴 수 있다고 봄ㅇㅇ 왜 헷갈리는 줄 암? 여기 오르비에 국어...
-
그래 전략적선택 잘했음 그럼걍공부열심히해서만점받어..왜...
-
찔렸다면 미안하다 어그로 끌어봤다
-
수능이 두려움 0
국어가 체질이 불보다는 물에 잘맞는듯함 6모때 4였는데 이번에 2까지 올라서 너무...
-
정했다 0
연세대 심리학과라는 가슴설레는 목표가 생겼다 가서 나같이 폐급인생사는 사람들의...
-
질리지않나요? 근데 또 아는만큼 보인다고 봐도봐도 새롭다는 후기도 많더라구요
-
프라임식으로 바꿔 푸는사람은 멀리해라 곧 수학자료들 큰거 들고옵니다 팔로우졈
-
한완수 끝내고 2
파급 수학 돌려도 되려나요
-
동아시아사 6월 48 / 9월 50 받았습니다 동사는 운좋게 저랑 너무 잘맞아서...
-
소중한 리뷰 감사합니다!! 독보적으로 참신한 문제와 깔끔한 100쪽의 해설 김지헌...
-
왜 매번 이따위로 틀리는건지 모르겠음
-
현역때 수학도 못하면서 언매한다고 나대고 물리지구 감당도못하면서 함 재수시작할때...
-
구매창이랑 ot애서 사진으로 볼때는 구려보였는데 실물 보니까 생각보다 이쁘네
-
수학 연계교재 0
수학 연계공부 하신 분들 6모 9모 체감 많이 되시나요? 아직 안풀어봤는데 기출이...
-
대부분 비슷하죠? 예전에 뉴런이 진짜 많이 개정되었는데......... 내년에는 얼마나 바뀔까
-
메뉴는 맛있는 메뉴인데 대성이랑 러셀은 맛있잖아요
-
누구꺼 듣는게 좋을까요
-
비문학 10개년치 2-3번은 본것같고 1학년때부터 강사 여러명 들어봤다 문학도...
-
9모 미적 88 (14 22 30틀) 4규 s1 푸는 중이고, 다음주에 끝낼...
-
오늘의 공부 2
해모시즌2 1회 문해전5문제+해강 전국브릿지 16?회 친구랑 같이 수바 풀기(?)...
-
서울대는 딴세상이라고 생각했는데 AA였으면 인문계열 낭낭하게 되네 ㅅㅂ 7등급은 운다
-
누구 커리 따라가진 않고 첨부터 기출 2회독 독학으로 실력 올린거라 독학 위주...
-
정법사문 5050인데.. 둘다 만백 99 뜨더라구요 1컷 46 사문이 만백 99인데...
-
흠 잠이 안오는군 18
노라줘요
-
둘 다 쓰면 붙은다는 전제하에 어디갈거야?
-
에이어 매운맛 지문 하나 뽑아오겠네
-
왜 불문학관진 모르겠고 걍 땡김
-
수학 풀때 식파 인가요 그래프파 인가요 고수들은 둘다 잘쓴다고하긴하지만 선호도라도...
-
아직도 부족한 점 많음… ㅠㅠ 수능 때까지 열심히 달려 보겠습니다!! 아 글고 작년...
-
인강쌤들 실모나 시대인재에서 좋은 책 있으면 추천 부탁드립니다 그리고 예상 등급컷도...
-
정답률은 은근 높을 듯
-
9모 기준으로 30번 빼고 14,15,21,22,29 정도는 1컷 실력이면 당연히...
-
이제 슬슬 과탐 1일 1실모 하고 싶은데 순서는 상관 없죠? 시대컨도 ㄱㅊ나요 이쪽...
-
김승리짜증남 2
김승리는왜자꾸모의고사해설강의안올림짱나게;; 당일날 오답하고 끝내고싶은데 존나 찝찝함
-
돌아가면서 언어 읽어보라고 시키는데 나 맨날 좀 틀리게 발음해서 오우 ** ~...
-
문제해설에서는 삼각형 CEB - 삼각형 CED를 해서 답을 구했는데 저는 삼각형...
-
은 구라ㅎ 난 분명 이로운 시즌1을 시켯는데 이해원 시즌2가 옴 ㅜㅜ
-
지2 3컷 0
대성기준18점ㅋㅋㅋ 물론아니겟지만 개웃기네ㅋㅋㅋㅋ
-
범준쌤 해강 기대기대
-
ㅋㅋㅋㅋ아
-
긴장감 1도 없이 보니깐 뭔가 그 느낌이 안남... 그냥 푸니깐 틀릴수가 없는데...
-
그게 제맘대로 되는게..
-
EBS유기하고 있다가 9평 쳤습니다 간쓸개랑 모의고사 계속 푸니까 연계의 연계가...
-
느낌이 그렇네
-
다음케이스 어캐구하나요?
-
대딩 과외쌤말고
-
아니 3년째 공부하면서 이런경우는 처음임 스카에서 대놓고 텀블러에 얼음 가득 담아서...
첫번째 댓글의 주인공이 되어보세요.