Intersection
게시글 주소: https://d.orbi.kr/00070074391
Q. Can a boundary map on a long exact sequence of homology on manifold be interpreted as an actual topological boundary of a manifold representing the homology class?
A. True if the class is representable by a manifold with boundary. If $M$ is a compact $n$-manifold with boundary, it has a fundamental class $[M]\in H_n(M,\partial M)$ (coefficients being whatever as long as you're orientable w.r.t. them) and its image under the connecting homomorphism of the pair $(M,\partial M)$ is the fundamental class $[\partial M]\in H_{n-1}(\partial M)$ of the closed $(n-1)$-manifold $\partial M$ with the induced orientation. So, if $f\colon(M,\partial M)\rightarrow(X,A)$ is some map of pairs (the representing manifold of a class), naturality of the pair sequence yields $\partial(f_{\ast}[M,\partial M])=f_{\ast}[\partial M]$ and if $M$ is closed, this is zero, but that's not surprising cause the element then factors through $H_n(X)$ and the composite $H_n(X)\rightarrow H_n(X,A)\rightarrow H_{n-1}(A)$ is zero.
Intuitively, If $[\sigma]\in H_n(X,A)$, then $\sigma$ is some chain in $X$ with boundary inside of $A$. Since it represents a homology class, it should be a cycle, but it need not boundary anything entirely in $A$, so it could be a nonzero representative in $H_{n-1}(A)$. In other words, if $\sigma\mapsto X$ is a chain so that its topological boundary $\partial\sigma$ be mapped entirely into $A$. This boundary represents an element of $H_{n-1}(A)$. Although this is a more or less intuitive argument, this is exactly what's happening on topology. Algebraic machinery is just make this rigorous in algebraic language.
Q. How do you see the Alexander duality?
Rmk. Alexander duality: Let $X\subset S^n$ be a submanifold. Then $H_{p}(S^n\setminus X)\simeq H^{q}(X)$ where $p+q = n-1$. Or, $H_p(\Bbb R^n\setminus X)\simeq H^q(X)$ where $p+q = n-1$.
A. One of the most important interpretation of Alexander duality is via linking numbers of submanifolds, or more generally $k$ cycles. Consider $k$-cycle $z$ in the space $X$ of dimension $k$, and an $(n-k-1)$-cycle $w$ in the complement of $\Bbb R^n$. Then $w = \partial v$ in $\Bbb R^n$ for some cycle $v$. Now take the algebraic intersection (cup product) of $z$ and $v$. This defines a bilinear pairing $H_k(X)\otimes H_{n-k-1}(\Bbb R^n\setminus X)\to\Bbb Z$, called the linking number and gives an Alexander duality. Note that the linking number here is compatible with the linking number in the classical links in $S^3$. This is just a high dimensional analog. See this answer for more geometrical interpretation of high dimensional linking number https://mathoverflow.net/a/332250/323920
Under this interpretation, in case of knot $K$ not link in $S^3$, $S^3\setminus K$ can be thought as a "dual knot" which has linking number 1 with $K$. In particular, every knot complement has $\Bbb Z$ in the first homology, generated by a single "dual unknot" (meridian) of $K$.
One can actually define linking number from Alexander duality as follows: This time we let $M^p,N^q\subset\Bbb R^n$ be closed connected oriented manifolds with dimension $p$ and $q$ and $p+q = n-1$. Then by Alexander duality, we have $\Bbb Z\simeq H^p(M)\simeq H_{q}(\Bbb R^n\setminus Z)$. Now we consider the induced map $i_*:H_q(N)\to H_q(\Bbb R^n\setminus M)$ via inclusion $N\hookrightarrow \Bbb R^n\setminus M$. This map sends the fundamental class of $N$ to some integer times the fundamental class of $H_q(\Bbb R^n\setminus M)$, obtained by the isomorphism from Alexander duality. This integer is exactly the linking number of $M$ and $N$. You will see without much difficulty that these two back and forth are compatible.
- Intersection theory
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
에휴이
-
지나가던 리트리버가 진짜 너무 귀여워서 리트리버 인스타 물어본 적은 있음 근데...
-
05개틀딱이라 가면 뭔 얘기 하야할지 감도 안옴..
-
극한상쇄!!! 1
크아악
-
국어 - 브레멘 싱글앨범커버 수학 - 요루시카 정규 2집 엘마 앨범커버 영어 -...
-
어떻게 재미로 수능문제 볼 수가 있징.......
-
같은 N수로서 몇 수까지만 하고 손을 놓아라 마라 같은 근본적으로 도움 안될 것...
-
이미 좆된걸 알고있어서 걍..어느정도 실감은 나는데 그상황에서 오르비에 눈을뜨니 걍...
-
옵션 몇개 넣으면 200은 그냥 깨지는구나 눈이랑 피부 좋은건 진짜 부모님한테 감사해야함..
-
안 해주면 울거야
-
전 30되기 전.... 인데 벌써 불가능할듯요
-
으흐흐 11일이 기다려지는군아
-
중냥아 안녕? 2
ㅎㅇㅎㅇ
-
금지단어가 포함되어 있어서 못 올린다고 뜨네……. 사진도 금지단어로 분류되는건가
-
기하 vs 미적 0
삼수생이고 수리논술 응시할 예정인데 25수능 때 공통 20,21,22 틀렸고,...
-
손 놓은지 2년넘게 지나서 그런지 진짜 1도 기억이 안나네...
-
순공 5 인강 6시간 비율로 나와요.. 사탐런함
-
무료죠? 구글에.쳐서 회원가입하면 되는건가요?
-
면도를 안햇더니 5
40대 같네..
-
그거 감수하고 보는 건가요? 가격때메 고민 중인데 그래도 종이책으로 읽는 게 더 좋은데 가격부담 흠
-
증명은 공리에서 결론을 도출하는 것. 공리(전제)가 참이면 결론이 참 대우 결론이...
-
뭔 느낌인지 21살되고 오늘에서야 알았음 버스에서 자리에 앉아있는데 정류장에서 타는...
-
아직도 메가 대성 들락날락하는 내 인생이 레전드임 그냥 이러니 개콘이 망했지
-
수학 chill문 받음 10
공부는 ㅈㄴ 못하는데 출제진 짬은 chill함
-
펜슬 프로만 호환됌?
-
커플 왤케 많냐 12
시비르 하고 싶어지게
-
되려나 ㅠ
-
저만 그런건가요.. 조언 부탁드립니다 ㅜ
-
법원 서버에 물까지 붓고 '경악'..."절대 일어나서 안 되는 일" [지금이뉴스] 7
대법원 법원행정처가 서울서부지법에서 벌어진 난동 사태에 대해 강한 유감을 표한다는...
-
빠르게 9시까지 여친 구해봄
-
난 국수탐 백분위 합 392
-
유대종쌤 현강 종강날 존예 조교님한테 장난 반 진심 반 싸인해주실 수 있냐고 잠깐...
-
학력으로 보상받으려는 생각이 강해지고 수능 메디컬에 집착하게 되는 듯 의대만 가면...
-
그냥 성대가는거다 생각하고 눈 질끈감고 있을래... 먹은거 올라오는 느낌 손발...
-
아쎄이..!
-
미적 뉴런 스블 1
현재 김성호 선생님 현강다니고 있는 현역입니다... 미적분이 많이 부족한 것 같아서...
-
재종고민 4
화미생윤사문 43223 26수능 언미생윤사문으로 치려하는데시대 재종 붙기 힘들까요?...
-
갈게요 6
내일 봐요!
-
불안해지네 머리도 아프고
-
.
-
이상한가..입시하는거 아니고 그냥 순수 재미 화1은 재미원툴임...
-
라식하고싶다 11
그러려면 돈을 모아야 하는데
-
돈이 부족해
-
연대 조발기원 2
언제하는거임뇨
-
아무리 봐도 어색해서 챗gpt에 물어보니까 문학적 표현이라 어색한거라고하네
-
내일부턴 식사시간 아닌데 보이면 혼내줘여 덕코 줄게
-
익엑옹짜락오
-
충원률 감고할거라고 보는 분들은 이유도 같이 말 ㄱㄴ?
첫번째 댓글의 주인공이 되어보세요.