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를 선물하세요.
-
독재중인데요, 이감 하반기 실모 구매해서 풀어볼까 고민중인데 문제 괜찮나요? 이감은...
-
방금 2방 맞았다
-
좀 마음을 가라앉히고 보는게 더 효율적인듯
-
빨리 수능보고싶다
-
사는 존재만이 알수있지 않을까
-
그렇게 어렵진 않습니다.
-
화작런 해서 2019 ~ 2024 3,4,6,7,9,10 다 풀음… 김승리 하프모고 풀까..
-
원래상태로 다시 되돌아갔네
-
영어가 너무 어렵네요 ㅠ 모고공부 팁좀
-
최저는 맞출 수 있음 수능 전 준비x 수시카드 한 장도 안 씀 보험용으로 써볼까요...
-
1인분도 못하고 어딘가에 기생해서 주변 사람 기운이나 빨아먹는 기생충같은데 앞으로도...
-
문열고 들어갈 것이다.
-
롤 서버 터졌나 16
롤체 해야 하는데 안들어가지네
-
생윤 커리 질문 4
경제 아닌거 같아서 런쳤고 지금 김종익 잘생긴 개념 60프로 들은 상태인데 이후...
-
전 친구한테 경쟁심 들어서,,
-
비평문써야되...고2에요 이과 컴공지망인데 관련있나
-
국어 인강은 잘 안 들어서 방학 때 동욱t 일클, 6평후에 상훈t 문학론 듣고...
-
또 모르는얼굴천지
-
하나같이 괴랄하게 생겼다 3문제 중 2문제가 합답형이라니
-
미안한데 메디컬뱃+의대생들 수능본다고 깝치지마셈. 28
뭐 재미로 수능을봐? ㅋㅋㅋㅋ. ㅋㅋㅋㅋ. ㅋㅋㅋㅋ. ㅋㅋㅋㅋ. ㅋㅋㅋㅋ. 내가 죽여줄게 쓰레기들아
-
(문제는 무시하세요) B입장에서는 자신이 가만히 있기에 지구를 출발한 사건과 행성을...
-
간략하게 설명해 주실 분
-
ㄹㅇ 급함
-
지역인재 되는데 내신 1.36 정도로는 조선치 쓰는게 맞을까요? 최저는 둘다 동일 합니다 ㅠ
-
하루에 4개씩 일주일동안 ㄱㄴ ? 9평 높2임 ㅠ
-
1. 9월 모의고사 비문학 지문들을 어떻게 읽었어야 했고, 2. 문제에서 선지를...
-
내년에도 나오나요? 올해꺼 듣긴했는데 너무좋아서 내년에도 빠르게 하고 넘어가려하는데...
-
광주광역시교육청에서 광주 내 수능 선택자수를 공개했는데, 이를 토대로 수능...
-
나야 힘냐
-
언매 파이널 0
강e분 김동욱 파이널 뭐가 좋을까요 다른 것도 있나요?
-
김상훈 파이널 0
상훈쌤 풀커리탄 인강생으로서 아니 뭐 공지 보니까 교재 출간한다니까 그거야 오케인데...
-
수학 불찍파 5~6강 영어 스피드보카 day11 생윤 잘생긴윤리 8강 기출의미래 1단원 34~77번
-
고2 학생들은 수능 D-100부터는 의미있는조언 기대 안하는게 좋음 3
지금이 공부 뒤늦게 시작하거나 현실적으로 목표낮은 사람들이 질문 폭발적으로 많이...
-
고대식 1.63인데 예비 추합 노려볼 가능성 제로인가요? 낙지는 적정이라 뜨긴...
-
9모끝나고 현재까지 과탐 실모 20개돌파.
-
나태하고 한심했던 과거는 뒤로
-
근데 최상위 재종 제외하고는 어떻게 준비함?
-
1. 사탐런 얼마나 했는지 2. 화1 4만명 넘겼는지 3. 투과목 응시자 수 얼마나...
-
2018?
-
9모 96인데 (확통) 123 풀고 좀 묵혀놨다가 4 5 회 푸니 80 76점 뜨네;;
-
기본내용 자체도 존나게 부담스러운데 그냥 꾸득꾸득 기출 풀면 되는 거 맞나요?...
-
수1 2018년 이후 기출만 풀어도 괜찮을까요..? 3
수분감 수1 풀고있는데 예전문제는 활용문제가 너무 많아서 18년도 이후 문제만...
-
상크스 처음입문인데 보통 얼마정도 걸리나요?
-
지방사라서 서울 잘 모르는데 숙대 11시 40분에 끝나고 숭실대 2시 30분 입실인데 못할까ㅠㅠ
-
어그로 죄송합니다 이정도 성적으로 광명상가 지원 가능한가요??
-
예전에는 막 1
논리적인거 비판적인거 이런거 좋아했는데 별로 의미없는듯 막상 상대한테 상처줄 수도...
-
본인 국어 평소에 꽤 해와서(작수 백분위 100) 딱히 시간 많이 안 들였는데 이제...
-
1/6 2
ㄱㅂㅈㄱ
-
백분위 94 95만 넘기면 만족한다.
-
학종3개 + 연대 논술
야해오