amenable
게시글 주소: https://ys.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를 선물하세요.
-
거의 새 책인데
-
기쀼당
-
최저 0
3모부터 수학은 33333 국어는 44433 안정 3에서 2까지는 맞아야 할 것...
-
수학 전국 서바 푸는데 점수가 너무 안 나오네요..
-
일반화의 오류는 있지만 사실 가장 빠른 방법임. 강사도 피해야하고, 학생도 피해야하는 학원이라 봄
-
서울에 친구 0명이고 아싸성향이라 상관없긴한데 부모님이랑 많은 시간을...
-
부산대의대 1
3합4에 과탐은 1,2면 2취급인데 최저 많이 맞출까???? 지역인재임
-
올해는 ㄹㅇ 했어야 되는거 같은데 시간단축 <- 이 사기광고에 당했다
-
정신과 검진기록 같은거 하나도 없는 사람이 가면 대략 얼마정도 나오나요?
-
강의 잘하는 강사가 1타 먹으란 보장이 없음 ㄹㅇ ㅋㅋㅋ
-
95일차
-
화학러 컴온! 0
화학 고난도 n제 추천 바랍니다(단원별 n제) 9모는 50인데 16번 보고 싸함을...
-
잇올에서 구매할려해도 2회차 까지밖에 없는데 어캐 구하나요 ㅠㅠ? 10회차 다 풀고...
-
순서상으로 어삼쉬사가 먼저 맞나요? (보통 기출다음 n제 아닌가..) 어삼쉬사도...
-
확통 메가스터디로도 이해안갔던거있는데 ebs 확통개념 들으니까좀 알거같던데
-
난 이미 목표하는 대학을 갔겠지? 시발
-
사주 0
메디컬 쪽에서 일해야 하는 사주 있으신 분 중에 메디컬 말고 그냥 다른 거 꿈꾸시는...
-
물로켓국어의 유일한 순기능: 무조건 수능 3컷 예약했다고 체념은 안하게 해줌
-
모의지원 돌려보는데 가산점 5점 파워가 말도 안되네요 내년엔 투투로 간다
-
기하 1컷 이거 오타라고 봐도 되겠죠?
-
최저를 위해 달려가고 있는 대학생1입니다. 수능공부 시작한지 일주일도 안됐는데...
-
구글 광고 띄우기멈처
-
영어는 유치원때부터 오랫동안 공부했고 고3 5모때까지는 항상 1~2개 틀리거나...
-
카이스트 학추 쓰려고 하는 현역 고3입니다. 과기원은 다른 대학과는 다르게 정시...
-
계속 해도 되는거 맞나요 이거 푼 문제는 다 맞추긴하는데 그 외 안풀리는건 접근하기조차 어려움..
-
궁금 설의는 사실상 원원으로는 불가능일거 같은데 약은 애매하다 느껴서
-
히히 기쁘당 4
문학 푸는 시간이 점점 줄어들고있다는
-
Keep that node 다음 기약 Drop wet soul 슬픈 생각 umm...
-
이젠 걍 돈내놓으라고하네 ㅋㅋㅋ
-
의대생이었으면 안쪽팔렸을텐데
-
악 성형 싫어했는데…..
-
나머지를 지1 하는게 맞나 커뮤에서 설대갈거면 투과목하라고 계속 그래서 고민되네...
-
바선생 우승했으면 좋겠어
-
뭔가 한계치가 정해져있고 그걸 뚫기는 어려운 느낌인데 작년이랑 올해랑 국어 실력 차이가 없는거같음
-
제카 폼 진짜 미친 거 같은데
-
수학 풀때 어쩔수없이 사각사각소리 들려서 주변에 피해주는거 같은데 어케함?
-
국 1.5 수 6 영 1.5 탐 2 60일 동안 하면 11111 맞는 거 ㅆㄱㄴ일...
-
지구 솔텍 0
이번 9모때 다른건 다 맞고 뒷페이지에서만 3개 틀렸는데요... 지금까지 지엽개념...
-
아수라 0
심찬우t 풀커리 수강생인데 당연히 방향성에는 동의하고 있고 꾸준히 해왔지만 9모때...
-
박광일 대인라 이미 결재햇는데 독서 승리쌤 아수라 듣고싶은데 패키지 사서 구주연마랑...
-
국어 브레텐우즈 어쩌고 지문이랑 오버슈팅 지문 같이 풀면서 궁금증입니다. 우리나라랑...
-
이번 지표보면 이미 할 사람들은 사탐런 충분히 많이 한거 같고 어차피 오르비 n수...
-
푸는 시간이 너무 부족해서 1일 1실모로 시간 연습 하려는데 괜찮을까요? 9모...
-
이감 6-1 1
쉬운편인가요? 수능 전날 잠 못잔컨셉으로 밤샌다음에 쳤는데 13 14 15 16...
-
이감? 상상? 바탕? 뭘 풀어야하죠
-
바이퍼 제카는 신이다 12
마지막 한타부터 미쳣다그냥...
-
근데 진짜 실력이 높아진다고 성적이 잘나오는게 아님 11
엔제에서 주구장창 봤던 문제들도 시험장만 가면 포기하게 되고 발상들도 하나도 안보임...
-
이게 뭐에요???????????????
-
아니 저걸 밀어????
첫번째 댓글의 주인공이 되어보세요.