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를 선물하세요.
-
물1 역학 파트 하고 있는데 처음 몇 문제는 쉽긴 하지만... 8번부터 막 막히는데...
-
(P윤석열, 국민 55%가 의대정원확대 여부 다시 정하라고 합니다. ) 0
P윤석열--> 국민의 55%가 반개혁세력입니까? 사과하시고, 해명하십시오....
-
누구 대가리에서 나온건가? 럼블풀고 오른 나서스 바드 직스 바이 에휴
-
바보처럼 왜 0
너를 지우지 못해
-
물리1 지구과학1 4,5등급만 받으면 되는데 모할까? 1
문과출신 이미 대학 졸업장있는 틀딱임..ㅋㅋㅋ 과학포함하면 3합9 인 거 있어서...
-
높3~낮2 만들려면 기출만 여러번 푸는게 나을까요 아님 미친개념같은 실전개념을 먼저...
-
내신 뒤집는 건 무리이려나
-
듣기에 기분이 나쁜 소리이긴 하지만 틀린 말은 아니라고 생각합니다. 오르비분들은...
-
제목 잘 보세요.
-
워드마스터 1
보통 워드마스터 뭐 사나요..? 종류가 너무 많던데
-
노래가 다 미챳네 시어ㅓㄴ시원하니 캬ㅏ
-
스카에 원피스입고와서 웃겼나ㅋㅋ 근데 님들은 이상황이면 무슨 생각드심? 저는 그렇게...
-
국어 옛기출 4
말 그대로 옛기출 최근 7~8개년 이전 기출들 선별없이 전부 모아둔 책이 요즘도...
-
크아아악
-
순한줄 알았지? 맛 서바
-
순한맛 서바
-
작화를 버틸 수 있을까
-
일단 특강 신청해 주셔서 감사하구요^^ (특강은 모두 정상적으로 개강하기로...
-
저는...
-
늦나요?
-
본작의 세 주인공 중 한명이자 인지도 원탑. 리바이와 함께 세계관 최강자 타이틀과...
-
킬캠이랑 강k 해봤는데 택도 없어서 갓다 버렸고, 강x 시즌 1 해봤는데 그냥은...
-
20이랑 24는 진짜 왜 틀렸지 진짜 연휴동안 수학 ㅈㄴ 판다
-
남은 시점 동안 김동욱 일클할지 장클할지 고민이예요.. 강기본 끝냈고 강기분은 지금...
-
그래도 계속 하니 뭔가 좀 속도가 느는구나 수능 때 2만 나와줘라 부탁한다
-
화미생지 높4라 해도 인서울은 되나
-
ㅎ.ㅎ 다이어트하는디 감튀만 안 먹으면 되지않나
-
지금까지 모델은 아니었는데 얘 물리 진짜 ㅈㄴ 잘함 대학원 물리학 전공과목 연습문제...
-
선지 ㄷ에서 칸트,테일러,레건이 도덕적으로 존중받는 대우를 동등하게 받아야한다고...
-
큰일났네 6광탈 각인데
-
6모 + 9모 둘다 국영수 3합5이고 9모때 국어 커하찍어서 딱 2문제 틀리고...
-
좋아 5
좋은아침이라는뜻
-
아침을 핫커피 한잔으로 시작하는게 너무 좋아서 습관이 되었는데 수능까지 2달 남은...
-
700은 심햇지 다같이 하지맙시다ㅇ ㅇ
-
국어공부 0
하기싫다하
-
정시로 기균인데 11211이면(한국사 3이내라고 가정하고) 어디까지 가능할까요?...
-
아무거나 수위노상관..
-
능망념 봉망념 2
-
막 가끔씩 온몸이 윰직이기 싫고 힘이 빠지면서 아무것도 하기 싫어지는 건 저만...
-
사회교육과 생각중인데 필수인가요??..
-
변호사 0
벼농사
-
설의 정시 0
언매 미적 물1 지2해도 합격 가능한가요? 과탐 투투 해야되나요?
-
그런 생각 한 적 없구요 어그로 한번 끌어봤습니다. 아마 수시로 한의대를 갈 거...
-
어흥
-
작년보다 더 괴랄한데 진짜..
-
밥먹자고 해놓고 8
사달라는 마인드는 뭘까
-
궁금한점!! 0
제가 다이랙트샵에서 아이폰15 프로를 잘못구매해버려서 완전 미개봉(새상품) 상태로...
-
수열 {An} 에서 An = (루트n+1)+(루트n) 분의 1 일때, 수열의 급수가...
-
하루에 실모 한두개 풀고 학원에서 맨날 트위치만 보다가 재수학원 담임쌤한테 걸려서...
-
지금은 관해 판정 바라보고 있고... 공부하다가 심심해서 질문 받아봅니다 기계공학과...
야해오