Francis X. Connolly, James F. Davis
This paper computes the quadratic Witt groups (the Wall L-groups) of the polynomial ring Z[t] and the integral group ring of the infinite dihedral group, with various involutions. We show that some of these groups are infinite direct sums of cyclic groups of order 2 and 4. The techniques used are quadratic linking forms over Z[t] and Arf invariants.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely many small Seifert fibered examples.
An introduction to the applications of algebraic surgery to the structure theory of high-dimensional topological manifolds.
The Wall surgery obstruction groups have two interesting geometrically defined subgroups, consisting of the surgery obstructions between closed manifolds, and the inertial elements. We show that the inertia group $I_{n+1}(π,w)$ and the closed manifold subgroup $C_{n+1}(π,w)$ are equal in dimensions $n+1\geq 6$, for any finitely-presented group $π$ and any orientation character $w\colon π\to \cy 2$.
Auckly gave two examples of irreducible integer homology spheres (one toroidal and one hyperbolic) which are not surgery on a knot in the three-sphere. Using Heegaard Floer homology, the authors and Karakurt provided infinitely many small Seifert fibered examples. In this note, we extend those results to give infinitely many hyperbolic examples, as well as infinitely many examples with arbitrary JSJ decomposition.
Closed manifold surgery obstructions and the Oozing Conjecture
本文通过新例子反驳了渗出猜想，揭示了闭流形在高维中的非平凡手术障碍特性。
Surgery obstructions for knots in integer homology spheres
将Hom-Karakurt-Lidman关于S^3中纽结手术的Heegaard Floer同调障碍推广到所有整数同调球面Y的正负1/m手术，用于检验无穷多小Seifert纤维化和双曲例子，并推导光滑配边下b_2(W)的下界。
We provide infinitely many rational homology 3-spheres with weight-one fundamental groups which do not arise from Dehn surgery on knots in $S^3$. In contrast with previously known examples, our proofs do not require any gauge theory or Floer homology. Instead, we make use of the $SU(2)$ character variety of the fundamental group, which for these manifolds is particularly simple: they are all $SU(2)$-cyclic, meaning that every $SU(2)$ representation has cyclic image.
For a 3-manifold with torus boundary admitting an appropriate involution, we show that Khovanov homology provides obstructions to certain exceptional Dehn fillings. For example, given a strongly invertible knot in S^3, we give obstructions to lens space surgeries, as well as obstructions to surgeries with finite fundamental group. These obstructions are based on homological width in Khovanov homology, and in the case of finite fundamental group depend on a calculation of the homological width for a family of Montesinos links.
Stably diffeomorphic manifolds and the realisation of modified surgery obstructions
本文构造了无限多个稳定微分同胚但不同伦等价的 $4k$ 维流形，并通过证明 Kreck 修正手术幺半群子集的实现结果克服了修正手术障碍。
The total surgery obstruction of a finite n-dimensional Poincare complex X is an element s(X) of a certain abelian group S_n (X) with the property that for n >= 5 we have s(X) = 0 if and only if X is homotopy equivalent to a closed n-dimensional topological manifold. The definitions of S_n (X) and s(X) and the property are due to Ranicki in a combination of results of two books and several papers. In this paper we present these definitions and a detailed proof of the main result so that they are in one place and we also add some of the details not explicitly written down in the original source…
We consider knots equipped with a representation of their knot groups onto a dihedral group D_{2n} (where n is odd). To each such knot there corresponds a closed 3-manifold, the (irregular) dihedral branched covering space, with the branching set over the knot forming a link in it. We report a variety of results relating to the problem of passing from the initial data of a D_{2n}-coloured knot to a surgery presentation of the corresponding branched covering space and covering link. In particular, we describe effective algorithms for constructing such presentations. A by-product of these invest…
We provide a new obstruction for a rational homology 3-sphere to arise by Dehn surgery on a given knot in the 3-sphere. The obstruction takes the form of an inequality involving the genus of the knot, the surgery coefficient, and a count of L-structures on the 3-manifold, that is spin-c structures with the simplest possible associated Heegaard Floer group. Applications include an obstruction for two framed knots to yield the same 3-manifold, an obstruction that is particularly effective when working with families of framed knots. We introduce the rational and integral Dehn surgery genera for a…
Using the mapping cone of a rational surgery, we give several obstructions for Seifert fibered surgeries, including obstructions on the Alexander polynomial, the knot Floer homology, the surgery coefficient and the Seifert and four-ball genus of the knot.
This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map $(f,b): M^n \rightarrow X^n$ with control map $q: X^n \rightarrow B$ to complete controlled surgery is an element $σ^c (f, b) \in H_n (B, \mathbb{L})$, where $M^n, X^n$ are topological manifolds of dimension $n \geq 5$. Our proof uses essentially the geometrically defined $\mathbb{L}$-spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describ…
We present new obstructions for a knot K in S^3 to admit purely cosmetic surgeries, which arise from the study of Witten-Reshetikhin-Turaev invariants at fixed level. In particular, we strengthen a recent result of Hanselman, showing that if K has purely cosmetic surgeries then the slopes of the surgeries are of the form 1/5k except if the Jones polynomial of K evaluated at a 5-th root of unity is 1. For any odd prime r, we also give an obstruction for K to have a 1/k surgery slope with k coprime to r that involves the values of the first (r-3)/2 colored Jones polynomials of K at an r-th root …
Surgery obstruction of a normal map to a simple Poincare pair $(X,Y)$ lies in the relative surgery obstruction group $L_*(π_1(Y)\toπ_1(X))$. A well known result of Wall, the so called $π$-$π$ theorem, states that in higher dimensions a normal map of a manifold with boundary to a simple Poincare pair with $π_1(X)\congπ_1(Y)$ is normally bordant to a simple homotopy equivalence of pairs. In order to study normal maps to a manifold with a submanifold, Wall introduced surgery obstruction group for manifold pairs $LP_*$ and splitting obstruction groups $LS_*$. In the present paper we formulate and …
Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(π_1(X))$ for surgery obstruc…
The paper introduces a group $LSP$ of obstructions for splitting a homotopy equivalence along a pair of submanifolds. We develop exact sequences relating the $LSP$-groups with various surgery obstruction groups for manifold triple and structure sets arising from triples of manifolds. The natural map from the surgery obstruction group of the ambient manifold to the $LSP$-group provides an invariant when elements of the Wall group are not realized by normal maps of closed manifolds. Some $LSP$-groups are computed precisely.
Extending Quotients of Knot Groups over Surfaces in $B^4$
研究在B⁴中存在带有K为边界的定向光滑表面F的障碍，通过Seifert形式评估特征结来计算障碍，当障碍消失时构造F。
The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair $(Y, \partial Y)\subset (X, \partial …
Browder-Novikov-Sullivan-Wall surgery theory investigates the homotopy types of manifolds, using a combination of algebra and topology. It is the aim of these notes to provide an introduction to the more algebraic aspects of the theory (such as the Wall surgery obstruction groups), without losing sight of the geometric motivation.
The pair (K,r) consisting of a knot K and a surjective map r from the knot group onto a dihedral group is said to be a p-colored knot. D. Moskovich conjectured that for any odd prime p there are exactly p equivalence classes of p-colored knots up to surgery along unknots in the kernel of the coloring. We show that there are at most 2p equivalence classes. This is a vast improvement upon the previous results by Moskovich for p=3, and 5, with no upper bound given in general. T. Cochran, A. Gerges, and K. Orr, in "Dehn surgery equivalence relations of 3-manifolds", define invariants of the surger…
Let $M^3$ be a 3-dimensional manifold with fundamental group $π_1(M)$ which contains a quaternion subgroup $Q$ of order 8. In 1979 Cappell and Shaneson constructed a nontrivial normal map $ f\colon M^3\times T^2\to M^3\times S^2$ which cannot be detected by simply connected surgery obstructions along submanifolds of codimension 0, 1, or 2, but it can be detected by the codimension 3 Kervaire-Arf invariant. The proof of non-triviality of $σ(f)\in L_5(π_1(M))$ is based on consideration of a Browder-Livesay filtration of a manifold $X$ with $π_1(X)\cong π_1(M)$. For a Browder-Livesay pair $Y^{n-1…
The inertia subgroup $I_n(π)$ of a surgery obstruction group $L_n(π)$ is generated by elements which act trivially on the set of homotopy triangulations $\Cal S(X)$ for some closed topological manifold $X^{n-1}$ with $π_1(X)=π$. This group is a subgroup of the group $C_n(π)$ which consists of the elements which can be realized by normal maps of closed manifolds. In all known cases these groups coincide and the computation of them is one of the basic problems of surgery theory. The computation of the group $C_n(π)$ is equivalent to the computation the image of the assembly map $A:H_{n}(Bπ, \bol…
Wall's finiteness obstruction is an algebraic K-theory invariant which decides if a finitely dominated space is homotopy equivalent to a finite CW complex. The object of this survey is to describe the invariant (which was first formulated in 1965) and some of its many applications to the surgery classification of manifolds.
Foliation surgeries and the concordance groups of foliated spheres
本文通过叶状手术和连通和构造了叶状球的同调群，并给出了显式海弗利格结构及其Godbillon-Vey数的映射结果。
Homology manifolds and euclidean bundles
构造一个庞加莱复形，其周期性全手术障碍消失但斯皮瓦克法丛不能约化为稳定欧几里得丛，以此反驳文献中关于相关庞加莱复形同伦等价于同调流形及同调流形斯皮瓦克法丛可约化的两个断言。
In this paper we prove several related results concerning smooth $\Z_p$ or $\s^1$ actions on 4-manifolds. We show that there exists an infinite sequence of smooth 4-manifolds $X_n$, $n\geq 2$, which have the same integral homology and intersection form and the same Seiberg-Witten invariant, such that each $X_n$ supports no smooth $\s^1$-actions but admits a smooth $\Z_n$-action. In order to construct such manifolds, we devise a method for annihilating smooth $\s^1$-actions on 4-manifolds using Fintushel-Stern knot surgery, and apply it to the Kodaira-Thurston manifold in an equivariant setting…
The A-B slice problem is a reformulation of the topological 4-dimensional surgery conjecture in terms of decompositions of the 4-ball and link homotopy. We show that link groups, a recently developed invariant of 4-manifolds, provide an obstruction for the class of model decompositions, introduced by M. Freedman and X.-S. Lin. This unifies and extends the previously known partial obstructions in the A-B slice program. As a consequence, link groups satisfy Alexander duality when restricted to the class of model decompositions, but not for general submanifolds of the 4-ball.
A long-standing conjecture due to Michael Freedman asserts that the 4-dimensional topological surgery conjecture fails for non-abelian free groups, or equivalently that a family of canonical examples of links (the generalized Borromean rings) are not A-B slice. A stronger version of the conjecture, that the Borromean rings are not even weakly A-B slice, where one drops the equivariant aspect of the problem, has been the main focus in search for an obstruction to surgery. We show that the Borromean rings, and more generally all links with trivial linking numbers, are in fact weakly A-B slice. T…
We develop new algebraic methods refining the Witt group of linking forms and Ranicki's torsion algebraic L-groups into double Witt groups and double L-groups. At each prime ideal of the underlying ring, our double Witt groups capture infinitely many more integral signatures of the linking form than the single Witt groups. The double L-groups are an algebraic theory of `double cobordism', refining L-theory analogously. We exhibit an exact sequence relating the double L-groups to classical projective L-theory via a double homology surgery obstruction group. The algebraic techniques are applied …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。