amenable
게시글 주소: https://o.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를 선물하세요.
-
얼버기 3
할로
-
9모 2컷 88이 말이냐 방구냐 하하..
-
왤케 춥냐 수능보러 가야할 것 같은 날씨네
-
좋은 아침이에요 4
-
포근포근 달콤해 0
둥글둥글 부푸는 마음
-
이틀 동안 안 씻었기 때문
-
멀도안된다
-
겨울이다
-
라는 혀녀기의 곡소리가 조금 있으면 들리겠군요.
-
얼버기 1
(안잠)
-
진짜 춥네 1
이건 아닌데
-
요즘 계속 이런 글 쓰니까 불편하신 분들도 있을거고 맨날 집 핑계댄다, 합리화한다고...
-
당장 고시 합격자만 봐도 00년대랑 20년대 비교하면 답 나옴 00년대 부산 경북...
-
자야지 한시간째 2
피곤하고 졸린데 자고싶지않은
-
일단 제목어그로 죄송합니다 :( 하루에 1번씩 맥락없는 글 (주로 일기장이라고...
-
국어 등급 4
작년 6모 9모 4 작수 2 백분위 93 올해 6모 4 올해 9모 2 왜이렇게 성적...
-
개춥네 이제 3
-
최근 노동법 개정으로 영양사분들 근로시간이 고정되어서 기숙사 조식을 실시하려면...
-
제주도 파트 할때 세계자연유산이 나오는데 강의에 세계자연유산 = 제주도+...
-
서성한 공대 3
언 88 미 90 영 2 물 97 정법 96이면 서성한 공대 가능하나요?
-
만약 안나왔다면 외우는 편인가요?
-
ㅈㄱㄴ
-
그리고 국어 옛기출도 푸는게 좋음?
-
20시즌..
-
사문하시는 분들 4
손고운쌤 실모 풀어보신 분 있나요?? 어떤가요??
-
으으음..무지성 걷기하면 나아지려나..? 요새 허리가 좀 아프달까
-
유전은 뭐 강의 들으면 좀 달라지나요 40점은 때려죽여도 맞을 것 같은데 비유전이 탄탄한 것 같아서
-
공부만하면 점수가 오를 것 같은 이 착각 때문에 사람들은 공부를 할지도 모르겠다
-
시험 담주 목요일부터인데 이번엔 진짜 올려볼게요 1학기 3등급이었는데 이번엔...
-
아니라고해줘요제발.
-
부푸 브이메이트+ 팟 3개+ 녹차액상 1개+ 노보 멘솔 2개 5만6천원
-
아. 8
슬슬 수면 패턴 박살 사즌이 왔나
-
문장 하나에 3시간 넘게 태우니까 현타오네.. 2호인데 시발 던지고 기출이나 한번 더할까
-
회피형을 누구보다도 극혐했는데 어느샌가 나도 회피형 인간이 돼 있었어....
-
영상 도는거 보는데 실제 공습경보 도시에서 울리는거 들으니까 기분 오묘하네
-
미적 x=0에서 x= ln2까지 e^x + 1/4e^x의 길이는?
-
수의대 0
내신cc이고 앞으로도 cc일것 같은 고2입니다 정시로 서울대 수의대만 목표로...
-
이딴게 시험? 3
미적 100 96 표점 2점차네 진짜
-
그건바로 윤리 잘하는 사람이 적다. 1.Qna보면 질문답변 잘못하고 얼버부리고...
-
정법 문제 질문 0
ㄱ. 선지 해설 좀 해주세요 ㅠㅠ 어떻게 소선거구제인거 아나요
-
마지막 영어 한과목남았는데 모고 준비가 미숙해서 밤새려하는데 비추인가요? 막 시험때...
-
진짜이게맞음????너무한다진짜
-
창문 흔들리는데 누가 창문 열려는 듯한 소리나서 너무 무섭당 ㅠㅠ
-
스트레스 상승 사람들이랑 연락이 밤에만 됨 키배 실력이 늘어남 롤 접고 현생 살아야지 시발
-
막 ‘ㅎㅂ여중딩 가슴‘ ’ㅎㅂ여중딩 레전드‘ 이런 제목.. 디시에 다른 글들은 다...
-
그냥 맘 편하게 수면 유도제 먹었다 캬캬캬캬캬
-
난 이제 진짜 자야지
-
We only process a small amount of information...
-
ㅎ..
-
1. 물2수특 끝내기 2. 언매 수특 언어부분 끝내기 3. 연계 고전소설 4. 영어 50분
첫번째 댓글의 주인공이 되어보세요.