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를 선물하세요.
-
귀여워 귀여워 1
웃을때 귀여워
-
30렙 속도 2
오르비 별로안하는데 왜벌써 30렙인거에요??
-
7투스 물리 5
물리 푸신분없나? 물리 어땠음
-
김승리샘 언매 개념 강의 노베가 들을수있나요? 중학교 문법도 모르는데요;;;
-
올해 6평이랑 비교했을 때
-
고전소설 양치기 하실 때도 시간 안 재고 하시나요? 저는 교재 없이 걍 제가 기출...
-
풀어보신 분 있으시다면 후기를 알 수 있을까요…? 올해로는 문만을 더 이상 하지...
-
일하기 싫다 5
퇴근 하고 싶다 +조만간 학습실 집답+채점 노예에서 원장님 전용 따까리로 진화할수도?
-
6모랑 비슷하려나
-
솔직히 여태껏 물리보단 국어 수학에 시간 쏟느라 뒤늦게나마 다시 제대로...
-
내신은 2.5정도 모고는 탐구1 국영2~3인데 수학만 4입니다(10번까지만 맞는...
-
영어6~7 나오는 노베그자체인데 (단어는 워마수능 다끝냄) 7회독정도로 단어준비는...
-
슬슬 벽 느껴지던데 타임어택 대비 어케함요
-
amenable 0
Let $M_1$ be a complete Riemannian manifold...
-
너무 아쉽다 2
평소 국어사설 모고 보면 2~3등급 떴어서 6평땐 얼마 나올지 궁금했는데 하필그때...
-
몇 %인가요?
-
오늘 낮잠으로 0
4시간 퍼잤음..
-
영어 듣기공부 하시나요?
-
잠도 6시간이나잤는데..
-
ㅈㄴ 어렵네 듣기부터 멘탈 나감 ㅋㅋㅋ 진짜 작수, 올해 6평이랑 난이도가 똑같음...
-
2025 리트 기술지문 최고난도 [데이터베이스 트랜잭션] 해설 0
24 비식별화랑 비교하는 것은 어디까지나 개인 취향을 타기 때문에 섣불리 단정할 수...
-
난 비유전 의문사 당햇다.
-
ㅋㅋㅋ
-
영어계의 심찬우 0
없을까요? 영어도 심찬우 선생님처럼 하고 싶어서.. 혹시 그런 분을 아신다면 인강 추천부탁드립니다.
-
6평 1 7모 97인데 90점 나오고 개어려웠는데 머지 1컷 94
-
생명은 대부분 사설 풀면 25분 안에 47-50 받는 거 같아요 작수도 50이고...
-
손창빈쌤 언매특강 들어보려하는데 혹시 수업이 문제풀이 위주인가요 아니면 개념설명 위주인가요??
-
현역이고 수시 평균 5.6에 대학에 따라서 4등급 후반도 나오더라고요. 전문대는...
-
전세계 사람들한테서 얼마씩만 받으면 부자될텐데 를 실현이 점점 가능해지는듯...
-
[속보] 한동훈 62.8%로 압승..국민의힘 당대표 당선 1
[속보] 한동훈 62.8%로 압승..국민의힘 당대표 당선
-
2주째 고민중인데 임정환 올림픽vs현돌 기시감
-
전에 교육청 보거나 쉬운 모고는 40점대 나오는데 이번 7투스처럼 지엽 와다다...
-
듣기풀면서 문제풀려는데 안풀리고 듣기는 6개 나가리 인생 최저점수..ㅋㅋ
-
포장 40퍼 에다가 3000원할인
-
국어 수완 0
국어 수완 실전모의고사 1회 난이도 어떤가요
-
사탐 1
현역 생윤 생명 하고 있었는데 생명 킬러가 너무 자신이 없어서 고민입니다… 7모 3...
-
인강 빼고 하루에 문학 1-2지문 독서 1지문씩 총 1시간 쓰고있는데요 너무...
-
국어 인강 추천 0
6평 백분위 98이고 더프도 웬만하면 1 뜨는데 (언매 노베라 언매땜에 말아먹는거...
-
2월 말 사건이랑 뭐 몇 년 동안 굴러가는 상황 보면 저는 이렇게 봤습니다. 그냥...
-
요즘시대에 발빠른거 고집하면서 옵스 0.7도 못치는 애들 리드오프 쓰는거...
-
[속보]국민의힘 신임 당 대표 한동훈 당선
-
본인 내신 1.79인데 중앙대 기계 종합으로 온거면 2
못온거임?
-
풀면 안되는거임? 분명 입문엔제라고 했는데 한두개는 못품 그밖에 계산실수든 뭐든...
-
뭐가 더 어려웠나요? 점수가 똑같아서.. 수학은 갠적으로 7투스가 더 어려웠음…...
-
'쯔양 협박 혐의' 구제역, 유튜브 돈줄 끊기자…'틱톡' 진출 1
먹방 유튜버 쯔양을 협박한 의혹을 받는 일명 '사이버렉카' 유튜버 구제역이...
-
더프 치면 높2 뜨고 이투스 보면 막 낮 3 뜨는 거는 왜 그럴까요,,,, 3덮부터...
-
화공vs생공 0
연구보단 회사들어가서 일하고싶습니다 컴퓨터 다루는거 좋아하는것같습니다 근데 미래가...
-
자습 끝 0
순공 6시간 확보
-
모킹버드 팀에서 제작한 수학모의고사 오르비 북스에서 만나볼 수 있습니다!...
-
곧
첫번째 댓글의 주인공이 되어보세요.