우주
게시글 주소: 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를 선물하세요.
-
강K 시즌 0
언제에여?
-
저는 bigㄱㅊ 흥 넘침 운동 ㅈㄴ 잘함 이렇게 3가지가 생각나네요
-
부모님이 나만 보네
-
근데 0
옛날독서도 김동욱의 반응하라가 통하나요 아니 이거 옛날기출풀땢ㄹㅇ 그읽그풀이...
-
내년에 나는 14
본3이 될 수 있을까
-
아씨 똥 마려워 2
저 화장실 혼자 못가는데 손잡고 가서 똥쌀동안 동화책 읽어주실준 구해요 덕코 드림
-
들을 노래추천
-
삼행시 한판 뜰사람 31
ㄱㄱ
-
술마셔보고싶다 0
성인된 후로 한번도 안마셔봤음
-
방긋방긋 웃으면서 인사 잘하고 다니고 수업 시간 때 대답하면서 쌤이랑 눈 마주치기...
-
이번만입니다.. 3
ㅎㅎ
-
사실 수시 붙을줄 알고 멋모르고 생2 사문 했었습니다..(최저이기도 했고..)...
-
소외감느낌
-
나만 6
나만 인강보면 잠오고 혼자풀때 집중잘됨?
-
알텍 수1는 2회독 수2는 3회독 정도로 하고 드리블 들어간지 일주일 정도 됐는데...
-
생1 할때마다 근수축 푸는게 쉽지않네요 변화량 x로 잡고 풀고는 있는데 시간이...
-
제발 만백 만표70오버 복귀,표본 청정수 복귀
-
생명 0
홍준용 t&s가 그렇게 좋다고 하던데 포지션이 백호 상크스, 한종철 자분기인가요?...
-
속이 안좋네
-
맛있다~~
-
그냥 아무도 안믿음.
-
블루 아카 이브 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
생기부에 모난 내용 적힌 건 없는데 1500이 최대인 글자수 못채우고 절반도 못...
-
국어 진짜 천천히 또박또박 읽으면 문학이든 독서든 다 풀리지 않음?
-
물리 밈이 뭔데 0
-
안녕 6
-
이대로 자면 난 물리 1을 받을수있을듯
-
완전 새책인데 당근이나할까 근데솔까너무안맞음 독서는 진짜 잘 맞았는디ㅠ
-
반모음 첨가 0
얘는 음운이 하나 늘어나는거예요? 그럼 이중모음은 음운 두개로 치나요? 감사합니다
-
가족중에 아픈 사람 생기면 건강이 최고라는 걸 알게됨 3
정말 평소 하던 걱정은 아무것도 아닌게 되버리네요.. 모두들 건강 챙기시고 무리하지...
-
아재개그 2
예수님이 맘에 드는 옷을 고를때 하는 말은 나 예루살렘!
-
칠정산
-
라쿤 상대로 바로 복수하네요
-
아재개그 3
오렌지를 먹어본지 얼마나 오랜지
-
internal server error 때문에 잠시 포기
-
씻어야징
-
난왤케허수지 8
난왤케수포자지 난왤케담뇨단이지 난왤케게을킹이지 난왤케바보지 난왤케야구공이지...
-
을 사용하지 못하는 경우가 있죠? 예를들어 x 0에 있으면 이때 판별식을 쓰지...
-
3모 전 마지막 발악 독서는 하루에 한 지문만 보자…ㅠ (내사랑독서ㅠㅠ)
-
노베재수생한테 사치일까요.. ㅜㅜ 월~토는 12시간씩 꼭 공부하는데 일요일에는 자꾸...
-
아칼리노궁노플큐평평이이
-
언제 나오는지 아나요 목빠지게 기다리고있는데
-
가능할까요? 3
진지합니다..
-
번호를 안외우고 위치만 외워서 어디가서 써먹잘 못함
-
수능 현장에서 84점이고 16점은 다 독서에서 틀렸습니다 언매는 김승리의선택 책으로...
-
물생 0
지금 물생하고 있는데 주변에서 지구는 꼭 끼라고해서 마음이 좀 흔들리네요 지구...
-
와 이건 상상을 초월하네 진자 이건 진짜 어디 문제 있는거 아닌가요...
-
안녕하세요, 물개물개입니다. 오늘은 가볍게 생2 등에서 쓰이는 분수 해석법을 들고...
-
키링 굿즈 덕질 와우
-
옯스타만 하시는 분 있나요
첫번째 댓글의 주인공이 되어보세요.