우주
게시글 주소: https://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를 선물하세요.
-
현역 언매확통생윤경제 재수 언매미적한지세지 삼수 언매기하사문한지
-
보구싶어... 4
자10%
-
그냥 책만 사면 안되나욥 패스가 대성은 없어서
-
다 더프얘기만하길랭... 이투스모고 보는사람이 잇긴한건가요
-
자퇴생이긴한데 미적 잘 못함 그렇다고 도형을 잘하는 것도 아님 이번에 더프 푸니까...
-
14번 삼각함수 비율관계 1/4주기를 3등분해야하는걸 반주기를 삼등분함 ㅋㅋ 21번...
-
진짜보고싶어 0
-
뭐 나도 별반 다를 거 없긴 한데..
-
이렇게 한것은 아니고 앞으로 이렇게 할것 같음요 1. 수학 (미적, 확통, 기하)...
-
전닉 호시카와님 4
죽었다...
-
님들 맘스터치 3
애드워드리 버거 맛있나요
-
시대 기출문제집 3
Vod로 들어도 주나요…?
-
지듣노 1
황인욱 포장마차 응급실 버즈 모놀로그 나에게로 떠나는 여행
-
고전시가 기반 1
고전시가 기반 닦을수 있는 인강? 추천해주세요.!
-
이건 말이 안되는거야ㅑㅑㅑ 드가자ㅏㅏㅏㅏㅏㅏ
-
박지 근황.. 3
tmi1) 얘 남자임 tmi2) 곧 결혼함 가슴은 뭔 약물 부작용이라는데...
-
저는 작년 수학 모고 등급 4 고정이었던 문과생입니다 요즘 학교 수업에서 수특을...
-
질문 하나.. 11
그 보통 애인 있는 사람에게 제3자가(친분 없지는 않음) 보고싶다는 말을...
-
지1 풍향 질문 2
이 문제 ㄴ에서 북태평양 고기압이나 대기대순환은 고려 안하나요? 아니면 그것보다...
-
피곤한데 0
안피곤하다
-
???
-
이런저런 말이 많길래 궁금해서 한번 풀어봄
-
필자의 내면세계 공감
-
? 1
?
-
아마 안됐을 것 같긴 한데… 지방한 지방약 중에 되는 곳 없었나요? 백분위에 비해...
-
하..
-
저 작수 23-29번까지 10분걸렸음
-
진격의거인 봄 13
역시 이건 나같은 범부가 이해할수있는 작품이 아니다 집가면서 해석글이나 찾아봐야지
-
잘자요 5
영원히 잘래요
-
ㄹㅇ 왜 미적함? 답이 정해진 문제를 ‘난 할 수 있어‘ 이러면서 제도와...
-
주변에 인강강사 된사람있는데 영상보고 저사람 목소리 원래 저랬나? 싶음
-
누가 제일 궁금하거나 잘할 거 같음? 나만 맨날 이런 생각 하나 Ex)한석원의 영어...
-
눈이감겨요 4
-
그냥 연습 많이 할수 있는걸로... 22번 또 틀린거 진짜 개빡이네
-
항상 선지플레이랑 지시어찾기같은 별 잡기술로 90~94에서 기적의 1등급 만들고...
-
누가 연락해주는 사람도 없지만 종종 오는 연락도 깜빡하고 씹을때 있어서...그나마...
-
화학 벽느껴지네 6
기출 풀고있는데 화학식량과 몰 까지는 ㅈㄴ 잘풀리는데 화학반응식 드가니깐...
-
투표 주제가 좀 이상하긴 한데 현역으로 육군 가기 vs 공익 가는 대신 인생 1년 추가로 날리기
-
키는 작으신데 미모가 goat임
-
공부도 안 하면서 과한 욕심이겠지
-
그게 재종 마녀를 대하는 바람직하고 건전한 태도라고 생각해요
-
검색형 독해하는 사람들은 정말 크게 당할꺼임 방금봐보니 작수 8번도 다 저런식 독해...
-
만약 지금시점 현정훈 수강시작한다고 하면 어케되나요??? 1
지금까지 한번 설명한적 잇는 스킬은 별다른 설명없이 바로쓸텐데 저같은 뉴비들은...
-
진짜 겁나 많네...
-
애정이 필요해
-
일이있어 2주전부터 재수를 시작하게 되었습니다. 작수 미적65점이였고...
-
주관식 수열 진짜 씨빨 왜 110이 나오지
-
일단 시작에 앞서 노베의 케이스부터 분류해봄 노베는 국어만 문제인 친구가 있고...
-
문제 보고 예상되는 풀이의 방향을 머리로 먼저 찾고 푸시나요?
첫번째 댓글의 주인공이 되어보세요.