{"title":"具有准紧定义域的函数和节的空间","authors":"Jaka Smrekar","doi":"10.1017/prm.2023.117","DOIUrl":null,"url":null,"abstract":"We study spaces of continuous functions and sections with domain a paracompact Hausdorff <jats:italic>k</jats:italic>-space <jats:inline-formula> <jats:alternatives> <jats:tex-math>$X$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline1.png\" /> </jats:alternatives> </jats:inline-formula> and range a nilpotent CW complex <jats:inline-formula> <jats:alternatives> <jats:tex-math>$Y$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline2.png\" /> </jats:alternatives> </jats:inline-formula>, with emphasis on localization at a set of primes. For <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\mathop {\\rm map}\\nolimits _\\phi (X,\\,Y)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline3.png\" /> </jats:alternatives> </jats:inline-formula>, the space of maps with prescribed restriction <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\phi$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline4.png\" /> </jats:alternatives> </jats:inline-formula> on a suitable subspace <jats:inline-formula> <jats:alternatives> <jats:tex-math>$A\\subset X$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline5.png\" /> </jats:alternatives> </jats:inline-formula>, we construct a natural spectral sequence of groups that converges to <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\pi _*(\\mathop {\\rm map}\\nolimits _\\phi (X,\\,Y))$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline6.png\" /> </jats:alternatives> </jats:inline-formula> and allows for detection of localization on the level of <jats:inline-formula> <jats:alternatives> <jats:tex-math>$E^2$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0308210523001178_inline7.png\" /> </jats:alternatives> </jats:inline-formula>. Our applications extend and unify the previously known results.","PeriodicalId":54560,"journal":{"name":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","volume":" 24","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2023-11-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Spaces of functions and sections with paracompact domain\",\"authors\":\"Jaka Smrekar\",\"doi\":\"10.1017/prm.2023.117\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study spaces of continuous functions and sections with domain a paracompact Hausdorff <jats:italic>k</jats:italic>-space <jats:inline-formula> <jats:alternatives> <jats:tex-math>$X$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline1.png\\\" /> </jats:alternatives> </jats:inline-formula> and range a nilpotent CW complex <jats:inline-formula> <jats:alternatives> <jats:tex-math>$Y$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline2.png\\\" /> </jats:alternatives> </jats:inline-formula>, with emphasis on localization at a set of primes. For <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\\\mathop {\\\\rm map}\\\\nolimits _\\\\phi (X,\\\\,Y)$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline3.png\\\" /> </jats:alternatives> </jats:inline-formula>, the space of maps with prescribed restriction <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\\\phi$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline4.png\\\" /> </jats:alternatives> </jats:inline-formula> on a suitable subspace <jats:inline-formula> <jats:alternatives> <jats:tex-math>$A\\\\subset X$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline5.png\\\" /> </jats:alternatives> </jats:inline-formula>, we construct a natural spectral sequence of groups that converges to <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\\\pi _*(\\\\mathop {\\\\rm map}\\\\nolimits _\\\\phi (X,\\\\,Y))$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline6.png\\\" /> </jats:alternatives> </jats:inline-formula> and allows for detection of localization on the level of <jats:inline-formula> <jats:alternatives> <jats:tex-math>$E^2$</jats:tex-math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S0308210523001178_inline7.png\\\" /> </jats:alternatives> </jats:inline-formula>. Our applications extend and unify the previously known results.\",\"PeriodicalId\":54560,\"journal\":{\"name\":\"Proceedings of the Royal Society of Edinburgh Section A-Mathematics\",\"volume\":\" 24\",\"pages\":\"\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2023-11-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Royal Society of Edinburgh Section A-Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/prm.2023.117\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Royal Society of Edinburgh Section A-Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/prm.2023.117","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Spaces of functions and sections with paracompact domain
We study spaces of continuous functions and sections with domain a paracompact Hausdorff k-space $X$ and range a nilpotent CW complex $Y$, with emphasis on localization at a set of primes. For $\mathop {\rm map}\nolimits _\phi (X,\,Y)$, the space of maps with prescribed restriction $\phi$ on a suitable subspace $A\subset X$, we construct a natural spectral sequence of groups that converges to $\pi _*(\mathop {\rm map}\nolimits _\phi (X,\,Y))$ and allows for detection of localization on the level of $E^2$. Our applications extend and unify the previously known results.
期刊介绍:
A flagship publication of The Royal Society of Edinburgh, Proceedings A is a prestigious, general mathematics journal publishing peer-reviewed papers of international standard across the whole spectrum of mathematics, but with the emphasis on applied analysis and differential equations.
An international journal, publishing six issues per year, Proceedings A has been publishing the highest-quality mathematical research since 1884. Recent issues have included a wealth of key contributors and considered research papers.