Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://iu.orbi.kr/00068864906
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
다 이긴겜을 던져서 지고 막셑벤픽은 본인들 장점 다버리는 픽을하고 인겜에선 던지네 야발들
-
결제해서받는거의미없을까요
-
맞말임 일단 잠을많이자서 피부가 좋아지고 수능끝나고 라식, 쌍수등 외모에 돈을...
-
드디어 글 쓸 수 있네 13
375일 왜케 김
-
질줄알고 안봤는데 이겼네 개나이스
-
수학 N제 너무 어려워요 ㅠㅠㅠ 버려야하나요 ?.. 1
고2 정시파이터인데 n티켓 시즌1 풀고 쉬사준킬하고 있는데 진짜 왜이렇게 어려울까요...
-
자퇴 2년차 + 재수생 독재라서 보는 사람이라곤 가족 뿐임 인간관계 단절됨 1년...
-
전전전기기기기계계
-
요즘에 2시쯤 취침하고 7시에 일어나서 눈 뜨자마자 에너지드링크 한캔 마시고 자기...
-
갑이 속해있는 공식조직은 회사,노동조합,경영대학원 아닌가여?? 3개아닌강 왜 4번이 답이져 ㅜ
-
안비밀
-
애니프사들아 투표 좀 10
-
9모 55점 나왔고 지금까지 이미지 세젤쉬 미친기분 시작편 했는데 혼자 기출...
-
정시를 하겠다는 건 고집인가
-
오히려 남자애들한테 20
보고싶다 이런 낯간지러운 소리 하기 쉽지않나요 이성한테 하면 괜히 오해살까봐 좀...
-
와 티원 진짜 6
존나못한다 ㅋㅋㅋㅋ 얘네 어떻게 결진전갔음? 진지하게 광동보다 못하는데?
-
담원3시드 뭐냐 0
에휴 또 조별딱하겠네
-
캬캬 대황딮 2
이거거거던ㄴ
-
이왜진
-
내가 정시를 해야만 하는 이유를 가족에게 설득시켜야 한다 PPT를 만들던지 성적을...
-
브릿지 서킷 지인선 2회독 드릴드 수1 수2 미적 드릴5 수1 수2 미적 드릴4...
-
언젠가부터 커피먹으면 다음끼니가 잘 안들어감 그래서 커피 거의 안마시고 물마심
-
2호선 7호선 미친 지하철 노선에 바로 옆 성수 다리건너 잠실이라서 그런가 뭔...
-
기하는 내신때 해본게 전부라 잘 모르는데 어느정도 걸릴까요
-
더프 8월 전과목 ebs 파이널 집 마당 깊은 집 ~속삭임, 속삭임 사문 리바이벌...
-
지방 ㅈ반고고 1학년땐 국어 2 1 2학년 오고 문학은 2 나왔어요 이번 모고도 2...
-
간쓸개 시즌 2 0
어려운편인가요 쉬운편인가여 정답률이 50퍼 정도 나오는데 슬럼프인가...
-
독서1편만 살려하는데 2만5천원이던데 해설지 당연히 포함된거겠죠?
-
왜일까
-
궁금하다
-
내신 2.16 생기부 내용 괜춘한데 수학 내신 4,5등급 있음 ㅈ반고라 표준편차...
-
6논쓴사람 공유들좀
-
다양성 3
-
A방법: K라는 기체를 어떤 물질에 직접 반응시키는 방법 B방법: K라는 기체를...
-
예전부터 바라왔지만 하씨발당연이않되지ㅋㅋ 하고 괜한희망버리려고 입시요강 쳐다보지도...
-
이런싸가지없는
-
수학 질문이요 0
수학 6모 69 3등급이고 9모84 찍맞28번 2등급입니다 3개년 기출문제를 모고...
-
대통령 긴급 브리핑 "사교육 카르텔이 국가를 혼란시켜 대국적 조치 불가피...계엄령...
-
남은 두달동안 정승제 선생님 미적분 듣는데, 뭔가 기본개념 :아하! 쉬운 적용 문제...
-
강x 푸는 통통인데 강x 84-88 은 보장되는데 수능 수학 1컷에서 하나 정도 더...
-
한양대 논술 자연과학계열 30:1 인터칼리지 100:1 최저 낮아서 실질경쟁률...
-
어느 과가 나음?? 학교마다 다른가??
-
해강 듣고 싶은데 패드가 어디 갔는지 안 보인다
-
취소된다면 수험생들은 이투스에 소송 걸 수 있는 부분인가요?
-
축제 재밋어요??
-
작년 체감 별로 못느꼇는데 어떻게 생각하시나요 다들
-
별의 별 노래로 다 찬양을 하고 자빠져썩
-
누군가가 나보고 멍청하다고 말하면 그걸 반박하고 싶어져서 싸우다가 그 사람 기준에서...
-
지구러들아 도와줘 11
가끔씩 개 말도안되는 문제가 나온다 ㅋㅋㅋ (나)가 주상절리라네 시발 ㅋㅋㅋㅋ...
야해오