amenable
게시글 주소: https://iu.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를 선물하세요.
-
“유전자녀 무전무자녀”…출생아 절반 이상이 ‘고소득층’ 1
“중산층은 출산 주저, 저소득층은 포기 시작” 대한민국 합계출산율이 0.78명으로...
-
구분구적법 적분퍼즐 수열의 극한이 약점이얐는데 오늘 설맞이 mx 원트에 다 뚫어버림...
-
푸는게좋겠죠?? 예체능이라 하루에 공부 가능시간이 아무리 자는시간 줄인다고해도...
-
대체 몇십번이나 반복하는 것인지
-
오늘 mx랑 ex만 조졌는데 하루종일 설맞이 찬양만함
-
국어 화작 77 사문 41 생윤은 난이도 어땟나요 50점이긴한데 체감이 안돼서..
-
6시 수업 가야되는데 그대로 대치역에 갇혀버렸네
-
공부시간 질문 0
전과목 노베기준 국영수 공부시간을 어떻게 잡아야될까요 수학을 개념먼저 훑고 싶어서...
-
한 캔만 마시고 9
들어가자
-
1회 풀어보신 분들께 간단한 의견 좀 받고 싶습니다..!! 혹시 마음에 들었던...
-
점점 변해가는게 너무 슬프다 사소한 일에도 너무 화가나고 눈물이나 소해하면 괜찮아지겠지
-
국어 1컷 80초중반은 너무낮은거아녀?
-
대체서식 이거 꼭 써야하나요? 수능 성적에 내신 안 보는 전형으로 지원하는 건 아예...
-
눌러주소
-
몇년만에 수능 보는거라 사전접수가 있는거 알지도 못한상태로 일단 학교에 전화한후에...
-
f (나쁜 행동을 한다) = 혼난다 남자들은 '나쁜 행동을 한다' 보다 ' f( )...
-
300을 언제 챠우는데..
-
근데 어머니께서 6시쯤에 밥먹고 나가셔야 한다길래 실모를 안 풀기로 했습니다.
-
그러니까 수특 수완 관련된 연계문제 같은거 푸는 문제집 말고 아예 고전시가만 따로...
-
https://www.orbi.kr/00061476574/ 근황 아시는 분 있어요?
-
막 세특별로라고 깎는거 아니겠지
-
요?
-
적당히 어려워야지 시간관리가 아예 다를정도로 어려울 이유가 있는지 궁금 강k조져서 열받은거 맞음
-
난 알 수 없는 예감에 조금씩 빠져들고 있을 때쯤 넌 나보다 내 친구에게 관심을 더...
-
수학은 6모보다 21점을 떨구네 하 그리고 권용기쌤 들었더니 약자만 기억나서 23점 나옴 헤헤
-
잘한다 2
잘한다
-
내년 초 한국수의외과전문의협회 창립하고, 전공의 양성에 나설 예정이라는데 어떻게...
-
지린다진짜
-
몬스터 사러 나가야지 27
수학 풀면서 몬스터 마시는 거 루틴 돼버럈는데 수능 때 캔 말고 텀블러에 담아서...
-
올해건 당연 살거고 작년꺼 중고 살말 샀다가 안풀고 남은 회차 파는거
-
ㅇㅈ 7
-
사고임.? 개어렵네 확통알면알수록 기하가 진쯔 개꿀인거같은데 ㅋㅋㅌ
-
N제를 벅벅 풀고 싶다 오렌지다
-
졸려 2
자면 안 돼
-
왜냐면 이간질이 다마때 금기 J 42시간을 기다림이 제 게세존나 대리가챠를...
-
주변에 학교가 없어서 다 제가 다니는 학교에서만 보는데, 이러면 제2외국어 신청했을...
-
9모 전날 국수영탐탐 전부 모고 한번 벅벅 해보려는데 어떻게 생각하시나요
-
학생들 개학해서 과외앱들이 과외구함으로 불타고 있습니다. 이제는 잡을 수 있습니다....
-
할일은 많고 6
시간은 없고
-
( 안철수, "증원은 1년 유예,,, 尹, 의료붕괴만은 막아야" ) 4
https://www.dt.co.kr/contents.html?article_no=2...
-
안성탕면 안 먹어봄
-
( 의료붕괴음, 여권"국민 죽고 사는 문제, 윤석열 결단해야" ) 0
https://news.nate.com/view/20240825n09383
-
22, 30빼고는 다 풀어놓고 3, 4, 9번 틀렸네ㅜ
-
일부러 맛없게 찍었어요
-
1. 전문의중심병원만들겠다 ->전공의가 사라져서 전문의중심병원되었음 2.고령화와...
첫번째 댓글의 주인공이 되어보세요.