우주
게시글 주소: 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를 선물하세요.
-
19 22처럼은 안나오겠지 제발제발 적당히ㅡ어렵게…ㅜㅜㅜㅜㅜ
-
EdUcAtion N-1제 어떰요 솔직히 교육청 문제 좋은데 왜 거르는지 모르겠음
-
귀찮아서 퍼옴뇨오일러가 한 증명입니다
-
문제푸는데오억분걸림..
-
2405 <<<< 13
레전드 어려운 시험지 인정하시나요 수학황들 오답 복습 분석만 하루종일걸림
-
어떤 자연수 n을 홀수들로 분할하는 방법의 수를 O(n), 서로 다른 수들로...
-
나의 10년으로 너의 하루를 살게.
-
핸드폰 카메라 너머의 중국 해커에게 내 정력을 자랑해야겠군
-
뉴런 완강해서 이제 슬슬 n제 들어가려고 합니다 작년에 드릴 이해원 설맞이 4규정도...
-
커리 비난 부탁드립니다 13
커리가 없습니다 근데 커리가 뭐임? 인강 같은거임? 한 강사만 계속 듣는 건가요
-
고3 - 3월 교육청 대비 모의고사 추가 2회분 무료배포 6
안녕하세요, 오르비클래스 영어강사 김지훈입니다. 며칠 전, 올려드렸던 모의고사로...
-
현정훈 트레드밀 4
배기범 필수본 다 듣고 다음주정도부터 트밀 들으려고 하는데 많이 늦은건가요?
-
저 내신할땐 법정이었는데.... 정치질이 법보다 우선시될 수 있는 현대 사회에 맞게 개명된건가요?
-
부르라고
-
개설레노.
-
스키마는 인지구조가 아니라 배경지식이라 고백하는 이원준 국어는 반응이 아니라...
-
작년 현역에는 기하를 독학했었으나, 고안 끝에 확통으로 선택 과목 변경을 희망하게...
-
얘기 재밋어서 기억도 살릴겸 오르비에서 해볼까 햇는데 저 얘길 하기위해 필요한...
-
맞추면 코인 천개 드립니다
-
릴스진짜무서운놈;;
-
달리기 하자는 거였다 암튼 오늘도 알게 운동함!
-
기하 질문 4
기하도 수2처럼 삼차함수비율관계 같은스킬같은게 있나요? 유튜브 인강보고 개념 공부중인데 괜찮겠죠?
-
잘아시죠?
-
러셀에서 현강들으면서 김범준t 스블+기출(정병호t) 듣는거 어떤가요?
-
리쌍>다듀.
-
배운게 벌써 몇년전인데 제가 아보가드로 수를 외우고 있다뇨 .. 화생 선택자로서...
-
일반고 문과 고2이고 1학년 내신 3.6입니다. 앞으로 성적 올려서 1.6씩...
-
아 진짜 아 진짜 아 아 아 아 자야지
-
김수현 어쩌구 하는 링크있는 어그로글이었는데 제가 댓을 달았는데도 글이 기록도...
-
ㅈㄱㄴ
-
배고픈데 나가기 귀찮아 10
누가 나를 데려가줘
-
제발
-
일반고 문과 고2이고 1학년 내신 3.6입니다. 앞으로 남은 학기에 1.6씩...
-
미치겠네 진짜
-
a_(n+1)=p*a_n+q 꼴의 점화식 일반항 구하기. 13
저런 꼴의 점화식 부르는 이름이 잇엇던거 같은데;; 쨋든, 방법은 적절한 수를...
-
인생몰까 4
오늘 유독 현타가 심하군요 .. 20살 하고싶다
-
처음으로 이감 풀어봤는데.. 처음 맞는 점수가 나왔어요..이감 모의고사가 전반적으로...
-
로또는 당첨이 안댐.. 아.. 슬퍼.. 돈.. 많고싶어..
-
내신 4
2학년때 제일 빡셌음 물화생지1하고 미적12 확통 기벡 다배우는데 벅차더라
-
선생님께 상담을 받으러 가거나 조교 혹은 과외 선생님께 질문을 할 때 어떻게...
-
이렇게 동시에 가기도 쉽지 않겠다
-
킥오프 파데 2
무휴학 반수생인데 파데도 들어야할까요? 미적은 다시 가볍게 들으려하는데 수1,2도 듣는게 나을까요?
-
반갑습니다 8
반갑습니다
-
기출까지만 하고 싶어요 너무 못해서 울었어요 어디서부터 시작할지 미지수 뭘로 둘지...
-
걍 나중에 몰아서 하루컷할껀뎅
-
낄낄낄 11
1교시라니
-
한화는 야구볼맛 나겠다 10
류현진 김서현 문동주 황준서 정우주 ㄷㄷ 게다가 구장도 새삥ㄷㄷ
-
걍 건전하게 9
다같이 수악 얘기나 해라
-
이건 뭐지 1
수일만은 또 첨보네
첫번째 댓글의 주인공이 되어보세요.