{"title":"空间与多项式上同调代数的环上同调","authors":"Samson Saneblidze","doi":"10.1016/j.trmi.2017.07.002","DOIUrl":null,"url":null,"abstract":"<div><p>Given a simply connected space <span><math><mi>X</mi></math></span> with polynomial cohomology <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mspace></mspace><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>,</mo></math></span> we calculate the loop cohomology algebra <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></math></span> by means of the action of the Steenrod cohomology operation <span><math><mi>S</mi><msub><mrow><mi>q</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> on <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> This calculation uses an explicit construction of the minimal Hirsch filtered model of the cochain algebra <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> As a consequence we obtain that <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></math></span> is the exterior algebra if and only if <span><math><mi>S</mi><msub><mrow><mi>q</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> is multiplicatively decomposable on <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> The last statement in fact contains a converse of a theorem of A. Borel (Switzer, 1975, Theorem 15.60).</p></div>","PeriodicalId":43623,"journal":{"name":"Transactions of A Razmadze Mathematical Institute","volume":"171 3","pages":"Pages 389-395"},"PeriodicalIF":0.3000,"publicationDate":"2017-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.trmi.2017.07.002","citationCount":"2","resultStr":"{\"title\":\"The loop cohomology of a space with the polynomial cohomology algebra\",\"authors\":\"Samson Saneblidze\",\"doi\":\"10.1016/j.trmi.2017.07.002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>Given a simply connected space <span><math><mi>X</mi></math></span> with polynomial cohomology <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mspace></mspace><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>,</mo></math></span> we calculate the loop cohomology algebra <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></math></span> by means of the action of the Steenrod cohomology operation <span><math><mi>S</mi><msub><mrow><mi>q</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> on <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> This calculation uses an explicit construction of the minimal Hirsch filtered model of the cochain algebra <span><math><msup><mrow><mi>C</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> As a consequence we obtain that <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>Ω</mi><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow></math></span> is the exterior algebra if and only if <span><math><mi>S</mi><msub><mrow><mi>q</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> is multiplicatively decomposable on <span><math><msup><mrow><mi>H</mi></mrow><mrow><mo>∗</mo></mrow></msup><mrow><mo>(</mo><mi>X</mi><mo>;</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></mrow><mo>.</mo></math></span> The last statement in fact contains a converse of a theorem of A. Borel (Switzer, 1975, Theorem 15.60).</p></div>\",\"PeriodicalId\":43623,\"journal\":{\"name\":\"Transactions of A Razmadze Mathematical Institute\",\"volume\":\"171 3\",\"pages\":\"Pages 389-395\"},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2017-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.trmi.2017.07.002\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transactions of A Razmadze Mathematical Institute\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S2346809217300090\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of A Razmadze Mathematical Institute","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2346809217300090","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS","Score":null,"Total":0}
The loop cohomology of a space with the polynomial cohomology algebra
Given a simply connected space with polynomial cohomology we calculate the loop cohomology algebra by means of the action of the Steenrod cohomology operation on This calculation uses an explicit construction of the minimal Hirsch filtered model of the cochain algebra As a consequence we obtain that is the exterior algebra if and only if is multiplicatively decomposable on The last statement in fact contains a converse of a theorem of A. Borel (Switzer, 1975, Theorem 15.60).