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를 선물하세요.
-
학교에 자꾸 눈에 밟히는 이성 친구가 있는데 3년 내내 접점이 없어 학교에서 거의...
-
ㅈㄱㄴ 모르는 문제만 해설 강의 듣고 나머지는 해설지로 공부해도 되나요?
-
풀어냈다!! 미적은 제대로 못 푸는거 같은데 얘는 노가다로 풀긴 푸네 ㅋㅋ
-
토너 로션 선크림 눈썹 다듬기/그리기 립밤 꾸준히 잘씻기 이정도만 해도 ㄹㅇ 사람됨..
-
ㅈㄱㄴ입니다 이건 좀 아니다 싶은건 그냥 패스하고 넘어가시나요? 실모들 난이도 레전드네 진짜...
-
물1) 전류에 의한 자기장 이렇게 풀어도 되는건가요? 3
대충 이런 문제 해설 보면 p, q에서 0이니까 뭐 A,B 전류 방향이 이렇고...
-
질문 받음 9
해주시면 복받아요
-
뉴진스의 정상화
-
오랜만의 질받! 6
-
밸런스게임 22
거셈
-
무물보 4
23 미적 100이고 서울대학교에서 공학(전기정보 or 컴퓨터)과 자연과학(수리...
-
수능끝나고부터 어디 외출할때 이성없어도 꾸미기 시작해보삼요 다 피가되고 살이...
-
원하는 시간에 일어나게 해주셔서 감사합니다. 참 행복한 인생을 살고있다는 생각이...
-
질문받음 7
ㄱㄱ
-
들을만한 노래임
-
질받 13
-
1학년부터 시작 vs 3학년부터 시작 달성 난이도는 엇비슷해보이는데 전자는 2년 늦음 뭐가 좋을까여
-
야심한 밤 질받 3
오르비 시작한지도 오래됐네요
-
사설 보면 항상 30점대로 처박고 방금도 특모 풀었는데 13 14 15 16 17...
-
2022 고3 3모 67받고 2 떴네요.. 올해 9모 4뜨던 내가…요.. 찍맞X...
-
국어 3중반 확통 1컷 영어 2 사문1 세지2중앙대경영 가능??
-
공유도 괜찮아용 김민경쌤 하나 들었습니다.
-
윤사하는사람 1
공자맹자 구분어케함 문제에서볼때마다 구분이안되는디
-
파스타 민심테스트 19
난 오일
-
축구 하는구나 1
맨시티 좀 졌으면
-
연습할 문제 없음? 수능 땐 뭔가 부피 고정으로 안낼꺼 같은데
-
이딴게..투과목?
-
23수 92점 24수 84점인데...? 왜 퇴화한거지
-
그가 있는 노래방에서 한국어는 들리지 않았다
-
유튭에 떠도는 걸로 보는데도 재밌어서 계속 보게되네ㅡ
-
하지만 난 잘 해낼 수 있을거야 ㅎ.ㅎ
-
ㅈㄱㄴ
-
에휴
-
100점의벽
-
여러분들 전공 중에서 제일 어려운 과목은 뭐였나요? 19
저는 통계역학이요
-
그리고 둘중 하나만 풀수있다면 뭐푸는게좋을까요?
-
심신 안정에 도움 됨
-
화학을매우잘하는미친고능아초특급쿨뷰티미소녀랑결혼해서행복한가정을이룰거임
-
성실하게 2년이상 공부한 사람들 가리키는건가요? 서성한 합격한 수준에서 1-2년 더...
-
망할 효율충 0
요즘 공부개쪼금하는느낌만 들음
-
강민철은 이감을 좀 많이 띄워주네 강의에서는 다른가요? 자세히는 모르고 강민철이...
-
우우오뿌이 3
술이 너무 마시써♥︎
-
가고 싶은 식당이 수요일까지 문을 닫아서 집에서 밥해먹어야 하는 상황임
-
나한테 기출, 실전개념부터 제대로 하는게 맞으니까 착실하게 이거부터 하겠습니다 수학...
-
오늘의공부 2
국어 독서하프모/문학사설15문제/언매사설한세트 수학 2실모+현우수업 영어단어깔짝...
-
노베 기적일지 D-61 “실패해도 그 여정이 바로 보상이다” - 스티븐 잡스 오능...
-
공하싫 3
아오이아먾;ㅣㅇㄴㅁ==
-
그냥 맛보기로 함 풀어봤는데 지문이 넘 쉬운디..
-
전 정시파이터라 논술에 별 시간쓰고 싶지 않아서 Gpt로 공부합니당
-
여행지 와서도 집안 빨래가 오지게 쌓여서 세탁기에다 이염방지제 넣고 빨래 돌리고...
야해오