우주
게시글 주소: 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를 선물하세요.
-
수특 수완 샀었는데 다시 쌍윤의 길로 돌아감.. 산 이후로 손도 안 댔는데 버리긴...
-
공통도 포함이에요? 15, 20번은 어느정도 난이도임?
-
난도 어땟나요? 그리고 44점 나왔는데, 3모 전까지 개념헷갈리는 부분+ 킬러문풀...
-
작수 국수 64 85점 이번 3덮 62 96점인데 국어때매 너무 힘든데 수논 병행...
-
고3이고 작년3모 풀어보니까 70점 맞았어요
-
-
너무 오랜맘에 봐서 그런가
-
-
저한텐 너무 어렵네요.. 답이랑 간단한 이유만 알려주면 넙죽 하겠습니다
-
공부얘기 더 안할게요
-
아는 사람 중에 6
더프 전국 1등 5번 경험자가 있음
-
이번에 어땠나요? 둘다 쉬웠던 거 같긴 한데 세지 1컷 50이겠죠? ㅠㅠ
-
안녕하세요. 수능을 수능답게, 수학을 쉽게 보는 방법의 '이다정T' 입니다....
-
수학 적분 질문 4
풀이에서 어디가 잘못된건가요?
-
이게 말이됨? 왜 갑자기 ㅈㄹ난거냐
-
저는 좆반고를 다니는지라 저희 학교에선 친구들과 모고배틀대신 빠구리를뜹니다
-
얼마전에 릴스에서 disenchanted 듣고 블랙퍼레이드까지 같이
-
그렇습니다
-
관라자님
-
살면서 45점 밑으로 가본적이 없는데 38인가 나왓음;;;
-
힘든일들 다 떨쳐내고
-
매체는 44번 대충 읽어서 틀리고 45번 머리로 맞다고 생각하면서 손이 x표시침...
-
오만덕 걸고 난 양심적으로 스카에서 시간재고 풀겠음 상남자답게 백분위 표점 다...
-
? 3
죽지않고 오르비에 또 왓어요 벌써 제가 삼수생 나이라니 믿겨지진 않네여 작수에서...
-
1. 본인 수시 평균 내보기 2. 지금 상태에서 “떨어지거나 유지”, “최대한...
-
대체 뭘 풀어야 되는 거지
-
저는 생윤 40점 맞았는데 작년 수능 급이랑은 다르게 어려웠던것 같은데 40점 맞았어요 ㅠㅠㅠ
-
1스택따리라 차피 올해는 못가겠지만 ㅅㅂ
-
수특 제2외국어 1
매년 달라지나요? 아니면 문제 말고 거의 똑같나요?
-
수2 22번 척결하자 척결하자
-
이기상쌤 이모다 3
2026버전은 시즌이 안 나눠져 있는건가요? 비타민 교재에만 존재하는데 어떤 시스템인가여..ㅠ
-
오늘 더프보고 경악함 사탐런 하고시픔
-
혹시 더프가 2
소위 말하는 1등급 컨텐츠 인가요..? 작수 미적 높 3 떴고 더프 수학만 찍먹으로...
-
더프보고 벽느껴서 12
기출하면서 엔재 추가해도 되나요? 너무 충동적인가요? 상위권분들 조언 부탁욤
-
항공대 교통물류 0
진짜 이해가 안가서 그러는데 자유전공(사회적성)으로 들어가도 교통물류로 갈 수...
-
제발요...
-
-
22번 수열란 폰트 eq인것만 봐도 알수있음
-
공부를 하지 않아도 3등급 받기 가능한데 공부를 빡세게 해도 3등급 받기 가능함
-
안녕아세요 4
더프 볼까여 말까요
-
원래도 정신질환잇어서 좀 힘든상황에서 고3 수험생활중인데 힘든일들이 최근 한달안에...
-
잘생기기만해서는안돼요
-
이 옷 아는사람 0
이 옷 어디브랜드인지 아시는분 있나요??
-
물론 사람마다 잘하고 못하는게 있어서 체감 다르긴할텐데 국어는 쉽게나온거같고 수학...
-
65 43 76 34 26 주변에 나보다 못본 사람 본적 없는듯. ( 다시봐도 저...
-
런치고 첨보는 시험이라 난이도가 감이 안 잡히네요
-
ㅈㄱㄴ 3덮 덮 더프 국어 수학 영어 생1 지1 더프리미엄
-
생각해보니까 뱃지 에피 센츄잖아 전국 상위 몇프로인데 당연하거였네 이 사람들 싹빼면...
-
암기 존나싫다진짜 11
근데 내 인생이 걸린 게 왜 다 암기냐
-
그래서 너드남 공식이 14
안씻고 안경쓰고 여사친없고 아무것도 모르는 모솔인거 맞죠?
첫번째 댓글의 주인공이 되어보세요.