우주
게시글 주소: 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를 선물하세요.
-
평지가 지구에 어케있음
-
연인과 200일 1
챙기노?
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅌ
-
제2외 시험시간 오지게 길어서 할 것도 없고.. 지치고.. 힘들거.. 배고프고.....
-
ㅈㄱㄴ
-
그림 평가만 올라옴 하
-
졍시의벽 어때
-
오늘 처음앎
-
맞팔 구 3
잡담 잘 답니다. 손필기 잘 올려요
-
무엇이든물어보세요 17
스펙) 09년생 여르비 게이물 좋아함 안씻은지 2주됨
-
평소 5~6등급 정도 나왔으면 수능 하루전에 벼락치기해도 됨
-
15학년도부터 모든 문제가 정신나간 발상을 요구함 저유형을 시험지에서 처음...
-
ㅎㅇ 7
오랜만의 오르비군...
-
식량축내지 ㄴ
-
가족의 자랑거리가 되어보고싶어서 내 자신에게 부끄럽지 않기 위해서 한번씩 힘들때도...
-
지문에 답 없을수도 있음. 반박안받음.
-
무엇이든 물어봐달라고요 15
-
전 집에서 공부하다가 힘들면 침대에 누워서도 해보고 쇼파에서 누워서도 단어외워보고...
-
젓댓네...
-
지인선 끝냄요 4규 드릴드 설맞이 지인선작년에무료배포해주신거 볼텍스인가 시대 그거는...
-
문법은 해석[2] 술어가 추가로 표현해주어야 할 정보 0
문법을 문장 작성 관점에서 학습하면 저절로 해석 능력을 갖출 수 있을 뿐만 아니라,...
-
잘 익은 과일이 맛있듯이 잘 씻어야 맛있어지지 않겠노? 씻고 올게 좀만 기달려
-
화평업!
-
독서 노베인데 최근기출->옛기출 순으로 보나요 아니면 옛기출->최근기출순으로...
-
다음시간에 살짝 울뻔함
-
무엇이든 물어보세요! 82
성실히 대답해드릴게요
-
실모단인듯 실모단은 결국은 승리 하더라 다만 지금시즌 부터 풀필요는 없고 한...
-
저는 수학이랑 물리 실력이 비례하다고 생각하거든요? 근데 우리학교에 신기한 애가...
-
한석원4점기출 5
오ㅑ 안유명하지?
-
FM(구호)라는 게 OO □대 이런 식인데 자주 통일 민족 해방 이 네 단어를...
-
문법을 문장 작성 관점에서 학습하면 저절로 해석 능력을 갖출 수 있을 뿐만...
-
이시기에 현역이 실모 17
상관없나요?? 과외듣는 친구가 유빈이에서 작년 실모 뽑아서 푸니까 괜시리 불안감 들고 그러네요...
-
와ㅋㅋㅋ 볼텍스 이거 뭐냐? 오르비언 자작문제랑 똑같은 거 있네 15
일단 풀어보시면 알시겠지만 1. 두 문제 모두 합성함수에서 겉함수의 최대 최소로...
-
무물보 9
무지 물많은 보.....
-
시대다니면서 김범준현강은 그만뒀는데 이신혁은 대체불가같음 지1 나진환 김지혁듣는데...
-
여르비 보고 싶다 15
여르비랑 옮만추 ㄱㅂㅈㄱ
-
토욜오후가 암묵적으로 놀거나 쉴때인데 술을 마시니까 오늘 하루가 갈려나가네 내가 마시나봐라
-
졸려서 자면 좆된다는 마인드로 입에 물머금고 공부하고 있었음 5분뒤에 책에 워터파크 개장함
-
호감만!
-
김성재 완자 강의 vs 강민웅 완자 강의 vs 배기범? 0
일단 물리 완자 가지고 있어서 앞에 2분이 우선일듯함 원래는 강민웅T 완자 강의...
-
볼텍스 교재 6
필수구매인가요? 비싸기만하고 풀기 싫은데..
-
기분좋음
-
아침 5시반 기상 6시반 출발 8시 학원 도착 밤 10시 학원 끝 밤 11시반 집...
-
https://orbi.kr/00071917432...
-
소리들음… 번따 당하면은 얼굴부터 발끝까지 눈으로 한 번 훑고 걍 가던 길 갈...
-
닉이 개길어서 바꿔야되는데 닉에 수연이 들어가야됨 맘에 들면 어제 메인가서...
-
You're insecure, don't know what for 1
You're turning heads when you walk through the door
첫번째 댓글의 주인공이 되어보세요.