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
아주 오랜 세월이 흐른 뒤에 힘없는 책갈피는 이 종이를 떨어뜨리리 그때 내 마음은...
-
멍멍멍!!! 나웃어
-
때리면 짝 소리 나는 여자인가
-
ㅇㅈ 3
다 자겟지..
-
기억하도록
-
굿즈 ㅇㅈ 5
오비츠+넨도로이드 짬뽕은 무적임
-
현재 약 30시간 깨있는 중
-
주간지는 한개 통째로 쭉 풀어도 페이스 잘 안쳐지던데 뭔차이지..
-
일주일 전에 할머니 돌아가셔서 장례 치렀는데 집 오니까 엄마가 당뇨 때문에...
-
내얼굴은 이제 아는 사람 없을듯 ㅋㅋ
-
인생을 날로 먹고 싶다 아무것도 하지 않고 남들의 노력을 물거품으로 모두에게 상대적...
-
올해 2월부터 중간에 한 두 달 공부하다가 번아웃?비슷하게 와서 공부를 안한 것...
-
여르비 ㅇㅈ 7
.
-
오늘 공부한 시간 - 3시간 22분 오늘 한 공부 국어 - 강기본 3강 - 2번...
-
병호T 현강생입니다. 토탈리콜 궁금증 해소해드리겠습니다. 1. 토탈리콜이란?...
-
알리에서 직구했어요
-
안녕하세요~ 0
2025 인문계 수석입니다~ 질문받아오~
-
국어 실모 0
지금 주2회면 적당한가요?
-
자러갈게요 9
잘생긴 남자 꿈꿔요
-
확통이고 6모는 백97 9모는 쉽긴했어도 50분컷하긴 함 백99목표인데...
-
졸업생 강남 일반고 5점대면 무조건 cc 일까요…? 생기부는 괜찮은데 제2외국어...
-
그냥 어디든 자전공대 가서 취업이나하자였는데 설정외 고정외가 너무 멋져보이기 시작해버림…
-
21시즌이가고22시즌이가고23시즌이가고24시즌이가고25시즌이가는구나 0
중학생이던 나는 고등학생이 되고 자퇴생이 되고 대학생이 되고 또한 반수생이 되고...
-
ln(n!)=nln(n)-n으로 스털링 근사해도 감점 없을까요..?
-
…
-
딱 한번만 ㅇㅈ본것처럼 댓글 달아줄수있슴…..?
-
제발 2
언제쯤 내 이상형을 볼수잇을까 왜 대학가도 없냐고
-
지구1 유자분 지금 들어가면 늦음? 9모 45고 개념기출만함 실문풀이랑 병행하려고...
-
군대갔다오면 24살이라 울었어 ㅜㅜ
-
왜 자꾸 ㄱㅅ이 닿는 걸까.. 흐흐... 이정도면 거의 서비스 아닌지? 추나요법...
-
남르비 주목!! 13
나도 쪽지 줘
-
여르비 주목‼️ 4
쪽지좀.
-
재수학원에 8
돌핀팬츠, 크롭티 입고가면 어캐되나요?
-
Oops!
-
저게 물리적으로 가능함?
-
갸루스타일 9
별로에요? 약간 세미갸루도 별로인가 와투케+갸루화장
-
자리예약 깜빡해가지고 그 선좌석? 인가 다 빠져서 자동배정인거같은데 이거 ㅈ된거임?...
-
여드름나서 아픈 오르비언 인증이죠?
-
현역이고 수시카드 가천대 논술 빼고 5개는 안정으로 넣어뒀습니다 가천대 논술은...
-
+ 정시 기준 등급대별로 대충 몇 년정도인지 궁금해요 ˳⚆ɞ⚆˳
-
오르비개재밋ㄴ 10
난 왜 이런 재미를 몰랏을꼬 물론 작년엔 감금당했긴했으
-
기출 돌리는 거 괜찮나여 아님 반복하는 게 더 나을까요 ?
-
ㅇㅈ.......ㅁ 11
이재명
-
편입이 더 쉬울 것 같다
-
뭔가뭔가임 진짜
-
절대로 인증을 해선 안되
-
휴일 밤을 맞아 6
일본어 공부하기 vs 스위치 갖고 놀기
-
그냥 뭔가 그럼. 아님 말구.
-
만코만 주세요 3
감사합니다.
-
ㅇㅈ메타임? 1
ㅈㄱㄴ
야해오