{"title":"\\(\\mathcal V^{(d)}\\) dioperad的Koszuality","authors":"Kate Poirier, Thomas Tradler","doi":"10.1007/s40062-018-0220-8","DOIUrl":null,"url":null,"abstract":"<p>Define a <span>\\(\\mathcal V^{(d)}\\)</span>-algebra as an associative algebra with a symmetric and invariant co-inner product of degree <i>d</i>. Here, we consider <span>\\(\\mathcal V^{(d)}\\)</span> as a dioperad which includes operations with zero inputs. We show that the quadratic dual of <span>\\(\\mathcal V^{(d)}\\)</span> is <span>\\((\\mathcal V^{(d)})^!=\\mathcal V^{(-d)}\\)</span> and prove that <span>\\(\\mathcal V^{(d)}\\)</span> is Koszul. We also show that the corresponding properad is not Koszul contractible.</p>","PeriodicalId":636,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"14 2","pages":"477 - 507"},"PeriodicalIF":0.5000,"publicationDate":"2018-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-018-0220-8","citationCount":"1","resultStr":"{\"title\":\"Koszuality of the \\\\(\\\\mathcal V^{(d)}\\\\) dioperad\",\"authors\":\"Kate Poirier, Thomas Tradler\",\"doi\":\"10.1007/s40062-018-0220-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Define a <span>\\\\(\\\\mathcal V^{(d)}\\\\)</span>-algebra as an associative algebra with a symmetric and invariant co-inner product of degree <i>d</i>. Here, we consider <span>\\\\(\\\\mathcal V^{(d)}\\\\)</span> as a dioperad which includes operations with zero inputs. We show that the quadratic dual of <span>\\\\(\\\\mathcal V^{(d)}\\\\)</span> is <span>\\\\((\\\\mathcal V^{(d)})^!=\\\\mathcal V^{(-d)}\\\\)</span> and prove that <span>\\\\(\\\\mathcal V^{(d)}\\\\)</span> is Koszul. We also show that the corresponding properad is not Koszul contractible.</p>\",\"PeriodicalId\":636,\"journal\":{\"name\":\"Journal of Homotopy and Related Structures\",\"volume\":\"14 2\",\"pages\":\"477 - 507\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2018-10-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40062-018-0220-8\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Homotopy and Related Structures\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40062-018-0220-8\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Homotopy and Related Structures","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s40062-018-0220-8","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Define a \(\mathcal V^{(d)}\)-algebra as an associative algebra with a symmetric and invariant co-inner product of degree d. Here, we consider \(\mathcal V^{(d)}\) as a dioperad which includes operations with zero inputs. We show that the quadratic dual of \(\mathcal V^{(d)}\) is \((\mathcal V^{(d)})^!=\mathcal V^{(-d)}\) and prove that \(\mathcal V^{(d)}\) is Koszul. We also show that the corresponding properad is not Koszul contractible.
期刊介绍:
Journal of Homotopy and Related Structures (JHRS) is a fully refereed international journal dealing with homotopy and related structures of mathematical and physical sciences.
Journal of Homotopy and Related Structures is intended to publish papers on
Homotopy in the broad sense and its related areas like Homological and homotopical algebra, K-theory, topology of manifolds, geometric and categorical structures, homology theories, topological groups and algebras, stable homotopy theory, group actions, algebraic varieties, category theory, cobordism theory, controlled topology, noncommutative geometry, motivic cohomology, differential topology, algebraic geometry.