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
동국대 헐떡고개 개싫음
-
하니랑마크하는중 2
같이물낙법연습중 。◕‿◕。
-
37번은 몰라도 10번 31번은 왜 오류인겨
-
자작시 어떰? 9
-
대학 가서 적당히 만족하고 손 터는게 현명한 것 같다 진짜 이게 뭔 개고생이냐...
-
윤리 Im fact, All Lim’s Pick, 마더텅, 수특 수완, 김종익...
-
해도 될까요? 9모 화작 80점 국어 끌어올려야함 지금
-
기출생각집 아직 반도 못풀었는데 양이 너무 많아 드랍하고 기출100제 2~3주 안에...
-
전역하기싫다 1
전역하자마자 수능인데 ㅠㅠ
-
내가 쓸 대학들은 다 10일부터네 괜히 쫄고있었ㄴ어
-
정주행 10번은 진작 넘었는데 대체 몇 번을 봐야 질리는 거냐 봇치!
-
뭔가 많이 적고 싶은데 그냥 2학년 때 열심히 해서 세특 채워야하나..
-
9모는 미적 96인데 뭐 너무 쉬운 시험이었어서 저런 점수 나올 수 있었던거같음...
-
최저 높아도 상관없음
-
경구피임약 드실 생각있나용
-
신기한 문제들 개많네
-
이왜진 근데 사실 전 꼭 안해도됐긴함. 할까말까 고민하다가 결국 시간 애매해져서 걍안했대요
-
오ㅔ 아직 욘락이 없는걸까
-
어3쉬4 난이도 정도라 생각하면 될까요? 4점 기출이랑 비교해서 난이도가 궁금합니다
-
중앙대 면접 날짜는 12월 1일로 나와있는데 정확한 시간은 아직 안나온건가요??...
-
아니 나만 디스크있나.... 진짜 몸이 병신된거같음.... 목이랑 허리랑 다 아파서...
-
수학 인강보고 인강 본 부분 책으로 한번 더 읽고 공식 증명 해보고 관련문제 풀면...
-
9평 지1 오답률 뭐지 10
1컷 44 이하인데 이거만 보면
-
공하싫 3
설맞이 수1 끝내기까지 한 문제 남았는데 걍 이 상태를 계속 유지하고 싶다
-
그냥 k에다가 값대입해서 그상황만 구하는게 훨씬 간단하고 쉽네 g(k)가...
-
기초문학강의하나추천좀요
-
논술카드 0
9모 성적 31321 86 96 44 44 으로 논술 어디쓰면 괜찮응까요? 성대랑...
-
내신 4.3 수학 낮음 모고 22222에 평백 92~3 정도 뜹니다 연대, 중앙대,...
-
학회동아리활동 싹다 신청해버리기
-
최저러라 3,4등급 정도만 띄우면 되는데 영어 기초가 너무 부족해서 영어+탐구만...
-
언매 유기 3
N달 째.. 공부 빡세게 해서 시간을 줄이자는 생각 대신 시간 더 쓰더라도 꼼꼼히...
-
1~22 좆불, 선택물 Vs 1~22물, 선택좆불 선택좆불은 26 27부터 상당히어렵습니다
-
수령비 만원 택배비 오천원 총 만오천원 드립니다!! 연락주세요!
-
이과생인데 국어 고정1에다 수학을 조금 더 못함 논설문같은거 쓰는거 자신있음 고대...
-
화1이 익숙해져서 그러지 화1이 준킬러 공부량이 훨씬 많구나... 근데 생1이...
-
제목은 어그로인데, 진짜 좀 진지하게 ㅈ됐나 싶어 불안합니다. 조정식t 괜찮아...
-
갑자기 꼴받넹
-
‼️스토리공유 이벤트‼️ [ N수생들의 정신건강 문제 ]에 관심 가져주세요. (당첨인원 스무 명 이상) 0
(*아래는 저희 팀이 제작한 카드뉴스이며 이벤트 본문 링크는 하단에 있습니다.)...
-
지방 일반고 수시반수생 수시 카드 어떻게 쓰는게 좋을까요? 0
전북 소재 일반고 출신 반수생입니다 내신은 전교과:1.30, 국영수사과:1.34,...
-
ㅋㅋㅋ ㅋㅋㅋㅋ
-
수리논술 준비 안해봤으면 합격 가능성 0에 수렴임? 3
고딩때도 수업때 걍 수능공부해서 확통기하 모름 모고는 항상 미적 1컷 근처에서...
-
ㄱㅁ 7
ㄹㅈㄷㄱㅁ 9평 망했다고 절망하지 마세요. 수능날 분명 ㄱㅁ거리 가득한 성적 들고오실 거면서.
-
고대 인문 논술 7
언확영생윤동사 43112인데 영어는 찍맞 2개 1이고요. 4합9 맞춘건데.. 고대는...
-
평행이동 질문 6
여기서 두 그래프를 각각 +3만큼 y축 평행이동하면 점 C의 좌표가...
-
고대논술 0
12:30까지 입실완료면 시험시작은 1시부터 일까요?
-
공부 더 하려고 못본거임 ㅇㅇ...
-
자정에 바로 열리면 스카에서 집 가서 바로할려고함
첫번째 댓글의 주인공이 되어보세요.