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를 선물하세요.
-
국어 공부하면서 이렇게 읽고 접근해가면 되겠구나라는 느낌이 들면서 깨달음이 올려고...
-
풀때 어 뭐지?하고 그냥 넘어갔는데 진짜 빼박 오류였네ㅋㅋㅋㅋ 9평은 그냥 무조건...
-
기대가 됩니다 1
-
4000부 판매돌파 지구과학 핵심모음자료를 소개합니다. (현재 오르비전자책 1위)...
-
"잠 깨려고요"…수능 한 달 전, 전자담배 입에 문 수험생들 20
(서울=뉴스1) 이강 김예원 기자 = "수능 공부하면서 잠 깨려고 자주 피워요."...
-
매일 같은 시간에 나가다보니 종종 마주치는 나시입고 뛰시는 헬창분 있는데, 오늘은...
-
국어 사설 6
필수인가용
-
햔역수능 62444 평백 60 올해 9모 31321 퍙백 89 텔그가 후한 건지...
-
"엄마가 깔아줄게" 수능 보는 학부모들…효과는 [사실은] 3
올해 수능 시험을 자녀와 함께 보겠다는 부모들이 있습니다. 일부 선택 과목에서...
-
대성도 다녀오고… 이제 고객사 목록에도 신규 추가가 되었으며 아마 내년 더프 제작중...
-
훈수 마려움
-
우솝 사망기원 6
-
볼때마다 내가 전엔 보지 못했던것들이 직관적으로 보임 1809 상호배타적 상태의...
-
9,6 도표는 다 맞았는데 개념에서 의문사 속출에 텍스트가 너무 많다보니 시험장에서...
-
아니 저번달부터 자꾸 돈빠져나가는데 진짜 원인을 모르겠음사이트 드가서 구매이력 다...
-
님들아 상담 좀 1
9모 국수영222지구 29점인데최저 3합 7맞출려고 이거 지구 포기하고 딴 거...
-
독서에 리트내던짬밥 그대로 들이붓고 문학도 24수능보다 좀 쉬운선에서 ㄱㄱ 수학은...
-
전공의들 “2025년 증원부터 다시 논의해야” 입장 고수 2
의료계, 협의체 참여 놓고 고심 중 정부·여당이 6일 ‘여·야·의·정 협의체’를...
-
대형병원에 의사는 텅, 학원가 ‘예비 의사’는 득시글… 더 거세진 의대 광풍 2
[아무튼, 주말] 의료 대란 반년 거세진 의대 광풍 토요일인 지난달 31일 정오...
-
6월에 국수영 ← 교수 / 탐구 ← 교사 9월에 국수영 ← 교사 / 탐구 ←...
-
수시쓰실분들 1
특히 교과 학종 일반은 생공 생과는 어지간하면 쓰지마셈 진짜 졸업해서 할거...
-
안녕하세요 타르코프스키입니다. 요새 독서 수험서 집필 중인데 직접적인 피드백도...
-
이감파이널 4
온라인만 있는건가요? 학원용은 따로없나요
-
미적 계산 길면 곶아됨 + 늙어서 계산 더꼬임 -> 30번 못풀고 29 계산 꼬여서...
-
삼반수생입니다 9모는 언매 100점 나왔는데 이건뭐.. 아무의미도 없는 것 같고...
-
영어 강의 하나도 안들어봤는데 다른 선생님들 강의에 비해 적은건지 많은건지 궁금해요
-
작년에도 국어 0
69때 연계 마구 하다가 수능때 통수치지 않았나요..? 할매턴..
-
이걸 쪽지를 줘 말아 10
진심으로 발소리랑 얼음만 먹지말아달라고 쪽지 쓰고싶은데 삼수할매 예민하다고...
-
올해는 차일피일 미루다가 논술준비 결국 못 했는데 내년엔 군수로 논술을 해보면...
-
이번 9모에서 나온 문제들 중 16번에서 물어본 복사, 대류 영역의 범위나(복사인지...
-
숭실은 무시못할 인서울의 메리트 ?? 인하는 인천의 대표 학교?? 공대는 좋다...
-
저..혹시 9평 국어 10번 4번은 안되나요..? 10
저는 이게 기존에는 승인과정 때문에 굉장히 번거로운 상황인데, 복원할 때에는...
-
1996년 삼전부장연봉 5천 강남 '대단지' 32평 고층아파트: 1억5천~2억...
-
오늘(9월 7일 토요일), 공부 파이팅 해봅시다..!! 2
9월 7일 토요일 아침 9시가 되었네요..!! 오늘도 공부 파이팅 해봅시다..!! 다들 힘내..!!
-
아니 애@미 뒤진새끼가 택배를 남의집 우편함에 쳐 넣어놓고 배송완료 띄워서 애꿎은...
-
갑자기 멍청해짐 0
가능해? 어제 급격히 멍청해지더니 이제 지능이 걷잡을수없이 하락했는데 하
-
당장 인스타 들어가서 돋보기 눌러봐도 상류층의 삶 뭐 이런 게 뜨는 사람들은 별로...
-
6모랑 복붙수준인 9모 34번 함정도 현장서 바로보이고 기타 8번 등등 온갖...
-
오르비 개오랜만 1
벌써 9평까지봤다니
-
오늘도 공부시작 5
치타가 달리기 시작했다
-
재수생인데 이베스트하는게 나을까요?
-
다들 노력 많이하네요 나는 참 인생을 부끄럽게 살았구나........
-
간쓸개 수완반영 0
수완반영된 간쓸개 풀고싶은데 어떤거 풀어야하나요?
-
국어 1회 아시는분
-
개정이후 30번들 중에서는 최고난도인듯 231130같은건 잡기술로 쉽게 접근할수...
-
솔직히 기출 다시 보는게 의미가 있나요? 작수 제외하면 지금이랑 난이도 괴리도...
-
열등감이 심한 경향이 있겠군.
-
생명이랑 비교해봐도 생명은 유전 거의 수학 공부량이랑 맞먹는데 지구는 그런건...
-
시작된다는 것을.... D-433 let' go..
-
미적분 엔제 0
미적분 n제 goat 뭔가요
첫번째 댓글의 주인공이 되어보세요.