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를 선물하세요.
-
포기하고싶다.. 1
살다보니 포기는 배추 셀 때만 사용하는 어휘가 아니었음을 깨닫게 되네요 평백...
-
03은 역대급 물로켓세대가 맞다 ㅋㅋ
-
해양대 항해융합 지원할건데 항해융합 내신 왜저럼?
-
왜 낙인론은 아닌가요
-
매우 빡센가요??
-
이거 해설 강의가 없고 해설지 독학이네요? 헐... 많이 틀렸는데 큰일입니다
-
04는 고능하다 4
23수능 권하은 최수혁 24수능 유리아 무빙건 근데 같은 04인데 왜 난 저능함 흑흑
-
저는아직....
-
질받해용 8
6월 모의고사 백분위 (학원응시) 88 83 3 73 85 9월 모의고사 백분위...
-
그리고 지구과학 마더텅
-
마닳 몇권부터 0
푸는게 좋을까요 수능이 얼마 안남아서 가장 최근인 1권만 하려하는데..
-
하나도 안 넣기로
-
글 진짜 안읽히네 최악의 상황을 가장한 공부 on
-
화작 팁 5
고1 정시파이터 입니다. 9모 화작을 풀때 25분을 넘어버리는데 어떡하나요.?...
-
님들이라면 어디감 간호 장점 : 취업률 goat.. 인가경 장점 : 캠퍼스 라이프 캬..
-
의대는 수시모집만 하자?…"절차상 불가능" 선 그은 정부 10
[앵커] 이런 가운데 내년도 수시모집 첫날부터 의대에는 지원자가 몰렸습니다. 이렇게...
-
내신은 말았구요 중경외시 라인에서 반수해요 작년에 3합6 맞춰서 일주일 공부해서...
-
문제도 잘 풀리고 매일 이랬으면
-
수분감? 패파?
-
저녁ㅇㅈ 4
전이랑 김치찌개
-
ㅈㄱㄴ
-
본인이 내신 몇이면 상향으로 쓸것같음?
-
이런 미친 틀딱 새끼들 입시가 장난인줄 아나
-
개인적으로 외대 논술 ㅊㅊ해요 저도 8월 중순-말부터 시작했는데 외대는 글자수도...
-
원서접수 완 4
2고대 드가자
-
아수라 이감 1
현역이 아수라하고 이감 파이널 패키지 병행하기엔 양이 좀 많을까요? 아수라 볼륨이...
-
논리적인 지문들만 보면 머리가 아픈데 좀 모아서 풀고싶음
-
인문논술 관련고민 18
들어주실 분 있나여..진짜 모르게써요
-
그럴 가능성이 있으려나?
-
학습에 도움이 되었으면 합니다
-
Omnipresent??
-
헉벌써 35분 0
반기워
-
물론 지역인재고 1.수능 최저 맞춘 사람이 2배수 안에 안 들어갈 정도로 최저를 못...
-
님들은 존나 쉬웠음???
-
설맞이랑 비슷하거나 조금 더 어려운 N제 뭐가 있을까요?
-
고대 수학과 성대 전자전기 부산대 기공 경북대 기공 3월 1 5월 2 6평 낮2...
-
인천대 경영 vs 외대 글캠 global Technology&business 어디가 좋나요
-
싸울것같은데
-
헌급방이도 무조건 공군감 휴가 사람수준 태블릿 ㄹㅇ 삶의 질이 다르다 육군에 비해..
-
지금 고1이고 좀 놀아서 내신 전교20등쯤인데 어느정도 갈수 있을까요 (중복합격...
-
해결방안이 없을까요...?
-
최저 3합7까지는 어떻게 될거같은데 아예 쌩노베에요 수능끝나고 단과하루듣고...
-
수학 3 뜨려면 2
이번 9모에서 1~15 까지 2개 틀렸고요 (1개 찍맞) (10,15) 16~19는...
-
2년공부해서 이정도면 잘한편에 속할수있을까요 정시로요
-
오늘 10시에 열렸는데 열린지 6시간만에 57.2 : 1 ㅋㅋㅋ 그냥...
-
수리논술 0
모의고사 보통 2등급 나오고 미적분 선택자인데요. 수리논술 어디쓸지 너무...
-
전국연합 영어듣기평가란? 매년 2회, 전국 16개 시도 교육청 주관 하에 시행되는...
-
모의고사날 애들 절반 타노스당함 일단 1학년때 반마다 5~7명 자퇴 오토바이...
-
있으면 진짜 마음이 찢어졌다가 봉합수술하는 기분일듯요
-
수분감 소단원 하나풀고 오답하는데도 시간이 꽤 걸리길래(+뉴런이랑 병행하면 더...
야해오