amenable
게시글 주소: https://i.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를 선물하세요.
-
등급적어주셔도 되고 현장에서 어케 할건지 등등 자유롭게 서술해주세요 ㅎㅅㅎ 저는...
-
하암 잘자 내일부터 새삶 살아야지
-
이생각을 나만 하는게 아니었구나 파는사람이 많네
-
자료 몇개 유기함? 지금 현강에서 주는 거 다하려면 고정47이상은 되야할거같은데 ㅅㅂ
-
올해 수능 목표 3
화확사지 9등급받기 동생깔아주려고하는데 유의미하겠죠..?
-
죽겠네 못해먹겠다 내일은 또 미적해야되네
-
해도 안해도 별차이 없는 느낌이고 큰 이유는 한번하면 계속안하면 다시 초기화되는 느낌임
-
요즘 수학 14 15 21 22 282930 다루니까 6
진자 머리 어지럽네요 피곤함x2배 저녁야자 막판엔 먼가 답답해서 ㄹㅇ빨리집가고싶음...
-
그냥 대학 입학조건에 한국사 몇등급 이상 이런거 넣어놓은걸로 끝아님? 이거...
-
맞팔구 2
ㄱㄱ
-
고1 수학 투표 0
수1,수2 들어가기 전 에 고1수학 해야 되는데 수꼭필 만 하고 수1,수2. 드가자...
-
그냥대충자랑글
-
독재 가고싶은데 후곡 주엽, 대화쪽에 괜찮은 학원있을까요? 5a . 오에이 . 재수
-
이벤트도 퍼주고... 뭐 자선사업함? ㅋㅋㅋㅋ 한 짓이 있지만 많이 주니까~ 뭐...
-
2025 리트 [사법심사가 여론에 미치는 영향] 해설 0
출제자가 1문단부터 2문단 초반부를 트리키하게 서술하여 외외로 11번이 복병일 수 있었음
-
댓에 올려주세요 부탁드립니당
-
국어 노베 질문 0
수국김이랑 김동욱쌤 고전시가만 들었었고 국어를 버리다시피 하다가 지금 정신차리고...
-
문제 질도 너무 좋은데 그거랑 별개로 형식 자체도 평가원 그대로 따라가서 거부감이...
-
3분기 애니+ 추가로 6개정도 동시시청중이라서 외울 이름이 너무 많아서 힘들군요
-
언매해야하는대 1
해린 그렇지만 안한대해린
-
잇힝 관심 줘 나 문제 잘만들어
-
폐쇄병동 궁금하신분 26
17살때 2달입원 23살(작년)에 2주 입원 경험자임 궁금한거 질문받음 ㄱㄱ
-
답 2번인데 제가 그린 표대로 하면 왜 틀린지 모르겠어요
-
하나만 풀 건데 자이스토리 vs 수분감 뭐가 더 낫나요?
-
07~2130 ,22패턴챙기고 컨디션조절하며 겅부챙기기
-
히히
-
전국서바 2회 0
22번 뭐냐.. 해설지를 봐도 걍 눈에 안들어옴; 해설강의도 없고 그래도 공통은...
-
(가)의 ‘매화’는 ‘담담한데’와 연결되어 화자의 내면을 드러낸다. 와 같이 문학...
-
박광일 쌤 홀수 기출 분석서 문학&독서만 보내준다고 했던 거 같은데 배송 목록에...
-
내 앨범 :
-
나도 취침... 3
바바잇 ㅠ
-
제가 20학번때 생윤 사문했던 사람인데 현재 생윤 사문이랑 그때 생윤 사문이랑 크게 많이 다른가요?
-
나 ㄹㅇ 클린유저인듯
-
케이스 문제 풀고나서 스텝 1~4까지 있는 부분은 언제,어떻게 채워야 가장 효율적인...
-
그렇다고 블라인드 먹지는 않음
-
취침! 6
안녕히주무세요
-
잡도해,생글,생감수강시(가장빨리답주시면1000덕드림) 4
잡도해,생글,생감수강시 국어 몇등급 예상되시나요?(모름,해봐야암 등의 질문과...
-
ㅇㄹㄹ
-
득점권 치는걸 본적이없음
-
사탐으로 동아시아사 ㄱ?
-
냐옹 2
옹냐
-
착륙은 안하나요?
-
지구과학 질문 2
암흑 에너지를 고려하지 않고도 물질밀도/임계밀도<1이면 영원히 팽창하는건가요?
-
조용히 놓고 가세요
-
국어 수학 기출 0
6모 기준 국수 12인데요. 여름방학에 그래도 마지막으로 기출을 다시 한 번 보고...
-
4규 s2 유기 0
저번에 n제표 올라온거 보고 4규 s2 잡았는데 명성에 비해 쉬운 느낌…? 나만...
-
작년 월즈에서 갈라 해체쇼 룰러 369 2대1 잡은게 엊그제 같은데 월즈에서는 진짜...
-
힘드러 10
3시간이상 쉬지 않고 채점하고 질답했다.. 죽겠다
-
1. 전과난이도가 어느정도에요 2. 학교주변에 놀곳 많나요 3. 다닐만한 mma체육관 근처에 있나요
첫번째 댓글의 주인공이 되어보세요.