Chern-Simons invariant in hyperbolic 3-manifold
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를 선물하세요.
-
지 성적은 존나 낮으면서 남한테 뭐라도 아는 양 공부법 알려주고 교재추천해주고좀...
-
수험생들 스펙 구경 좀 해볼까
-
"의대 증원 '찬성' 댓글 달아라"…연세대 보건행정학부 과제 논란 10
연세대 미래캠퍼스 보건행정학부가 학생들에게 "MBC 100분 토론 방송을 시청한 후...
-
상상모의고사 2
왜이리어렵지…하..
-
식곤증과 싸우기... 힘들다
-
소분vs입고 공부만큼 쉬운게 없구나 느끼려고 가는거에요 입고는 편해서 효과없을거같고...
-
국어인듯 이놈땜에 수능판 진입 못하겠음
-
놀고 9모끝나고 멘탈갈려서 또 노는중 인생 좆망했다..
-
잇올 코훌쩍 3
자리가 서로 되게 가까운편인데 책장너머 거의 바로옆에 사람이 교시시작 30분정도에만...
-
9모 대충 중경외시인듯한데 서성중건은 일단 쓸거고 경희는 시간 겹쳐서 못쓸듯하고...
-
9평 몇분 걸리시고 사설 서바, 이감 풀면 몇분 걸리시나요?
-
오늘부터 달립니당.
-
ㄹㅇ shit임 사실 모든꽃이 한번에 피는것도 아니고 꽃을 피워야만 아름다운것도...
-
이모가날봐야되는데
-
저는 adhd 뒤늦게 발견해서 어쩔수없이 공무원시험 준비로 튼 사람인데 님들은...
-
서울대 학부에서 제일 낮은편으로 알고 있는데 작년 수능 배치표 표점컷 보니 대성이랑...
-
외대생님들 6
학교에 이창섭 왔다는데 보신 분 계심?
-
6모 12번 2
색다른 방법으로 접근 해보고 싶은데, 혹시 두 지수함수의 역함수인 두 로그함수를...
-
걱정되는 추석 응급실…"하루 1만명씩 진료 못 받을 것" 1
[서울=뉴시스] 백영미 기자 = 추석 연휴(14~18일) 응급실 대란 우려가...
-
와 장염걸림 2
큰일났다…….
-
ㅠㅠㅠ 경쟁률 낮았으면
-
뺑뺑이사망 벌어지는데…'응급실 근무의사 블랙리스트' 등장했다 3
"감사한 의사", "민족의 대명절 힘써주시는 분들" 비꼬며 올려…응급실 파견 군의관...
-
샤인미 미적 0
미들부터 숨막히는데 하이엔드는 그냥 드랍해야하나..
-
후식은 두리안 샤워는 오늘부터 금지 같은 반 경쟁자 제거해서 나만 잘 볼 거임
-
오르비 안녕하세요 예전엔 글을 진짜 디게 많이 썼었는데 심심해서 한번 놀러와봤습니다...
-
애매한 부분 있었는데 싹 다 해결됨
-
숙제장 지문/문제 해설 영상을 유튜브에 올리면 볼까요 해설지를 따로 제공하긴 하는데...
-
ㅁㅌㅊ? 외진은 물리치료 소견서 주 1-2회 오라해서 가는거 ㅇㅇ 어떤것 같나요
-
하긴 서포터가 대부분 딜러들보다 쎈건 말이 안되긴했음 ㅋㅋ 팩트는 직업 밸런스가...
-
독서-7점 6 9 10 문학-6점 20 31 32 언매-2점 39 31 32랑...
-
크아아악 9
눈앞에서 보지는 말아주세요..(동기임)
-
하... 진짜 개화나네
-
외고 다니고 지원학과 일반전형 2배수 선발까지는 도전해볼만한 내신&생기부에요 권장...
-
확통인데 3등급 까지만이라도 가고 싶어요ㅠㅠ
-
2025 이동훈 기출 https://atom.ac/books/11758/...
-
어떻게 하실건가요?
-
내가 총 내신은 낮은데 2.6에서 1.15까지 올린 케이스고 생기부가 좋아서 어느...
-
휴대전화랑 전화번호 칸 차이가 무엇인가요? 같은 번호로 적어도 되나요? + 그리고...
-
뱃지적용어케함뇨 6
프사눌러서 뱃지 클릭해도 암 것도 안뜸
-
수학황님들 0
지금쯤 수학 공부 어떻게 하시나요...? 뭘 해야 할지 모르겠어서
-
올해 입결 예상 16
작년이 아마 실질 체감컷이 (원서 작성시 기준) 메쟈의=설치> 인설의=연치>...
-
9모 화작 60분만에풀고 덮엇습니다 93점나왔고요 ebs 수특수완...은 아직...
-
의사들이 진짜 정치빡통이 아닌이상 의사가 저렇게까지하겠냐 에이~
-
독서실에 놔뒀는데 잃어버려서 채점을 할수가 없어요...
-
은근 따갑ㅠ
-
근데 확통 노베라 상경논술은 못 쓸 거 같고…
-
[단독]응급실 비상인데…의료계 '블랙리스트'에 추석 근무자 명단 공개 13
[서울=뉴시스] 구무서 기자 = 추석 연휴 응급실 등 의료기관 운영에 우려가...
-
공부합시다. 0
윤석열입니다.
-
전공수업 같은반에 여학생 두세명밖에 없네
야해오