Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://io.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를 선물하세요.
-
일단 파1 간쓸개는 그냥 친구줘버림
-
아침 브리또 하나만 먹고 점심 안(못?) 먹고 저녁 과자 하나만 먹었더니 영어 실모...
-
수능 탐구 선택자수 광주 표본 나왔는데 사탐런 걱정 안해도 될듯? 0
과탐 아직 넉넉한데?
-
현역인데 공부를 제대로 시작한건 올해부터에요 그래서 재수 생각도 있는데요.. 다른...
-
컨셉인가 얼탱
-
교과로 지거국은 뚫고 국숭세단은 안될 정도의 내신대인데 이미 수능을 사탐 봐서...
-
9모 화확쌍윤 35222 나온 씹허수 재수생입니다 수시 접수 기간이 다가오니 논술을...
-
개념은 이제 다 맞는데.. 고난도 문항 정복하려면 실모 양치기 하면 될거 같은데...
-
그날 이후로 지금까지.. 매일 그대의!
-
발상이랄 게 별 거 없지만 자꾸 휘발돼서 스킬과 함께 정리해 봅시다
-
[설의X울의X연치] 9평 이후 수능 공부는 이렇게 하세요. 0
안녕하세요, TEAM 수리남입니다. TEAM 수리남에서 론칭하여 올해 7-8월에...
-
작수 기준 국어 1컷 미적 96 영어2 화1 47 생1 47이면 의대 가능한가요 ? 2
어디까지 가능한가요 ???
-
하고오면 힘들어서 공부릉 못함... 학교에서 수업쌩까고 공부하는게 답.
-
실전에서 19 22 23 24번 소재 결론 주장문 파트 발췌독 하시나요? 아니면...
-
의대만 방학 갈려나가고 치대나 한의대 등은 방학 보장이라고 하는데 재수강 해야되면...
-
문자 누르면 해킹당할수도 있다한거 본 후로 문자 다무시깜
-
술도 안마셨는데 꼬기가 됐어요
-
둘 중 어디가 더 나은것 같으신가요??? 둘 다 최저만 맞추면 붙는 성적대이긴 합니다
-
수학실모라는 것의 정체성 및 이를 활용하는 방법에 대해 어제 쓴 글을 보충해보려...
-
갳우욫엉 3
https://orbi.kr/00069113420 ㅠㅠ
-
9모 이후 각성함
-
수시 소신발언 0
의대 증원 이슈로 컷 하락 예측 많이 하는데 타과 컷 하락 미미하거나 없을 것...
-
국어나 다른 과목들도 궁금합니다.. 대충 어느 간격으로 해야하련지
-
수능 보려는 건 아닌데 독해할 때마다 감으로 날려읽는 습관이 있어서 늦었지만...
-
궁금쓰
-
진짜 걍 어이가없네ㅋㅋ
-
지금 올오카 TIM 끝내구 KBS 듣는 중인데 아무래도 앱스키마가 볼륨이 크다보니까...
-
논술 도표 있는 대학 안 쓰는게 맞겠죠...? ㄹㅇ 토 나옴 너무 싫어서 사문 버리고 윤사로 옴
-
제발 0
여기 댓글 한번만 달아주세요ㅠㅜ 생명 진짜 어떡해,,
-
다해줬잖아
-
[커버스토리] SKY 지역비례로 뽑으면 교육 불평등 해소될까 3
지난달 말 나온 한국은행의 ‘입시경쟁 과열 대응방안’ 보고서가 많은 화제를...
-
가장 적은 노력으로 가장 높은 점수 쟁취 가능 안 씻으면 되기 때문이다
-
plz plz
-
22학년도 졸업(4수 나이) 한의대 내용 1도 없음 의대, 생명 내용 전체 중...
-
https://youtu.be/RoTU07xzUnY?si=I2OcBMF4cjULZu_a 뭔가신기함
-
후에에엥
-
적당한 실수 허수 비율 개념양 적음 요즘 도표는 수학 3등급도 풂 내가 사문이랑...
-
졸려서 3
핫식스 하나 더 먹어 버렸다
-
9모 24점나옴...
-
생1 추론형 0
생명 공부관련 질문드려요 개념형 13문제는 12분정도 걸려서 다푸는데 추론형을 너무...
-
원서 넣기전에 마지막으로 확인하고있는데 여기 안정맞나...재작년은 50% 1.31...
-
ㅅ벌 진짜 뭐지
-
올해는 힘들것같아서요..ㅜㅜ 상황상 스카 독재 해야할 듯 한데.. 재수 많이 힘든가요?
-
이감 오프 구매 0
지금 이감오프 학원에서 구매하는건 안더ㅣ겠죠?
-
대체 로그9.9를 어케구한건지 도저히 안보이길래 뚫어져라 생각햇더니 알게됨!!!!...
-
문제를 신기하게 풀어서 교정하려고 질문 올립니다. [1, 2)에서는 조건에 해당하지...
야해오