Geometry of being 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를 선물하세요.
-
다른건 없구요, 실모는 다양하게 풀어보시는 것이 좋습니다. 국어, 수학, 과탐,...
-
아직 안 나왔죠? 정파로써 ㄹㅇ 증명해야하는데 미치겠네 ㅋㅋㅋ 10모치고 멘탈 털털...
-
국어점수보존법칙 0
국어 모의고사 성적이 시험이 어렵든 쉽든 79~83인데, 뭐가 문제일까요?...
-
이매진 핫백 0
연계공부 거의 못해가지고… 다 하기엔 시간이 없을 거 같은데 그냥 이매진 핫백에...
-
생윤의 고난도 선지는 일대일 대응성을 묻는 것이라고 할 수 있다. 예를 들어 A는...
-
. 4
-
작년에 안봤는데 난
-
고2 모고 기준으로 4등급 나옵니다 대부분 이명학이나 션티를 들으라고 하는데 어떤...
-
수학 영어 탐구만 풀까… 음
-
내 인생 어캄?
-
진짜 열심히 해야..
-
그 대회 자체가 구라더라 ㅋㅋ
-
너무 많음? 오답이나 애매한 선지 체크까지하면 한 세트에 1시간 30분쯤 걸림
-
수능 최저 5
국어 수학 중에 뭐가 더 수능날에 안정3 만들기쉬울까요?? 둘다 낮3~높4진동함
-
아무 오르비언 붙잡고 인생 체인지 하고 싶음
-
요즘 재미로 모고 문제 만들고 있는데 컴퓨터로 도형 그리려면 어떤 프로그램이나...
-
질문던져주세요 19
-
그냥 시장에서 유명한 엔제는 다 거기서 거기죠. . ?
-
아까 답답한거 봤는데.. 아니다 그냥 말안 해줄란 다
-
4점 문제 풀 때 맨 처음 뱡향잡는건 잘하는데 중간 과정에서 한 두번씩 막혀서...
-
ㄹㅇ
-
오늘할거 2
아수라 복습+ 총정리 Breakthrough 비율관계 수학 기출총정리 영단어외우기...
-
이제4주차 들가는데 앱스키마 다 끝내고가느라 일주일이 밀려서그런데 7주차까지만들어도되나요??
-
이건 마치.. 2
무이치로가 된 기분이랄까나
-
언매 94 미적 76 영어 2 화학 77 생명 89 다 백분위임 문과도 ㄱㅊ음 사학과같은곳도 좋음
-
국어 치고 답 세보는데 5번이 겁나 많이 나왔길래 애들한테 얘기하니까 애들이 5번...
-
수학최저... 2
6모3등급 9모 확통88(백분위89에 3등급) 10모 확통84인데 수능때3기대해볼만하겠죠.?
-
고2 10모 수학 73 인데 현실적으로 간당간당 2가능할까요
-
리트 지문 버리고 이매진 핫100 사서 풀까... 하는데 그냥 총정리과제 쭉...
-
ㅅㅂ 못 참겠다
-
왜 난... 4
1592년
-
2021학년도..?
-
수학 높3으로 뚫리나여? 9모 국어가 만점이긴했는데 수학땜에ㅠ 탐구 생윤 사문...
-
근데 10모면 7
고2들 수2 어디까지나옴?
-
한국인 중에선 두 번째로, 그리고 문학상으론 첫 번째로, 그것도 아시아 첫...
-
심심한데 질문해주실분 20
아무거나 … 없으면 쪽팔려서 글삭튀할거임
-
너네가반수성공하고자퇴하면어떻게할건데 ㅋㅋ 너네가 뭘 할 수 있는데
-
진짜 백날 문제 풀고 해도 평가원 2등급에서 오르지를 않는데 양치기로 승부보면...
-
노래 추천좀 9
네
-
** 저도 학생인지라.. 풀이가 이상하거나 틀릴 수 있습니다. 이 점 참고...
-
Quel 추천 받았는데 더 있나요?
-
국어 52 4? 5? 등급 수학 24 6등급 영 77 3등급 사 42 3등급 과...
-
시간이 없어서 일단 둘중 하나만 봐야 할 것 같습니다 독서는 저에게 달린 문제라...
-
질문 안달아주면 삭튀할거임
-
작년이 유독 퍼센트가 낮게 잡힌 거 같은데 6-7프로는 되나여
-
ㅅㅂ.
-
하 기만러들 0
왤케 짜증나지? 진심으로
첫번째 댓글의 주인공이 되어보세요.