اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدAn operad for splicing
203
0
0.0
(
0
)
تأليف
Ryan Budney
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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 kn
ots 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 homomorp
hism 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
