{"title":"有理同伦理论中纤维X的普遍纤维化","authors":"Gregory Lupton, Samuel Bruce Smith","doi":"10.1007/s40062-020-00258-0","DOIUrl":null,"url":null,"abstract":"<p>Let <i>X</i> be a simply connected space with finite-dimensional rational homotopy groups. Let <span>\\(p_\\infty :UE \\rightarrow B\\mathrm {aut}_1(X)\\)</span> be the universal fibration of simply connected spaces with fibre <i>X</i>. We give a DG Lie algebra model for the evaluation map <span>\\( \\omega :\\mathrm {aut}_1(B\\mathrm {aut}_1(X_\\mathbb {Q})) \\rightarrow B\\mathrm {aut}_1(X_\\mathbb {Q})\\)</span> expressed in terms of derivations of the relative Sullivan model of <span>\\(p_\\infty \\)</span>. We deduce formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space <span>\\(B\\mathrm {aut}_1(X_\\mathbb {Q})\\)</span> as a consequence. We also prove that <span>\\(\\mathbb {C} P^n_\\mathbb {Q}\\)</span> cannot be realized as <span>\\(B\\mathrm {aut}_1(X_\\mathbb {Q})\\)</span> for <span>\\(n \\le 4\\)</span> and <i>X</i> with finite-dimensional rational homotopy groups.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-020-00258-0","citationCount":"0","resultStr":"{\"title\":\"The universal fibration with fibre X in rational homotopy theory\",\"authors\":\"Gregory Lupton, Samuel Bruce Smith\",\"doi\":\"10.1007/s40062-020-00258-0\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <i>X</i> be a simply connected space with finite-dimensional rational homotopy groups. Let <span>\\\\(p_\\\\infty :UE \\\\rightarrow B\\\\mathrm {aut}_1(X)\\\\)</span> be the universal fibration of simply connected spaces with fibre <i>X</i>. We give a DG Lie algebra model for the evaluation map <span>\\\\( \\\\omega :\\\\mathrm {aut}_1(B\\\\mathrm {aut}_1(X_\\\\mathbb {Q})) \\\\rightarrow B\\\\mathrm {aut}_1(X_\\\\mathbb {Q})\\\\)</span> expressed in terms of derivations of the relative Sullivan model of <span>\\\\(p_\\\\infty \\\\)</span>. We deduce formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space <span>\\\\(B\\\\mathrm {aut}_1(X_\\\\mathbb {Q})\\\\)</span> as a consequence. We also prove that <span>\\\\(\\\\mathbb {C} P^n_\\\\mathbb {Q}\\\\)</span> cannot be realized as <span>\\\\(B\\\\mathrm {aut}_1(X_\\\\mathbb {Q})\\\\)</span> for <span>\\\\(n \\\\le 4\\\\)</span> and <i>X</i> with finite-dimensional rational homotopy groups.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2020-04-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40062-020-00258-0\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40062-020-00258-0\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s40062-020-00258-0","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The universal fibration with fibre X in rational homotopy theory
Let X be a simply connected space with finite-dimensional rational homotopy groups. Let \(p_\infty :UE \rightarrow B\mathrm {aut}_1(X)\) be the universal fibration of simply connected spaces with fibre X. We give a DG Lie algebra model for the evaluation map \( \omega :\mathrm {aut}_1(B\mathrm {aut}_1(X_\mathbb {Q})) \rightarrow B\mathrm {aut}_1(X_\mathbb {Q})\) expressed in terms of derivations of the relative Sullivan model of \(p_\infty \). We deduce formulas for the rational Gottlieb group and for the evaluation subgroups of the classifying space \(B\mathrm {aut}_1(X_\mathbb {Q})\) as a consequence. We also prove that \(\mathbb {C} P^n_\mathbb {Q}\) cannot be realized as \(B\mathrm {aut}_1(X_\mathbb {Q})\) for \(n \le 4\) and X with finite-dimensional rational homotopy groups.