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를 선물하세요.
-
뭔가 이제 서성한이 손에 잡히기 시작하니 한걸음만 더 나아가면 스카이를 잡을 수...
-
공부 그게 돈이 됩니꺼
-
이과 친구 왈 언미세지 모두 컷이라 함 수능 기준이라면 어디감
-
이번 9모 92점나왔고 기출을 빠르게 한번 보려고 하는데 마더텅 같은 거 풀기엔...
-
좋은 아침이에요 3
-
정석민 선생님 문기정 지금부터 들어도 괜찮을까요? 작수 올해 6 9 전부 3등급이고...
-
우으..
-
얼버기 1
다들 오늘도 팟팅
-
오늘도 다들 힘내보아요. 하루 화이팅 !
-
개념 나가고 있는 중인데 수능날 2가능?? 근데 지구에만 시간을쏟을수는 없는 상황임
-
이거 어케 잡는거임
-
입시판 특징 10
과탐 고정1 아닌데 사탐런 안한 원장연들 ㅉㅉ (구 과탐 66, 현 사탐 34)...
-
이시간까지 기다린 의미가 없네..ㅜㅜ
-
영어 9모 3->1, 지구 노베->2 뭐가 더 가능성 있음?? 2
9모 영어 4뜨긴 했는데 68점이고 6모때 3이었음. 근데 내가 4뜰땐 그냥 찍은게...
-
에 대해서 어떻게 생각하시나요 준3때 이미 돈 멏십내고 adhd 검사 등 햇다가...
-
책 판매하고 싶은데 어디 사이트 이용하는게 좋나요
-
정확한가요? 헛된 희망을 주는거 같아서..
-
드릴 종류? 질문 10
드릴 12345 이랑 워크북있는 거로 아는데 시간이 되면 6개 다 푸는 게 좋나요?...
-
영어 0
고2 9모 듣기 다 맞고 74점 나왔는데 조정식 괜찮아 문장편 하고있습니다 절반...
-
대학 미련 6
외대 다니고 있는 학생인데여.. 이화여대가 자꾸 마음에 걸려요..ㅠㅠ 이대 너무...
-
올해 9평 풀고도 1번이 이상하다는걸 전혀 몰랐는데 특수오일이 사람이 만든거니...
-
메가패스 있습니다 최대한 컴팩트한걸로요···..
-
둘 다 안 풀어봤는데 머부터 풀면 좋음? 둘다 적당히 풀 실력은 되는 듯 드릴5...
-
똥 4
똥
-
대성패스있으신분 2
솔텍 파트1 16강 14분 50초부터 봐보셈 춘식쌤이 윤도영쌤 성대모사함ㅋㅋㅋ 진짜...
-
성적 올릴 수 있을듯
-
반수 포기함 3
현역 -> 폭사 재수 -> 중앙대 공대 무휴삼반수 하려고 했는데 힘이 너무 딸린다 입시 여기까지..
-
일요일날 집에 빨리와서 쉰게 맘에 안드신듯.. 스카에서 자고 바로 학원 갈려구요
-
레어를 뺐겼더니 3
덕코가 늘어났어요!
-
하 ㅈ같네 10시에 자는게 목표였는데
-
수험생 특성 상 증원됐다고 그만큼 용기내서 지원하기보다 전년도 입결을 고려하여...
-
영어 9모 3->1, 지구 노베->2 뭐가 더 가능성 있음?? 8
9모 영어 4뜨긴 했는데 68점이고 6모때 3이었음. 근데 내가 4뜰땐 그냥 찍은게...
-
레어화긴 5
광역시수집가
-
내년에는 2호선 타고 꼭 통학한다.
-
수시 교과 써보려고 했는데 쓸만한 곳이 없네 에잉
-
아무리 봐도 이해가 안가는데 이런식이면 ㄹㅇ 전염병 환자는 의사에게 '치료' 를...
-
지금 들을까 말까 좀 고민되는데 난이도라고 해야하나 어느정도 수준으로 진행되는지 궁금합니다
-
다음날 일어나야하는거 아는데 진짜 밤만되면 못참고 뭐 먹어버리고 후회하고의 반복임.. 너무한심한데
-
후후
-
물리-에너지 파트랑 역학 일부 고난도 빼고는 거의 다 품 생명-돌연변이 아직 못...
-
진짜 화이팅
-
고2 수2 기출 4
고난도 자이 자연계로 수2 시험범위까지 기출 풀려하는데 뭔가 애매한거 같은 느낌이...
-
너무 얼마 안 남았지만 대학교 다니고 있는 상황이라... 뒤늦게 시작해볼까...
-
댓글써주실수 있삼? .이여도 괜찮아..
-
좌표 다잡아놓고 못푼 사람을 뭐라고함? 저능아라는 나쁜말은 ㄴㄴㄴㄴㄴ
-
화학2 진짜 이새끼 요즘 좀 쉽게 나와서 그렇지 서울대 필수시절 20번이나 작수...
-
지방일반고문과 ㅈㅈ하게 수시카드 좀 제대로 봐주실 수 있을까요ㅠㅠ
-
군대가기전에 밥 사주려고 했는데 시간 안 된다고 오늘 만났는데 10만원 주심 형...
야해오