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를 선물하세요.
-
소통해요~ 12
-
21점 나왔어요 ㄷㄷㄷㄷ
-
정말..타고나야되는부분같아요 수험생활은 고난의연속일뿐인데 묵묵히 꾸준히 이게...
-
10년전 선배들때 원래 탐구는 여름부터 시작이 국룰이었음 11
근데 문제는 정치인들이 아직도 그 기준으로 생각한다는거임;
-
수학 강기원T 서바이벌 정규반 자료들 +드릴 or 4규 시즌2+사설 모의고사들 국어...
-
전교과 1점 중후반, 국영수과 1점 초중반/성적 3년 간 우상향 생기부 수준은 우수...
-
④번 선지 정답이네? 선생님들...심지어 중론? 9모가 여러명 똥꼬쇼하게 만드네...
-
제 과외생인데 자이스토리로 기출 두바퀴 돌렸습니다... 두바퀴 돌렸는데 못푸는...
-
6평 언매 95 이번 9평 100인데 지금은 ebs연계공부만 하고 있거든요?...
-
ㅇㄷㄴㅂㅌ
-
가격은 대충 회당 4500원? (수요있으면 3000원?) 보니까 고3이 자습시간에...
-
순수하게 궁금해서 물어봄..
-
고2돼서 수학 2등급 한번 맞아보는게 목표였거든요 1학년때는 막 5등급 맞을정도로...
-
수완 수능3점테스트인가 거기에 19번이랑 거의 똑같은 문제 있네ㄷㄷ
-
수학 파이널 강좌같은데 듣는게 도움이 될까요? 이런 파이널강좌를 들어본적이 없어서...
-
물2공부는 1
일반물리학으로 대체
-
물2컨 샀다리 4
기범비급,일당백,두날개 샀다 배기범모까지 살려했는데 강좌강매더라구요......
-
국어 2점 하나 틀린것도 그렇고 확통 14 21은 뻔한건데 왜 현장에서 안보였으며...
-
지금 휴학하고 참전할려고 합니다 성적은 다 필요없습니다 제 심장이 반수를 시킵니다...
-
제 주사가 5
필름끊길때까지 마시고 아무말하는거래요
-
D-69 1
-
다른 사람들이 제안하면 다 수락하고 거절 잘 못하는 타입 항상 친절하고 웃상에 다정다감
-
마지막 시즌이 20만원?이라 한 것 같은데...
-
에타에 가서 몸평받으면 구리다고 욕 먹음 ㄹㅇ임
-
100만덕 이상 오르비언이 많을까요?
-
아수라 개강 전까지 KBS 남은거 다 듣기 + 중요도높은거 복습 빌런즈 완강...
-
25 9월 '평가원' 모의고사입니다. 개인적으로 평가원 시험지에 대해 뭐라하는 걸...
-
6모 55544부터 시작해서 7모 35511 9모 24223인데 7모 9모 다...
-
국문과 과방 와이파이 끊어라. 반갑습니다, 또왔습니다 팀 쿠클 국어 연구소입니다....
-
아쉬워요..
-
제곧내
-
살려주세요 마라탕 삼단계 9시 반쯤 먹고 배아프고 삐질삐질 똥마려운데 똥은...
-
ㅇㅈ 20
-
ㅇㅈ 20초삭 10
인증은 너굴맨이 검열했우니 안심하라구!
-
재수 서강 vs 사수 설대
-
다시해야지
-
로고스 인문논술 0
쌤 추천해주세요 내년부터 갈 것 같아요
-
밤샘on 1
수면패턴 정상화를 위해서...
-
먼저 열어주면 저도 따라할께요
-
9모 좆도 의미없지만 일단 미적 96이긴한데..그냥 뉴런 볼 시간에 문제나 많이 풀까요
-
진짜 체감상 개어려웠어서 등급컷 개낮을줄 알았는데...
-
이거 난이도 어떤건지 아시는분
-
ㅁ 6
ㅇ
-
짧다 라고하면 zarb da라고 발음해요..
-
ㅈㄱㄴ
-
하,, 지금 스카에 볼펜던지면서 필기하는색히있음,,,, 9
막 이어폰끼고 강의들으면서 팬 빨강 검정 파랑 ㅈㄴ 바꿔가면서 폭풍 필기하는...
-
넛지도 그렇고 힐빌리의노래도 그렇고 형편 좀 안좋은 집이어도 대학을 다니려면...
-
그게 나야 바 둠바 두비두밥~ ^^
-
난이도 미쳤네요 ㄷㄷ
첫번째 댓글의 주인공이 되어보세요.