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를 선물하세요.
-
2시간만 0
자까.
-
우리사랑했자나 1
제발 날울리지마
-
왠지 잠을 이룰 수가 없어 하아 옛날로 돌아가고싶다
-
영어단어장 앞에 중학 영단어 500보는데 90퍼가 모르는 단어라서 너무 하기 싫어...
-
댓글없는 공부조언 글에 어지간하면 대답할려고 하는데 본인생각에 본인대학도 별룬데...
-
정법을 많이 들으시는 것 같은데 사문은 글이 별로 없네요 ㅠ
-
가슴에 남아 떠나지도 못한채 또 길을 멈추네
-
하루만 슈냥과 0
호캉스하고싶다. ㅎ
-
세지vs물리 3
반수준비하고 있고 작년에 물리 수능 봤을때3등급 나왔었습니다. 세계지리는 단 한번도...
-
ㅠ흠냐뇨이
-
7모 미적분 백분위95이고 6모는 백분위 86이에요 실모같은거 풀면 항상 틀리는...
-
오늘확통ㅈㄴ틀림 0
자살할뻔 ㅇㅇ
-
그냥 새야지..
-
무잔이다!! 4
녀석은 목을 베어도 죽지 않아!!
-
인문 예술사회 과학
-
갑자기 타임어택에 대한 부담감이 너무 커진거같아요… 생윤은 너무 좋은데 사문은...
-
고2 정시러 노베 국어 공부 어떻게 해야할까요?.. 1
진짜 국어 수업때 지적 안당하려고 눈만뜨고 딴곳 쳐다보기만한 수준이라 뭐부터...
-
나도 의사하고싶아
-
다시 해보자. 2
렛츠고 예아
-
방법없남 ㅠㅠ
-
수학 질문 5
19학년도 6모 21번 나 조건에서 x = 파이 미분가능성 판단 이렇게 해도 됨?
-
뉴런 좋은가여? 3
최근 3개년 기출 + 학원 교재 풀고 있는데 뉴런도 같이 들으면 도움 많이 될까요?...
-
할 짓 없어서 초딩 때 살던 동네 로드뷰로 10년 전 맞춰서 보는데 그때 기억이...
-
승리쌤 한수 주간지는 좀 빼줘라 매월매주승리 풀면 됐잖아..
-
이감 오프 시즌5 (응시반) 상상 오프 시즌4 (학원 택배) 한수 오프 파이널...
-
중학도형특강 0
정승제 선생님의 중학도형특강에서 교재가 필요한가요?
-
이거 하는데도 3~4시간 걸리거든요... 수2랑 미적은 어느 새월에 할까 싶어서...
-
ㅂㅅㅂㅅㅂㅅㅂㅅㅂㅅ
-
비 안온다 돼있어도 날씨예보가 아예 무용지물이라 우산이 필수템됨
-
연대 공대 다니는 사람입니다. 수능 본지는 3년 정도 지나서 좀 괴리가 있습니다....
-
현 고2 정시파이터입니다. 국어 공부를 제대로 해본 적이 없습니다.. 국어 모고는...
-
1. 강의만 보고 따로 지문 뽑아서 써도 되나요? 2. 강의를 한번 보고 그이후...
-
이거 재밌습니다 2
제목에 이끌려 잠시 읽어봤는데 몰입도가 장난아닙니다. 작가님 필력에 감탄하고 갑니다.
-
ㅈㄱㄴ
-
어 뭐하지
-
이거 정보량이 어마어마 하던데 배경지식 쌓는데 나무위키 넘는 거 없을 듯
-
오야스미 2
네루!
-
요즘 근데 암 가족력 없다고 할만한 케이스는 드물지 않음? 0
걍 친척이든 윗세대든 암 걸린 사람 웬만하면 한 두명은 있던데
-
백분위 95.96요 언저리입니다ㅠㅠ 서바는 단과 다니고있어요
-
지금 메가 독학 다니는 중인데 꾸르륵 소리가 너무 스트레스라서ㅜㅜ 1인실 괜찮은...
-
좀 알려줘라 2
드디어 김승리 대기 풀려서 가는데 수업 뭐함?앱스키마만 하려나?수업방식 그런거랑...
-
둘 다 붙으면 어디감?
-
특별히 좋아하는게 없어서 힘들더라도 돈 많이버는 직종으로 가고싶습니다 회사 일도...
-
서킷 15회차 넘어가니까 전보다 확실히 문제난도 높아지는 느낌드는데 평가원 시험...
-
공통 12번 정도?의 난이도 되는 것 같습니다. 사관학교 문제가 재밌어서 그런...
-
얘도 반수였구나
-
문제는 다 작년이나 재작년 컨텐츠인데 그냥 솔직히 이거 풀어도 되지않냐….?
-
원래 현강가려했는데 돈 이슈때메 못가게돼서 1일 1실모+n제or 1일 2실모...
첫번째 댓글의 주인공이 되어보세요.