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를 선물하세요.
-
42점 이 장벽을 넘는게 진짜 개빡셈
-
3주안에 1시간 10키로 목표 무조건 깨야지
-
살살 최대한 마이크로 나노단위로 미세한 컨트롤로 힘살짝 풀었다 줬다하면서...
-
너무어려워서 수학 유기하면 어떡하지 ㄷㄷ
-
내년에 사문세지로 1을 받아보겠읍니다 제가 실험맨이 될게요
-
리루므! 0
-
차단완료 6
넵
-
올해 수능 잘 보면 11
오르비에 하니프사 양산해야겠다
-
98 84 57 50 50 50 흐흐흐
-
나는 최대한 구할수 있는거 다 구했는데 구해놓은거 뭘 접근하던지간에 안 풀림...
-
국어1일1실모면 7
하루에 국어만 거의4시간은 한다는 거 아님? 연계복습에 연관기출까지 찾아서 풀고...
-
진짜모름
-
사탐런하는 이과 학업수준이 대체로 어떤지 모르겠는데 사문 생윤 이런거 작년이랑...
-
실모가 그렇게 많이 풀렸나..?.?
-
나도 그렇게 되고싶다는 생각을 자주 함
-
실모를 N제로 풀면 된다는 거지?? 난 실제로 앞 문제 귀찮으면 4점 주요문항이랑...
-
무조건 실모 풀고나서 비슷한 감각의 기출 찾아서 봐라
-
더프에서 나오는 등급컷이 찍맞도 포함한건지 아닌지 모르겠네여..전 집모밖에 안해봐서..
-
미지수가 2개 이상 되면 뭔가 불안해져요 다항함수 식 결정하는건 그나마 괜찮은데...
-
국어 쌩노베 7
국어 도대체 어캐 공부해야할지 모르겟습니다 형님들 4이상만 뜨면 좋겠는데 딱 4만...
-
백분위 82 ~ 84 라인 목표인데 가계도 비분리 다인자 버린다는 전제하에 개념형...
-
실모 하방이 올라가는듯? 주2회 푼뒤로 이감 85 밑으로 안가봄
-
모의고사 조져놔도 공부 전혀 안해도 수능가면 귀신같이 1등급 쟁취ㅎㅎ
-
성지) 올해 수능 예상 10
국어 23,24 사이 문학은 24 보다 쉽지만 비문학은 좀더 어려울듯 수학...
-
물론 국어 이감 상상 + 한수 or 바탕 or 강k 거의 국어 컨텐츠에만 50만 가까이 박은듯
-
와씨,, 어떻게 공부질문을 했는데 댓글이 아예없지,,, 6
뭐지,,, 나 뭐 잘못했나,,,
-
염소 누르면 들어가지는 이곳은 뭐하는곳임??? 좋아요가 많은글도아니고 뭐지,,,,...
-
생1 화1 3,4등급들이 지금 다 저거하는거자나 문과들은 하루짤리 윤리런하시길
-
오랜만 입니다 1
접수 하고 왔네요 전 9평 이후 다시 돌아올게요
-
수학 수특 1
스텝2 다 풀고 스텝3 3분의 1 정도 푸는 실력이면 대충 몇등급 정도 나오나요?
-
나만그런가
-
과4사1? 1
과탐 만년 4등급 출신인데 한 번 증명해볼게요
-
원래 유대종T들으면서 공부했는데 7모에 국어 5등급이 떠버려서 김승리 올오카로...
-
수능 국어 문학을 잘 보기 위해서 학생들이 경계해야 할 만한 부분은 무엇일까요 ?...
-
설마 다음 차례는 문과인가요? 헉… 본인이 문과출신이라 그건 아니려나
-
수학 이건 진짜 13
아니 정적분값이 0이다로 놓고 가려고 했는데 식이 왤케 복잡한거임
-
독서 문학은 시간안재고 충분히 고민하면서 풀었는데 화작도 시간 안재고 분석하듯이...
-
8덮 수학 2
등급컷 몇일거같아요?? 13까진 잘풀리다가 14에서 막혀서 멘붕와서 나락감..14...
-
거 중하위권 런칠거면 11
3까진 쉬운 투투 안올래?
-
아 0
지친다 저녁먹고 힘내자
-
수학 장난하냐
-
수능때 등급 어떻게 받을지 너무 궁금하네 과탐이든 사탐이든 잘할사람들은 굳이 서로...
-
첫장에 공자 두글자 보고 바로 덮은듯
-
왜 저는 더 열심히안하죠 계속 지쳐서 쳐지는듯
-
역사는 무서워서 다들 안건드네 역4과1 ㄷㄷ
-
쎈 담 고쟁이풀고 자이푸는게 맞나요 자이 고3임 수2
-
국어 읽는 실력 올랐다고 자만하여 평소연습한대로 읽지 않고 그냥 들이대면 안 될 거...
-
한시간 지났는데 못푼거 10개 있어서 조때따조때따 하면서 있었는데 어캐어캐 5개...
-
무보정,보정으로 몇정도 될까요 독서 32분 1틀 언매 12분 1틀 문학 36분...
첫번째 댓글의 주인공이 되어보세요.