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를 선물하세요.
-
왜 구간의 등호가 사라질까
-
이번 9모 미적 그래도 난이도 그렇게 쉬운 건 어니지 않냐? 9
공통이 개 ㅂㅅ이었지 미적은 6모랑 난도 큰 차이는 없는 거 같은데 걍 6모보다...
-
12/4=4 라 함ㅋㅋㅋㅋㅋ하….
-
준킬러가 ㅈㄴ 쉬워서 등급컷 ㅇㅈㄹ난거아님? 보니까 성적분포가 88-92 이쪽에...
-
고2이고 내년 수능 치려는데 자퇴하면 불이익이 엄청 크다길래 불이익 하나때문에 계속...
-
나 주식 고수인데 나 믿고 전재산 투자 ㄱㄱㄱ 무조건 성공임 실패없음 ㄱㄱㄱㄱ...
-
김상훈T 파이널 이감오프 구매하라고 문자와서 확인해봤더니 온라인 구매창엔...
-
고2 9모 수학 6
수학 69 2등급일지 3등급일지 모름.. 근데 걍 항상 맞던 점수대가...
-
죄다 수특같던데 수완 있었나요
-
2026부터는 의대 정원 조정될것 같은데 의대희망자부터 서울대 희망자들까지 연쇄적으로 ㄷㄷㄷ
-
8덮 국수 2
만 보고 나옴 개인사유로
-
진짜일까
-
몸소 실천중
-
힘들다 집중 ㅈㄴ안됨...
-
ebsi 오답률 보면 오답률 56퍼가 max임 이거 내가 ㄱㅁ이나 바이럴하려는게...
-
풀면서 감탄했음
-
현재 고2 내신으로 수1,2 다 1등함 작수 공통 40분 22번 틀 고2모고는...
-
불문학과같은데도..?
-
오 수능 원서비 3
아빠가 주신다고 했어요 ㄴㅇㅅ
-
황밸인듯 하여 올립니다
-
뭐고 어제부턴가 1
씨발 뭐 가해자 측 돈 받고 지령받았나? 요즘 씨발 뉴스 유튭도 보는 애들이나...
-
미대준비중임
-
여야, 의정협의체 동의…당정, 2026 의대증원폭 조정 시사(종합) 1
추경호 "원점서 적정 증원규모 찾자", 한동훈 '여야의정 협의체' 제안 대통령실...
-
다 맞긴 했는데 24번에 2번, 31번에 5번 왜 틀렸는지 누가 봐도 납득할 수...
-
다른 문제들도 여느 때와 마찬가지로 이야기들이 많지만, 이번 9월 모의평가 사회...
-
갸루코인탄다
-
9모 문학에서 연계된 ‘광한루기’ ’북방에서‘ ‘날개또는수갑’ ’호아곡‘ ebs...
-
대기가 긴가? 올해 반수생이 많아서 안 나는 거 아니야?
-
지구 개ㅂㅅ짓함 4
~가 ~보다 낮다/높다 이거 반대로본거만 3문제네 이것도 내 점수고 실력이어서...
-
뭐가 나올까요. 작년에는 고전국어였으니까 안나올테도 올해 9평은 품사통용...
-
푸바오 영화 2
할아버지 따라오너라
-
결과론적으로 국수 성적 기준 연고이상: 잔류자 이득, 런 한사람 손해 연고이하:...
-
이거 왜 4번은 답이 아닌거임요?
-
근본적인 실력 늘리는 수밖에 없을까요?ㅠㅠ 혹시 실수 잡으셨던 방법 있으시면...
-
[서울의대생 학습법 칼럼 1] 뇌가 피곤해야 공부다. 1
(제가 공부해온 방법, 제시할 수 있는 방법 등등을 전달하기 전에, 당연하지만...
-
아오 이 고인물들아 12
수능 좀 그만 봐
-
근데 다시봐도 비유전 이거 2개는 그대로 틀릴듯 ㅇㅇ 지구는…. 겁나 어려웠는데 왜...
-
소신발언 1
시험지 보고 물1 1컷 50 백분위 98 화1 1컷 46 or 백분위 터진 45...
-
수험생때 국어에 시간 젤 많이 투자했는데 국어를 젤 못봤어요.. 다들 어케 공부하셨나요? 궁금합니다
-
제주의 3
작년 교과 70%컷이 1.04던데 올해 더 올라가려나… 제발 올해 3합3 맞추자
-
ㅇㅅㅇ?!
-
마지막날에 0
사탐런 하신 분? 축하해요 과탐 3-4이신 분들은 사탐1은 아니더라도 2는 공부 투자하시면 갑니다~
-
수능 친지 좀 되긴 했어요 물론 6평 1이었는데 1컷 간당이었음 수능 직전 10모는...
-
https://n.news.naver.com/article/448/0000475807...
-
이거 (다)판별 못하지 않나요?? 근거
-
임정환 현강 0
현강듣는다 vs 인강으로도 상관없다 돈 아깝다
-
논술적중 0
작년파이널다시푸는데 부분적으로 적중은 개많네ㄷㄷ
-
흰색이었음
첫번째 댓글의 주인공이 되어보세요.