Geometry of being 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를 선물하세요.
-
언매 90 독서 -2 문학-1 언어-1 언어 왜 틀렸지 했는데 오답률 1위였음 캬캬...
-
스카 들어올 때마다 딸랑딸랑 소리 ㅈㄴ나네 머리가 진짜 방울마냥 텅 비어있는거임?
-
5수 가능?
-
어제 치뤄진 고3 학평 20번 문제 좌변이 제곱수이므로 우변은 "항상 0 이상일 수...
-
얘네 드디어 미쳤냐
-
졸아버리는 나는 미친놈… 알람 맞춰놓고 한 번에 팍 못 일어났더니 디게 피곤하네
-
아님 끝나고?
-
시간 부족하다는 말이 많던데
-
(서울=연합뉴스) 홍해인 기자 = 윤석열 대통령이 서울시교육감 보궐선거 투표 날인...
-
야식 먹으니깐 0
아직까지도 후유증이 상당
-
김종익 파이널 풀다 유기했고 임정환도 풀다 유기한 사람입니다. 사회문화는 개념의...
-
하기싫다
-
종로모의고사ㅋㅋ 1
재종(종로 학원)에서 종로 모고 치른다는데 가지 말까요?? 10모는 학원에서 볼...
-
요즘 전부 90점만 나오네 하..
-
딱히 중점적으로 준비하진 않았고 확통기하 되어있고 그냥 서술만 할 줄 아는 상태예요...
-
아수라 + 기출3화독 하느라 간쓸개 시즌6 통째로 밀림 (+시즌 5에 2권정도..)...
-
오전공부 1
아수라복습 총정리과제풀고 오답 수특현대시 복습 하니까 오전이 삭제네 엄
-
큐브 왜함 ㅅㅂ 16
가형 킬러 걸어다놓고 700큐브 ㅇㅈㄹ 안해 ㅗㅗ
-
9분위 10분위니깐 한 20프로 정도 되나요
-
ㅈㄱㄴ
-
쉬운 거는 시간 남으니까 시간 아까울때도 있어가지고요
-
순서대로 4회 9번, 11회 9번인데 뭔가 깔끔하게 푸는법이 안떠오르네요.....
-
오늘부터 풀라고 남겨놨음
-
26~30 5번으로 밀었는데 세개가찍맞ㅋㅋㅋㅋㅋ 2등급쟁취
-
진짜 처음보는 해석이다.......
-
시대? 강대? 쿠쿠리 화1 심찬우 10 한수 상상 전쟁 연논
-
N수생 빠졌다고 이게 이 컷이 나오나..
-
중간고사 시험기간 아닌가요
-
센츄 가능? 1
텀구 뽀록 좀 터짐
-
뇌를 씻어야될거같음.....
-
3등급 ㄷㄷㄷㄷ
-
오늘부터 암호학으로 전과한다
-
패드로 10분 남기게 풀고 공통 하나틀려서 1등급 각인가했더니 화작에서 3틀.......
-
뭐지 진짜로…
-
언매 96 미적 92 영어1 화학 92 지구 92 백분위 이정도면 어디가나요
-
저능해서 울었다
-
이게 가능한가? 2
지구과학 남은 기간동안 4>>3중반 정도까지는 가능할까요..? 지금하면 좋은것들 좀 알려주세요
-
왜또 블라먹여 “딸깍”
-
이젠 책읽기도 힘듬
-
12번에 1번이 수학이 아니라 수학명제여야된다는거까진 ok인데 그런식으로 따지는거면...
-
난 너같은 애들이 제일 싫어 잘못해놓고 남한테 지랄지랄하고 지는 책임지기 싫어서...
-
이 시간대 오르비에 와서 글쓰는 사람들은 투표권이 있는 나이니깐 9
고3은 평일이라 학교가있을꺼고...
-
이감 본인 시즌 6 들어와서 90점이하 하나도 없는데 한수 푸니까 84점나옴 ㅈㄴ...
-
뭐가 있을까요??
-
오세훈 "교육감 선거, 오후 8시까지…서울의 미래 결정해달라" 1
[서울=뉴시스] 조현아 기자 = 오세훈 서울시장이 서울시교육감 보궐선거 본투표가...
-
4단원,5단원 도표랑 개념이랑 섞여있는데 구분이 안가요 ㅠㅠ 도표는 버리려고 해요
첫번째 댓글의 주인공이 되어보세요.