amenable
게시글 주소: https://w.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를 선물하세요.
-
화작 팁 1
고1 정시파이터 입니다. 9모 화작을 풀때 25분을 넘어버리는데 어떡하나요.?...
-
난 N수 했는데 그거밖에 못 갔냐 이런 말이 의미가 없다고 생각하는데.. 나는 현역...
-
님들이라면 어디감 간호 장점 : 취업률 goat.. 인가경 장점 : 캠퍼스 라이프 캬..
-
의대는 수시모집만 하자?…"절차상 불가능" 선 그은 정부 4
[앵커] 이런 가운데 내년도 수시모집 첫날부터 의대에는 지원자가 몰렸습니다. 이렇게...
-
내신 2점대 중반이면 메디컬 교과 안넣느니만도 못하나요? 2
정시로 한의대 준비중인데 수시교과를 넣어볼까 하다가도 내신 컷보면 이걸 넣는게...
-
우선 이번 6모 언확사탐 백분위 99 91 2 99 99입니다. 내년 2-3월에...
-
진짜 ~ 로 발소리 책넘기는소리 얼음씹는소리 삼위일체로 거슬려죽겠는데...
-
내신은 말았구요 중경외시 라인에서 반수해요 작년에 3합6 맞춰서 일주일 공부해서...
-
문제도 잘 풀리고 매일 이랬으면
-
수분감? 패파?
-
저녁ㅇㅈ 0
전이랑 김치찌개
-
ㅈㄱㄴ
-
본인이 내신 몇이면 상향으로 쓸것같음?
-
독서 11번입ㄷ니 4번 선지와 5번 선지 해설이 이해가 잘 안 됩니다.특히...
-
이런 미친 틀딱 새끼들 입시가 장난인줄 아나
-
개인적으로 외대 논술 ㅊㅊ해요 저도 8월 중순-말부터 시작했는데 외대는 글자수도...
-
원서접수 완 4
2고대 드가자
-
아수라 이감 0
현역이 아수라하고 이감 파이널 패키지 병행하기엔 양이 좀 많을까요? 아수라 볼륨이...
-
논리적인 지문들만 보면 머리가 아픈데 좀 모아서 풀고싶음
-
들어주실 분 있나여..진짜 모르게써요
-
그럴 가능성이 있으려나?
-
일병 전역은 봤는데 상병 전역은 어떻게 하는 거지 진누를 몇 번이나 한 거야
-
학습에 도움이 되었으면 합니다
-
체력을 회복한 나 17
-
Omnipresent??
-
헉벌써 35분 0
반기워
-
물론 지역인재고 1.수능 최저 맞춘 사람이 2배수 안에 안 들어갈 정도로 최저를 못...
-
님들은 존나 쉬웠음???
-
설맞이랑 비슷하거나 조금 더 어려운 N제 뭐가 있을까요?
-
고대 수학과 성대 전자전기 부산대 기공 경북대 기공 3월 1 5월 2 6평 낮2...
-
인천대 경영 vs 외대 글캠 global Technology&business 어디가 좋나요
-
싸울것같은데
-
헌급방이도 무조건 공군감 휴가 사람수준 태블릿 ㄹㅇ 삶의 질이 다르다 육군에 비해..
-
이거 좀만 더 어두웠으면 길 잃었을거같음 ㄹㅇ 진짜 칠흑같은 어둠이란 표현이 몸으로 실감됨
-
지금 고1이고 좀 놀아서 내신 전교20등쯤인데 어느정도 갈수 있을까요 (중복합격...
-
해결방안이 없을까요...?
-
최저 3합7까지는 어떻게 될거같은데 아예 쌩노베에요 수능끝나고 단과하루듣고...
-
수학 3 뜨려면 1
이번 9모에서 1~15 까지 2개 틀렸고요 (1개 찍맞) (10,15) 16~19는...
-
2년공부해서 이정도면 잘한편에 속할수있을까요 정시로요
-
오늘 10시에 열렸는데 열린지 6시간만에 57.2 : 1 ㅋㅋㅋ 그냥...
-
수리논술 0
모의고사 보통 2등급 나오고 미적분 선택자인데요. 수리논술 어디쓸지 너무...
-
출처:...
-
모의고사날 애들 절반 타노스당함 일단 1학년때 반마다 5~7명 자퇴 오토바이...
-
있으면 진짜 마음이 찢어졌다가 봉합수술하는 기분일듯요
-
수분감 소단원 하나풀고 오답하는데도 시간이 꽤 걸리길래(+뉴런이랑 병행하면 더...
-
경쟁률 눈물난다 차피 저 많은 사람들을 뚫고 합격할거같진 않은데 아몰라 일단 수능...
-
으 기댈대 없이 살아와서 그런가 아님 남들의 감정 쓰레기통이 되어버린건가 책임을...
-
다 맞아서 기분이 좋습니다 (사설에 비해 상대적으로) 쉬운 기출이니까 일희일비하지...
-
슬프네요,,
-
대신 런한 가치 있도록 이번엔 1 2컷까지 12점차.. 나줘야겠지?
첫번째 댓글의 주인공이 되어보세요.