우주
게시글 주소: 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를 선물하세요.
-
급함
-
'취업 포기 합니다'...구직포기 청년 50만 명, 사상 최대 13
-취업 성공해도 26% 단기 근로자 청년층의 고용 문제가 갈수록 심각해지고 있다....
-
너무 서러울 거 같음. 주변 지인한테 우울한 에너지를 굳이 전파하고 싶지도 않고,...
-
정상적인 투표였으면 이런 결과는 안 나왔겠죠
-
그럴수가 없는거 같음 그냥 쉬는것도 스트레스임 이상하게 들릴수도 있겠지만...
-
슬슬 배고픈데 빨리 되는 메뉴 없나 근데 고기여야 함
-
공부 존나 모담
-
아니 글쎄 쓸거라니까?
-
"수업 참여하면 동료 아냐"…교육부, 건대 의대 학생 수사 의뢰 4
[세종=뉴시스] 박영주 기자 = 교육 당국이 수업 거부를 종용한 건국대 의과대학...
-
국어 3.5 수학 6 영어 1.5 탐구 2 괜찮을까요..? ㅠㅠ
-
편하게 혼밥하는것도 좋아
-
실모점수보고 3모땐 어느정도 나올지 예측좀 해주세요 ㅜ 8
제가 기하를 선택해서; 선생님의 불신을 받고있는듯 한데 이번주동안 푼 실모가 10덮...
-
“난 왜 완벽하게 태어나지 못했나.” 근데 사실 이정도로 태어난 것만 해도 몇억분의...
-
학벌 vs 전공 이라하면 학벌이 우선순위인건 맞지만 가기전에 신중히 고려해보셔요...
-
짬 메뉴가 순대국밥인데 순대국밥이 떨어짐..
-
차은우 vs 고능아 20
투표를 못열었음 ㅈㅅ
-
생명 재수 커리 0
작년에 24상크스 25올바원 18모고 파이널모고 들었어요 올해 현재 25상크스...
-
사람 밥 먹는데 7
조용히 좀 해주세요
-
지구과학 3년째라 딱히 투자 많이 안해도될거같은데 전범위 감 유지 목적으로 2일...
-
포기한다고 다른거 할 것도 없어서 그냥 하는 중 아 하기싫다
-
ㅈㄴ 열심히 했다고 생각하는데 잘볼 자신이 없음
-
수학이 문제다 12
문과는 수학 안 보면 안됨? 착하게 살게요
-
아이큐검사나받아볼까 12
흠
-
돈벌어야해
-
하루 2번 씻기 10
힘들다
-
한게 암것도 없는데 저녁을 먹어도 되는걸까
-
수학이 문제입니다
-
유튜브보면서 문제나 풀자
-
그냥 이 사람은 공부를 못함.
-
꾸준하고 성실하게는 할수있어요 이거면 된거아닐까요
-
요루시카가 누구길래 그리 난리들이지 했는데 일본 최애곡이 요루시카 노래였네 요루시카가 남잔줄 알앗슴
-
가능한가요?
-
대성 계정 공유 0
하면 환급 못받는다고 누가 그러는데 주소만 여러번 안바꾸면 괜찮나요?
-
근데 배운거 다까먹음
-
침대가 나를 끌어당겨버린것임...
-
일본 노래임 아노네 와따시 어쩌구저쩌구로 시작함
-
Day별로 있으면 좋아요 하프모도 좋아요 긴장감 있게 풀수 있으면 좋겠어요
-
“일요일 잇올 7:20am - 6:00pm” 최후의 1인 대 하 니.
-
어둠의대치동n축스킬발동하는건가요?
-
개추 눌러보셈 개추!
-
수강생이 2명이라 나머지 한 명은 고2임 과외 같이 되어버림뇨
-
과외출근완뇨 3
학생집에서 오르비켜기
-
언매 미적 생지러고 작수 34335였음 제대로 공부 좀 해보려고 하는데 최대한 인강...
-
남들이 혹시 이상하게 보나요?
-
뭔가 당연한 얘기를 계속 한다고 해야 하나 문제 푸는 것도 보면 수분감 문제 풀이랑...
-
안녕하세요. 첫 칼럼으로 인사드립니다. 첫 주제로 어떤 글을 써야 할지 고민이...
-
공부 자극 1
요새 공부를 의무감에 하는 느낌인데 그마저도 손에 잘 잡히지도 않고... 원래는...
첫번째 댓글의 주인공이 되어보세요.