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를 선물하세요.
-
19번 니런버그 실험 실화냐 20번 원형 플라스미드 제한효소 실화냐
-
고2때 못풀었던거 최근 과외하면서 다시 발견해서 풀어봤더니 올해는 풀리네요 캬캬캬...
-
뼈를 깎는 노력(물리)만 하면 180넘음
-
양치기하는 이 감성 rgrg
-
수학 nㅈㅔ 0
N제 추
-
이게 왜 나옴?
-
후라이드vs양념 2
대신 후라이드는 소금을 드림
-
문득 든 생각인데 지금이 예전 가나형 시절보다 대학가기 힘든가? 2
그때를 경험한건 아니지만 이과는 공부량이 좀 준거말곤 없는거같고 문과는 수학이...
-
엄마아빠는 왜저러는 걸까요
-
공벡 분해 노가다 실화냐?
-
넵
-
가라고 누가 잔소리좀 해주세요
-
나아님
-
풀어주실건가요??
-
처음엔 개념강의땜에 1타 가신줄 알았는데 파이널까지 남아계시다니 ㄷㄷ 대성은 이미지가 접수한닷
-
유튜브에 자꾸 대학합격반응영상 뜨는데 수능 전에 수시합격은 대부분 발표하는듯한데...
-
약대 겨우 가겠죠?
-
9월 사회문화 해설은 모든 강사가 오개념을 심어줄 수 있다고 봅니다 1
9월 모의평가 사회문화 20번입니다. t 시기 기준 세대별 비율은 다음과 같습니다....
-
3차함수 4차함수 합성인데 이거 맞냐
-
어떤 한 과목을 좋아한다는게 성적 올리는데 진짜 크게 작용하는거 같음 3
작년 현역때 3모 5모 근데 이상하게 4등급이 떠도 인강 없이 기출 벅벅만 하면서...
-
머리에 든 게 없으면 그냥 인간적으로도 상종하기 싫음 그냥 말 몇 마디 해 보면 딱...
-
1컷 37 만표 83 실화냐?
-
꿈꿨어 5
고대 다니는 꿈을 행복했다
-
위치 빼면 모든게 탑임 군기 없지 절대평가제지 마이너 티오 많지
-
실모 매주 한 번씩 풀면서 약점 찾으면 기출 복습이랑 n제로 메우려고 합니다 수학...
-
9평 4등급이 듣기에 괜찮나요
-
남 뭐라할 때가 아니였네
-
얘네도 26학번부터는 의평원 인증 리스크 있긴 한데 일단 25학번은 세이프라
-
물리 2~3나온다 가정하에
-
어라 방금 일어났는데 시간이
-
대인라 질문이여 0
신민우쌤 이번에 들을려고 하는데 신의 한수 책 수업 전에 풀어야 하나요??...
-
일본의 유자와, 미야코지마 미국의 덴버
-
우선 핀셋 같은건 좋지 않습니다 손가락으로 하는 것이 고도의 집중력을 발달시키는데...
-
간쓸개 하루에 하나 다 풀라고 해도 풀 수 있을듯
-
지구 퀴즈 0
대기와 해수에 의한 연평균 에너지 수송량은 태양 복사 에너지와 지구 복사 에너지가...
-
보닌은 23세에 모쏠을 탈출한 평범남임. 존잘 알파남이면 굳이 읽을 필요X...
-
어제 지2만 6시간 공부함 물2도 이렇게 될까봐 좀 걱정..
-
여기에 엄카 40까지… 이제 모아둔 돈도 없는데 내년에는 어케 감당하지
-
어떻게 하면 수학이 좋아질 수 있어요? 뭔 생각하면서 문제 푸세요?? 수학의...
-
공부량 늘리는법 0
추석인데 우울해서 글 남겨요 중학교때는 공부 괜찮게 했었는데 이상하게 고1...
-
롤체 1등 4
첫1등해봣음..이제 브론즈1읾..
-
옯끼야아악 2
오늘 논술 파이널 목표: 평균보다 5점 더 받기
-
갑자기 생각난거 2
영어 2등급 미만의 빈숩삽공부의 필요성에 대하여 사실 그거 다찍고 다틀려도 2등급...
-
와 중딩때 양아치여자애 돈많은 백형이랑 결혼했노 ㄷㄷ 16
진짜 어케했노 ㄷㄷㄷㄷ 진짜 외모가 뛰어나면 인생난이도가 달라지긴하네 인성파탄에 골...
-
도움이 필요하신 분들은 댓글을 남겨주시면 시간이 되는대로 답변드리겠습니다. 인강...
-
공시학원에서 공부하고 있어서 대부분 어른들일건데 똥 ㅈㄴ 더럽게 다 튀면서 싸놓고...
-
새삼 문득 궁금
첫번째 댓글의 주인공이 되어보세요.