amenable
게시글 주소: https://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 subsets $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를 선물하세요.
-
제 얘기입니다‘’
-
화력머임..
-
언확사탐 83 92 50 50 입니다
-
아니면 조금씩은 함?
-
만덕
-
25학년도 올해꺼 비닐도 안뜯은 새거 팝니다 두권에 38000에 팝니다 쪽지주세요 ㅎ
-
뭐임? 6모는 도대체 무슨 시험이었던 걸까…
-
요랬던거 씨퓨 깔끔히 닦고 쿨러랑 방열핀도 칫솔로 닦아줌 구리스 뿌직...
-
산 사람들 한테 들어보니까 다들 입을 모아서 좋다고 하네..
-
룰루하면서 풀면 맞추는것도 시간온 하는순간 못푸네
-
생윤 5
현대윤리의문제에 대한 접근 중에 서양쪽하고있는데 생윤에서 이거 몇번째로 어려운...
-
(오후) 인생 왜이러지 밤에 잠을 못 잠
-
뉴런 전에는 뭐함? 뉴런하면서랑 하고나서도 뭐했는지알려주셈 ㄱㄱ
-
[단독]국내 입항한 美 항모 드론 날려 촬영한 중국인 입건 0
한국과 미국, 일본의 합동 군사훈련을 위해 국내 입항한 미국 항공모함을 무단 촬영한...
-
중3 내내 학교 쌤들한테 고1 내신 50% 고2 내신 40%라고 피딱지 앉게...
-
군수생인데 휴가때 나가려구요
-
오늘은 이짤로 하루를 표현할래요 ㅋㅋㅋ ㅠㅠ 1] 아침부터 무게감 있는 번역이 와서...
-
5년간 기업이 1000개나 떠나고 젊은 사람은 다 빠져나가고 지금 오르비친구들...
-
타자마자 멈춰잇는 사람 진짜 뭐하는 새낀지 모르겠음 뒤에 사람 있는데 왜 멈춰서는 거지 ㅅㅂ
-
갑자기 6모 이후로 글이 안읽히는데 왜이럴까요 6모때 백분위 98 1등급 나왔는데...
-
7월22일~7월23일차꺼 오늘은 일찍 쉬어야지..
-
왜 이렇게 문제가 친숙하지
-
서울대 의예과 지균 mmi 어떻게 준비해야하나요? 수능 전에 학원을 다녀야할까요?
-
3복대립 에서 일반 (1염색체는 AaBbDd 나머지는 무의미) 일 때는 1염색체에서...
-
러셀에서 더프 안보고 이퀄본다는데 이걸 볼지 걍 집에서 공부할지...
-
군수로 연고대 공대나 성한 높공 생각중인데 추천하시나요?(성대는 집에서 15분...
-
7투스 사문 3
47점.. 갠적으로 17번 문제 좋았던 것 같네요… 틀렸지만 ㅠㅠㅠ 다들 어떠셨나용??
-
에피(진) 6
아직 1달남았군
-
빨리 문제 풀어야 되는데 초딩이라 오래 남기기 좀 그런데..
-
요즘 전담 길빵 왤케 많아짐;;; 흡연구역에서 피라거 ㅡㅡTt
-
이정도면 무...난?
-
공부의욕 ㅈ되네 다뒤졌다
-
행정고시 번외편 24
행시를 꿈꾸고 또 궁금해하는 친구들이 많아 거시적인 관점에서 소개해보려합니다...
-
ㄹㅈㄷ공하싫 11
-
히익 말도안돼
-
저렴한 인강 추천 10
흙수저 집안인데 수 하 개념이랑 수1 선행 인강으로 할라는데 부모님이 이미 스카...
-
군대 재검 10
금요일에 재검인데 수능공부가 원인이라고 하면 좀 그럴까요? 병명은 공황장애랑...
-
평백93이면 안되나요?
-
유난히 타과목보다 수학잘하면 멋있는데 왜그럼지 모르겠음
-
더프 성적표 0
수령 기간 지나서 못 받으러 가면 어케 되나요..
-
서울대 첨단융합학부만 들어봤을텐데 연세대 첨단융합공학부는 먼가 싶으시죠? 이번...
-
이거 혹시 저만 그런가요? 실모 풀고 한 하루 이틀 이따가 오답하려고 피면 22...
-
개념원리 문젠데 답지 풀이가 맘에 안들어서 좀 깔끔하게 풀 수 없나? 14번
-
8
-
귀여워 귀여워 1
웃을때 귀여워
-
30렙 속도 2
오르비 별로안하는데 왜벌써 30렙인거에요??
-
7투스 물리 5
물리 푸신분없나? 물리 어땠음
-
김승리샘 언매 개념 강의 노베가 들을수있나요? 중학교 문법도 모르는데요;;;
-
올해 6평이랑 비교했을 때
첫번째 댓글의 주인공이 되어보세요.