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
인가경 중에 어디 인식이 가장 좋나요? 성적, 기숙사 이런거 다 고려해서요
-
N수 최하위권 허수는 말도 못꺼내고 그저 운다..
-
3합5 4합8
-
4000부 판매돌파 지구과학 핵심모음자료를 소개합니다. (현재 오르비전자책 1위)...
-
우왕 1차 컷 96이네 미쳤다 ㅋㅋㅋ
-
겨울 언제와 1
연말 분위기 풀풀 풍기는 겨울이 보고싶어 여름 빨리 꺼져
-
인강, 자습 0
현역, 쟈수 땐 강의를 되게ㅡ많이 들었는데 지금은 강의 듣는 거보다 자습하는게 더...
-
기분개같다
-
농어촌 융합에너지학전공 경쟁률 3대1인데 넣을걸 그랬나
-
나만 학교 전체적으로 더움? 학교가 높이있어서 그런지 6월초에 등교할때도 덥고...
-
제대로,,
-
최저 하나만 있어서 3합7 맞추면 되는데 국어 영어 수학 지구 중에서 뭘...
-
어디까지가 인서울인가요? 귱금
-
셀프 지능 평가 1
작업기억력:평균 상 상위 15% 언어이해: 평균 상 상위 25% 지각추론: 평균 하...
-
출제범위는 고등수학, 수1,수2, 미적분이라면서 2025 모의평가, 과년도 기출을...
-
여긴 자사고 중에서 높은 편인가요
-
88 74 3 99 97 탐구는 동사 세사 사학과 가고싶은데 건동홍 가능할까요
-
큰일났읍니다 0
배고파요
-
멀리서 보면 괜찮은데 가까이보면 헉 하긴함 제 눈 아님
-
뇌가 그때 깨서 그런거임??
-
그치만 재수를 했으면 정시로 가야…
-
가천대 논술 신소재 가고싶은데 화생공나쁘진 않음. 작년 기준 둘다 컷 비슷했고...
-
그때 남은거 와라라 써야지
-
13일의 금요일 2
헉.. 무서운 날이군 조심해야겠어..
-
죄다 서연울카성고 의대 가고 메디컬 가고 설높공 가고 하..
-
대치동 학원에서 근무하는 영어 강사입니다. 현장 보조 아르바이트생 구인합니다. 1....
-
ㅇㅅㅇ
-
지금껏 서울대성님들께서는 저를 애초에 인식 대상에서 제외시켜서 서로 단절된...
-
피자스쿨 혼밥 6
가능할까? 피자 너무 먹고 싶은데 어쩌지...
-
아 수능 보기 싫다 10
정신 나갈 것 같다
-
칸트 질문 4
도덕적 책임을 질 수 있는 존재만이 도덕적 의무의 대상인가? 칸드가 동의할 선지인데...
-
나는 왜 이렇게 태어난걸까 어지간한 노력과 성과론 뒤집을수가 없는 극단값으로 태어나다니
-
남은 60일 동안 체력 최대치로 끌어올려서 올리는 게 나을까요..? 4
아니면 컨디션 관리 하면서 하루 6시간씩은 꼭 자는 게 좋을까요..
-
네이버 뉴스로 들어가려고 웨일 들어가자마자 기사 제목 까먹음. 청년치매 실화인가
-
솔직하게
-
1단계 불합격자는 최저 맞춰도 합격 가능성 아예 없는거죠? 1단계 합격자중에서 숫자...
-
재수생이고 지금 나오는 성적은 보통 연고낮공~서성한공 정도입니다 현재 접수한 논술은...
-
어떤 생명체의 존속은 그 생명체의 본래적 가치에 의해 정당화된다. 가 틀린 이유가 궁금해여
-
안녕하세요. 둘 다 안긴문장의 부사격조사가 붙어서 인용절이 되는건 알고 있습니다.....
-
내신으로는 부경대 전기정도인데 이번 9모가 쉽긴했지만 부산대 경영까지 되는데 딱히...
-
잇올 다녀서 이감오프 10회분 살수 있는데 온라인으로 파는 파이널 패키지가...
-
카의는 좀 문제가 많이 빡세고 경희의는 쉬운데 투과목을 당일치기 해야됨
-
당장 토스 CEO만 해도 설대 치대 학사인데 뭐..
-
작년에도 그러고 올해도 그렇고 40일쯤 지나면 스카 바꿔줘야되는듯 집주변 스카 4개...
-
고3이고 국어가 3,4 뜨는데 아무리 계속 풀어도 비뮨학 지문을 읽고 나면 지문...
-
기출이랑 실전 괴리가 좀 느껴져서 기출 벅벅은 좀 아닌거같음 그냥 개념이나 달달...
야해오