Chern-Simons invariant in hyperbolic 3-manifold
게시글 주소: https://i9.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를 선물하세요.
-
시간재고 풀라는 시험지가 아님
-
경쟁률 600:1
-
전국단위 인설약은 쓰는게 원서비만 날리는거고 논술 원서비가 비싸서 한두개만 간신히 씀....
-
우영호T ㄱㅊ나요
-
고2 모고 등급에서 고3 모고 등급은 얼마나 떨어지나요?? 예를 들어 이번 고2...
-
6모 42 9모 45 ( 69모 다 생명 망해서 생명이 더 급함) 지금시점에 푸는게 맞을까요
-
검사 후에는 책상 서랍 안에 둬도 괜찮은건가요??
-
걍 시중에 있는 n제들, 강사 실모들이랑 강x서킷x 정도만 집중해서 제대로...
-
Ai 탑재된 휴머노이드 리얼돌 나와도 안 살거임? 기술이 존나게 발달해서 고무 느낌...
-
수시카드 0
5점대인데 수시카드 어디쓰는게 좋을까요 전공은 화공이나 생공ㅋ.. 근데 과 낮은...
-
신성규 수학 0
신성규 수학 파이널 비대면 얼마인지 아시는분?
-
저는 사실 여러분을 상대로 설명하는 것이 아니라 복습하는 것입니다 0
여러분 '공부의 왕도'를 한번이라도 보신 적이 있을까 합니다. 혹시 안 보셨다면 꼭...
-
고경 논술 1
실질 경쟁률 몇 보심? 진지하게 미달?
-
사회문화 현상은 인간의 의지나 노력이 작용하여 나타나는 현상인데 ' 영희는 물을...
-
작년수능 수학4맞고 군대로 도망왔는데 26년 수능 준비해보려합니다 올해 6,9월...
-
언확사탐이고 6모는 99 91 2 99 99 나왔고 9모는 원점수 93 89 2...
-
ㅋㅋ 이중에 최저 얼마나 맞출까
-
국어를 잘 못해서 화작 + 독서론 + 단어 뜻 문제 2개 + 문학에 남은 비문학...
-
설마 사탐 9과목 개념을 다 알고 들어가는 엄청난 인간은 거의 없겠죠??
-
수시원서 다 6논술 쓰는 재수생 주제에 주제파악도 못하고 눈만 높아서 6논술 다...
-
선택과목으로 화학,지구과학 하고있고 수의대 목표라 건국,경북대랑 다른 약대정도 쓸...
-
어카냐 진짜.. 휴학 하고싶은데 이것 때문에 못하겠음
-
고대논술 4합8 1
실질경쟁률이 어떻게 나올까요?... 서성한 라인이 3합7인데도(심지어 성대는...
-
고2 정파입니다. 공통과목 공부하다보면 고1 수학에 공백이 느껴질 때가 많은데 이번...
-
전 제가 심리학과 아니면 안 간다고 마음으로 정해둬서 한 치의 망설임도 없이 그렇게...
-
9모 수학 미적 3~4등급 방향성 조언부탁드려요ㅠㅠ 0
원점수만봤을때 시간재고 푼것기준입니다 현재 3개월전에 노베이스에서 시발점,수분감...
-
6월에 전역하고 8월에 adhd 발견해서 약먹으면서 공부중입니다 9모 때 34244...
-
독서실에서 혼자 친 거고 쉬웠다지만 그래도 6월에 비해 안정적이게 됐네요ㅠㅠ 남은...
-
국어 읽는 방법 80~90% 정도 알게 되어서 나머지 부분 채우기 위해 양치기...
-
이게 진짜 부산대가 1순위 추천 대학이라고..?? 탐구 진짜 열심히 해야될지도..ㅜㅜㅜ
-
12번부터 15분 박고(이건 내가 빡대가리인듯) 14번에서 또 막혀서 시간 보니까...
-
똥냄새랑 방귀냄새 지독함
-
강k 기준으로 0
몇점 정도 떠야 수능 1컷 안정권이라고 보시나요 인생 목표가 수능 수학 1등급이라...
-
말 그대로 반감기의 절반(3/4 되는 시간?)이 70.xx 퍼센트다라는 말을 어디서...
-
사이비의 추억 2
사이비 종교인을 조우한 경험은 많지만 비교적 길게 대화를 나눈 것은 한 번뿐이다....
-
위 문제를 저는 f(x)^3 + f(x) = ex로 만든 다음 양쪽 ln 씌워서...
-
평일에는 김상훈T 그릿 하려고 하는데 이거 ㄱㅊ? 주말에는 실모 돌릴거임
-
뭐 신고 안먹겠죠..?
-
.
-
뭐가 더 좋을까요
-
고려대 논술 2
경영학과가 4합5라서 최저가 진짜 헬인데 자유전공학부는 4합8인데 경영학부를 선택할...
-
개념은 다 끝난 상태인데 포스텝을 들어야 하나요 심기일전을 들어야 하나요..??...
-
화학이 지금 큰일나서 지구 n제 멈추고 화학 몰빵+지구는 그냥 1일 1실모만...
-
국어 공부를 해도 너무 성적의 변화가 없어서 작년 수능 이후로 국어 공부를 하나도...
-
2024.09.04(수) 실시된 2025학년도 9월 고3 모의평가 수학영역...
-
수학 모고 2~3등급대 수1 시발점,수1기출 끝남 수2 시발점,수1 뉴런 수1,2...
-
막전위는 9모 승리인듯
-
96일차
-
매년 매출은 100억 단위로 줄고 영업이익률은 1%p 씩 털리네 여기에 초저출산.. 주가 암울..
야해오