amenable
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를 선물하세요.
-
예전에 종이의집보고 스페인어 꼭 배워보고 싶었는데 이참에 스페인어 해봐야겠아요
-
이해원 n제 다하고 드릴할까 고민중인데, 메가패스가 없습니다.. 드릴 교재...
-
삼반수하고 있는데 작수 45로 막판에 나름 많이 올린 성적이지만 올해 또 생명을...
-
문자엔 선택이라고 나와있는데 엣지 필수 구매인가요?
-
adhd라 자극 들어오면 나도 모르게 같이 빌런짓해서 작년엔 썻는데 아무도 안 말림...
-
틀린문제는 다시봐도 어려운듯..
-
작수 2등급이긴한데 뭔가 안정1이 되기엔 구문에서 빵꾸 뚫린게 너무 많아서 이걸...
-
6시20분기상 공부벅벅 정병약꿀꺽 공부벅벅 수면제꿀꺽 Hi토미보기 자기
-
. 1
-
천덕
-
9,10번도 자주 틀리는 4-5등급인데, 개념회귀 백만번하다가 이젠 진짜 기출해야할...
-
1. 도태남 예를 들어 자신의 성생활에 만족하지 않고, 자기의 직업에 충실하지...
-
90점대는 고정으로 나오네 불행중 다행인듯(지구개념까먹었어용ㅠㅠㅠ)
-
그냥 단순히 문제 많이 푸는거 인건가요?? 국어는 그냥 매일 일정량씩 풀고 있는데...
-
아이고 1
야르~!
-
연고대 화학과가 이과 스카이긴 한데 공대가 아니라서 요즘같은 취업 어려울 때...
-
국어 독학서 2
피램 1,2 8개년까지 다했고 6모 백분위 98 현역인데 독서 문학 머해야 할까?...
-
채주가 뭔데? 아 ㅋㅋㅋ
-
작수 47이고 아직 문제 풀어도 대부분 문제가 다 풀리긴하는데 개념강의인강부터...
-
많이 아플까요 낼은 게임 하거나 유튜브 보는거 하면 안되나요
-
화면에 얼굴 크게 잡히고 나갈 순서 기다리는 애들은 화면 구경하고 있음
-
지적 달게 받아용!
-
도스토예프스키의 추천 책 집어던지고 싶은 공감성 수치 때문에 다시 공부하게 됨
-
어떻게하나요? 엄마랑 싸워서 엄마 집에 3일째 안들어오는데 우짜죠 전화도 안받아요...
-
수학과탐 공부 0
현재 한완수 part1 2회독 시작했고 part2 교재를 사놓았는데 part2...
-
강해린한쥴리강혜원한소희장원영김제니김민정하니팜김채원설윤아
-
안녕하세요! 이투스 수학강사 양지용 수학연구실입니다. 그저 눈팅만 하던 오르비인데,...
-
역대급 퀄리티다 시중모고들보다 잘빠진듯
-
강사가 알려준 스킬 쓰시나요? 아니면 본인만의 문풀법 쓰시나요? 섞어서 쓴다몉 비율 좀 알려주새요
-
이투스에서 해설강의 같은거 올려주나요?
-
올릴만한 성적 받을거야
-
삼체 재밌겠더 11
내일 학원 빼고 보고 싶은 걸
-
수학 8 9 10 11 12 18 19가 안풀리면 어떻게해야 되나요 쎈푸는게...
-
20문제 푸는데 4시간 걸림
-
급여를 지급받기 위해서는 ① 이직일 이전 18개월간 피보험 단위기간이 180일...
-
똥 5
발싸 히히
-
무소음이 아니잖아ㅜㅜ 그냥 등원할 때 켜고 걸어가야겟다
-
수능 물리 20번 유출 11
정답은 2번이라네요
-
근데 미적은 입문n제도 어려워서 괜찮은거같음
-
생명 0
생명 지금쯤 본격적으로 시작해서 수능 때 2받으신 분 있나요
-
업보빔 맞음 번아웃 쎄게와서 학원 빠지고 그랬더니……. 진짜 정신차리고 8월부터 수학 빡세게 해야지
-
D-478 결과 2
예비 매3비 2일차~3일차 성공 31문제 6틀 아직 연습이 많이 필요하다 나비효과...
-
모고보면 항상 28 29 30 중 2개는 못푸는거같아요 적당히 쉬운 입문용N제 추천 부탁드립니다
-
과탐 서바 평균 확 오르네 ㅋㅋ 단과 조교 하던 친구도 반수반 와서 같이 다니는 중
-
작년 69수능, 올해 6모 다 백분위 80중반만 계속 나오는데 어떻게...
-
는 천사가 아닐까? 으흐흐
-
나 돈없어 내놔!
-
새내기라는 단어 2
뭔가 귀엽고 고딩티 못버어난 순둥순둥한 애들일 것 같지만 정작 삭고 나이도...
첫번째 댓글의 주인공이 되어보세요.