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를 선물하세요.
-
다들 0
공부 집중 안될 때 어떻게 극복함? ㅅㅂ 수학 풀어야하는데 1시간째 오르비 보고있음
-
기출은 참고로 빈순삽 주제 어법 모아져있는 기출프리미엄? 이거 하나만 풀었어요...
-
너를 믿어. 내가 믿는 너를 믿어
-
서바 모의반 라이브로 듣는데 슬슬 실모를 조금씩 더 풀어야할거같아서 실모 추천 부탁드려요
-
음... 그냥 내가 문제지
-
‘사형은 범죄 억제 목적을 달성하기 위한 응보적 처벌이다’ 에서는 사형의 목적이...
-
얘네가 머 한 줄 알았자낭
-
기분이 어떨까 진짜 궁금하구만 ㅋㅋㅋ
-
일단 가을야구라도…ㅜ
-
정시 내신 1
1. 서성한 이상 정시에 내신 반영하는 학교 기준으로 3학년 1학기까지만 내신 등급...
-
흐음
-
한화가 이기는데 0
한화가 이길 수가 없어
-
맞팔해요 5
-
정시하는분들 5
다들 논술 쓰시나요 저도 수능 끝나고 보는거 몇개 써볼까 고민되는데…
-
댓글들 전체 합쳐서 5트 이하로 못 맞추면 안 줄거임
-
코넬대를 갔네 ㄷㄷㄷㄷ…
-
하..
-
바이퍼햄 축하한다......
-
예를 들어 사탐 개념 기출 한 단원을 3일 정도 복습을 하고 2주 뒤에 다시...
-
지2 참전 완료 6
서울대가 아니면 죽음을 달라.
-
한화 미친 5
이걸 우승해?
-
그거다 한화생명 2
군면제가 우승은 안된다
-
피넛... 성불했다
-
머지 ㄹㅇ
-
수능으로 인하 컴공 이상 가고 싶습니다 무리일까요... 내신은 2.5인데 인천대...
-
미쳣다
-
사실 내가 분탕였던거임..ㅜㅜ
-
작년9모 국어 0
1년만에 다시푸니 87점 작9 81점에 비하면 오르긴 했네
-
음역대 높은 곡 어디까지 가능해요?? 아니면 자주 부르는 곡이 있으실까요? (혼코노...
-
시중 문제집이나 강사 n제 추천해주실 분 있나요?
-
중앙대수리논술 0
과학도 보나요?
-
영어 그냥 0
기출 보면서 계속 분석하고 단어 맨날 외우면 수능때 3컷 뜰 수있음? 맨날 그렇게...
-
밴드 운동 댄스
-
국영수물지로 수능본다능 가정하에 뭐가 베스트임?
-
몇 시간씩 공부하면 이 상태에서 현역정시서울대 가능함? 16
고2 9모 3312_ 문과임 국어 1점 모자라서 3...
-
여러분 영단어 하루에 최대 몇개 외워보셨을까요? 뭐 테스트라서 벼락치기로 외운거...
-
평가원 점점 국어 말곤 사설과 한 몸이 되는게 느껴짐 1
근데 국어는 20몇년이 지났어도 사설이 따라잡질 못하네
-
하아.. 피해자가 왜 피해야되징
-
수시 안정카드로 쓰려하는데 어디가 나을까요 취업같은거까지 고민했을때.. 여자고...
-
실험자가 실험을 위해 부은 (석회수가 비커에 흘러 들어갔다.) 밑줄이 괄호라고 할때...
-
논술 쓰시는분들은 몇달 전부터 해오신건가요? 기확 거의 모르는 수준인데 지금부터...
-
셔틀런이랑 윗몸 2
빠르게 올리는 방법없음? ㅠㅡㅠ 나 진짜 급한데 안늘엉어엉
-
저녁먹으면서 현대 25년차가 넘어가시는 아부지왈 연고대정돈 가야 대기업 내에서...
-
인문논술 1
인문논술이 수학 안 들어가는 논술인가요?? 인문논술은 수능 이후 준비해도 가능성 있을까요?
-
최대한 배제하고 있어서 나같은 노력충들한테 유리하게 나오는듯... 근데 수능 땐 걍...
-
이번 고2 9모 국어 칠때도 화작에 시간끌려서 과호흡오고...이런거 어떻게 못...
-
반수해서 대학 옮겼는데 십덕동아리가 없다?? -> 바로 26수능 참전
첫번째 댓글의 주인공이 되어보세요.