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를 선물하세요.
-
대학 얘네 이걸로 원서비 ㅈㄴ 땡겨먹겠네 ㄷㄷㄷㅈ
-
미적 자작 0
풀고 난이도 평가해주세요
-
수능때까지 드릴 설맞이 히기에는 시간이 부족하겠죠?? 실모는 10월달부터 풀거같은데..
-
언매 77점 표점 112 미적 92점 표점 133 영어 4등급 물리 50점 표점...
-
드릴 들어갈려고 하는데 수분감 스텝2부터 다 하고 들어가는게 맞을까요? 난이도 어떤가용ㅇ
-
저 욕해주세여 0
고2인데요 원래 모고 한개빼고 다1등급 맞았는데 이번 9모때 완전 망했어요 험한...
-
인터넷에는 박사 학위의 의미를 잘 모르는 애들이 많은 듯 애초에 미박이 문제가...
-
가령 예를들어 외대 경영이랑 외대 통번역 뭐 이런식으로? 한 학교당 학과 한곳만 지원가능인가요?
-
내신은 2.중반이고 일반고인데 동내신대 선배들 합격 케이스 꽤 있어서 상향 원서를...
-
학종 2트 0
작년에 국민프런티어 바이오발효융합 넣었다가 1차떨 했는데 또 넣으면 바본가? 내신 2.6임
-
코노 가는 길 1
으흐흐
-
와 젠지랑 한화 그냥 둘다 템포가 뭐이리 빠르냐 ㅈㄴ 잘하네 진짜 ㅋㅋㅋㅋ
-
그냥 더프랑 다른거에요?
-
수학 N제 0
미적 9평낮3떳고 수분감 스텝1만 3회독은한것같은데 엔제 들가도 될까여? 엔제할거면...
-
그나마 우리 학원은 나았던 게 학원 쌤이 소위 어둠의 스킬은 모르셨지만 우직하게...
-
운동하러감 2
-
평소 2등급 중반이고 9평 확통 96인데 일주일에 실모비중 어케 가져가야할까요?
-
9모 채점이랑 오답도 안했는데,,,
-
10만원 초반 정도로 괜찮은거 있을까요..??
-
이과가 사탐을 고민해야하는게 시스템이 한참 잘못됏음 8
어쩌다가 세상이 이렇게된거냐?
-
시대인재3등급이다녀도돼요?제발대답해주세요시대인재3등급이다녀도돼요? 2
9모 81점인데 시대인재 정규반 들어가도 돼요? 들어가면 엄소연 들어가도 돼요?...
-
2021년 나형 1컷 맞고 얘들아 쌤도 수능을 치고왔는데 1등급맞았어~ 그니까...
-
이전에 무료과외했던 학생이 알려줘서 방금 알았어요 제가 입시에는 완전 무지해서 몰랐었네요
-
수시vs정시 0
내신4.1이고 9모는 이정도인데 남은기간 동안 수학 높4~낮3까지 올리면 정시로...
-
메디컬 입시빼곤 아주 불리한데 전적대가 스카이거나 69평 둘다 국수영111 나온게...
-
딸피 냄새난다 1
씻어야지..ㅎㅎ
-
공대어차피대기업인데 문과들은 뭐 로스쿨도가고 5급도가고 뭐회계사도가고 어쩌구저쩌구...
-
스서운이야기) 0
스피드러너 2회를 다풀고 피드백하면서 약 40분간 문제를 더 풀어봤지만 제대로 푼...
-
9모 성적 수시 2
9모 44312 (둘 다 낮4) 이정도 성적인데 수시로 가천대 교과 쓸 수 있으면...
-
투도 같은 관 씀?
-
1,2,3회차 다 맞았는데 독서는.. 문학에서 많이 틀리긴함
-
어느정도 인가요? 어렵니요?
-
서울대 표본 안에서 서울대를 가야 그게 미박이다,, 미국이 뭐가아쉬워서 좆지잡대나온...
-
젠지를 이기고 나는 바이퍼 원딜의 신을 완창해주세요
-
안녕하세요 도표문제로 출체되는게 계층이동, 성별 임금 격차, 사회보장제도,인구통계...
-
맨날 모고4등급 나오는데 기출문제집 마더텅 푸는게 나을까요 이미지 커리 따라가는게...
-
서울에서 대학다니시는분들..리스펙
-
간쓸개 조은데 0
갠적으로 양치기에 이거만한게 없다 생각..기출 올해만 마닳 3바퀴하니까..질려..
-
젠지파이팅
-
수능 지구2 3
이번 9평 37인데 빡세게 하면 2되겠죠? 개념 기출 정도만 했는데 앞으로 남은 기간 뭘하면 될까요
-
뜨끈한 파인애플 먹고싶다
-
십일워 병행 0
차영진 선택해서 십일워 들으려 하는데 워크북이랑 풀고 바로 기출 넘어가면 될까요??
-
하루에 10문제씩 풀려는데
-
그냥 많이 푸는 방법밖에 없나요…?
-
ㅇㅇ.. 궁금해요 돈지랄? 아님 뭐 낫배드?
-
...
-
미박 취업은 왜 ㅈ으로 봄?
-
6평 때 공부 안 하고 2컷 나왔고 이번 9평 때 100 나오긴 했는데 이게 가늠이...
-
수시 기균 전형 0
원서는 접수하고 제출 서류를 제출하지 않으면 아예 원서 접수가 안 되는 건가요?...
첫번째 댓글의 주인공이 되어보세요.