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틀 문학 1틀 91점 8덮 독서 1틀 문학 2틀 89점인데 리트...
-
31번 5번선지 0
31-5번선지 말 많았자나 근데 그거 시대인재 목동 강지연t가 가르치는 문학 보기...
-
9모 수학만 다시 풀어 봐서 원점수 84 85 3 47 43 나올 수 있었는데 수능...
-
4등급 안으로만 들어가면 되는데 투표 부탁 드릴게요 ㅠㅠ
-
함수 나올때마다 건드리지도 못하고 털리네 ㅠㅠ
-
항상 뿜뿜 거리는 대극장만 보니까 중소극장도 보고싶어짐
-
진로, 회사, 학교생활, 취업 등등 다 괜찮아요~ ㅎㅎ
-
언매 n제같은거 풀면 항상 다 풀고 중간중간에 실수 한것정도 빼면 다 맞추는 편인데...
-
여의도로 출발! 3
흐흐 또놀러간다
-
[2025학년도 대학수학능력시험 9월 모의평가 사회·문화(사문) 총평] [목차]...
-
백만볼트 전기... 잇츠 펌핑...
-
수능 끝나면 2
물1 일본어 영어 공군용 자격증 공뷰할거임 특히 물리 재밋어 보이던데 공부해볼...
-
아 샤프심 4
다 썼다 그런데 인터넷으로밖에 못 산다 파는 곳이 거의 없다 슬푸다
-
지방에선 영남대,계명대도 질답알바,클리닉알바 한다 12
진짜다
-
‘악동클럽’ 출신 이태근 사망…코로나 백신 부작용 3년 투병 1
그룹 ‘악동클럽’ 출신 이태근이 사망했다. 향년 41세. 이태근은 3일 고향인 충북...
-
귀도 눌러보면 근육통마냥 ㅈㄴ지끈거림
-
서로 다른 두 물체가 같은 시간 동안 같은 빗면을 이동할 때 8
속력 변화량은 같다.(단, 운동 방향은 변하지 않는다.)
-
Ebs 수특 수완 해설강의도 도움이 엄청 되지 않나요?? 1
저는 강e분보고 정서/태도 시어파악, 표현상 특징 등등 시에서 포인트 읽어내는 데에...
-
혹시 9평 오류, 퀄 수직하락이 정부의 큰그림인건 아닐까 9
"일부러 쉽게 내려니까 역효과만 난다"는 여론을 유도해서 불수능을 위한 개연성을...
-
음
-
신기하네
-
국어도 오류를 내고 (심지어 6평 에이어 지문도 오류 있음, 그냥 관례임) 생2도...
-
난왤캐병신이지??
-
어디서봄?
-
슈터주세요 2
-
68일? 시간 많은거임 거의 개강~대학 축제할때쯔음 까지 시간인데 지금시기는 그냥...
-
개념오류에 얻어갈거라곤 1도 없는 문제들 천지.. 차라리 걍 9덮을 9모라 생각하겟음
-
군수생 9모 0
일단 국영수만봤는데 수능때 국숭세단~광명상가ㄱㄴ?
-
기출인가요 엔제인가요? 해야하는게??
-
ㅇ?? 오류를 첨가했다던가 난이도를 낮췄다는건가
-
근데 어떻게 깔았대요? 양옆으로 박1아도 간격이 최대 50cm인데
-
국공립 대학은 수시 원서비도 타 대학에 비해 낮은가요?
-
수능 전 마지막으로 n제 풀려하는데 추천좀요 인강있는게 좋아서 ,,,(드릴빼고)...
-
뭔가 풀 때 이상한 기분이 들긴 했는데 그냥 풀었었는데 진짜 오류를 내도 저런 걸 오류내냐ㅋㅋㅋ
-
( 스페인 의료파업 드라마 속 정치인 " 모든 상황은 완벽히 통제되고 있습니다". 현실은?? ) 0
P윤석열+복건복지부 : '응급실은 월활하게 가동되고 있다. " 현실은??...
-
올해 뿐만 아니라 원래 과거부터 6, 9평은 실험적인 시도가 많이 있어왔음. 작년...
-
d ‘들녘을‘ 을 [들녀클]로 표준 발음으로 표기했는데, [들녀클]도 비표준...
-
격자점 개수 ㅆㅃㅃㅃ
-
앞자리 머리 벅벅 긁으면서 다리 초당 5번은 떨더라 ㅅㅂ 의자까지 같이 덜덩덜...
-
수시로 갈꺼고 물리화학 택했습니다 452435 떴는데 제가 가고싶은 공대는 최저가...
-
저 글이랑 똑같은 논리로 4찍 했는데 틀렸길래 하루종일 고민했는데 다음날까지...
-
제발 있어라
-
와 군인이다 이러면서 좋아하길래 웃으면서 손 흔들어줬더니 좌수경례하면서 충성...
-
국어 공부하면서 이렇게 읽고 접근해가면 되겠구나라는 느낌이 들면서 깨달음이 올려고...
-
풀때 어 뭐지?하고 그냥 넘어갔는데 진짜 빼박 오류였네ㅋㅋㅋㅋ 9평은 그냥 무조건...
-
기대가 됩니다 1
첫번째 댓글의 주인공이 되어보세요.