우주
게시글 주소: https://wwww.orbi.kr/00071233803
https://virtualmath1.stanford.edu/~conrad/diffgeomPage/handouts/trivline.pdf
Brian Conrad라는 앤드류 와일즈 제자인데다가 현우진 쌤 학부 지도교수인 정수론 쪽 수학자인데, 예전에 학부 미분기하 수업을 한번 진행했을 때 올린 수업 자료. 제목은 "Why the universe cannot be S^4" 라는 상당히 어그로성이 짙은 제목의 문서인데, 기본 세팅은 spacetime (smooth Lorentzian 4-manifold, 다시 말해서 signature 가 (3,1)인 pseudo-Riemannian manifold) 이고, 블랙홀 같은 singularity는 없다고 가정한 상태. 대수하는 사람 답게 분명 미분기하지만 아주 미분기하 스럽지는 않고 (예를 들어 curvature나 connection form같은게 등장하지 않음) 오히려 (선형)대수적인 면모를 부각해서 써놓음.
설명은 파일의 첫 페이지 Corollary 1.2 이후에 써있음. S^4는 simply connected이고 S^4는 non-vanishing vector field를 갖지 못하기 때문에 (Hairy ball theorem) S^4는 Lorentizian manifold가 될 수 없다 (Corollary 1.2) 이렇게 설명.
Corollary 1.2는 Theorem 1.1에 의해서 나온다고 써있는데, Theorem 1.1은 그 자체로 흥미롭고 직관적인 정리이기 때문에 따로 적어봄.
Theorem 1.1. Let $E\to M$ be a smooth vector bundle over a manifold $M$. If $E$ admits a pseudo-Riemannian metric $g$ with signature $(n_{+},n_{-})$, then there exist smooth subbundles $E^+,E^-\subset E$ with ranks $n_{+}$ and $n_{-}$ respectively such that $g$ has positive-definite on $E^+$ and negative-definite on $E^-$. In particular, the natural bundle map $E^+\oplus E^-\to E$ is an isomorphism.
원래 증명 안 보려고 했는데, 증명에서 Grassmannian을 써서 보게 됨. 정확히는, Theorem 1.1은 fiber에서는 자명하기 때문에, 테크니컬한 부분은 fiber들에서 decompose가 된 것들이 잘 짜맞춰져서 smooth subbundle들로 쪼개진다는 것을 보이는 부분임. 이 과정에서는 보통의 경우에는 smooth frame을 잡고서 M위에서 point들을 움직였을 때, local expression들이 smooth 하게 vary하기 때문에 smooth 하다고 하는데, 여기서는 Grassmannian을 이용해서 증명함. 나만 처음본 것일 수도 있는데, 이렇게 증명하는 것은 또 처음봄. 이것에 대해서는 사실 Conrad가 맨 처음 문단에 써놨는데, "pseudo-Riemannian manifold이기 때문에 기존의 Riemannian 에서 하던 직관적인 작업들이 잘 되지 않을 수 있다" 이렇게 설명함. (이래서 pseudo-Riemannian manifold가 어려움)
기본 아이디어는, 앞서 말한 대로, 각 fiber마다의 decomposition을 한 다음에, quotient를 해서 positive definite한 파트만 살려놓으면, $G_{n_+}(\Bbb R)$ 에 한 점이 대응됨. 따라서 $M\to G_{n_+}(\Bbb R)$로 가는 set map을 만들 수 있는데, 문제는 이것이 smooth 한지 체크하는 것. 이걸 어떻게 보였는지 궁금하면 노트를 한번 보길. (아무도 안보겠지만!)
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
생애 한번 뜨거운 설렘인지두 번 다시 또 오지 않는 건지그땐 미처 알지 못했지
-
현우진t랑 비교하면 어떤가요???
-
나이 조사 5
질문지법을 이용한 양적 연구입니다.
-
머라생각하심
-
솔직히 4
사수까진 괜찮음
-
담배피면 일찍 죽는데요 근데 굳이 오래살고 싶지 않은걸요
-
맞춰보시라. 1. 약 20% 2. 약 40% 3. 약 60% 4. 약 80% 5. 약 90%
-
문제가 안풀리거나 모의고사보거나 할때 개심해지는데 고치는 방법임ㅅ나여; 무의식중에...
-
현역정시 어렵다는 말 외 잇음
-
그땐 아주 오랜 옛날 이엇지
-
-
조회수 잘나와서 너무 뿌듯함 너무 고마웠음 다들 봐줘서 흑흑
-
스타듀밸리에서 이혼함.. 헤일리에서 셰인으루 갈아탐 이혼하고 첫날...
-
맞빨 하실분 9
맞빨 ㄱㄱ
-
닉변하고 싶지 않음 흐흐
-
결과 ㄷㄷ 3
인간은 척삭동물이다 1. 사슴벌레는 절지동물이다 2. 멍게는 척삭동물이다 3....
-
진짜 그렇게 펑펑 운 건 초딩 때 이후로 처음인 듯
-
자로 재보니까 230정도 나옴 지금 신발 사이즈 250인데 걸을 때 마다 벗겨질것 같음
-
연하인 선배랑 3
존댓말하면서 xx하고싶다 내 선배는 다 동갑아니면 연상이겠지 삼수의장점은 연하...
-
님들 건강해야함 4
어짜피 다 건미잡이야
-
시간 원주율임 1
ㅇㅇ
-
시발점+워크북+킥오프(수1,2,미적)까지 다 한 뒤에 어삼쉬사를 하고...
-
닉변 머로 하지 2
-
ㄱㄱ 나중에 친구한테 써먹기 좋음
-
네…..
-
히힣히힣 2
쌤 보고싶어서 디엠으오 주접떨엇다 답장이 기다려진당
-
마참내!
-
자야지 1
피곤타
-
상식?퀴?즈 12
다음 중 사람과 가장 가까운 동물을 고르세요 1. 사슴벌레 2. 멍게 3. 문어...
-
여르비 척결해야함 20
걍 그렇게 생각함
-
김동욱 2
ㅗㅜㅑ 자러갈게요
-
새벽의 맞팔구 8
-
그때 고등학교 다니던 사람들 학교 다니는 거 재밌었을 거 가틈…
-
이제 잘게 2
퀴즈. 코뿔소는 어떤 분류기준에 속할까요? (종속과목강문계는 알죠? 개과 고양이과...
-
감독관<<이분들 왜 반말함? 내가 몇살인줄 알고 ㅋㅋ
-
내일은 4
230615.그 담날은 수2도 하나 함.22번급중에 쉬운거 할꺼임
-
이렇게 구린 이름은 첨 본다
-
이젠 일주일에 한두번만 하는 듯
-
클럽있는 그 쪽은 잘 안가는 편..
-
외워야된다고 생각해요
-
오늘 하루 8
행복하길..
-
난 어렸을 때 정글고를 보면서 그런 고등학교를 기대했었지
-
저격 당햇어 2
엉엉 울고 잇어
-
내일은 현생살께요
-
그치만 절대 밥은 먹지 않겠어요
-
계시네
-
뭐 본인의 선택이긴하지만.. 전한길카페도 정치이야기밖에 없던데
-
어그로임
-
얼마나 피곤하셧던 걸까
-
작년은 안보긴 했다만..
첫번째 댓글의 주인공이 되어보세요.