Geometry of being Amenable
게시글 주소: https://ui.orbi.kr/00068799319
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를 선물하세요.
-
10덮 후기 0
국 수 영 물 화 90 88 X 36 44 국어 : 언매는 원래 못해서 언매만 두개...
-
1,2,3컷 각각 몇일거같음? 1컷 85 2컷 70후반 3컷은 모르겠네 그냥 내가...
-
저보다 (전체적으로) 못본 사람
-
중 불 중 불 중 언미영생지 기준...아님랄로 (댓글에 쉬웠다고 기만하지 마세요라)
-
저메추 부탁드립니다
-
지2 44네 0
하 시바 20번풀시간없었고 5번틀 뭐냐 틀딱뒤지긋다
-
친구 한 명이 지잡대 다니는데 특히 팀플할 때 빌런이 넘 많다고 하더라구요 (잠수,...
-
더프생윤 본사람 2
등급컷예상좀 자연과윤리틀림 ㅅㅂ…
-
올해 대성패스에 김범준샘도 오고 배성민샘도 좋아보이고 국어는 박광일샘 복귀하고...
-
매일매일 0
쌍사4실모 조지기 작전
-
노랑 머리+자리 위에 실모 프린트 잔뜩 쌓아놓음+내가 일찍 가는 날은 07시쯤...
-
10 30 틀려서 92인데 ㅅㅂ 이거 뭐노
-
85점이뭐냐
-
에라이시발 더프조졌노와 시발 수학 6번까지 틀렸네흠 할만한가개시팔 ?
-
10덮 국어 0
수능이면 1컷 얼마 예상? 84?
-
씨발
-
언매 87 미적 89 영어 83 화1 38 지2 3 아 ;
-
10덮 물리 0
기범모 풀다가 푸니까 할만하누
-
언미화생 탐구병신답게 말아먹음 하 등급예측좀요..ㅜㅜㅜ 영어 100 처음받아봄 ㅋㅋ
-
국어 언매 80 수학 미적 76 영어 82 생윤 50 한국지리 42 등급 예상좀 부탁드립니다
-
언매 94점 - 12 28 30 틀림 정태씨ㅅㅂ 기하 68점 - 13 14 15...
-
8강 폼은 티원이 훨 나았는데 또 상대전적 생각하면 젠지인데..
-
등급 예측ㄱㄱ 0
언매 80 미적 72 생명 37 지구 35
-
얼마나 어렵길래 ㄷㄷㄷㄷㄷ
-
수학은 9모 보단 확실히 어렵게 느낌확통은 무난? 15 21 빼고 다풀었는데 21번...
-
10덮 총평 0
언매:84 쥰내어렵네 철학 못풀고 과학 하나 틀리고 문학 2개 나감 미적:100...
-
10덮 1
언미영물지 90 92 86 50 41 어느정도인가요?
-
10덮 후기 0
언매 80 수학 76 영어 98 한국사 44 물리 43 지구 39 음...?
-
본인 이감 상상 한수 서바 최근 96언더 없는데 못봄
-
안나댈게요죄송합니다국어잘한다고안할게요사탐잘한다고안하고다닐게요정법병신이라고하고다닐게요...
-
수고하셨습니다 5
저는 기대치보단 살짝 낮은 성적이네요 하하..
-
93점이 4등급인거 처음들어보는데 혹시 비슷한 사레가있나?
-
연계 야미~ 하면서 풀렀는데 왜 채점해보니까 우수수 다 틀려있노?
-
몇등급일까 국어는 4?5? 하..
-
기출로 열심히 돌린건 낮게 나오고 꼭 1주일 이상 유기한건 잘나오더라... 이걸 8...
-
빡겜 선언 2
매일 풀실모 돌림 쌍사 포함
-
수능에서 이렇게 나오면 언매 100 표점 145이상 가능?
-
난 둘다 어려웠는데..
-
96점 (#30 시간부족, 답 도출 실패) 타임라인 (누적 소요시간) 1~10번,...
-
28,30 겉보기 난이도는 낮은데 안풀ㄹ..... 내시간
-
10덮 난이도 3
국 수 화1 생1 다 매우 어려웠음
-
11덮 언제지 2
이새낀 ㄹㅇ 잡아족쳐야겟음
-
10덮 92 68 95 47 50인데 연고대 가능? 1
언매 생지인데ㅋ
-
수험생 빙의함 어디함 가보자고.
-
더프 수령해서 보고와야지
-
10덮 후기 2
97 96 1(딱 90) 44 32 후기 국어랑 수학은 평범했다 국어는 마지막...
-
갈레온 특) 2
해리포터 덕후들은 볼때마다 고블린 생각남
-
문제 누가 내는지 알아서 욕도 못하겠고 그냥 음 ~ ㅎㅎ........ 기출...
-
진짜 개어이없다 이게왜내시험지에서일어난일인가하늘이여
-
10더프 후기 3
화작 확통 영어 한국사 동사 세사 82 88 84 47 50 47 화작에서 8점...
첫번째 댓글의 주인공이 되어보세요.