John G. Ratcliffe, Steven T. Tschantz
In this paper, Problem 4.17 on R. Kirby's problem list is solved by constructing infinitely many aspherical 4-manifolds that are homology 4-spheres
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide upper bounds on the size of the homology of a closed aspherical Riemannian manifold that only depend on the systole and the volume of balls. Further, we show that linear growth of mod p Betti numbers or exponential growth of torsion homology imply that a closed aspherical manifold is "large".
We fix a null-homologous, homotopically essential knot $J$ in a 3-manifold with PTFA fundamental group and study concordance of knots that are homotopic to $J$. We construct an infinite family of knots that are characteristic to $J$, and then use $L^2$-methods to show that they are not concordant to $J$.
We prove a lower bound on the number of maximally broken trajectories of the negative gradient flow of a Morse-Smale function on a closed aspherical manifold in terms of integral (torsion) homology.
Whitehead aspherical conjecture via ribbon sphere-link
本文推广带状球面链论证，证明 Whitehead 非球面猜想对所有非球面 2-复形成立。
Although Kirby and Siebenmann showed that there are manifolds that do not admit PL structures, the possibility remained that all manifolds could be triangulated. In the late seventies Galewski and Stern and independently Matumoto showed that non-triangulable manifolds exist in all dimensions > 4 if and only if homology 3-spheres with certain properties do not exist. In 2013 Manolescu showed that, indeed, there were no such homology 3-spheres and hence, non-triangulable manifolds exist in each dimension >4. It follows from work of Freedman in 1982 that there are 4-manifolds that cannot be trian…
We study finite group actions on smooth manifolds of the form $M\#Σ$, where $Σ$ is an exotic $n$-sphere and $M$ is a closed aspherical space form. We give a classification result for free actions of finite groups on $M\#Σ$ when $M$ is 7-dimensional. We show that if $\mathbb Z/p\mathbb Z$ acts freely on $T^n\#Σ$, then $Σ$ is divisible by $p$ in the group of homotopy spheres. When $M$ is hyperbolic, we give examples $M\#Σ$ that admit no nontrivial smooth action of a finite group, even though Isom($M$) is arbitrarily large. Our proofs combine geometric and topological rigidity results with smooth…
We prove a basic inequality for the d-invariants of a splice of knots in homology spheres. As a result, we are able to prove a new relation on the rank of reduced Floer homology under maps between Seifert fibered homology spheres, improving results of the first and second authors. As a corollary, a degree one map between two aspherical Seifert homology spheres is homotopic to a homeomorphism if and only if the Heegaard Floer homologies are isomorphic.
Realisation of cycles by aspherical manifolds
本文为 Steenrod 闭链实现问题提出纯组合方法，证明任意拓扑空间的 n 维同调类可由实对称三对角矩阵同谱流形的有限叶覆盖像实现，且弧连通空间的同调类可由无球面流形的连续像实现。
In this paper we present our results on the homology cobordism group $\Th$ of the oriented integral homology 3-spheres. We specially emphasize the role played in the subject by the gauge theory including Floer homology and invariants by Donaldson and Seiberg -- Witten.
The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate when a non-aspherical oriented connected closed manifold M is topological rigid in the following sense. If f: N --> M is an orientation preserving homotopy equivalence with a closed oriented manifold as target, then there is an orientation preserving homeomorphism h: N --> M such that h and f induce up to conjugation the same maps on the fundamental groups. We call such manifolds Borel manifolds. We give partial answers to this questions for S^k x S^d, for sphere bundles over aspherical…
In this paper we answer the question posed by M.~Atiyah and give an explicit formula for Floer homology of Brieskorn homology spheres in terms of their branching sets over the 3--sphere. We further show how Floer homology is related to other invariants of knots and 3--manifolds, among which are the $\barμ$--invariant of W.~Neumann and L.~Siebenmann and the Jones polynomial. Essential progress is made in proving the homology cobordism invariance of our own $ν$--invariant.
We prove Mayberry-Murasugi's formula for links in homology 3-spheres, which was proved before only for links in the 3-sphere. Our proof uses Franz-Reidemeister torsions.
We show that a graph manifold which is a Z-homology 3-sphere not homeomorphic to either the 3-sphere or the Poincaré homology 3-sphere admits a horizontal foliation. This combines with known results to show that the conditions of not being an L-space, of having a left-orderable fundamental group, and of admitting a co-oriented taut foliation, are equivalent for graph manifold Z-homology 3-spheres.
The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then there is at most one pair of exceptional truly cosmetic slope. We also prove that toroidal truly cosmetic surgeries on integer homology spheres must be integer homology spheres.
In this short note, we prove that if a knot in the Poincare homology sphere is homotopically essential, then it does not admit any purely cosmetic surgeries.
For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any simply connected definite 4-manifold. As a corollary, for any coprime integers $p,q$, we obtain an infinite family of irreducible rational homology 3-spheres which are homology cobordant to the lens space $L(p,q)$ but cannot obtained by a knot surgery.
Hedden defined two knots in each lens space that, through analogies with their knot Floer homology and doubly pointed Heegaard diagrams of genus one, may be viewed as generalizations of the two trefoils in S^3. Rasmussen shows that when the `left-handed' one is in the homology class of the dual to a Berge knot of type VII, it admits an L-space homology sphere surgery. In this note we give a simple proof that these L-space homology spheres are always the Poincaré homology sphere.
We establish three rank inequalities for the reduced flavor of Heegaard Floer homology of Seifert fibered integral homology spheres. Combining these inequalities with the known classifications of non-zero degree maps between Seifert fibered spaces, we prove that a map f from Y' to Y between Seifert homology spheres yields the inequality that |deg f| rank HFred(Y) is at most rank HFred(Y'). These inequalities are also applied in conjunction with an algorithm of Nemethi to give a method to solve the botany problem for the Heegaard Floer homology of these manifolds.
We compute the Heegaard-Floer homology for the family Sigma(2,3,6n+1) of Brieskorn spheres using the algorithm by P. Ozsvath and Z. Szabo
Using the Heegaard Floer homology of Ozsvath and Szabo we investigate obstructions to definite intersection pairings bounded by rational homology spheres. As an application we obtain new lower bounds for the four-ball genus of Montesinos links.
For an integral homology 3-sphere embedded asymptotically flatly in an Euclidean space, we find a natural framing extending the standard trivialization on the asymptotically flat part.
A regular fiber of the Seifert fibering of the Poincaré homology sphere admits a Dehn surgery to $L(2,1)\#L(3,2)\#L(5,4)$. We prove that this is the only knot in the Poincaré homology sphere with a surgery to a connected sum of more than two lens spaces.
It is known by the author that there exist 20 families of Dehn surgeries in the Poincaré homology sphere yielding lens spaces. In this paper, we give the concrete knot diagrams of the families and extend them to families of lens space surgeries in Brieskorn homology spheres. We illustrate families of lens space surgeries in $Σ(2,3,6n\pm1)$ and $Σ(2,2s+1,2(2s+1)n\pm1)$ and so on. As other examples, we give lens space surgeries in graph homology spheres, which are obtained by splicing two Brieskorn homology spheres.
A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermore our concordance theory of links in rational homology spheres remains highly nontrivial after factoring out the contribution from links in integral homology spheres.
We present infinitely many homology spheres which contain two distinct knots whose 0-surgeries are $S^1 \times S^2$. This resolves a question posed by Kirby and Melvin in 1978.
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 …
This paper gives infinitely many examples of non L-space irreducible integer homology 3-spheres whose fundamental groups do not have nontrivial $\widetilde{PSL_2(\mathbb{R})}$ representations.
It was shown in my earlier article that the splice diagram of a rational homology sphere graph manifold determines the manifolds universal abelian cover. In this article we use the proof of this to give a condition on the splice diagram to determine when the universal abelian cover itself is a rational homology sphere.
We consider the problem when lens spaces are given from homology spheres, and demonstrate that many lens spaces are obtained from L-space homology sphere which the Ozsváth Szabó's correction term $d(Y)$ is equal to 2. We show an inequality of slope and genus when $Y$ is L-space and $Y_p(K)$ is lens space.
We show that the perturbative ${\frak g}$ invariant of rational homology 3-spheres can be recovered from the LMO invariant for any simple Lie algebra ${\frak g}$, i.e, the LMO invariant is universal among the perturbative invariants. This universality was conjectured in [25]. Since the perturbative invariants dominate the quantum invariants of integral homology 3-spheres [13,14,15], this implies that the LMO invariant dominates the quantum invariants of integral homology 3-spheres.
We derive a formula for the $\barμ$-invariant of a Seifert fibered homology sphere in terms of the eta-invariant of its Dirac operator. As a consequence, we obtain a vanishing result for the index of certain Dirac operators on plumbed 4-manifolds bounding such spheres.
The results become part of an upcoming paper.
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.
We describe necessary and sufficient conditions for a knot in an L-space to have an L-space homology sphere surgery. We use these conditions to reformulate a conjecture of Berge about which knots in S^3 admit lens space surgeries.
We prove that the mod Z reduction of the torsion of a rational homology 3-sphere is completely determined by three data: a certain canonical spin^c structure, the linking form and a Q/Z-valued constant c. This constant is a new topological invariant of the rational homology sphere. Experimentations with lens spaces suggest this constant may be as powerful an invariant as the torsion itself.
Any knot in $S^3$ may be reduced to a slice knot by crossing changes. Indeed, this slice knot can be taken to be the unknot. In this paper we study the question of when the same holds for knots in homology spheres. We show that a knot in a homology sphere is nullhomotopic in a smooth homology ball if and only if that knot is smoothly concordant to a knot which is homotopic to a smoothly slice knot. As a consequence, we prove that the equivalence relation on knots in homology spheres given by cobounding immersed annuli in a homology cobordism is generated by concordance in homology cobordisms t…
In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to $-E_8$. We show that these families have arbitrary large correction terms. This result says that among homology spheres, the difference of the maximal rank of minimal sub-lattice of definite filling and the maximal rank of even definite filling is arbitrarily large.
In this paper, we study various homology cobordism invariants for Seifert fibered integral homology 3-spheres derived from Heegaard Floer homology. Our main tool is lattice homology, a combinatorial invariant defined by Ozsváth-Szabó and Némethi. We reprove the fact that the $d$-invariants of Seifert homology spheres $Σ(a_1,a_2,\dots,a_n)$ and $Σ(a_1,a_2,\dots,a_n+a_1a_2\cdots a_{n-1})$ are the same using an explicit understanding of the behavior of the numerical semigroup minimally generated by $a_1a_2\cdots a_n/a_i$ for $i\in[1,n]$. We also study the maximal monotone subroots of the lattice …
The Heegaard Floer d-invariant for more rational homology spheres
本文通过Zemke的同调同构证明Némethi关于理性同调球d-不变量的猜想，利用晶格同调计算负定链环理性同调球的d-不变量。
We define invariants $\frak{ds}$ and $\overline{\frak{ds}}$, which are the maximal and minimal second Betti number divided by $8$ among definite spin boundings of a homology sphere. The similar invariants $g_8$ and $\overline{g_8}$ are defined by the maximal (or minimal) product sum of $E_8$-form of bounding 4-manifolds. We compute these invariants for some homology spheres. We construct $E_8$-boundings for some of Brieskorn 3-spheres $Σ(2,3,12n+5)$ by handle decomposition. As a by-product of the construction, some negative classes which consist of addition of several fiber classes plus one se…
The only finite nonabelian simple group acting on a homology 3-sphere - necessarily non-freely - is the dodecahedral group $\Bbb A_5 \cong {\rm PSL}(2,5)$ (in analogy, the only finite perfect group acting freely on a homology 3-sphere is the binary dodecahedral group $\Bbb A_5^* \cong {\rm SL}(2,5)$). In the present paper we show that the only finite simple groups acting on a homology 4-sphere, and in particular on the 4-sphere, are the alternating or linear fractional groups groups $\Bbb A_5 \cong {\rm PSL}(2,5)$ and $\Bbb A_6 \cong {\rm PSL}(2,9)$. From this we deduce a short list of groups …
Surface slices and homology spheres
本文通过曲面横截图理论证明存在无限多个同调3球面可平滑嵌入同调4球面但不可嵌入同伦4球面。
We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible SU(2)-representations. Our methods use instanton Floer homology, and in particular the surgery exact triangle, holonomy perturbations, and a non-vanishing result due to Kronheimer-Mrowka, as well as results about surgeries on cables due to Gordon.
A finite nonabelian simple group does not admit a free action on a homology sphere, and the only finite simple group which acts on a homology sphere with at most 0-dimensional fixed point sets ("pseudofree action") is the alternating group A_5 acting on the 2-sphere. Our first main theorem is the finiteness result that there are only finitely many finite simple groups which admit a smooth action on a homology sphere with at most d-dimensional fixed points sets, for a fixed d. We then go on proving that the finite simple groups acting on a homology sphere with at most 1-dimensional fixed point …
We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not S^3 is the cyclic branched cover of odd prime order of at most four knots in S^3. A result on the structure of finite groups of odd order acting on integral homology spheres is also obtained.
In this note, we collect various properties of Seifert homology spheres from the viewpoint of Dehn surgery along a Seifert fiber. We expect that many of these are known to various experts, but include them in one place which we hope to be useful in the study of concordance and homology cobordism.
We give some constraints on intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres in terms of the $\barμ$ invariant and compare them with those in terms of the $κ$ invariant. We also show that the difference between $κ$ and $-\barμ$ for a Seifert rational homology 3-sphere is at most 2, and under certain extra conditions the difference is 0.
We show some computations on representations of the fundamental group in SL(2;C) and Reidemeister torsion for a homology 3-sphere obtained by Dehn surgery along the figure-eight knot. This is the second version. We recorrected several errors in the first version.
We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant, which implies the equivalence of these two invariants.
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the information about peripherally hyperbolic $\widetilde{\text{PSL}_2\mathbb{R}}$ representations of $π_1(M)$. Plots of the holonomy extension loci of many rational homology solid tori are shown, and the relation to left-orderability is hinted. Using holonomy extension loci, we study rational homology 3-spheres coming from Dehn filling on rational homology solid tori…
M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behaviour of Z under rational homology handlebodies replacements. The explicit formulae that we present generalize a sum formula obtained by the author for the Casson-Walker invariant in 1994. They allow us to identify the degree one term of Z with the Walker invariant for rational hom…
We show that if each of $K_1$ and $K_2$ is a trefoil knot or figure eight knot, the homology 3-sphere defined by the Kirby diagram which is a simple link of $K_1$ and $K_2$ with framing (0, n) is represented by an n-twisted Whitehead double of $K_2$ .
If a 3--manifold $Y$ contains a non-separating sphere, then some twisted Heegaard Floer homology of $Y$ is zero. This simple fact allows us to prove several results about Dehn surgery on knots in such manifolds. Similar results have been proved for knots in $L$--spaces.
Cosmetic surgeries on knots in homology spheres and the Casson--Walker invariant
针对同调球中纽结的美容手术问题，本文利用三维球内2分支链环的 Casson–Walker 不变量有理手术公式，给出纽结与手术斜率存在此类手术时的若干约束。
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
We prove that loose Legendrian knots in a rational homology contact 3-sphere, satisfying some additional hypothesis, are Legendrian isotopic if and only if they have the same classical invariants. The proof requires a result of Dymara on loose Legendrian knots and Eliashberg's classification of overtwisted contact structures on 3-manifolds.
Detecting embedded surfaces using finite quotients
研究通过有限商条件判断3维流形的Haken性质，并证明覆盖流形的贝蒼威数下界为四。
We study compatible contact structures of fibered Seifert multilinks in homology 3-spheres and especially give a necessary and sufficient condition for the contact structure to be tight in the case where the Seifert fibration is positively twisted. As a corollary we determine the strongly quasipositivity of fibered Seifert links in the 3-sphere. We also study the compatible contact structures of cablings along links in any 3-manifolds.
Surgery obstructions for knots in integer homology spheres
将Hom-Karakurt-Lidman关于S^3中纽结手术的Heegaard Floer同调障碍推广到所有整数同调球面Y的正负1/m手术，用于检验无穷多小Seifert纤维化和双曲例子，并推导光滑配边下b_2(W)的下界。
In this paper we define, for each aspherical orientable 3-manifold $M$ endowed with a \emph{torus splitting} $Ţ$, a 2-dimensional fundamental $l_1$-class $[M]^{Ţ}$ whose $l_1$-norm has similar properties as the Gromov simplicial volume of $M$ (additivity under torus splittings and isometry under finite covering maps). Next, we use the Gromov simplicial volume of $M$ and the $l_1$-norm of $[M]^{Ţ}$ to give a complete characterization of those nonzero degree maps $f\co M\to N$ which are homotopic to a ${\rm deg}(f)$-covering map. As an application we characterize those degree one maps $f\co M\to…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。