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를 선물하세요.
-
전라디언인데, 둘다 붙으면 전남의 버리고 갈만큼 한림의가 메리트가 크나요?
-
꿈 ㅈㄴ 꾸는중 일어나면 하루종일 컨디션 굿이고 일어난순간 꿈에대한 기억이 없으면...
-
혹시 씹덕 동아리에서 활동하고 계신 분 있으시면 어떤지 알려주시면 감사하겠습니다.
-
인가경 0
인가경 중에 어디 인식이 가장 좋나요? 성적, 기숙사 이런거 다 고려해서요
-
N수 최하위권 허수는 말도 못꺼내고 그저 운다..
-
3합5 4합8
-
4000부 판매돌파 지구과학 핵심모음자료를 소개합니다. (현재 오르비전자책 1위)...
-
우왕 1차 컷 96이네 미쳤다 ㅋㅋㅋ
-
겨울 언제와 1
연말 분위기 풀풀 풍기는 겨울이 보고싶어 여름 빨리 꺼져
-
인강, 자습 0
현역, 쟈수 땐 강의를 되게ㅡ많이 들었는데 지금은 강의 듣는 거보다 자습하는게 더...
-
기분개같다
-
농어촌 융합에너지학전공 경쟁률 3대1인데 넣을걸 그랬나
-
나만 학교 전체적으로 더움? 학교가 높이있어서 그런지 6월초에 등교할때도 덥고...
-
제대로,,
-
최저 하나만 있어서 3합7 맞추면 되는데 국어 영어 수학 지구 중에서 뭘...
-
어디까지가 인서울인가요? 귱금
-
셀프 지능 평가 2
작업기억력:평균 상 상위 15% 언어이해: 평균 상 상위 25% 지각추론: 평균 하...
-
출제범위는 고등수학, 수1,수2, 미적분이라면서 2025 모의평가, 과년도 기출을...
-
여긴 자사고 중에서 높은 편인가요
-
88 74 3 99 97 탐구는 동사 세사 사학과 가고싶은데 건동홍 가능할까요
-
큰일났읍니다 0
배고파요
-
멀리서 보면 괜찮은데 가까이보면 헉 하긴함 제 눈 아님
-
뇌가 그때 깨서 그런거임??
-
그치만 재수를 했으면 정시로 가야…
-
가천대 논술 신소재 가고싶은데 화생공나쁘진 않음. 작년 기준 둘다 컷 비슷했고...
-
그때 남은거 와라라 써야지
-
13일의 금요일 2
헉.. 무서운 날이군 조심해야겠어..
-
죄다 서연울카성고 의대 가고 메디컬 가고 설높공 가고 하..
-
대치동 학원에서 근무하는 영어 강사입니다. 현장 보조 아르바이트생 구인합니다. 1....
-
ㅇㅅㅇ
-
지금껏 서울대성님들께서는 저를 애초에 인식 대상에서 제외시켜서 서로 단절된...
-
피자스쿨 혼밥 6
가능할까? 피자 너무 먹고 싶은데 어쩌지...
-
아 수능 보기 싫다 10
정신 나갈 것 같다
-
칸트 질문 4
도덕적 책임을 질 수 있는 존재만이 도덕적 의무의 대상인가? 칸드가 동의할 선지인데...
-
나는 왜 이렇게 태어난걸까 어지간한 노력과 성과론 뒤집을수가 없는 극단값으로 태어나다니
-
남은 60일 동안 체력 최대치로 끌어올려서 올리는 게 나을까요..? 4
아니면 컨디션 관리 하면서 하루 6시간씩은 꼭 자는 게 좋을까요..
-
네이버 뉴스로 들어가려고 웨일 들어가자마자 기사 제목 까먹음. 청년치매 실화인가
-
솔직하게
-
1단계 불합격자는 최저 맞춰도 합격 가능성 아예 없는거죠? 1단계 합격자중에서 숫자...
-
재수생이고 지금 나오는 성적은 보통 연고낮공~서성한공 정도입니다 현재 접수한 논술은...
-
어떤 생명체의 존속은 그 생명체의 본래적 가치에 의해 정당화된다. 가 틀린 이유가 궁금해여
-
안녕하세요. 둘 다 안긴문장의 부사격조사가 붙어서 인용절이 되는건 알고 있습니다.....
-
내신으로는 부경대 전기정도인데 이번 9모가 쉽긴했지만 부산대 경영까지 되는데 딱히...
-
잇올 다녀서 이감오프 10회분 살수 있는데 온라인으로 파는 파이널 패키지가...
-
카의는 좀 문제가 많이 빡세고 경희의는 쉬운데 투과목을 당일치기 해야됨
-
당장 토스 CEO만 해도 설대 치대 학사인데 뭐..
-
작년에도 그러고 올해도 그렇고 40일쯤 지나면 스카 바꿔줘야되는듯 집주변 스카 4개...
-
고3이고 국어가 3,4 뜨는데 아무리 계속 풀어도 비뮨학 지문을 읽고 나면 지문...
-
기출이랑 실전 괴리가 좀 느껴져서 기출 벅벅은 좀 아닌거같음 그냥 개념이나 달달...
첫번째 댓글의 주인공이 되어보세요.