Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn operad for splicing
248
0
0.0
(
0
)
Authors
Ryan Budney
Ask ChatGPT about the research
No Arabic abstract
A new topological operad is introduced, called the splicing operad. This operad acts on a broad class of spaces of self-embeddings N --> N where N is a manifold. The action of this operad on EC(j,M) (self embeddings R^j x M --> R^j x M with support in I^j x M) is an extension of the action of the operad of (j+1)-cubes on this space. Moreover the action of the splicing operad encodes Larry Siebenmanns splicing construction for knots in S^3 in the j=1, M=D^2 case. The space of long knots in R^3 (denoted K_{3,1}) was shown to be a free 2-cubes object with free generating subspace P, the subspace of long knots that are prime with respect to the connect-sum operation. One of the main results of this paper is that K_{3,1} is free with respect to the splicing operad action, but the free generating space is the much `smaller space of torus and hyperbolic knots TH subset K_{3,1}. Moreover, the splicing operad for K_{3,1} has a `simple homotopy-type as an operad.
rate research
Read More
Budney recently constructed an operad that encodes splicing of knots. He further showed that the space of (long) knots is generated over this operad by the space of torus knots and hyperbolic knots, thus generalizing the satellite decomposition of knots from isotopy classes to the level of the space of knots. Infection by string links is a generalization of splicing from knots to links. We construct a colored operad that encodes string link infection. We prove that a certain subspace of the space of 2-component string links is generated over a suboperad of our operad by its subspace of prime links. This generalizes a result from joint work with Blair from isotopy classes of knots to the space of knots. Furthermore, all the relations in the monoid of 2-string links (as determined in our joint work with Blair) are captured by our infection operad.
We prove a splicing formula for the LMO invariant, which is the universal finite-type invariant of rational homology $3$-spheres. Specifically, if a rational homology $3$-sphere $M$ is obtained by gluing the exteriors of two framed knots $K_1 subset M_1$ and $K_2subset M_2$ in rational homology $3$-spheres, our formula expresses the LMO invariant of $M$ in terms of the Kontsevich-LMO invariants of $(M_1,K_1)$ and $(M_2,K_2)$. The proof uses the techniques that Bar-Natan and Lawrence developed to obtain a rational surgery formula for the LMO invariant. In low degrees, we recover Fujitas formula for the Casson-Walker invariant and we observe that the second term of the Ohtsuki series is not additive under standard splicing. The splicing formula also works when each $M_i$ comes with a link $L_i$ in addition to the knot $K_i$, hence we get a satellite formula for the Kontsevich-LMO invariant.
We obtain a formula for the Heegaard Floer homology (hat theory) of the three-manifold $Y(K_1,K_2)$ obtained by splicing the complements of the knots $K_isubset Y_i$, $i=1,2$, in terms of the knot Floer homology of $K_1$ and $K_2$. We also present a few applications. If $h_n^i$ denotes the rank of the Heegaard Floer group $widehat{mathrm{HFK}}$ for the knot obtained by $n$-surgery over $K_i$ we show that the rank of $widehat{mathrm{HF}}(Y(K_1,K_2))$ is bounded below by $$big|(h_infty^1-h_1^1)(h_infty^2-h_1^2)- (h_0^1-h_1^1)(h_0^2-h_1^2)big|.$$ We also show that if splicing the complement of a knot $Ksubset Y$ with the trefoil complements gives a homology sphere $L$-space then $K$ is trivial and $Y$ is a homology sphere $L$-space.
We prove that the derivative map $d colon mathrm{Diff}_partial(D^k) to Omega^kSO_k$, defined by taking the derivative of a diffeomorphism, can induce a nontrivial map on homotopy groups. Specifically, for $k = 11$ we prove that the following homomorphism is non-zero: $$ d_* colon pi_5mathrm{Diff}_partial(D^{11}) to pi_{5}Omega^{11}SO_{11} cong pi_{16}SO_{11} $$ As a consequence we give a counter-example to a conjecture of Burghelea and Lashof and so give an example of a non-trivial vector bundle $E$ over a sphere which is trivial as a topological $mathbb{R}^k$-bundle (the rank of $E$ is $k=11$ and the base sphere is $S^{17}$.) The proof relies on a recent result of Burklund and Senger which determines those homotopy 17-spheres bounding $8$-connected manifolds, the plumbing approach to the Gromoll filtration due to Antonelli, Burghelea and Kahn, and an explicit construction of low-codimension embeddings of certain homotopy spheres.
We give a precise description of splicing formulas from a previous paper in terms of knot Floer complex associated with a knot in homology sphere.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
