Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://m.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
밥먹으면서ㅜ보는데 진짜 채할것갗ㅇ 선발전 잘해버자 .... ㅈㅂ..
-
메가패스 양도 가능한 분 망설이지 말고 바로 쪽지 주세요! 계속 단과로 들었었는데...
-
부조리가 요즘 많이 줄었다고 하는데 저는 전방부대라 그런지 잘 모르겠음... 일단...
-
1학기 때 수능 절대 안 본다며 학교 중앙동아리까지 ㅈㄴ 착실하게 하다가 종강하고...
-
우우우우어우어 3
크루어어얼써머
-
(가) 점대칭 조건에서 원함수 (2,f(2)) 점대칭으로 이차 계수 -6으로 두고...
-
논술 써야 함? 1
재수생이고 논술 한 번도 써본 적 없는데 쓰긴 해야 할까요..?? 돈낭비이려나
-
9모2등급 지금 드릴5 절반 정도하고 2주안에 끝날 거 같은데 드릴 4+워크북 vs...
-
한의대 날아감 2
경쟁률이 21:1ㅁㅌㅋㅋㅋㅋ 높아서 마지막날에 안오긴 하겠네
-
맞출 자신이 있다기보단 이것도 못 맞추면 반수 실패라는 마인드...
-
어디어디 소재 모 병원에서 대규모 사망자 발생 -> 탄핵압박(국민의 힘 10이상...
-
왜 분수만 쓰고 0.5 이런거 안씀?
-
저메추 받아요 3
ㅈㄱㄴ
-
항공대 수리논술 0
이번 9모 88점으로 2등급 받은 말하는 감자인데 항공대(공학계열) 수리논술 난이도...
-
가끔 현실이든 인터넷이든 있는데 나 지금 대학교 0학년임... 학교는 현역...
-
좌석예약 페이지에서 예약된 자리였어도 막상 수업 가면 비어있을 때 있던데 가서...
-
몇분잡으시나요?
-
이번 9평도 시간 촉박했는데 수능 때의 난이도와 미친 표본 수준을 견뎌낼 자신이...
-
ㅈㅂㅋㅋㅋㅋ
-
합성함수도 원트에 맞춰버렸군 크크
-
어떻게 알았냐고? 나도 알고 싶지 않았어
-
돈 썩창나겟는디
-
팀 04 화이팅
-
얘들아 ㅎㅎ 나 수능 잘봐서 자퇴할려고 바2염 시전할 생각때문에 벌써부터 기대되는데...
-
현실 기준 같은 것은 저에게 중요하지 않은 갓 같아요. 왜냐하면 저는 현실에서 살지...
-
에타에다가 경제학과 글쓰고 카페에서 오르비하고싶다 보내줘제발
-
언젠가는 가고 말 겁니다 만들거나
-
뭔가 후회는 없는데 아쉽습니다. 이상야릇한 기분이네요
-
ㅈㄴ 오래한거 같은데 아직도 한참 남았네
-
N티켓 시즌2 미적분 사놓고 풀때마다 9문제중에 1~2문제밖에 못풀어서 유기했었는데...
-
텐데이즈 개념완성 어떰? 문제풀이 교정하고싶어서
-
하..
-
3Q 금지는 너무한듯요 생2 3Q 잘 먹었는데
-
정시로 더 높은 라인을 갈거야
-
원래 오르비는 1
관정에서 해야 제맛이었는데 급 그리워지네
-
. 0
.
-
일단 나 요새 암흑물질처럼 내 성적의 원인이 보이지 않는데 이러다 정시 3떨하는거...
-
가능성 몇퍼 보시나요? 38명중에 6명인데 .........
-
첫번째(연두)랑 두번째(파랑) 제가 모르는 성질이 있는걸까요?ㅠ 개허수인저좀도와주세요…
-
성신 공대 -> 아주대 보안 쓸까요 말까요..? 정시는 포기해서 1학기때 학점은 잘 챙겼습니다.
-
근거없이.. 작년엔 ㅈㄴ 못볼것 같았는데?? 이거 드디어 정신병온건가?
-
고전소설 19,20번 한 문장에서 정답이 두개 나왔는데 이거 맞아여?
-
처음에 갔던 곳은 일단 말하는 꼬라지부터가 쥰내 마음에 안들었는데 갑자기 낮은...
-
4년전에 6논술 쓰고 산화한 기억이 떠오르는군요
-
논술 연필 볼펜 9
요즘은 연필 볼펜 안가리나? 오빠가 논술볼때는 볼펜으로 안써서 빠꾸 먹엇다는데...
-
원래 포기하는 게 맞잖아요 근데 아무리 지랄발광해도 마음 정리가 안된다면 그냥 티는...
-
크악배불러 6
빡세네요
-
그 노래가 생각날 쯤이면 돌이킬 수 없이 수능으로 빨려들어가기 때문이다
야해오