{"title":"辛哈的一维长节谱序列和小二盘运算符的非形式性","authors":"Syunji Moriya","doi":"10.1093/qmath/haae043","DOIUrl":null,"url":null,"abstract":"We compute some differentials of Sinha’s spectral sequence for cohomology of the space of long knots modulo immersions in codimension one, mainly over a field of characteristic 2 or 3. This spectral sequence is closely related to Vassiliev’s spectral sequence for the space of long knots in codimension $\\geq2$. We prove that the d2-differential of an element is non-zero in characteristic 2, which has already essentially been proved by Salvatore, and the d3-differential of another element is non-zero in characteristic 3. While the geometric meaning of the sequence is unclear in codimension one, these results have some applications to non-formality of operads. The result in characteristic 3 implies planar non-formality of the standard map $C_\\ast(E_1)\\to C_\\ast(E_2)$ in characteristic 3, where $C_\\ast(E_k)$ denotes the chain little k-disks operad. We also reprove the result of Salvatore which states that $C_\\ast(E_2)$ is not formal as a planar operad in characteristic 2 using the result in characteristic 2. For the computation, we transfer the structure on configuration spaces behind the spectral sequence onto Thom spaces over fat diagonals through a duality between configuration spaces and fat diagonals. This procedure enables us to describe the differentials by relatively simple maps to Thom spaces. We also show that the d2-differential of the generator of bidegree $(-4,2)$ is zero in characteristic $\\not=2$. This computation illustrates how one can manage the three-term relation using the description. Although the computations in this paper are concentrated to codimension one, our method also works for codimension $\\geq2$ and we prepare most of the basic notions and lemmas for general codimension.","PeriodicalId":54522,"journal":{"name":"Quarterly Journal of Mathematics","volume":"11 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Sinha’s spectral sequence for long knots in codimension one and non-formality of the little 2-disks operad\",\"authors\":\"Syunji Moriya\",\"doi\":\"10.1093/qmath/haae043\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We compute some differentials of Sinha’s spectral sequence for cohomology of the space of long knots modulo immersions in codimension one, mainly over a field of characteristic 2 or 3. This spectral sequence is closely related to Vassiliev’s spectral sequence for the space of long knots in codimension $\\\\geq2$. We prove that the d2-differential of an element is non-zero in characteristic 2, which has already essentially been proved by Salvatore, and the d3-differential of another element is non-zero in characteristic 3. While the geometric meaning of the sequence is unclear in codimension one, these results have some applications to non-formality of operads. The result in characteristic 3 implies planar non-formality of the standard map $C_\\\\ast(E_1)\\\\to C_\\\\ast(E_2)$ in characteristic 3, where $C_\\\\ast(E_k)$ denotes the chain little k-disks operad. We also reprove the result of Salvatore which states that $C_\\\\ast(E_2)$ is not formal as a planar operad in characteristic 2 using the result in characteristic 2. For the computation, we transfer the structure on configuration spaces behind the spectral sequence onto Thom spaces over fat diagonals through a duality between configuration spaces and fat diagonals. This procedure enables us to describe the differentials by relatively simple maps to Thom spaces. We also show that the d2-differential of the generator of bidegree $(-4,2)$ is zero in characteristic $\\\\not=2$. This computation illustrates how one can manage the three-term relation using the description. Although the computations in this paper are concentrated to codimension one, our method also works for codimension $\\\\geq2$ and we prepare most of the basic notions and lemmas for general codimension.\",\"PeriodicalId\":54522,\"journal\":{\"name\":\"Quarterly Journal of Mathematics\",\"volume\":\"11 1\",\"pages\":\"\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-08-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Quarterly Journal of Mathematics\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1093/qmath/haae043\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Quarterly Journal of Mathematics","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1093/qmath/haae043","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Sinha’s spectral sequence for long knots in codimension one and non-formality of the little 2-disks operad
We compute some differentials of Sinha’s spectral sequence for cohomology of the space of long knots modulo immersions in codimension one, mainly over a field of characteristic 2 or 3. This spectral sequence is closely related to Vassiliev’s spectral sequence for the space of long knots in codimension $\geq2$. We prove that the d2-differential of an element is non-zero in characteristic 2, which has already essentially been proved by Salvatore, and the d3-differential of another element is non-zero in characteristic 3. While the geometric meaning of the sequence is unclear in codimension one, these results have some applications to non-formality of operads. The result in characteristic 3 implies planar non-formality of the standard map $C_\ast(E_1)\to C_\ast(E_2)$ in characteristic 3, where $C_\ast(E_k)$ denotes the chain little k-disks operad. We also reprove the result of Salvatore which states that $C_\ast(E_2)$ is not formal as a planar operad in characteristic 2 using the result in characteristic 2. For the computation, we transfer the structure on configuration spaces behind the spectral sequence onto Thom spaces over fat diagonals through a duality between configuration spaces and fat diagonals. This procedure enables us to describe the differentials by relatively simple maps to Thom spaces. We also show that the d2-differential of the generator of bidegree $(-4,2)$ is zero in characteristic $\not=2$. This computation illustrates how one can manage the three-term relation using the description. Although the computations in this paper are concentrated to codimension one, our method also works for codimension $\geq2$ and we prepare most of the basic notions and lemmas for general codimension.
期刊介绍:
The Quarterly Journal of Mathematics publishes original contributions to pure mathematics. All major areas of pure mathematics are represented on the editorial board.