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를 선물하세요.
-
같이 있을땐 헷갈릴거같다가도 연락 안 오는거 보고 확신함
-
고경 4합5 0
현실적으로 최저 못맞추는 사람 빼면 실경쟁률 얼마나 될까요? 맞추기만 하면 붙는 수준일까요??
-
수능 접수 놓치신 분 진짜 같네요 보시면 쪽지 주세요 0
논술준비를 도와드리든 내년 수능 준비할 때 수능 공부 도와드리든뭐든 조금이나마 도움...
-
2주 전에 수학실모를 적당히 풀라는 글을 쓰다가 끊어졌는데, 이어서 써보려 합니다....
-
원하는 대학가기 2
Vs 평생의 동반자 만나기
-
미적분 작년 6월부터 삼도극 무등비 합성함수N축 빠진거 반영해서 등비급수 계산,...
-
내신 반영 비율이 30이면 내신 5등급은 지원 안 하는게 괜찮을까요 이감 수학 고려대 논술
-
1회독: 머리깨지면서 최대한 답지안보고 풀기 2회독: 풀기 (최소 5분은 고민하고...
-
수학 10시간하고 싶은데 아무리봐도 수학<---이새끼 92-96 받는거보다 영탐...
-
가고싶다
-
ㄹㅇ 마음이 편안해짐 ㅈㄴ 철학하는 느낌남 이게 아파테이아인것인가?
-
30번대 이전에서 틀려본적이 없었는데 ㅌㅋㅋㅋ 열심히 해야지..
-
개인적으론 10번 ㄷ 앞장인데 숫자 이상하게 나와서 뇌정지와서 거기서 시간 4분...
-
동네 수학학원 선생 수능 미적분 백분위99 가능할거같음? 8
동네 수학학원 선생들 수능치게 하면 미적 백분위 99나오는 사람 얼마나 되려나
-
어떻게 써야할까요? 진로는 전기전자계열이고 내신은 1.94정도입니다. 아래는 모고...
-
과목추천받음 생지할까 ㅇㅅㅇ
-
너무 재밌네요
-
연논 3
공대 생공 화생공중 뭐가 컷이 더 낮을까요? 유의미한 차이가 있나요?
-
동네 내신국어학원이었는디 뭐 못들어서 다시물어보니까 내가 자기 수업의 흐름을...
-
피램 4
피램하려는데 독서사려한건데 문학도 좋나요??
-
작9 1틀(수탐만점) 올6 3틀(수탐만점) 올9 미응시 과탐 원과목인데다가 물로켓인...
-
기숙학원 노래 15
기숙학원 들어왔는데 노래 들을 수 있는 팁 있나요? 오르비랑 인강사이트 빼고 다 막아둿네여ㅠㅠㅠㅠ
-
게임 기획 쪽 희망하고 내신은 일반고 4.11입니다..!! 담임쌤이 알아서...
-
프로미스나인에서 누가 제일 이쁜가 열띤 토론중인데 12
의대는 물건너간거 겠....죠?
-
어려울 거라고 각오는 했는데 저같은 똥대가리가 풀기에 생각보다 더 빡시네요...
-
“가베스판” 먹으셈 낙원을 누리는중 방구를 못껴서 그런가 자꾸 배에서 천둥소리 남
-
생기부가 거의 컴퓨터로 채워져있는데 미적분 선택을 안하고 기하만 선택해서...
-
적분 초보운전 4
에잉쯔
-
https://m.medigatenews.com/news/2543051830...
-
지금 쓰려고 하는게 고대 철학or사학 (추합) 서울대 역교과 외대 마인어 (추합)...
-
야발 집중이안돼 4
걍 공부하는법까먹음
-
1학년 끝나고 1학년 성적순으로 세부전공 정할수 있는건가요?? 아니면 성족애...
-
1일 1실모 한다는게 평가원 6모 9모 수능 기출을 하루는 2020 6모 풀기...
-
침샘 폭파마렵
-
생윤 사문 노베 입니다 다른 과목 공부하다 보니 하나도 못했습니다 뭐부터 하면...
-
수시는 그냥 뽑고 정시만 줄이자고??? 이거 뭐하자는거임?
-
고등학교 다닐 때 주변애들이 다 수학 잘해서 내 수준 파악 못하고 고2 모고 3등급...
-
기현쌤 확통 기생집 4점 살려는데 ebook밖에 판매를 안하더라구요 .. 보니까...
-
영어 0
영어 공부를 고1 이후로 아예 안 해서 3컷더간신히 드는 허수입니다. 이제 더 이상...
-
지금 풀어도 좋을 실모린가요???
-
거의 새 책인데
-
기쀼당
-
최저 0
3모부터 수학은 33333 국어는 44433 안정 3에서 2까지는 맞아야 할 것...
-
수학 전국 서바 푸는데 점수가 너무 안 나오네요..
-
일반화의 오류는 있지만 사실 가장 빠른 방법임. 강사도 피해야하고, 학생도 피해야하는 학원이라 봄
-
부산대의대 1
3합4에 과탐은 1,2면 2취급인데 최저 많이 맞출까???? 지역인재임
-
올해는 ㄹㅇ 했어야 되는거 같은데 시간단축 <- 이 사기광고에 당했다
-
정신과 검진기록 같은거 하나도 없는 사람이 가면 대략 얼마정도 나오나요?
-
강의 잘하는 강사가 1타 먹으란 보장이 없음 ㄹㅇ ㅋㅋㅋ
첫번째 댓글의 주인공이 되어보세요.