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~높2 0
작년 수능 수학 4였고 미적이랑 적분은 개념도 제대로 안돼있는 상태였어요 올해...
-
정원대비 티오가 좋고 본34 서울실습이 장점이라 들었는데(수도권 사람임) 다른...
-
잊는 것이 병이 아닌것이 아니라는 말이 아니라면 병이 아닌 것이아니지 않다는 말이...
-
물1 역학 파트 하고 있는데 처음 몇 문제는 쉽긴 하지만... 8번부터 막 막히는데...
-
(P윤석열, 국민 55%가 의대정원확대 여부 다시 정하라고 합니다. ) 0
P윤석열--> 국민의 55%가 반개혁세력입니까? 사과하시고, 해명하십시오....
-
누구 대가리에서 나온건가? 럼블풀고 오른 나서스 바드 직스 바이 에휴
-
바보처럼 왜 0
너를 지우지 못해
-
물리1 지구과학1 4,5등급만 받으면 되는데 모할까? 2
문과출신 이미 대학 졸업장있는 틀딱임..ㅋㅋㅋ 과학포함하면 3합9 인 거 있어서...
-
높3~낮2 만들려면 기출만 여러번 푸는게 나을까요 아님 미친개념같은 실전개념을 먼저...
-
내신 뒤집는 건 무리이려나
-
듣기에 기분이 나쁜 소리이긴 하지만 틀린 말은 아니라고 생각합니다. 오르비분들은...
-
제목 잘 보세요.
-
워드마스터 2
보통 워드마스터 뭐 사나요..? 종류가 너무 많던데
-
노래가 다 미챳네 시어ㅓㄴ시원하니 캬ㅏ
-
스카에 원피스입고와서 웃겼나ㅋㅋ 근데 님들은 이상황이면 무슨 생각드심? 저는 그렇게...
-
국어 옛기출 4
말 그대로 옛기출 최근 7~8개년 이전 기출들 선별없이 전부 모아둔 책이 요즘도...
-
크아아악
-
순한줄 알았지? 맛 서바
-
순한맛 서바
-
작화를 버틸 수 있을까
-
일단 특강 신청해 주셔서 감사하구요^^ (특강은 모두 정상적으로 개강하기로...
-
저는...
-
늦나요?
-
본작의 세 주인공 중 한명이자 인지도 원탑. 리바이와 함께 세계관 최강자 타이틀과...
-
킬캠이랑 강k 해봤는데 택도 없어서 갓다 버렸고, 강x 시즌 1 해봤는데 그냥은...
-
20이랑 24는 진짜 왜 틀렸지 진짜 연휴동안 수학 ㅈㄴ 판다
-
남은 시점 동안 김동욱 일클할지 장클할지 고민이예요.. 강기본 끝냈고 강기분은 지금...
-
그래도 계속 하니 뭔가 좀 속도가 느는구나 수능 때 2만 나와줘라 부탁한다
-
화미생지 높4라 해도 인서울은 되나
-
ㅎ.ㅎ 다이어트하는디 감튀만 안 먹으면 되지않나
-
지금까지 모델은 아니었는데 얘 물리 진짜 ㅈㄴ 잘함 대학원 물리학 전공과목 연습문제...
-
선지 ㄷ에서 칸트,테일러,레건이 도덕적으로 존중받는 대우를 동등하게 받아야한다고...
-
큰일났네 6광탈 각인데
-
6모 + 9모 둘다 국영수 3합5이고 9모때 국어 커하찍어서 딱 2문제 틀리고...
-
좋아 5
좋은아침이라는뜻
-
아침을 핫커피 한잔으로 시작하는게 너무 좋아서 습관이 되었는데 수능까지 2달 남은...
-
700은 심햇지 다같이 하지맙시다ㅇ ㅇ
-
국어공부 0
하기싫다하
-
정시로 기균인데 11211이면(한국사 3이내라고 가정하고) 어디까지 가능할까요?...
-
아무거나 수위노상관..
-
능망념 봉망념 2
-
막 가끔씩 온몸이 윰직이기 싫고 힘이 빠지면서 아무것도 하기 싫어지는 건 저만...
-
사회교육과 생각중인데 필수인가요??..
-
변호사 0
벼농사
-
설의 정시 0
언매 미적 물1 지2해도 합격 가능한가요? 과탐 투투 해야되나요?
-
그런 생각 한 적 없구요 어그로 한번 끌어봤습니다. 아마 수시로 한의대를 갈 거...
-
어흥
-
작년보다 더 괴랄한데 진짜..
-
밥먹자고 해놓고 8
사달라는 마인드는 뭘까
-
궁금한점!! 0
제가 다이랙트샵에서 아이폰15 프로를 잘못구매해버려서 완전 미개봉(새상품) 상태로...
첫번째 댓글의 주인공이 되어보세요.