우주
게시글 주소: 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명 뽑던 학과에서 적게 돌면 3n에서 5n까지 돌던 과인데 올해 자전 이슈로...
-
이제 대학 들어가는 신입생인데 합격한 학교에 톡방이랑 에타 먼저 들어가는게 낫나요?...
-
이거 진짜예여?
-
내가 4수해서 지방치왔음 군대는 갔다왔고 근데 난 항상 의대가고싶어서 중딩때부터...
-
영어 사실상 노베임 1년 휴학할꺼 영어공부 하는김에 토익공부 할려하는데 뭐부터 시작할까
-
중앙대 약학대학 신입생 카페 가입 안내 안녕하세요, 중앙대학교 약학대학 제 41대...
-
내가 죽었는데 좋아해주는 찐팬
-
내 생일이 뭐같다고? 10
이런 ㅆ…
-
중대경영 추합이 멈췄다 10
더 안도나 오늘은
-
시발점 들었고 개념 한번 더 복습하기 좋은 책 ㅊㅊ해주세요
-
나거한
-
의대 오티 5
에서는 뭐해? 학생회 오티 학교 오티 나눠져 있고, 이번주가 학생회 오티인데....
-
문과충+그성별
-
중대경영 추합 3
최초예비 851 낙지기준 합격컷 749.83 방금 전화추합됨 지금부터 4칸이엇던사람들 전화갈듯
-
또 만약 그 대학이 과탐에 가산점 준다면 과탐1개 사탐1개 조합으로 시험 쳐서 과탐...
-
공익 알아봤는데 1학기 끝나고 갈방법이없네 아니 to도 부족한데 왜이리많이뽑는거야
-
펑크남 크게 내가 볼때 1칸도 붙었음
-
전화추합 0
보통 전화추합은 몇시부터 몇시까지 하나요?
-
예비 1번인데 추합인원 있으면 발표시간 되자마자 전화 바로 오나요? 1
예비 1번이라 전화추합 기다리는 중인데 추합 있으면 시간 땡 하자마자 바로 전화오는...
-
확통에서 미적 넘어가려는데 난이도 차이 심한가요? 뉴분감 빡세게 조지니까 공통은...
-
방금 학교에서 상담하고 왔는데 여러분 생각을 듣고싶어서 글 올립니다. 저는...
-
단치 전화추합 받으신 분 있을까요ㅜㅜㅜㅜ 단국대학교 치의예과 단치 단국치 단국대...
-
동대 예비번호 0
최초합 때 몇배수까지 부여해줬나요?
-
또또또 서울대 의대 아니라고 무시 당함... 아 기분 더럽다 솔직히 의대 가서...
-
지금 몇번까지 돌았는지 아시는 분 계신가요ㅠㅠ
-
이번에도 엄청 빗나간거 같은데..
-
해보신 분들만 투표 부탁드립니다.
-
미적분 복습 0
시발점 수강 하고 있는데 개념 복습으로 쎈하고 같이 한번 더 보려고 하는데 괜찮을까요?
-
에리카vs광운대 14
에리카 로봇공학과 vs 광운대 AI로봇 두 군데 다 붙으면 어디 가는게 나을까요?...
-
어떻게하는건가요??
-
의대 유급 어떻하냐 10
공부할 자신없는데 암기에 천부적으로 재능이 없어서 ㄹㅇ 어캄 생명도 안했는데 ㄷㄷ...
-
형들 의대가려면 평균적으로 수능 몇개 틀려야 하나요? 13
정시로 의대 입학하려면 거의 만점 받아야겠죠?
-
냥대 신소재 6
936.x 붙는 점수인가요?
-
올해 강대 의대관 기숙에서 수업하시는 과목별 선생님들 목록 있을까요 현재 강대기숙...
-
어디갈까 한마디씩만 적어주셈 어짜피 그냥 취업은 관심없고 전문직시험 쳐보거나...
-
세명한으로 세명만 더 빠지면 추합인 가군인데 ㅠㅠ 세명한 작년에 비해 너무 안빠지는...
-
25수능 과탐 생1지1로 4,1 뜨고 삼반수 예정입니다 지1는 유지하되 생1...
-
2025학년도 경찰대 영어 1차 시험 기출문제 18번 문장별 분석 2
2025학년도 경찰대 영어 1차 시험 기출문제 18번 해설 ( 선명하게 출력해서...
-
거리 상으로는 홍대가 40분정도 더 가깝습니다 집안 분위기 상 자취나 기숙사는...
-
현재 모고 국영수 435에 탐구는 제대로 봐본적도 없는 그냥 공부 안하는 인생망한...
-
의대 휴학 7
의대 휴학 하는 거 확정 언제쯤 날까요ㅠㅠ 시대 인재 등록도 안 했는데 학교 가는지...
-
나군 인가경라인 자유전공학부 28명 뽑는데 올해 처음 뽑아서 데이터 없ㅇㅓ요 예비...
-
너무 쉬웠던 모고 제외 22학년도~25학년도분석 2206,2211,2306 비문학...
-
1.대치동 학원 갈려고 하는데 다들 두각이나 시대인재같은 대형 학원들 개강이...
-
그러면 예비 300번 뭐 이렇게 받아도 그 사람까지 갔다는건가요
-
방금 생각해보니 0
일산에도 2년 있으니 완전 럭키비키잔앙
-
설의(29/10)-0.5 연의(47)-5 카의(37) -1 성의(50) 2024 0...
-
프사 바꿀까 3
머리가 4개여서 좀 이상한 거 같기도
-
거기도 수련해야하나요?
첫번째 댓글의 주인공이 되어보세요.