Pith. sign in

REVIEW 3 major objections 3 minor 43 references

A Fox-Neuwirth Basis for the Sinha Spectral Sequence

T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The Sinha spectral sequence for long knots has a finite combinatorial presentation by Fox–Neuwirth trees, and this presentation is isomorphic to the original from the first page onward.

desk verdict A genuinely useful combinatorial model for the Sinha spectral sequence, but the proof of the semicosimpliciality that makes it work is incomplete as written. read the letter →

arxiv 2505.22958 v1 pith:HBKUQJE6 submitted 2025-05-29 math.AT

Andrea Marino This is my paper
classification math.AT MSC 55R8057R40
keywords Fox-NeuwirthtreesSinhaspectralsequencelongknotsconfigurationspacesKontsevichweightedhairycosimplicialembeddingcalculus
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to establish that the Sinha spectral sequence, the standard cosimplicial model for the cohomology of long knots modulo immersions, can be replaced from the first page by a purely combinatorial bicomplex generated by chains of Fox–Neuwirth trees. If correct, this gives a finite, explicit presentation of the differentials of the Sinha spectral sequence for every dimension $m\ge 2$ and every abelian coefficient group $A$, and for $m\ge 4$ it computes the homology of the knot space directly from tree combinatorics. The proof constructs a new space of weighted hairy trees whose cells are indexed by the same trees and whose face maps implement infinitesimal vertical doubling of points, then connects it by homotopy equivalences to both the barycentric Fox–Neuwirth complex and the Kontsevich spaces.

What carries the argument

The load-bearing object is the space of weighted hairy trees $WHT_m(n)$, a twisted geometric realization of the nerve of the poset $FN^\leq_m(n)$. Its cells are convex combinations of Fox–Neuwirth trees carrying weights that may be zero, finite, or infinite, with 'hairs' recording blocks of vertically collapsed labels. This space carries a semicosimplicial structure whose coface $d_j$ replaces the $j$-th point by an infinitesimally close vertical pair, while the extremal cofaces insert points at infinity; the quotient relations are chosen so that these maps satisfy the required identities. The proof of the main theorem is the zig-zag of semicosimplicial homotopy equivalences $WHT_m \leftarrow sd\,BZ_m \rightarrow Konts_m$, which transfers the Sinha spectral sequence to the finite tree-indexed bicomplex.

What would settle it

Carry out the omitted identity check for the boundary cases, for example the identity $d_2\circ d_0 = d_0\circ d_1$ on a non-trivial cell $\Omega(\Gamma_\bullet)$: if the two composite coface maps disagree after the quotient by the equivalence relation, Theorem 4.62 fails and the zig-zag construction collapses, invalidating the transfer to the Sinha spectral sequence.

Watch

Extended reading notes

Core claim

The paper's central claim is that the Sinha spectral sequence for the space $\operatorname{Emb}_m$ of long knots modulo immersions is isomorphic, from the first page on, to the spectral sequence of the Barycentric Fox–Neuwirth bicomplex. In detail, for all $m\ge 2$ and abelian groups $A$, the terms $E^r_{pq}(\operatorname{FN}^{sd}_m,A)$ are isomorphic to the corresponding Sinha terms, and for $m\ge 4$ this tree-computed spectral sequence converges to $H_*(\operatorname{Emb}_m;A)$. This is Theorem 5.21, and it is obtained from a zig-zag of semicosimplicial homotopy equivalences $WHT_m \leftarrow sd\,BZ_m \rightarrow Konts_m$ that passes through the new space of weighted hairy trees.

Load-bearing premise

The result rests on the claim that the coface maps $d_j$ on the weighted hairy trees space satisfy the semicosimplicial identities in all cases, a property whose written proof checks only the generic internal case and defers the remaining boundary cases.

Editorial extensions

If this is right

  • The Sinha spectral sequence for $\operatorname{Emb}_m$ can be presented, from page one, by the Barycentric Fox–Neuwirth bicomplex, so its differentials can be read from chains of Fox–Neuwirth trees.
  • For $m\ge 4$ and any abelian group $A$, the tree-computed spectral sequence converges to the homology and cohomology of the space of long knots modulo immersions with coefficients in $A$.
  • The combinatorial presentation works in every dimension $m\ge 2$ and with arbitrary coefficients, including positive characteristic, where rational collapse results do not apply.
  • The comparison is cited in a companion paper as the tool that shows non-collapse of the Sinha spectral sequence for $m=3$ with $\mathbb{F}_2$ coefficients, in contrast to the rational second-page collapse.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because the tree bicomplex has finitely many generators in each bidegree, the isomorphism suggests an algorithmic route to computing higher differentials of the Sinha spectral sequence in positive characteristic, where surjection-operad models become unwieldy.
  • A natural extension, not proved here, is to promote the isomorphism from homology groups to algebras: if the Fox–Neuwirth bicomplex inherits the multiplicative structure of the Sinha model, Steenrod operations could be computed directly on tree chains.
  • The twisted geometric realization used to build $WHT_m$ is a general device, so the same interpolation between a finite cellular complex and a compactified configuration space could be adapted to other operadic or embedding-space spectral sequences.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper constructs, for each m≥2 and n≥0, a space WHT_m(n) of weighted hairy trees, realized as a twisted non-degenerate geometric realization of the nerve of the Fox–Neuwirth poset. It then defines semicosimplicial maps WHT_m → sd BZ_m and WHT_m → Konts_m, proves these maps are levelwise homotopy equivalences, and assembles this into a claimed semicosimplicial zig-zag sd BZ_m ← WHT_m → Konts_m. Passing to (co)chains and associated bicomplexes, the paper concludes that the Barycentric Fox–Neuwirth spectral sequence and the Sinha spectral sequence are isomorphic from the first page on for all m≥2 and all abelian coefficients, hence that the Sinha spectral sequence has a finite combinatorial presentation by Fox–Neuwirth trees.

Significance. If the main theorem is correct, this is a genuinely useful result: it replaces Sinha's compactified configuration-space model with a finite, explicitly combinatorial cell complex in all dimensions and with arbitrary coefficients, and it is already used as input for the non-collapse result in the companion paper [22]. The construction is explicit and does not hide free parameters; the twisted geometric realization framework is a sensible tool for the comparison. The paper would be a valuable contribution to the homological study of knot spaces and configuration spaces, although a fully verified proof of the semicosimpliciality of WHT_m is essential for the advertised conclusion to be supported by the text.

major comments (3)
  1. [§4.3.4, Theorem 4.62] The verification of semicosimpliciality is incomplete in a load-bearing way. The proof explicitly treats only the generic internal case 0<i<j<ell+2 and leaves the cases i>0,j=ell+2; i=0,j<ell+2; and i=0,j=ell+2 to the reader. More importantly, even in the generic case the computation compares the weight coordinates η and ε but never verifies that the two compositions land in the same cell of WHT_m(ell+2), i.e. that (dj di)(Γ_•) = (di d_{j-1})(Γ_•) as chains of Fox–Neuwirth trees. Without that identity, agreeing weight coordinates in possibly different cells do not imply equality of the corresponding points. Since Theorem 5.20 and Theorem 5.21 rest on this semicosimpliciality, the main claim is not fully established by the written proof.
  2. [§4.3.4, Lemma 4.61] The well-definedness of the maps d_j with respect to the equivalence relation and their B-contravariance are only checked for the main internal case 0<j<ell+1; the proof states the other cases are analogous and leaves them to the reader. These cases are not merely cosmetic: if the maps fail to respect the equivalence relation on the extremal strata, the assembled maps WHT_m(ell)→WHT_m(ell+1) are not well defined. All cases need to be written out in full, or the proof must be reorganized so that the extremal cases are reduced to the internal one by an explicit argument.
  3. [§5.2, Theorem 5.18] The proof that τ: WHT_m → Konts_m is semicosimplicial reports only the generic subcase with 0<u<ell+1 and p_k<r_k<q_k, saying the remaining subcases are 'completely analogous and left to the reader'. The semicosimpliciality of τ is one of the two legs of the zig-zag needed for Theorem 5.20, and the omitted cases include the extremal cofaces u=0 and u=ell+1 as well as the other index arrangements for internal u. These should be proved explicitly, since the weight formula is discontinuous in the parameter regimes and the Kontsevich coface formula has exceptional terms exactly in those regimes.
minor comments (3)
  1. [§2.1, Definition 2.1] There are several typos in the manuscript text, e.g. 'folowing', 'particuarly', 'antysimmetric', 'cna', and the repeated 'mě 2' and 'p Rą0' formatting errors; these should be corrected in revision.
  2. [§5.3, Theorem 5.21] The passage from the semicosimplicial zig-zag to the isomorphism of spectral sequences is stated very briefly. In particular, the identification of the Barycentric Fox–Neuwirth bicomplex with the cellular chain complex of sd BZ_m (or of C_*(sd BZ_m) with normalized chains on the nerve of the face poset) is not explicitly justified; this is standard, but it should be stated precisely with a reference so that the claimed column-wise quasi-isomorphism is fully clear.
  3. [§4.3.2, Theorem 4.51 and Definition 4.48] The equivalence relation on trivial triples is defined by saying that 'they are always equivalent', and the proof of the Stratification Theorem uses this to collapse all trivial strata to a point. The topology of the quotient on the trivializable cells deserves a more explicit description, since later arguments about the homotopy inverse g and the homotopy h in Lemma 5.2 rely on this collapse.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is self-contained; the main theorem is not assumed in its inputs.

full rationale

The paper derives the isomorphism between the Barycentric Fox-Neuwirth and Sinha spectral sequences from an explicitly constructed zig-zag of semicosimplicial homotopy equivalences (Theorem 5.20). The Fox-Neuwirth cosimplicial structure is defined in the present paper (Definition 2.5), and the bicomplex in Definition 2.7; the pointer to the companion paper [22] is a reference for where the idea was introduced, not for an unstated theorem on which the proof depends. The maps in the zig-zag are constructed directly: fGamma : Omega(Gamma) -> |Delta^d| gives the projection WHT -> sd BZ, with explicit homotopy inverse gGamma in Lemma 5.2; the map WHT -> Konts is defined stratum-by-stratum in Definition 5.7 and shown semicosimplicial in Theorem 5.18; the homotopy equivalence is obtained by 2-out-of-3 (Theorem 5.19). No fitted parameters appear, no prediction is read back from data, and no uniqueness theorem from the authors' prior work is invoked to force a choice. The central result is therefore not equivalent, by construction, to any of its inputs. The proof does have a non-circular gap: the semicosimpliciality verification in Theorem 4.62 (with Lemma 4.61) reports only the generic internal case and leaves several edge cases to the reader, so the main theorem is not fully verified as written. That is an omitted case analysis, not a reduction of the target claim to an assumption, and it does not constitute circularity.

Assumptions & free parameters 0 free parameters · 4 assumptions · 3 invented entities

The central claims rest on standard background results in configuration space topology: the Blagojevic-Ziegler cell model, Sinha's cosimplicial model and convergence, the McClure-Smith construction, and the non-singularity of nerves of acyclic categories. No free parameters are fitted to data. The main new objects are the weighted tree spaces, whose properties are proven within the paper and do not have independent external evidence.

assumptions (4)
  • domain assumption BZ_m(n) exists as a regular CW complex with cells indexed by Fox-Neuwirth trees and is homotopy equivalent to Conf_n(R^m)
    Used in Section 2.1 to identify sd BZ with the barycentric subdivision of the Fox-Neuwirth cell complex; taken from [1].
  • domain assumption Konts_m(n) is homotopy equivalent to Conf_n(R^m) and its cosimplicial structure converges to Emb_m for m>=4
    Used in Section 2.2 and Theorem 5.21; from Sinha [29,30].
  • standard math A multiplicative operad with unit induces a cosimplicial structure via the McClure-Smith construction
    Used in Section 2.2 to describe Sinha's coface maps; from [23].
  • standard math Nerves of acyclic categories are non-singular simplicial sets
    Used in Section 5.1 to pass to the non-degenerate twisted realization; from [18].
invented entities (3)
  • Weighted Hairy Trees space WHT_m(n)
    purpose: Interpolates between sd BZ_m and Konts_m; carries coface maps that implement infinitesimal vertical collapses
    Introduced in Section 4.3. The only evidence for its properties is the proofs in this paper.
  • Positively Weighted Trees space WT_m(n)
    purpose: Blow-up of the barycentric Fox-Neuwirth cells with positive weights on branches; used as stepping stone to WHT
    Introduced in Section 4.2; no external evidence.
  • Barycentric Fox-Neuwirth bicomplex B(FN_m,A)
    purpose: The chain complex whose associated spectral sequence is claimed to match Sinha's
    Defined in Section 2.3, after [22].

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Fox-Neuwirth Basis for the Sinha Spectral Sequence." pith.science (2026). https://pith.science/paper/HBKUQJE6

@misc{pith2026250522958,
  author       = {Pith},
  title        = {Pith review of: A Fox-Neuwirth Basis for the Sinha Spectral Sequence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HBKUQJE6}},
  note         = {Machine review of arXiv:2505.22958}
}
read the original abstract

Recently, Sinha defined a spectral sequence approximating the (co)homology of the space of long knots in R^m modulo immersions, stemming from a cosimplicial structure on the compactified configuration spaces \`a la Kontsevich. We provide an equivalent cosimplicial structure on (the barycentric subdivision of) a regular CW complex with cells indexed by Fox-Neuwirth trees. As a corollary, we give a combinatorial presentation of the Sinha Spectral Sequence in terms of Fox-Neuwirth trees for all dimensions m>=2 and all coefficients.

Figures

Figures reproduced from arXiv: 2505.22958 by the authors.

Figure 1
Figure 1. The tree associated to the Fox-Neuwirth cell 3 [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. An illustration of sd BZ3p2q as a PL-sphere 2.2 The Cosimplicial Structure on Kontsevich spaces A notable application of configuration spaces is to model the spaces constituting little disk operads Em: a point in Empnq is a collection of n disjoint disks of dimension m inside a disk of the same dimension. The map Empnq Ñ ConfnpR mq retaining the centers of the disks is an homotopy equivalence. However, the operad st… view at source ↗
Figure 3
Figure 3. A point in Konts2p5q 7 [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (12 more)
Figure 4
Figure 4. Figure 4: The McClure-Smith cosimplicial structure on a multiplicative operad [PITH_FULL_IMAGE:figures/full_fig_p008_4.png]
Figure 5
Figure 5. Figure 5: The shape of a Fox-Neuwirth tree after several cosimplicial moves [PITH_FULL_IMAGE:figures/full_fig_p011_5.png]
Figure 6
Figure 6. Figure 6: The effect on ‘hair blocks’ of twisting a morphism [PITH_FULL_IMAGE:figures/full_fig_p017_6.png]
Figure 7
Figure 7. Figure 7: A blow-up-like illustration of the category of elements [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]
Figure 8
Figure 8. Figure 8: A convex combination of weighted trees The equivalence relation, from this point of view, is extremely natural: if a tree has coefficient zero, the weights we put on it do not make any difference. Remark 4.25. The geometry of cells ΩˇpΓ‚q, being a blow up of the simple…
Figure 9
Figure 9. Figure 9: The geometry behind Ωˇp1|2 ă 12q, a cell of WT2p2q which is, up to closure in the Euclidean space, a pn ´ 1q-dimensional cube. We denote the latter by Qn´1. When an entire chain of trees Γ‚ is involved, we can describe the geometry of ΩˇpΓ‚q in terms of the free join o…
Figure 10
Figure 10. Figure 10: The configuration of points associated to a convex combination of weighted trees [PITH_FULL_IMAGE:figures/full_fig_p031_10.png]
Figure 11
Figure 11. Figure 11: A tiny man walking from 1 to 4 and collecting the contributes on the forks [PITH_FULL_IMAGE:figures/full_fig_p033_11.png]
Figure 12
Figure 12. Figure 12: An element of the weighted hairy trees space [PITH_FULL_IMAGE:figures/full_fig_p036_12.png]
Figure 13
Figure 13. Figure 13: The geometry behind Ωp123|4q, a cell of WHT2p4q 4.3.2 Topology of cells The aim of this section is to better describe the topological structure of the union-and-quotient involved in the construction of ΩpΓ‚q. Let us give a preliminary definition Definition 4.50. Given…
Figure 14
Figure 14. Figure 14: Extremal hair blocks Note that EpΓq is the set of indices where the weight 8 can appear in ΩpΓq. Indeed, we can show the following Lemma 4.53. Suppose Γ‚ P N pFNď mpnqqd,Λ‚ P N pFNď mppqqr, ϕ : rps Ñ rns, D : rrs Ñ rds such that ϕΛ “ DΓ. Then ϕ Λk p0q, ϕΛk ppq P EpΓDp…
Figure 15
Figure 15. Figure 15: A copy of sd BZ2p2q inside WHT2p2q • Degenerate cases on the left hand side happens when k “ i or σj pkq “ i. Since i ă j, the latter becomes k “ i. • Degenerate cases on the right hand side happens when k “ i or σipkq “ j ´ 1. Since i ă j, the latter is possible if k…

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

43 extracted references · 23 canonical work pages

  1. [22]

    Non collapse of the Sinha spectral sequence for knots in R^3

    Andrea Marino and Paolo Salvatore. ‘Non collapse of the Sinha Spectral Sequence for knots in R3’. In: (2025). arXiv: 2504.16785 [math.AT]. url: https://arxiv.org/abs/2504.16785

    work page Pith review arXiv 2025

  2. [1]

    Pavle V. M. Blagojevi´ c and G¨ unter M. Ziegler. ‘Convex equipartitions via equivariant obstruction theory’. In: Israel J. Math. 200.1 (2014), pp. 49–77. issn: 0021-2172,1565-8511. doi: 10.1007/ s11856-014-1006-6 . url: https://doi.org/10.1007/s11856-014-1006-6

    work page doi:10.1007/s11856-014-1006-6 2014

  3. [2]

    Glen E. Bredon. Topology and geometry. Vol. 139. Graduate Texts in Mathematics. Corrected third printing of the 1993 original. Springer-Verlag, New York, 1997, pp. xiv+557. isbn: 0-387- 97926-3

    work page 1993

  4. [3]

    ‘Galois symmetries of knot spaces’

    Pedro Boavida de Brito and Geoffroy Horel. ‘Galois symmetries of knot spaces’. In: Compos. Math. 157.5 (2021), pp. 997–1021.issn: 0010-437X,1570-5846. doi: 10.1112/S0010437X21007041. url: https://doi.org/10.1112/S0010437X21007041

    work page doi:10.1112/s0010437x21007041 2021

  5. [4]

    ‘New perspectives on self-linking’

    Ryan Budney et al. ‘New perspectives on self-linking’. In: Adv. Math. 191.1 (2005), pp. 78–113. issn: 0001-8708,1090-2082. doi: 10.1016/j.aim.2004.03.004 . url: https://doi.org/10. 1016/j.aim.2004.03.004

    doi:10.1016/j.aim.2004.03.004 2005

  6. [5]

    ‘Grope cobordism and Feynman diagrams’

    James Conant and Peter Teichner. ‘Grope cobordism and Feynman diagrams’. In: Math. Ann. 328.1-2 (2004), pp. 135–171. issn: 0025-5831,1432-1807. doi: 10.1007/s00208- 003- 0477- y. url: https://doi.org/10.1007/s00208-003-0477-y

    doi:10.1007/s00208- 2004

  7. [6]

    ‘A geometric approach to the embedding calculus knot invariants’

    Danica Kosanovi´ c. ‘A geometric approach to the embedding calculus knot invariants’. PhD thesis. Rheinische Friedrich-Wilhelms-Universit¨ at Bonn, Oct. 2020.url: https://hdl.handle. net/20.500.11811/8651

    work page 2020

  8. [7]

    De Concini and M

    C. De Concini and M. Salvetti. ‘Cohomology of Coxeter groups and Artin groups’. In: Math. Res. Lett. 7.2-3 (2000), pp. 213–232. issn: 1073-2780. doi: 10.4310/MRL.2000.v7.n2.a7. url: https://doi.org/10.4310/MRL.2000.v7.n2.a7

    work page doi:10.4310/mrl.2000.v7.n2.a7 2000

Show all 43 references
  1. [8]

    ‘Non-singular Simplicial Sets’

    Rune Vegard Skullerud Fjellbo. ‘Non-singular Simplicial Sets’. Available at https://www.mn. uio.no/math/personer/vit/rognes/theses/Fjellbo_phd.pdf . PhD thesis. University of Oslo, 2018

    2018

  2. [9]

    Fox and L

    R. Fox and L. Neuwirth. ‘The braid groups’. In: Math. Scand. 10 (1962), pp. 119–126. issn: 0025-5521,1903-1807. doi: 10.7146/math.scand.a-10518 . url: https://doi.org/10.7146/ math.scand.a-10518

    1962 doi

  3. [10]

    ‘Survey article: an elementary illustrated introduction to simplicial sets’

    Greg Friedman. ‘Survey article: an elementary illustrated introduction to simplicial sets’. English. In: Rocky Mt. J. Math. 42.2 (2012), pp. 353–423. issn: 0035-7596. doi: 10.1216/RMJ-2012-42- 2-353

    2012 doi

  4. [11]

    ‘Fox-Neuwirth cell structures and the cohomology of symmetric groups’

    Chad Giusti and Dev Sinha. ‘Fox-Neuwirth cell structures and the cohomology of symmetric groups’. In: Configuration spaces. Vol. 14. CRM Series. Ed. Norm., Pisa, 2012, pp. 273–298. isbn: 978-88-7642-430-4; 978-88-7642-431-1. doi: 10 . 1007 / 978 - 88 - 7642 - 431 - 1 \ _12. ur...

    2012 doi

  5. [12]

    Goodwillie

    Thomas G. Goodwillie. ‘A remark on the homology of cosimplicial spaces’. In: J. Pure Appl. Algebra 127.2 (1998), pp. 167–175. issn: 0022-4049,1873-1376. doi: 10.1016/S0022-4049(96) 00174-0. url: https://doi.org/10.1016/S0022-4049(96)00174-0

    1998 doi

  6. [13]

    Goodwillie and Michael Weiss

    Thomas G. Goodwillie and Michael Weiss. ‘Embeddings from the point of view of immersion theory. II’. In: Geom. Topol. 3 (1999), pp. 103–118. issn: 1465-3060,1364-0380. doi: 10.2140/ gt.1999.3.103. url: https://doi.org/10.2140/gt.1999.3.103

    1999 doi

  7. [14]

    ‘A new basis of polytopes’

    Gil Kalai. ‘A new basis of polytopes’. In: J. Combin. Theory Ser. A 49.2 (1988), pp. 191–209. issn: 0097-3165,1096-0899. doi: 10.1016/0097- 3165(88)90051- 9. url: https://doi.org/ 10.1016/0097-3165(88)90051-9

    1988 doi

  8. [15]

    G. M. Kelly. ‘Basic concepts of enriched category theory’. English. In: Repr. Theory Appl. Categ. 2005.10 (2005), pp. 1–136

    2005

  9. [16]

    ‘Configuration spaces in algebraic topology’

    Ben Knudsen. ‘Configuration spaces in algebraic topology’. In: (2018). arXiv: 1803 . 11165 [math.AT]. 62

    2018

  10. [17]

    ‘Embedding calculus and grope cobordism of knots’

    Danica Kosanovi´ c. ‘Embedding calculus and grope cobordism of knots’. In: (2020). arXiv: 2010. 05120 [math.GT]

    2020

  11. [18]

    ‘Acyclic Categories’

    Dimitry Kozlov. ‘Acyclic Categories’. In: Combinatorial Algebraic Topology. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008, pp. 151–178. isbn: 978-3-540-71962-5. doi: 10.1007/978-3- 540-71962-5_10. url: https://doi.org/10.1007/978-3-540-71962-5_10

    2008 doi

  12. [19]

    ‘The rational homology of spaces of long knots in codimension ą 2’

    Pascal Lambrechts, Victor Turchin and Ismar Voli´ c. ‘The rational homology of spaces of long knots in codimension ą 2’. In: Geom. Topol. 14.4 (2010), pp. 2151–2187. issn: 1465-3060,1364-

    2010

  13. [20]

    (Co)end Calculus

    Fosco Loregian. (Co)end Calculus . London Mathematical Society Lecture Note Series. Cam- bridge University Press, 2021. doi: 10.1017/9781108778657. arXiv: 1501.02503 [math.CT]

    2021 arXiv

  14. [21]

    ‘An elementary approach to exponential spaces’

    Eva Lowen-Colebunders and G¨ unther Richter. ‘An elementary approach to exponential spaces’. In: Appl. Categ. Structures 9.3 (2001), pp. 303–310. issn: 0927-2852,1572-9095. doi: 10.1023/A: 1011268007097. url: https://doi.org/10.1023/A:1011268007097

    2001 doi

  15. [23]

    McClure and Jeffrey H

    James E. McClure and Jeffrey H. Smith. ‘A solution of Deligne’s Hochschild cohomology conjec- ture’. In: Recent progress in homotopy theory (Baltimore, MD, 2000). Vol. 293. Contemp. Math. Amer. Math. Soc., Providence, RI, 2002, pp. 153–193. isbn: 0-8218-2801-0. doi: 10.1090/co...

    doi

  16. [24]

    McClure and Jeffrey H

    James E. McClure and Jeffrey H. Smith. ‘Multivariable cochain operations and little n-cubes’. In: J. Amer. Math. Soc. 16.3 (2003), pp. 681–704. issn: 0894-0347,1088-6834. doi: 10.1090/S0894- 0347-03-00419-3 . url: https://doi.org/10.1090/S0894-0347-03-00419-3

    2003 doi

  17. [25]

    ‘The geometric realization of a semi-simplicial complex’

    John Milnor. ‘The geometric realization of a semi-simplicial complex’. In: Ann. of Math. (2) 65 (1957), pp. 357–362. issn: 0003-486X. doi: 10.2307/1969967 . url: https://doi.org/10. 2307/1969967

    1957 doi

  18. [26]

    ‘On cohomology operations’

    Tokusi Nakamura. ‘On cohomology operations’. In: Jpn. J. Math. 33 (1963), pp. 93–145. issn: 0075-3432. doi: 10.4099/jjm1924.33.0\_93 . url: https://doi.org/10.4099/jjm1924.33. 0_93

    1963 doi

  19. [27]

    Categorical homotopy theory

    Emily Riehl. Categorical homotopy theory. Vol. 24. New Mathematical Monographs. Cambridge University Press, Cambridge, 2014, pp. xviii+352. isbn: 978-1-107-04845-4. doi: 10 . 1017 / CBO9781107261457. url: https://doi.org/10.1017/CBO9781107261457

    2014 doi

  20. [28]

    ‘Planar non-formality of the little discs operad in characteristic two’

    Paolo Salvatore. ‘Planar non-formality of the little discs operad in characteristic two’. In: Q. J. Math. 70.2 (2019), pp. 689–701. issn: 0033-5606,1464-3847. doi: 10.1093/qmath/hay063. url: https://doi.org/10.1093/qmath/hay063

    2019 doi

  21. [29]

    Dev P. Sinha. ‘Manifold-theoretic compactifications of configuration spaces’. In: Selecta Math. (N.S.) 10.3 (2004), pp. 391–428. issn: 1022-1824,1420-9020. doi: 10.1007/s00029-004-0381-7 . url: https://doi.org/10.1007/s00029-004-0381-7

    2004 doi

  22. [30]

    Dev P. Sinha. ‘Operads and knot spaces’. In: J. Amer. Math. Soc. 19.2 (2006), pp. 461–486. issn: 0894-0347,1088-6834. doi: 10.1090/S0894-0347-05-00510-2 . url: https://doi.org/ 10.1090/S0894-0347-05-00510-2

    2006 doi

  23. [31]

    Dev P. Sinha. ‘The topology of spaces of knots: cosimplicial models’. In: Amer. J. Math. 131.4 (2009), pp. 945–980. issn: 0002-9327,1080-6377. doi: 10 . 1353 / ajm . 0 . 0061. url: https : //doi.org/10.1353/ajm.0.0061

    2009 doi

  24. [32]

    ‘Formality of Sinha’s cosimplicial model for long knots spaces and the Gerstenhaber algebra structure of homology’

    Paul Arnaud Songhafouo Tsopm´ en´ e. ‘Formality of Sinha’s cosimplicial model for long knots spaces and the Gerstenhaber algebra structure of homology’. In: Algebr. Geom. Topol. 13.4 (2013), pp. 2193–2205. issn: 1472-2747,1472-2739. doi: 10 . 2140 / agt . 2013 . 13 . 2193. url...

    2013 doi

  25. [33]

    Tourtchine

    V. Tourtchine. ‘On the other side of the bialgebra of chord diagrams’. In: J. Knot Theory Ramific- ations 16.5 (2007), pp. 575–629. issn: 0218-2165,1793-6527. doi: 10.1142/S0218216507005397. url: https://doi.org/10.1142/S0218216507005397

    2007 doi

  26. [34]

    ‘Calculus of the first non-trivial 1-cocycle of the space of long knots’

    Victor Tourtchine. ‘Calculus of the first non-trivial 1-cocycle of the space of long knots’. In: (2005). arXiv: math/0502518 [math.AT]

    2005 arXiv

  27. [35]

    ‘Relative (non-)formality of the little cubes operads and the algebraic Cerf lemma’

    Victor Turchin and Thomas Willwacher. ‘Relative (non-)formality of the little cubes operads and the algebraic Cerf lemma’. In: Amer. J. Math. 140.2 (2018), pp. 277–316. issn: 0002-9327,1080-

    2018

  28. [36]

    Homotopy Theories (notes)

    Bruno Vallette. Homotopy Theories (notes) . Available on the personal webpage of the author. 2018

    2018

  29. [37]

    V. A. Vassiliev. ‘Combinatorial computation of combinatorial formulas for knot invariants’. In: Tr. Mosk. Mat. Obs. 66 (2005), pp. 3–92. issn: 0134-8663. doi: 10 . 1090 / s0077 - 1554 - 05 - 00148-2. url: https://doi.org/10.1090/s0077-1554-05-00148-2

    2005 doi

  30. [38]

    V. A. Vassiliev. ‘Combinatorial formulas for cohomology of spaces of knots’. In: Advances in topological quantum field theory . Vol. 179. NATO Sci. Ser. II Math. Phys. Chem. Kluwer Acad. Publ., Dordrecht, 2004, pp. 1–21. isbn: 1-4020-2770-2; 1-4020-2771-0. doi: 10.1007/978- 1-...

    2004 doi

  31. [39]

    V. A. Vassiliev. Complements of discriminants of smooth maps: topology and applications. Vol. 98. Translations of Mathematical Monographs. Translated from the Russian by B. Goldfarb. Amer- ican Mathematical Society, Providence, RI, 1992, pp. vi+208. isbn: 0-8218-4555-1. doi: 1...

    1992 doi

  32. [40]

    ‘Calculus of the embedding functor and spaces of knots’

    Ismar Volic. ‘Calculus of the embedding functor and spaces of knots’. In: (2006). doi: 10.48550/ ARXIV.MATH/0601268. url: https://arxiv.org/abs/math/0601268

    2006 doi

  33. [41]

    ‘Embeddings from the point of view of immersion theory

    Michael Weiss. ‘Embeddings from the point of view of immersion theory. I’. In: Geom. Topol. 3 (1999), pp. 67–101. issn: 1465-3060,1364-0380. doi: 10.2140/gt.1999.3.67 . url: https: //doi.org/10.2140/gt.1999.3.67. 64

    1999 doi

  34. [380]

    url: https://doi.org/10.2140/gt.2010.14.2151

    doi: 10.2140/gt.2010.14.2151. url: https://doi.org/10.2140/gt.2010.14.2151

    2010 doi

  35. [6377]

    url: https://doi.org/10.1353/ajm.2018.0006

    doi: 10.1353/ajm.2018.0006. url: https://doi.org/10.1353/ajm.2018.0006

    2018

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.