우주
게시글 주소: https://app.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를 선물하세요.
-
그 사람 외모가 보이거든요
-
물리학과 평균 3
일주일에 한번 씼음 버튜버봄 애니 봄
-
잘자 옯붕이들아 나 오늘은 안들어올거다공부해야해
-
한의대 질문 0
한의대 졸업하고 제약회사 갈 수 있나요?
-
나인가 싶으면 맞음 이건 비호감들도 마찬가지일듯
-
맞팔 ㄱㄱ 11
낮에 공부 밤에 잠깐 오르비
-
5년만에 켜는듯
-
그냥 개 열받네
-
형이야
-
다들 잘지내 27
N수는 꼭 올해 성불하고 현역이나 그 이하는 열심히 공부하고오르비 너무 오래는 하지...
-
선착순 3명 천덕 13
-
치사함 ..
-
ㅇㅇ
-
친구가 유명하다고 개 ㅈㄹ하는데 맞음?
-
시대 재종 3
언매 92(2) 미적 98(1) 영어 1 물리 83(3) 화학 90(2) 장학...
-
오늘 여르비 왤케 많음 11
나혼자만 있어야 오르비대표 여르비인 내가 여왕벌 하는건데
-
ㅇㅈ 3
-
남르비 수능 평백 97후반이상 수학은 백분위 99 키 183 체지방 15 정도의 몸...
-
ㅇㅈ 7
이거 누구지...
-
눈 커지게할려면 수술밖에 없는건가 눈이 작아서 좀 더 커졌으면 좋겠어
-
체형 좋고 머리 작고 어깨 상견형이면 뭘입어도 어울림
-
수업할때 내내 눈뜨고 집중하고 있었는데도 갑자기 쌤와서 깨우시거나 잠자지말라고하심...
-
나 여르비임 2
믿지?
-
재탕 33
-
왜지..
-
걍 글삭 밖에 못하네 ㅠㅠㅋㅋㅋ 앱 깔아야하나?
-
치매걸려서 똥Chill할 guy일 때.
-
부럽다
-
오늘 날이냐 0
덕코 주고가 이미 많은 분들에게 받았지만..
-
레어가 안팔여 6
인생개같이 망해ㅛ네 안생은 아니고 옯생
-
선글라스 ㅇㅈ) 7
ㅈㄱㄴ
-
평가원 추천 점
-
또 자려하면 1
가만히 누워 아무것도 못하지만 잠으로 피로조차 해결 못하는 내 상황에 마구마구 화가...
-
이게 뭥미...
-
그냥 선착순 두명 만덕으로 끝내겠습니다
-
돌잡이 상에 올라오는 5만원갖고 튀어야지
-
수능끝나고 ㅈㄴ불어서 아버지 친구가 나 보고 하는 말이 “듬직하게 생겼네”임
-
와꾸고 나발이고 이거나 치료좀
-
h(x)의 식이 우극한으로 정리된 형태라 복잡하니 g(x+) x g(x+2)로...
-
ㅇㅈ 9
한달전쯤에 먹은거임
-
사실어제인증했었음 10
머리안깎고걍대충사진찍고왔었다고.. 펑
-
성범죄자, 사기꾼 같이 생겼다함 닮은 사람은 외질? 축구 선수랑 주둥이 닮았다함
-
똥 얘기하는거 싫음? 15
싫으면 안할게요 구라임
-
지듣노 0
솔직히 대부분 처음들어보는 노래임 그래도 신나
-
ㅇㅈ 7
클리어 마인드.
-
기만러들 너넨 싹다 차단이다
-
상 1
쇄 .
-
구라임 슬더스해라게이들아
-
외모관련들어본말 9
인형같이 생겼다 무슨인형인지 말안함ㅇㅇ
-
릴스나 쇼츠같은데에서 비슷한거 많이 들어봤을거임
첫번째 댓글의 주인공이 되어보세요.