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를 선물하세요.
-
서강대가 1퍼센트 안쪽에서 끊기고 고경은 근 10년간 최고치 경신 원서접수 2시간...
-
요즘 자꾸 작곡 영화감독 미술 이런게 땡기는
-
작년에 충분히 수학 잘했는데도 샤인미n제 하이엔드에서는 무참히 썰렸던 기억이 있는데...
-
수능도 안보는데 39000원 내기가 싫어서 중고로 구해서 봐야지,,,
-
올해 읽은 글: 6평+사피엔스 2/3 분량 ㅋㅋㅋ
-
파이널 김종익 모의고사 6회 15번 해설에는 싱어는 세계의 모든 가난한 사람을...
-
어떻게 무정에서 영채하고 선형을 동시에 홀리겠냐
-
지금 이 시점에 가장 효율적인 독서 연계 공부는 뭘까요 0
Ebs 수특만 1/3정도 풀긴했는데 한달전이라 잘 기억안남 어케해야됨요
-
천재 친구 썰 0
연대 붙고 일본 도쿄공업대 진학한 과학고 동기 도쿄공업대가 일본의 카이스트임 랩실...
-
항상먹고나서후회하는것 맨날 똑같어
-
전형태 언매 파이널 2,3회 2506 비문학 두 지문 진득하게 분석 문학은 이틀동안...
-
이게 올해 연계라서 지금 체감이 잘 안되나. 나는 둘다 비연계로 본 입장이라
-
자취생 집밥 10
구운 참치 주먹밥..맛있음표고버섯 볶음밥…고기파인데 고기가없어도 마싯음대충...
-
ㅇㅇ
-
현역이고 9모92,10모80입미다
-
애기야ㅇㄷ갓어 3
친추안왓어
-
처음인 것 같은데 진짜 이제야 3-4등급이 어떤마음인지 알겠음 내 탐구가 3-4등급이거든
-
ㅡㅡ
-
고전소설 : 유씨삼대록 고전시가 : 관동별곡 현대소설 : ^비연계^ 현대시 :...
-
고비다고비야 8
등이 두드러기에 잠식당하는중 이거 설마 위험한건가
-
다들 잘.자 ㅎ.ㅎ 자라고
-
안햇는데…지금이라도 해야할까용 대충 수특 레벨3랑 수완 실모만 풀면 되려나
-
빤히 쳐다본다는거 ㄹㅇ임?
-
선생님들 특징좀 알려주십쇼!
-
내 진로가 뭐였더라… 13
곤충박사->사회복지사->개발자->반도체 계열 연구원->물리학 계열 연구원 or...
-
꽤나 공들여서 만들었음 오르비언 전원 입주 가능할 듯
-
커여워
-
설의 특 6
훈훈한 애는 꽤 많음 귀여운 애들은 많은데 예쁘다 하는 애들은 적고 다들 기본적으로...
-
잠이 안온당 3
질받을 해볼까 할사람이 있을까
-
갑자기 든 생각인데 연애라는게 너무 시간이 아까운 것 같음 12
나는 감정소모도 많이 하고 연애하면 돈도 많이 쓰고.. 연애를 한다면 주에...
-
얘드라다들머하니 21
머해ㅔ
-
선 연락 절대 안하고 먼저 놀자고는 커녕 밥먹자고도 절대 먼저 말 못하고 놀자고...
-
12시 반에 시작해서 1회독 마쳤는데 웬만한 건 다 알겠음 전공이랑 갭이 너무너무 큰 것 같아..
-
이야 조땟네
-
제발요 ㅠ 참고로 허수라서 난이도 적당한걸로....(브레턴우즈나 헤겔같은거 제외...)
-
진짜 잘래 12
내일은 진챠 5시에 인난다
-
맞짱깔새끼구함 7
나오셈
-
하루에 day 2개씩 해야도ㅔ네
-
얼마전에 편입학원가서 상담받고 11,12월 단과로 73만원 결제했었는데…그때는 무슨...
-
아파트 단지... 최근에 많이 짓는 ㄴ자 탑상판상 복합형 구조 다른 아파트 입구...
-
흠.... 작수보단 열심히하긴했는데 좀 불안하다 ㅋㅋㅌ 작수도 삼이긴했는데 올해는...
-
하루에 순수 오락만 8시간 하는 듯
-
중고딩때 가장 중요한 과목은 국어도 영어도 수학도 아닌 듯 24
'진로' <- 이 시간에 진지하게 고민 안하고 놀기만 했으면 안됐음;;
-
걍 바리톤은 답이 없음
-
예체능좃같음 4
1/15에끝남
-
16일의 전사 1
지구 현재 사설 40초. 16일의 전사모드로 돌입해서 수능 1ㄱㄴ?
-
수능 끝나면 할거 13
음악 작업 해볼거임 흐흐
첫번째 댓글의 주인공이 되어보세요.