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를 선물하세요.
-
성실성 ㅁㅌㅊ? 근데 하루 3장인데 가끔씩 4장인 날은 짜증났음 ㄹㅇ
-
뒤늦은 9모 성적 인증 21
근본이 허수샛기라서 아직도 노답임.. 3년 해도 태생은 못고치나보다...
-
필요한 책이 품절되었는데 번장에도 없어서요
-
어삼쉬사플러스 답지 분리 안되나요?
-
김승리 아수라 1
김승리 KBS만 듣고 비문학은 정석민 들었는데 올오카 앱스키마 스킵하고 아수라 바로...
-
6모 낮2, 9모 6번...21번 틀려서 낮1인데 항상 사설모고보면 낮은2등급...
-
고2붕이 0
국어 2받아서 행복합니다 ^~^
-
현우진 뉴런 0
수1 고3 자이 풀고 수분감 건너뛰고 뉴런ㄴ들어도되나요
-
이미지T모고랑 킬링캠프를 사서 풀고 있는데 다 너무 너무 어렵더라구요 다 60점대...
-
이거 피뎊 파일인데 페이지 삭제어떻게하나용 ㅠㅠ내공3000
-
다음과 같이 생각했는데 틀린부분이 뭘까용
-
?…..
-
다들 23 24 31에 의문을 가지길래 뭔가 했음
-
9평 언매98이고 겨울부터 지금까지 국어 인강은 일클래스 독서만 초반 듣고 더...
-
대학에서 갈켜주는것만 떠먹어도 높은 사회적 지위와 연봉이 보장되고 심지어 졸업을...
-
나 지금까지 듣기할땐 듣기만 하고 듣기 다 끝나면 독해 들어갔고 9평도 그렇게했는데...
-
안녕히 주무세요 3
나를 보면서 우월감을 느끼고 행복할 수 있다면 그것 또한 좋은 것이 아닐까요,, ,...
-
ㅠㅠ 해설지가없어서
-
9모도 ㅅㅂ 핵물에 성적도 뽀록인것같음 아니 모의고사를 볼때머다 커하를찍으면......
-
실모가 ㄹㅇ 정제되고 퀄이 좋은데 돈만 많으면 이렇게 하는 게 엔제벅벅보다 효과 좋?
-
회피 ㅁㅌㅊ. 15
노래방 갔는데 일반인 친구 따돌리고 혼자서 보카로 곡 해치우고 옴 로링걸ㄹ와이츠마데모~~
-
결제한지 30분 됐는데 아직 없네요
-
문학 차라리 저렇게 선지 애매하게 해서 어렵게 내는게 나음 2
아님 순수 논리로 거르려고 잊잊잊 할매턴 이딴거 나옴
-
설맞이 이상적 0
이상적으로 한권당 몇일정도 잡고 풀면 좋을까요??
-
내 본신의 힘을 다 끌어와도 미적 30번 못풀어서 울었어 8
으아아아ㅓㅇㅇ
-
언매 파이널 0
어떤게 더좋을까요 추천 부탁드립니다…
-
일본어도 걍 단어 벅벅 외우면 등급올라감?
-
나만그럼??
-
하루에 5문제+해강 듣기로 계획해서 오늘부터 실행중인데 해강이 ㄹㅇ 지림문제도 좋고
-
책으로 나오면 당장 사서 풀텐데
-
국어만 높4~3 뜨고 수학이랑 영어는 1번부터 모?르겠다 사탐은 그래도 한국어라...
-
피셋 푼다면 0
최신 10개년 vs 피셋 초반 10개년
-
너는 그 어디선가 잘 지내고있을까 가끔 생각나 네가 보고싶어
-
이제 가을이구나
-
이제 슬슬 선선해지니 뭔가 기분이 좋으면서도 너무 빨리 지나간 것 같은 여름 때문에...
-
밤 새거나 추석때 안내려가니깐 날 하루 잡아서 사탐만 봐야할듯..
-
수12 미적 특히 수2중에 3,4차 그래프 개형이나 계산법 관련해서 획기적인...
-
인서울 중상위 대학 중에서 수리논술 그나마 가장 쉽게 내는 곳이 동국대라고 들었는데...
-
정법 2
노베인데 수능 때까지 2등급 이상 현실적으로 무리일까용? 이미 접수 끝난 상태라 뭐...
-
이게 논란이 되는 이유가 ㄴ과 ㄹ이 상충되기 때문이잖아요? 근데 ㄹ을 슬픔이 있을...
-
너무 우울해지면 그냥 쉬는게 낫겠죠 지금 약 복용한지 4개월 정도 됀거 같습니다
-
개고생해서 공군 행정병 뚫었는데 일도 많고 맞선임이 뭐만 하면 미운털박아서...
-
담닉은 3
덕코 천개주면 안 잡아먹지로 바꿀까요?
-
미적분 5
미분법중에 그래프그리는 요파트가 ㄹㅇ 1도 이해안가고 모르겠는데 어떡해야할까요? ㅠㅠ
-
기만좀 할게요 9
2연석ㅎㅎ
-
수2커넥션 수1아이디어까지 했는데 이다음에 뭘해야할까요 0
공통에선 2122 틀렸어요 수2 n제 수1 기출하려했는데 수1기생집이...
-
참고로 수특도 안품ㅋㅋㅋ 하… 다음주부터 풀어야겠다
-
어그로 기사 너무 많은데 독자들도 영양가 없는 기사에 대해서는 신고할 수 있게 해야 되는거 아닌가
-
수능 대비에 도움 많이되나요?
-
이번에 82점 2뜬거면 그냥 유기할까요? 수능 목표 3임
첫번째 댓글의 주인공이 되어보세요.