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를 선물하세요.
-
목표는 건동홍이고 국숭 이상 뜨면 갈 생각입니다 (사실 인하대 붙여주면 갈 생각도...
-
님들같으면 좋은대학(님들한텐아닐수도잇깃지만…) 인문계학과 vs 아무대학 자연계학과…...
-
정병훈이 고2 모고 한시간동안 풀었다. ->고2 시험 어려웠다. 땅땅땅
-
응급의학전문의 출신 군의관도 "못하겠다"…응급실 파행 지속 3
의료계 "진료에 참여했다가 책임 져야 하는 상황 생길까 두려워 피해" 복지부 "현장...
-
9평대비는 좀 쉽긴함 확실히 시간도 10분넘게남아서 빠르게 다른걸로 넘어가야징
-
다자녀(였던것)
-
수시 얘기하다가 부모님이 경제적 여유가 안 돼서 인서울 대학은 못 보내준다고...
-
과는 둘다 컴공
-
미적만 있는 하프실모가 없길래 이해원 미적이랑 양승진 4코 시즌2,3푸려는데 어떰?
-
. 1
그냥 다 행복했으면 좋겠다 뭔가
-
로 가신분 있나요?? 영어 2일때 수탐탐 어느정도 맞으셨나요???
-
고1인데 에피 3
9모 성적 이 정도면 달 수 있나요
-
논술 0
가톨릭,아주대,경기대,단국대 정도만 확실하게 인문 논술로 쓰려고 하는데 내가...
-
올오카 완강하고 아수라 들을려고하는데 중간에 그래도 kbs나 앱스키마 들어야할것...
-
간단하게 설명하면 독서론 포함해서 22수능이나 2509나 24수능이나 풀이시간이...
-
안녕 하세요 이번 9월 모의고사 수학에서 82점 받앗어요 솔직히 공통이 쉬웠어서...
-
솔직히 과탐 컷이나 표본 그렇게까진 안망함 나도 그냥 근들갑 떠는거지 과탐 표본...
-
강k+ 화학 1
구매하려는데 퀄 어떤가요? OWL 시그모에 필적?
-
예열지문이 머죠? 사설 업체에서 따로 사야하나요?
-
기분이 미적할 기분이 아님 ㅜㅜㅜㅜ Day6개 남았는대 되려나
-
D-6 1
월요일 휴가 출발 일과끝 네이스
-
총정리과제 1
아수라랑 같이 나가는거죠?
-
번아웃인가요? 4
두달간 나름 정시공부를 열심히 했다고 생각했는데 겨우 고2 9모에서 털렸습니다....
-
국어 4
9모 화작 원점수 92 심찬우쌤 기테마 1.0까지 쭉 수강했는데 다음 커리로 기테마...
-
그거 하나 헷갈렸는데 마킹중에 5번이 하나도 없는걸 발견해서 그걸 5번으로 마킹했어야했는데
-
다만 차이점은 JK가 아닌 덜렁이라는것
-
올 입시가 역대급 꿀일수도 있겠네
-
화작 지문 보니까 언매 공부 마려웠음
-
ㅋㅋㅋㅋㅋ
-
내가 대체 왜 문학31을 틀린거지..... 쌤이 잊어버리랬는데 뇌에 각인됌 ㅜㅜㅋㅋㅋㅋ
-
오늘 집중겁나안된다 15
쉬엄쉬엄할까
-
화작 16분 독서론 4분 이랗게해서 0900까지 화작+독서론 끝내고 0925까지...
-
화작 실모 0
화작에 23분 꼬라박고 하나 틀렸는데 기출은 작념에 풀어봤었는데 너무 쉬웠던 거...
-
‘내가 혼자 못 다니겠다‘ 이런 의도가 아니라 그냥 좀 궁금해서..
-
역시 다시 봐도 재밌군뇨
-
나름 수능 1 가능성은 있겠죠 아휴…
-
학부 1학년 애들한테 쓸데없는 인문학 수업, 토론 수업 이딴것좀 안 시켰음 좋겠음...
-
강강약약 0
19 20 국어 1등급 낭낭하게 찍었었는데 오히려 쉽게 나오면 항상 미끄러지네요.....
-
이때 19학년도 9모 1컷이 97이었는데 지금 1컷이 어캐 97이냐 ㅋㅋ
-
솔직히 걍 계산 빠르게 되면 장땡이라 의미 없을 것 같지만 예전부터 해보고 싶었어요 ㅎㅎ
-
고등학교 1년 빨리 졸업했으면 =재수 각인가?
-
( P윤석열+보건복지부, 무식하게 밀어붙인 의대정원2000명, 대국민 사과부터 하라. ) 0
https://m.khan.co.kr/opinion/editorial/article/...
-
첫 정답자 1000덕 드리겠습니다! +9평 후기 평가원 실망이네요ㅠ
-
2025 수능 세계사 마지막 자료 게시[Docs(PDF)] 4
개정 교과 과정 이후 출제 경향을 반영하여 24개 예상 주제를 선별하여 정리한...
-
왜 구간의 등호가 사라질까
-
이번 9모 미적 그래도 난이도 그렇게 쉬운 건 어니지 않냐? 9
공통이 개 ㅂㅅ이었지 미적은 6모랑 난도 큰 차이는 없는 거 같은데 걍 6모보다...
-
12/4=4 라 함ㅋㅋㅋㅋㅋ하….
-
준킬러가 ㅈㄴ 쉬워서 등급컷 ㅇㅈㄹ난거아님? 보니까 성적분포가 88-92 이쪽에...
-
고2이고 내년 수능 치려는데 자퇴하면 불이익이 엄청 크다길래 불이익 하나때문에 계속...
첫번째 댓글의 주인공이 되어보세요.