amenable
게시글 주소: https://m.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 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,3...
-
5과목 4.2를 4.5로 보내서 시간상 환불 어려워서 2천원 더내고 제2외 봄 .엄
-
고2 정파 2
인데 영어 1 국어 2 수학 3이면... 어떻하죠 수1은 다시 시발점부터해야될 것...
-
사탐런 종말 0
ㅊㅋㅊㅋ
-
성대도 그렇고 한양대도 그렇고 변표나 과탐 가산점을 확실하게 발표 안하고 간보다...
-
내도 짬(?)의 상징을 GET하게 되었다는? ㅎㅎㅎ
-
만점이긴한데 헷갈리는것도 꽤많았고 거의 찍다시피해서 맞춘것도있는데 이 시험이 1컷 48짜리였음?
-
영어 양치기? 2
안녕하세요 반수생인데 8월부터 시작해서 국수탐 하느라 영어는 한 문제도 안 풀어보고...
-
문과입니당
-
서울도 가깝고 순박함 ㅋㅋ 나 처음에 대구경북 애들 만났을때 사실 좀 무서웠음 ㅋㅋ...
-
저만 열심히하면 문제없겠죠? 관리는 잘되는 곳임 개방형이고 시대 다니는데 자습시간...
-
1909 2209 보다 오답률 낮은데...? 2209 는 34번이 60% 넘김
-
집 가야징 8
저녁 먹고 바로 잘거임
-
지방의 뿐 만이 아니라 치대 한의대 포함 좀 이상한 곳들이 많습니다 요즘은 지역인재...
-
그래도 후자가맞으려나요
-
슬픔 시름에 초점 x 둘다 안정되지 않고 쫓겨가는 상황이기 때문에 상반된이 맞을 순 없죠
-
내년 사탐런 할 예정인데 그때까지 사탐런 열려있을까요? 그리고 만약 열려있다면 더 빡쎄질까요?
-
난 오늘도 도둑놈이 되는 꿈을 꿔… 내가 합격자 중 제일 모자란 사람이었으면…
-
작년 모의고사 - 문제는 좋으나, 학교측 예시답안은 공부할 가치가 없다. 올해...
-
아포칼립스언제옴 6
-
어떤 근건지 알려주실분...?? 그거랑 별개로 문제 퀄이 왜 이래요??
-
숫자 비교할때 0
A=30 이고 B=90이면 B는 A보다 두 배 많다 or 세 배 많다. 뭐가 맞음?
-
3 5 6 7 9모 국어 2 4 4 3 2 영어 2 3 3 3 2 수학 4 4 4...
-
수능“만“ 보러 오는 실수들 중에서는 대부분 관성에 의해서 과탐칠 확률이 커서 과탐...
-
미친것같은데 진짜 엔트로피 나오는 것 부터 이해가 1도 안됨 요즘 좀 폼 괜찮은것 같았는디..
-
1년동안 박았는데 2컷이라 전 소질이 없는듯…..오늘 한지로 신청 했지만 마음만큼은...
-
[가] 이 그림은 수험생의 심란한 마음을 표현한 작품이다. 붉은색과 검은색의 혼재된...
-
과탐필수대학 쓰면 그만 투 표본중에 나보다 국수 잘 볼 사람 얼마나 있다고 자신감.자신감.자신감.
-
17분남았는데 아직도 이러고 있다 ㅌㅋㅋㅋㅋ 나 스스로도 내가 이해안됨 내가 이따구...
-
이번 문제인데요 제가 푼 방법이 어떤지 한번 봐주시면 감사드리겠습니다 신경 3에서...
-
반박하는건 그냥 본인이 쫄리거나 사탐 선택하고 자연계 가는 사람들에 대해 비난하고...
-
황밸인듯 하여 올려봅니다
-
난 이미 해서 상관없긴한데 몇시까지임?? 아직 못한사람들 저녁먹고 가능??
-
클모 떴냐? 1
떴으니까 올리지 ㅋㅋ 모두 구매하도록
-
있을까요? 꿀모, 양모는 풀었고 풀고 있습니다! 서바나 강k는 중고거래로 구할 수...
-
남은기간 1
진짜 간절한데 남은기간동안 노베이스기준(올6?) 하루4시간수면으로 죽어라하면 어디까지가능해? 문과야
-
2025 9월 모의고사 생명과학Ⅰ 손풀이 (2년차 약사) 0
2년차 약사님의 9월 모의고사 생명과학1 손풀이입니다. 약간의 해설 첨부하셨습니다....
-
사탐기메디컬 됨?
-
누가 공부 잘 했다고 생각하시나요?
-
제발요 좀와주세요시발
-
그들이 가이드 없이 커뮤니티 안에서 시간을 보냈을지라도 그들은 일반적으로 중요한...
-
질답 시급 4
1시간에 12000원 한달 뒤 13000원에 해주신다는데 이정도면 할만한 건가요?
-
뽑긴 할까???
-
미적28 29는 기하보다 횔씬쉽고 계산도 없었네 흠..
-
도망친 곳에 낙원은 없다 하지만 과탐은 지옥인거 인정한다
-
언매 확통 정법 사문 영어
-
내꿈은 락스타
첫번째 댓글의 주인공이 되어보세요.