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를 선물하세요.
-
이제 일년 다 되어가는데 걍 요즘엔 좀 무섭다 모든게 이렇게 수능 하나만 보고...
-
뱃 달고있는 사람 볼때마다 경외감 들듯
-
강k수학 살사람 0
22회 26회 28회
-
고3이고 6모 2, 9모 1, 10모 2 나왔습니다. 마더텅 모두 푼 상태고 김종익...
-
다음년도 수능 패스로 보상해라 ㅅㅂ 맨날 그딴 문자가 온다 진짜 하루에 몇개씩도...
-
생물 고수 분들께 질문 최근 가계도 문제 난이도가 어떤가요? 2
올해 7월부터 수능판 들어온 사람입니다. 19당시에 생물 47인가 48맞았었는데,...
-
시험보고오느라 ㅁㅌㅊ?
-
급함 질믄 4
죄송하다고 쪽지 남겼는데 글씨 못생기면 ㅂㄹ임? 급함
-
장문주의) 으 후련하다 11
점심을 지금 먹어서 써본 글 아 다 썻더니 10분 남음 ; 어릴때부터 주변사람들이...
-
오르비 3대 전설포켓몬 18
얘네는 뱃지 이니셜이랑 색깔도 모르겠음
-
재수 성공 2
작수 26645에서 재수했을 때 어느 급간의 대학 가야 성공일까요 갑자기 궁금해져서요
-
아까 후속편 5
일단 마이쮸랑 초콜릿 사서 죄송하다고 쪽지랑 남기랴고요 깜짝아 하
-
아메리카노 쿠폰으로 아메리카노 시키고 아무말 안했더니 아아가 나오네 5
디폴트는 뜨아가 맞지.. 아아충들 정상화좀
-
회사 남직원은 건대 충주캠 출신. 남직원: 저출생이라 여대는 이대 빼곤 경쟁력...
-
지금보다 더 멋있게네가 다시 바라보게바라보게 만들어기다리게 한 담보로내 뼈와 살을...
-
3년째 7
https://youtu.be/xXFgsc4hLJM 수능 전에 들으면 좋은 노래로...
-
현역 생윤윤사 9모 1 2 (50 44) 10모에서 즂망해서ㅋㅋㅋ 2 4 떴는데...
-
ㅇ.ㅇ
-
감기걸려서 조금만 하다가 와야겠다
-
수치화/계량화를 시도하는 언어학자들 온 세상이 수학이다
-
국어 실모를 풀러 간다
-
김상훈 커리 0
김상훈 커리 따라가고 있는데 혹시 기출갈무리 하시는분들 안에 모든지문을 다...
-
질문 받음 6
걸그룹 마스터 야구 중독자
-
이거 강의에 자주 나옴
-
워 ㅋㅋ 그리고 다른 하나는 걍 계산이 엄스러워서 포기했는데 그게 맞았고 캬 점수가...
-
어떻게 6모보다 더 낮게 나왔지 점수가... 6모가 75점이였나 76점이였는데...
-
과거 심각한 우울증이었거나 시도해봤더라도 현재 증상이 상당히 호전된 사람은 과거의...
-
자기전에 인강틀어놓으면 진짜 수면 무호흡 수준까지 3분컷이었는데 어떻게된게 수면유도...
-
뭐 나는 나 혼자라면 이미 자살했겠지만 소중한 사람이 한 둘은 있어서 그 사람들...
-
78…? 처음 보는 숫자 등장 당황스러움의 연속인 모고임 뭔가 얻어간다…기보다는...
-
가능할까
-
해모어렵네.. 0
시즌 4 0회차는 낚시였고 1회차 어려움..88점 그래도 하방 올라온 것 같아서 기쁘구나
-
이감 or 영어 실모 푸시면 1등급 고정으로 나오시나요?
-
제곧내
-
아니님들아저진짜살려주셈 13
스트레칭하다가 뒷자리 여성분 머리를 가격해버림 진짜 우얌..??
-
천만덕 가쥬아
-
야구 봐야하는데 4
학원알바라니....
-
[30분완성] 지구과학 막판 총정리집. 20일의기적 0
5000부 판매돌파 지구과학 막판 총정리집을 소개합니다. (현재 오르비전자책 1위)...
-
3문단 이걸 어케읽노
-
ㅈ됏다.
-
국어 종결어미 1
공부하다가 궁금한점이 생겨서 여기 올립니다. 네이버 사전을 보면,...
-
남과의 비교때문인데 절대로 인간은 나보다 못한사람은 비교대상으로 안봐서 정신승리...
-
잡도해 3
심찬우 잡도해 강의 들으기전에 예습먼저 하라는데 어떻게 하나요?
-
이거 쓰여요? 내각 이등분선 활용 문제는 전에도 몇 번 봤고 이번에도 나왔는데 외각은 못 봐서요
-
9모 100점은 수능 망하게 하려는 누군가의 계략이었던걸로
-
자살하기 전에 일단 복수해야할 씹새끼들이 있었는지 떠올려보고 그 사람들이 내가 죽은...
-
배기범 센세는 0
사실 광속에 근접한 속도로 움직이시는 거임 아니면 그 말 속도가 나올 수가 없음 ㅋㅋ
-
글 쓸 주제가 생각이 안남. 마실거 추천좀 부탁드림 ㅠ
-
공부시작이 안되네
첫번째 댓글의 주인공이 되어보세요.