Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://orbi.kr/00068864906
Definition (Chern-Simons 3-form). Let $\pi:P\to M$ be a smooth principal $G$-bundle. Suppose we are given an $\mathrm{Ad}$-invariant symmetric bilinear form $\langle\cdot,\cdot\rangle:\mathcal{g}\times\mathcal{g}\to\Bbb C$. (i.e. $\langle\mathrm{Ad}_ga,\mathrm{Ad}_gb\rangle = \langle a,b\rangle$) The Chern-Simons 3-form $\alpha$ of a connection $\omega\in\Omega^1(P,\mathcal{g})$ is
$$\alpha(\omega) = \langle\omega\wedge\Omega\rangle - {1\over 6}\langle\omega\wedge[\omega\wedge\omega]\rangle = \langle\omega\wedge d\omega\rangle +{1\over 3}\langle\omega\wedge[\omega\wedge\omega]\rangle\in\Omega^3(P,\Bbb C).$$
In particular, if $M$ is a compact oriented smooth 3-manifold with or without boundary, and if there exists a smooth section $\sigma:M\to P$, the Chern-Simons invariant is
$$\mathrm{CS}_G(M,\omega,\sigma) = \int_M\sigma^*\alpha(\omega)\in\Bbb C.$$
물론 여기서 Chern-Simons 3-form의 각각의 항에 대한 설명이 필요하다. 보통 $\mathcal{g}$-valued form의 wedge product는 다음과 같이 정의한다: 만약 $\alpha = \alpha^iE_i$, $\beta = \beta^jE_j$, 여기서 $E_i$는 $\mathcal{g}$의 basis를 뜻한다. 그러면 각각의 $\alpha^i$와 $\beta^j$는 differential form들이고, 따라서 wedge product가 이미 정의가 되어 있다. 따라서,
$$[\alpha\wedge\beta] = \alpha^i\wedge\beta^j [E_i,E_j]$$
로 정의를 한다. 다시 말해서, coefficient들의 wedge sum을 하고 basis들의 Lie bracket을 이용해서 정의한다.
따라서, Chern-Simons 3-form에서 각 항들은 wedge product의 coefficient들에 주어진 bilinear form $\langle\cdot,\cdot\rangle$을 적용해서 정의하는 것이다.
만약 $G$가 Lie group이라고 한다면, $\langle\cdot,\cdot\rangle$은 $\Bbb R$-valued로 보통 다음을 사용한다:
$$\langle a,b\rangle = -{1\over 8\pi^2}\mathrm{tr}(ab).$$
예를 들어, oriented Riemannian manifold $M$이 있을 때, frame bundle $FM\to M$을 항상 associate할 수 있는데, 만약 $\nabla$가 Levi-Civita connection이라고 한다면, Chern-Simons 3-form of $\Delta$는
$$\alpha(\nabla) = -{1\over 8\pi^2}\mathrm{tr}(\omega\wedge\Omega - {1\over 3}\omega\wedge\omega\wedge\omega) \in\Omega^3(FM,\Bbb R)$$
가 된다. 참고로 위의 $\mathcal{g}$-valued form으로의 대응은 다음의 대응 관계로 다시 볼 수 있다:
$$\{\text{metric connection }\nabla\text{ on }TM\to M\}\leftrightarrow\{\text{principal }SO(n)-\text{connections }\omega\text{ on }FM\to M\}$$
* 참고로 Principal $G$-bundle에서의 connection 1-form은 원래 connection 1-form과 좀 다르게 정의하는데, 원래 connection 1-form은 local하게 밖에 정의가 되지 않는데, principal bundle의 경우에는 global하게 정의할 수 있다.
$\omega\in\Omega^1(P,g)$가 connection 1-form이라는 것은, (1) $\omega_p(\underline{X}_p) = X$ for any $X\in\mathcal{g}$ and $p\in P$, (2) $r_g^*\omega = \mathrm{Ad}_{g^{-1}}\omega$ 인 경우를 말한다. 여기서 $\underline{X}_p$는 소위 fundamental vector field라고 불리는 것인데,
$$\underline{X}_p = d/dt|_{t = 0} p\cdot e^{tX}\in T_pP$$
로 정의한다.
$\omega_p$는 canonical 한 choice가 있는데, 만약 $v:T_pP = V_p\oplus H_p\to V_p$가 vertical component로의 projection이라고 한다면, $V_p$는 $\mathcal{g}$와 $G\to P, g\mapsto p\cdot g$의 tangent map에 의해서 identify할 수 있고, 따라서 $\omega_p = v:T_pP\to\mathcal{g}$로 정의할 수 있다.
참고로 이러한 connection 1-form이 principal bundle에 정해져 있으면, 1-form의 kernel로 horizontal distribution을 잘 정의할 수 있다.
왜 이런식으로 Chern-Simons 3-form을 정의했는지 의문이 될 수 있는데, 한 가지 계산을 통해서 알 수 있는 것은
$d\alpha(\omega) = \langle\Omega\wedge\Omega\rangle$이 된다는 것. $\nabla$에 대해서는
$d\alpha(\nabla) = -{1\over 8\pi^2}\mathrm{tr}(\Omega\wedge\Omega)$가 된다. $[\mathrm{tr}(\Omega\wedge\Omega)]\in H^{4}(M)$가 Pontryagin class인 것을 상기해보면, Levi-Civita connection의 Chern-Simons 3-form은 Pontryagin class의 potential로 정의된다는 것을 알 수 있다. 일반적으로, 홀수 $p=2n-1$에 대해서 Chern-Simons $p$-form은 $[\mathrm{tr}(\Omega)^{2n}]\in H^{4n}(M)$의 potential, 다시 말해서 $d\alpha_{2n-1} = c_n\mathrm{tr}(\Omega\wedge\cdots\wedge\Omega)$인 $p$-form on $M$을 말한다. 여기서 $c_n$은 그냥 아무 constant나 잡아도 된다.
정의를 보면, Chern-Simons invariant는 global section에 depend가 된다. 우리는 적절히 mod를 해서 Chern-Simons invariant를 global section에 depend하지 않도록 하고 싶다. 이걸 위해서는 global section에 얼마나 CS-invariant가 변하는지 알아야 한다.
이러한 dependence를 반영하는 공식이 있는데, $\varphi:P\to P$를 smooth fiber bundle isomorphism이라고 하고 $g_{\varphi}:P\to G$를 $\varphi(p) = p\cdot g_{\varphi}(p)$로 정의하자. (앞에 나온 $p$에서의 fiber와 $G$와 identify를 하는 map이다.)
Proposition. Let $\varphi:P\to P$ be a bundle isomorphism. Let $g = g_{\varphi}\circ\sigma$.
$$\varphi^*\alpha(\omega) = \alpha(\omega) + d\langle\mathrm{Ad}_{g^{-1}_{\varphi}}\omega\wedge g^*_{\varphi}\mu\rangle - {1\over 6}g^*_{\varphi}\langle\mu\wedge[\mu\wedge\mu]\rangle.$$
In particular,
$$\mathrm{CS}_G(M,\varphi^*\omega,\sigma) = \mathrm{CS}_{G}(M,\omega,\varphi\circ\sigma) = \mathrm{CS}_G(M,\omega,\sigma)+\int_{\partial M}\langle\mathrm{Ad}_{g^{-1}}\omega\wedge g^*\mu\rangle - {1\over 6}\int_M g^*\langle\mu\wedge[\mu\wedge\mu]\rangle.$$
$G = SO(3)$인 경우에는, 가장 마지막 term은 $2\Bbb Z$라는 것이 알려져 있다. 따라서, $\bmod{\Bbb Z}$에서는 $\mathrm{CS}_{SO(3)}(M)$은 $\Bbb R/2\Bbb Z$에서 잘 정의 된다.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
논술을 써 말아 7
고경하나 갈겨볼까 못맞출거같긴한데 국어때문에
-
65일 남았는데 바탕 풀패키지 8~13회 (6회분) 이감 시즌5 4회분 상상 시즌4...
-
새기분 이후에 할건데 둘중 뭐 추천함?
-
호머식으로라도 최초 100나오긴함
-
국어는 수완실모 같은 실모로 쳐주기에도 뭐한거 빼면 한 번도 안풀어봤고 수학도...
-
데인경험이 많아서 쓰려는데 논술 경희대 자유전공 vs 빅데응 뭐쓰는게 나을런지요...
-
언매 영어 지구 3
유기하고 싶지만 열심히 해야하는 과목..
-
3합7 맞춰야 함(탐구 평균) 6평 21343 35/38 9평 23234 45/36...
-
야무지게 풀어야지
-
아니 심지어 제목은 누가 저렇게 틀딱처럼 바꾼거야..... 무료자료도 막...
-
코인선물, 주식, 해외선물로 2천만원 날림+01년생 미필(공익X)+지방대 학점 2.3
-
현역부터 이번 9모까지 무려 2년 반.. 앞으로 더 오르려면 진짜 5 7년은 박아야하나 암담하다
-
인강만 듣기 0
수1 복습용으로 시발점 들으려고 하는데 교재 없이 강의만 듣는 건 의미없음?
-
그래서 닉이 적응이 너무 안 되는분이 1분 계심
-
맛 너무 없어졌는데
-
아직 응애임
-
미적 노 맘 5
절대ㅜ내가ㅠ못하는거 맞음
-
고대 경쟁률 5
입학홈페이지에 있나요? 왜 전 안뜨죠? 어제는 떳었는데 저만 이런가요
-
오리온vs매실문 3
뭘 더 추천하시나요? 지금 둘다 풀긴 늦죠?
-
연고 상향 지르고 서성한 넣으려하는데 서강대 학종이 면접이 없음 9모는 13113...
-
인문논술 보험으로 쓸 대학 고민 중인데 단국대,숭실대,세종대 중 고민중이야..어디가 나을까
-
고체유체를 하자 5
제발붙여주세요제발붙여주세요제발붙여주세요제발붙여주세요제발붙여주세요제발붙여주세요제발붙여주...
-
교사 급여, 초임 낮지만 15년차 이상은 OECD 평균보다 높다 3
(서울=뉴스1) 권형진 기자 = 저출생으로 학생 수가 급감하고 있지만 초·중학교...
-
경찰, '여성판 N번방' 사건 게시자 7명 특정…관할서 이송 4
여성 전용 커뮤니티에 남성들의 나체 사진 등을 게재해 유포한 사건과 관련해 경찰이...
-
작년 기준 숭실이 2합4여서 그런가? 맞나?
-
진짜 아무것도 안하고 비닐만 뜯었는데 환불 안됨? 비닐 포장은 다시 하면 되지...
-
김상훈쌤 0
근데 뭐 공지보면 교재 단가가 높아질 수 있다 이러시는데 그냥 해오던거처럼 피니쉬...
-
연대 논술 학과 13
기계공 22 첨컴 23 전전 35 닥 전전임?
-
대학 자체에서 종합 전형은 n수생보다 현역을 더 중시하는 경향이 있나요?
-
GO보다 고민 0
-
‘의사 블랙리스트’에 칼 빼든 경찰… “48명 특정, 32명 송치” 1
[서울경제] 의료 현장을 지키고 있는 의사들의 실명을 적시한 일명 ‘블랙리스트’가...
-
경희대 조리푸드 디자인이나 미디어 or 한국외대 네덜란드어과 인도어과 태국어과..?...
-
2개 틀림...작수 실모가 쉬운편인가 작수꺼만 보면 잘봄
-
논술 원서 민증 1
논술 원서 넣을때 민증 사진도 가능한가요?ㅠㅠ 민증 사진 넣고 시험장엔 운전면허증...
-
이제야 알아버린 음..
-
수학 실모 2
강k가 가장 어렵나요 킬캠이랑 비교하면 어떤가요
-
평균 오천사백에 분산 삼천육백, 표편 60으로 나옴 두번 풀다 다르게 접근해서 겨우...
-
2406,2311 독서론 + 2411 가나지문 공부: 50분 수특 독서 인문예술...
-
수시론 조선대도 간당간당
-
화2 수특 2
화2 수특 2점 문제는 이비에스에서 안 다뤄주나요??
-
아는 선생님이 넣어보라고 논술은 금방 된다고 최저 맞추고? 이런 게 문제라고 (전...
-
수능 영어, 가성비 있게 공부하고 싶다면 (PDF 자료 첨부) 3
안녕하세요. 이투스 영어 김형률 선생님 조교입니다. 항상 이투스와 현강에서만...
-
나만 논술 붙여줬으면 걍 대학다녀야한다고 생각하나 11
솔직히 말하면 소수 제외하고 논술 합격생들 정시성적으론 택도없는 대학 보내주는건데...
-
대통령실 “2025년 의대 정원, 언급 가능해도 조정은 불가” 12
[앵커] 하지만 의정갈등, 주체는 떠난 전공의와 정부, 대통령실이죠. 대통령실은...
-
자신의 인신을 소유할 권한은 배타적이므로 침해되어서는 안된다. 롤스 (O) 인데...
-
과외 환불 0
ㄱㄱㅇ로 과외 한달 8회 수업 했는데 선생님이 8번 내내 5분씩 지각하시고(그렇다고...
-
브금 뭐지 ..마음이 편안해
-
인사해주세요 4
제 부족함이 많이 느껴지는 하루네요,, 좋은 밤 되시기를 바랄게요 선생님,,
-
수학기준 11모(10/15 실시) D-35 범위 ~수2 미분(적분미포함) 적분이...
야해오