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를 선물하세요.
-
그게 나야 바 둠바 두비두밥~ ^^
-
난이도 미쳤네요 ㄷㄷ
-
진짜 아무리 교사가 아니라 강사라지만 너무한 거 아닌가
-
의대증원 25수능임 수능판 역사에 남을 대혼란이라 본다
-
영어 끊어읽기하면 왔다갔다해야되서 시간마니걸리잖슴
-
설대 가능한가요 그리고 수학 21번 30번 틀렸는데 뭐 풀지 추천해주세여
-
다 하는 데 몇 시간/며칠 정도 걸리나요??
-
삼수때 제대로 논술 준비해서 1년 준비해서 경기대 입학(사실상 정시파이터 선언을...
-
0.3 꼬기 8
피마시는 중
-
몇년간 유기중이라 슬슬 나올때 된거같은데 이 유형 일단 저 유형은 일단 나왔다하면 신유형일텐데
-
7월 초 사탐공부 처음 시작해서 사문은 개념강의, 마더텅(도표제외) 세지는 이기상쌤...
-
웹하드가 안 열리는데 파일 어떻게 보내야해요 메일도 파일이 넘 커서 입축해도 안 가는디 급해요ㅠㅜ
-
ㅈ됐다
-
필기노트 공유 1
저 이번9모 보고 다들 어떠실지 모르겠어요~! 그래서 제가 수학 과학 필기노트를...
-
이 나눠지는 것 같아요 그래도 1학년때는 다 해보는 분위기였는데 점점 갈 수록...
-
어 이거 뭐지? 어 이거 뭐지? 계속 나오다가 후루룩 풀리는게 ㄹㅇㅋㅋㅋㅋ
-
일일1.5시간 투자가능
-
3모 1 5모 2 6모 3 9모 4 순으로 계속 등급이 내려갔어요ㅜㅜ 7월~8월달은...
-
고2 정시파이터 (고2 9모 3등급)입니다 시발점, 워크북, 기생집 끝낸상태고 이...
-
영어 2 3 4왔다갔다 하는데 평균 3중반 나옵니다.. 수능때까지 빡세게해서...
-
인문논술 0
학원이랑 쌤 추천해주세요ㅠㅠ 대치동으로요
-
댓글이 없다고..?
-
2025 동아시아사 마지막 자료 게시[Docs(PDF)] 1
다수의 관심을 받지는 못하지만 선택하면 많은 부분에서 이점을 발휘하는 과목이기에 그...
-
에휴 3
가야겠다 난 뭐하러 이짓거리하는거지 현타오네
-
더프 0
러셀 10월 더프 외부생 신청 언제쯤부터 받는지 아시는 분 있나요
-
질문 받아요 10
아무거나
-
ㅈㄱㄴ
-
담임쌤이랑 수시 원서 상담했는데 뭐 90퍼가 정시로 진학하는 학교니까 6논은 일찍...
-
메리트 있음? 있으면 인서울 어느라인까지 버려도 됨? 난 지방 가는거에 긍정적인...
-
"ON"
-
수학 공통 n제 0
12부터 뚫어내는 피지컬 기르려고 n제 풀려고 하는데 괜찮았다고 느낀 n제...
-
맨날 공부 얘기만 하다가 갑자기 돈 얘기 하러 온 팀장입니다. 여러분 어서 저에게...
-
. 1
-
채용 사이트에서 연봉 보면 삼성이 훨 높던데 구글코리아는 구글본사랑은 처우가 많이...
-
코어특강vs솔텍 1
둘 중 하나 골라서 풀커리 타려고 하는데 뭐가 나을까요? 평가원 3개년치 기출이랑...
-
둘 다 합격하면 어디 가시나요?
-
김상훈 러닝타임 무슨일임
-
한국교육과정 '평가원' 2025 9월 모의고사 37번 문제임 쉽고 어렵고를 떠나서...
-
수능때 물1 9모처럼 나오면 진짜 손발벌벌떨거 같음 9
한문제라도 실수하는 순간 n+1
-
옳게된 오르비
-
올해 처음 풀어보는데 독서는 이감보다 잘 만드는 듯 그리고 종이 질 압승임 이감은...
-
모니터고장났다 0
하아... 알바비 들어오면 모니터도 하나 사야겠네
-
이번 문학이 쉬웠는데 논란 많은 24 31 문제 둘 다 틀렸네요.. 문학이...
-
상황을 설명하자면, 4일에 본 모의고사 가채점을 제출하라고 하셨다 하심. 근데 나는...
-
낙지 적정지원이면 거의 무조건 붙는다고 봐도 될까요? 어디서 들었는데 소신지원도...
-
논술은 왜쓰는거임? 18
수능 말아먹었을때 마지막 발악이라도 해보려고? 해봐야 며칠밖에 준비 못할텐데...
-
엄영대 선생님 엄기출 한번 다 돌렸는데 9평이후 기출 한번 더 해야할 거 같아서...
-
뉴런 시냅스 수분감 스텝1까지만 했고 통통이 9모 92점입니당. 21은 몰라서...
-
쌍사 백분위 0
쌍사 만점받으면 백분위 몇쯤나오나요?
-
이번 9모는 정말 대충 만들었네요 이 망할 자식들 9모기는 해도 45분 만점이니 해설 써도 되겠죠
첫번째 댓글의 주인공이 되어보세요.