{"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":null,"pages":null},"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}
引用次数: 0
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.
期刊介绍:
The Quarterly Journal of Mathematics publishes original contributions to pure mathematics. All major areas of pure mathematics are represented on the editorial board.