Geometry of being Amenable
게시글 주소: https://app.orbi.kr/00068799319
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를 선물하세요.
-
솔직히 18수능 말고 없는듯... 이때 시험지랑 등급컷 보면 진짜 표본 미친거 같음...
-
국어 92 수학 66 영어 91 한국사 47 동사 50 세사 50
-
엄소연쌤이 공짜로 주심 군인이라 수익 안되서
-
1.서점에 간다 2.구조역학책을 구입한다 3. 공부한다 4.수능 돌리ㅁ힘 공부를...
-
수학 학원에서 푸는 서바 말고 더 풀 실모랑 n제 하나씩만 추천 부탁드립니다…....
-
10모 생명지구 해보니 어려운지 쉬운지 가늠이 안잡히네요… 1개씩 틀리긴 했는데...
-
채점하기 두렵다 다 풀긴 했는데 이러고 또 채점하면 우수수 털림 28번 문제좀...
-
고기 부위만 보고 맞출 수 있는 초저난도 세지문제;;
-
얘네말고 또 뭐 있나
-
국수 등급컷은 얼마일거라고 생각하시나요
-
1컷 그래도 84일거같은건 기분탓인가 표본이 ㅈㄴ 지랄나있는거같은데 지금..
-
10모 화작 2
10모 화작 94(독서1,문학2틀)이라 2인거 같은데 수능이었으면 3이겠죠?
-
삼수는 필수 사수는 선택
-
특히 과탐과 언매가 상당히 빡셈 ㅠㅠ
-
만약 현재 교육되고 있는 영어 문법의 체계보다 더 좋은 체계가 있다면 우리의...
-
서성한중 공대 논술을 보게 됐는데 기출 몇 개년치를 공부해야하나요? 그리고 의대...
-
10모 ㅇㅈ 21
으으으으응으으으으으ㅡㅡㅡㅡ 작수 생명 만점이엇잔나 왜이래애애애애애애ㅐㅐ
-
방심위, 나무위키 속 인플루언서 사생활 정보 차단 의결 2
기조 변화…"공개된 자료라 하더라도 본인 원하면 삭제해야" (서울=연합뉴스) 이정현...
-
모두가 입을 모아서 폐기물이라고 욕하던데
-
? 이뭔 ㅋㅋ 7
4점 잘먹을개엽
-
변수 간격이 일정하고 ( 변수끼리 등차수열 ) 확률 분포가 같을 때 평균을 바로...
-
수학 모고 3말 뜨는데 최저땜에 수학 2 목표중입니다 남은 한달동안 실모 주 2회는...
-
붙여주는 곳 갈거긴 한데 주로 어디를 선택하나요?? 인식은 어떤가요??
-
2018년 쯔뭉이 보는거 같네 기억하눈 틀딱 있으려나 ㅋㅋㅋ
-
거의 동어반복명제인데….
-
아아아악 아아아아아악 양심이 있니
-
어준규 4
왜 이제알았을까 진심... 처음부터 널 만났더라면 내가 이렇게 망가지진않았지
-
예비 고3이고 HS 신청해놨습니다 수학은 원래 다니던 학원 계속 다닐거 같은데...
-
회당 비용이랑 1회 몇시간인지 혹시 아시는분 계실까요.. 학원 전화 계속 안받아서요...
-
영어가 불안정해서 1~3등급까지 extensively하게 왔다갔다합니다...
-
sex(10모) 5
이게 내 수능점수가 되길 아니, 국어까지 다 맞자
-
이거 하신분들 있음? 수강 기간 나 10.24까지라는데 그 이후에는 못들음..?...
-
아수라 지금 시작하는데요 아무래도 다 하는 건 불가능 같아서 좀 걸러서 할려는데...
-
종로 모의고사 4
어떤가요? ???: 우웁...욱...ㅇ 구웨에ㅔ에에ㅔㅇㄺ
-
사문질문 1
차교론도 일탈자가 되어가는 과정 주목하나요?
-
집에서 10모 풀었는데 미적이고 11번계산실수한거 맞은걸로 치면...
-
기출로 시작해서 강사들 강의는 꼭 들어야하나요???
-
콰인포퍼 헤겔정도로 나와줬으면 다같이틀리게
-
200만 지르면!
-
수능날 컨디션최상이어라ㅜ제발
-
4번에 "조사대상자의 주관적 인식 파악할 수 있는가?" 로 ABC 구분하는 문제에서...
-
1-1 1.0 1-2 1.3 2-1 1.6 2-2 1.9????? 중간고사까지...
-
진짜 그 사람이 저장한 본명 3글자면 나중에 누구지 사태 일어남 진심임
-
수능에 나오면 1등급 3퍼센트대다… 6모랑 난이도는 비슷한듯 배워갈건많음
-
9모 국어6(59점) 영어5(57점) 생윤 5정도 뜨는듯 국어 영어 미친듯이...
-
흠 후반부터 풀가
-
찍맞 뺀 점수로 미적 9모 64 10모 53 지구 9모 39 10모 42 실모 30...
-
고2긴한데 메가 국어 등급컷 1점 내려갈 가능성은 거의없음?? 보통 정확하거나 컷 올라가나
-
세븐틴 청춘찬가 폰트체 그대로 배꼈던게 갑자기 생각나네
-
잘잣다 11
스타갓다와서 공부해야지
첫번째 댓글의 주인공이 되어보세요.