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를 선물하세요.
-
얼버기의 신 0
모닝커피&실모
-
시대인재 같은 곳은 안다녀요 ㅠ
-
독서 -3점 문학 -2점 (27번은 집 짓고 사는게 사건의 국면 전환인가..?)...
-
먹는건 오히려 학원 들어오기 전이 야식도 먹고 군것질고 하고 배달음식 먹고 그래서...
-
더프 0
지금 연간패키지 구매하면 3 4 5 7 8월 온라인 응시해서 성적표 받을 수 있나요?
-
요즘에 좀 내는 기조가 바뀌어서그런지 사문은 기출보다 실모가 나은거같기도한데
-
오늘 미루던 연계 해야된다 더이상 미룰수없 다
-
9모 88 빈칸3틀 순서1틀 24번?틀 (호머식90) 두 분 강의 모두 안 들음
-
화공지망인데 국제캠이 교통도 너무 안좋고 수원이라 고민중인데 어떻개 생각하시나요
-
부대지역인재논술 0
제출서류 없는거맞나 지역인잰데??
-
책 샀음 2
물스퍼거평ㅋㅋ
-
피곤하군 0
어서 커피를
-
제발 오늘은 0
안 졸고 해보자ㅜ
-
단일로 사서 풀기vs유기하고 걍 9 10 11만 풀기 어카지
-
원서쓰는데 인서울 먼곳이 통학시간이 걱정이라.. 1인실있는 대학에서 1인실 배치...
-
대충 자세한 사연은 몰라도 메가 대성패스 사기 좀 부담이 있나봄 집이 수급자거나...
-
영어 2가 목푠데 70점 초중반에서 진짜 절대 안 올라가는데 뭐 부터 들으면 될까요?
-
킷사마!!! 코로스!!!!
-
어제 수학 문제때문에 ㅈㄴ 슬펐는데 집에 와서 가만히 쉬니 공부하고 싶다는 생각이...
-
ㅍㅇㅌ 8
ㅍㅇㅌ
-
를 볼때는 정서,태도를 파악하라고 하시는데, 첫번째 사진 에서 빨간줄 부분이 정서와...
-
뭔가 누구랑 같이 써야하지 않나 느낌이 듬
-
작년컷 보니까 교과 일반전형 인문 컷이 2.34까지 떨어지네요 3합 4최저 때문에...
-
하고 그가 내게 물었던 것이다. “사랑하구 말구요.” 나는 갑자기 의기양양해져서...
-
아무리 생각해봐도 증원하면 좋은 점이 안떠오름 1. 한국 의대 정원은 단순히...
-
이미 결석 몇번 하긴 했어도 어차피 추석연휴 끝나면 미친 근면성실 출석왕이 될...
-
님들 수리논술 미적 기하 확통 다보는 대학은 안쓰는게 맞나요? 1
아니면 다들 그냥 쓰나요?
-
잇올 지각해서 건물 벽타고 기어올라가는데 사람들이 웅성웅성하니까 쪽팔려서 뛰어내리는꿈 ...?
-
자체휴강
-
잠도 못 자고 가슴이 막 답답하고 그런데 독재가면 너무 답답할 거 같은데 집에서...
-
수능 수학 공감 13
-
의대 빵 2
혹시 정시파이터분들 일반교과나 지역인재 메디컬 빵날거라고 생각하고 질러보는경우가 많나요?
-
좋은 아침이에요 4
-
4000부 판매돌파 지구과학 핵심모음자료를 소개합니다. (현재 오르비전자책 1위)...
-
등하원 시간에 심심해서….
-
성대 글로벌융합 0
다른 자연계랑 동일하게 수리논술 맞죠?? 자유전공학부도요
-
얼버기 1
-
응~ 1
응
-
기 0
기
-
잇 0
잇
-
1. 10월 초까지 1일 1실모->이후 2실모 2. 10월 초까지 1일...
-
아침인증 0
다들 파이팅
-
얼리버드기상 6
잘 잤다
-
오늘은 좀 일찍 갔습니당 ㅎ 다들 컨디션 관리 잘 하시고 오늘도 화이팅이에요 !! :)
-
후회도안남고 최고인듯 수능아니면 죽음을... 이런 마인드는 지양해보자
-
제일 아픈듯
-
밥먹고 학교나갈까 ㅋㅋㅋ
-
열심히 살 동기가 없달까 결혼을 해야하나
-
기차지나간다 15
멈출 수 없는 폭주 기관차
야해오