{"title":"球面映射和向量丛截面零轨迹的计数不变量","authors":"Panagiotis Konstantis","doi":"10.1007/s12188-020-00228-6","DOIUrl":null,"url":null,"abstract":"<div><p>The set of unrestricted homotopy classes <span>\\([M,S^n]\\)</span> where <i>M</i> is a closed and connected spin <span>\\((n+1)\\)</span>-manifold is called the <i>n</i>-th cohomotopy group <span>\\(\\pi ^n(M)\\)</span> of <i>M</i>. Using homotopy theory it is known that <span>\\(\\pi ^n(M) = H^n(M;{\\mathbb {Z}}) \\oplus {\\mathbb {Z}}_2\\)</span>. We will provide a geometrical description of the <span>\\({\\mathbb {Z}}_2\\)</span> part in <span>\\(\\pi ^n(M)\\)</span> analogous to Pontryagin’s computation of the stable homotopy group <span>\\(\\pi _{n+1}(S^n)\\)</span>. This <span>\\({\\mathbb {Z}}_2\\)</span> number can be computed by counting embedded circles in <i>M</i> with a certain framing of their normal bundle. This is a similar result to the mod 2 degree theorem for maps <span>\\(M \\rightarrow S^{n+1}\\)</span>. Finally we will observe that the zero locus of a section in an oriented rank <i>n</i> vector bundle <span>\\(E \\rightarrow M\\)</span> defines an element in <span>\\(\\pi ^n(M)\\)</span> and it turns out that the <span>\\({\\mathbb {Z}}_2\\)</span> part is an invariant of the isomorphism class of <i>E</i>. At the end we show that if the Euler class of <i>E</i> vanishes this <span>\\({\\mathbb {Z}}_2\\)</span> invariant is the final obstruction to the existence of a nowhere vanishing section.</p></div>","PeriodicalId":50932,"journal":{"name":"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg","volume":"90 2","pages":"183 - 199"},"PeriodicalIF":0.4000,"publicationDate":"2020-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s12188-020-00228-6","citationCount":"3","resultStr":"{\"title\":\"A counting invariant for maps into spheres and for zero loci of sections of vector bundles\",\"authors\":\"Panagiotis Konstantis\",\"doi\":\"10.1007/s12188-020-00228-6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>The set of unrestricted homotopy classes <span>\\\\([M,S^n]\\\\)</span> where <i>M</i> is a closed and connected spin <span>\\\\((n+1)\\\\)</span>-manifold is called the <i>n</i>-th cohomotopy group <span>\\\\(\\\\pi ^n(M)\\\\)</span> of <i>M</i>. Using homotopy theory it is known that <span>\\\\(\\\\pi ^n(M) = H^n(M;{\\\\mathbb {Z}}) \\\\oplus {\\\\mathbb {Z}}_2\\\\)</span>. We will provide a geometrical description of the <span>\\\\({\\\\mathbb {Z}}_2\\\\)</span> part in <span>\\\\(\\\\pi ^n(M)\\\\)</span> analogous to Pontryagin’s computation of the stable homotopy group <span>\\\\(\\\\pi _{n+1}(S^n)\\\\)</span>. This <span>\\\\({\\\\mathbb {Z}}_2\\\\)</span> number can be computed by counting embedded circles in <i>M</i> with a certain framing of their normal bundle. This is a similar result to the mod 2 degree theorem for maps <span>\\\\(M \\\\rightarrow S^{n+1}\\\\)</span>. Finally we will observe that the zero locus of a section in an oriented rank <i>n</i> vector bundle <span>\\\\(E \\\\rightarrow M\\\\)</span> defines an element in <span>\\\\(\\\\pi ^n(M)\\\\)</span> and it turns out that the <span>\\\\({\\\\mathbb {Z}}_2\\\\)</span> part is an invariant of the isomorphism class of <i>E</i>. At the end we show that if the Euler class of <i>E</i> vanishes this <span>\\\\({\\\\mathbb {Z}}_2\\\\)</span> invariant is the final obstruction to the existence of a nowhere vanishing section.</p></div>\",\"PeriodicalId\":50932,\"journal\":{\"name\":\"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg\",\"volume\":\"90 2\",\"pages\":\"183 - 199\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2020-11-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s12188-020-00228-6\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s12188-020-00228-6\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s12188-020-00228-6","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
A counting invariant for maps into spheres and for zero loci of sections of vector bundles
The set of unrestricted homotopy classes \([M,S^n]\) where M is a closed and connected spin \((n+1)\)-manifold is called the n-th cohomotopy group \(\pi ^n(M)\) of M. Using homotopy theory it is known that \(\pi ^n(M) = H^n(M;{\mathbb {Z}}) \oplus {\mathbb {Z}}_2\). We will provide a geometrical description of the \({\mathbb {Z}}_2\) part in \(\pi ^n(M)\) analogous to Pontryagin’s computation of the stable homotopy group \(\pi _{n+1}(S^n)\). This \({\mathbb {Z}}_2\) number can be computed by counting embedded circles in M with a certain framing of their normal bundle. This is a similar result to the mod 2 degree theorem for maps \(M \rightarrow S^{n+1}\). Finally we will observe that the zero locus of a section in an oriented rank n vector bundle \(E \rightarrow M\) defines an element in \(\pi ^n(M)\) and it turns out that the \({\mathbb {Z}}_2\) part is an invariant of the isomorphism class of E. At the end we show that if the Euler class of E vanishes this \({\mathbb {Z}}_2\) invariant is the final obstruction to the existence of a nowhere vanishing section.
期刊介绍:
The first issue of the "Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg" was published in the year 1921. This international mathematical journal has since then provided a forum for significant research contributions. The journal covers all central areas of pure mathematics, such as algebra, complex analysis and geometry, differential geometry and global analysis, graph theory and discrete mathematics, Lie theory, number theory, and algebraic topology.