John B. Etnyre, Bülent Tosun
In this paper, we collect various structural results to determine when an integral homology $3$--sphere bounds an acyclic smooth $4$--manifold, and when this can be upgraded to a Stein manifold. In a different direction we study whether smooth embedding of connected sums of lens spaces in $\mathbb{C}^2$ can be upgraded to a Stein embedding, and determined that this never happens.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give a Dehn-Nielsen type theorem for the homology cobordism group of homology cylinders by considering its action on the acyclic closure, which was defined by Levine, of a free group. Then we construct an additive invariant of those homology cylinders which act on the acyclic closure trivially. We also describe some tools to study the automorphism group of the acyclic closure of a free group generalizing those for the automorphism group of a free group or the homology cobordism group of homology cylinders.
We show that standard cyclic actions on Brieskorn homology 3-spheres with non-empty fixed set do not extend smoothly to any contractible smooth 4-manifold it may bound. The quotient of any such extension would be an acyclic $4$-manifold with boundary a related Brieskorn homology sphere. We briefly discuss well known invariants of homology spheres that obstruct acyclic bounding 4-manifolds, and then use a method based on equivariant Yang-Mills moduli spaces to rule out extensions of the actions.
We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sphere of dimension less than 2n-1 or a Z/3-acyclic Z/3-homology manifold of dimension less than 2n, and if n \geq 3, then any action of Sp(2n,Z) by homeomorphisms on X is trivial; if n = 2, then every action of Sp(2n,Z) on X factors through the abelianization of Sp(4,Z), which is …
We give a complete classification of the spherical 3-manifolds that bound smooth rational homology 4-balls. Furthermore, we determine the order of spherical 3-manifolds in the rational homology cobordism group of rational homology 3-spheres. To this end, we use constraints for 3-manifolds to bound rational homology balls induced from Donaldson's diagonalization theorem and Heegaard Floer correction terms.
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…
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.
For n at least 3, let SAut(F_n) denote the unique subgroup of index two in the automorphism group of a free group. The standard linear action of SL(n,Z) on R^n induces non-trivial actions of SAut(F_n) on R^n and on S^{n-1}. We prove that SAut(F_n) admits no non-trivial actions by homeomorphisms on acyclic manifolds or spheres of smaller dimension. Indeed, SAut(F_n) cannot act non-trivially on any generalized Z_2-homology sphere of dimension less than n-1, nor on any Z_2-acyclic Z_2-homology manifold of dimension less than n. It follows that SL(n,Z) cannot act non-trivially on such spaces eithe…
We call an integral homology sphere $\textit{non-trivially}$ bounds a rational homology ball if it is obstructed from bounding an integral homology ball. After Fintushel and Stern's well-known example $Σ(2,3,7)$, Akbulut and Larson recently provided the first infinite families of Brieskorn spheres non-trivially bounding rational homology balls: $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for odd~$n$. Using their technique, we present new such families: $Σ(2,4n+3,12n+7)$ and $Σ(3,3n+2,12n+7)$ for even $n$. Also manipulating their main argument, we simply recover some classical results of Akbulut an…
Classical and new plumbed homology spheres bounding contractible manifolds and homology balls
本文研究哪些铅垂同调3-球面界定可缩4-流形或同调4-球，通过修改Mazur论证并利用Poénaru流形，重新证明经典例子并给出两个新的无穷族。
Prime power fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. In this paper, we give a new construction of non-slice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.
We classify connected sums of three-dimensional lens spaces which smoothly bound rational homology balls. We use this result to determine the order of each lens space in the group of rational homology 3-spheres up to rational homology cobordisms, and to determine the concordance order of each 2-bridge knot.
Fintushel and Stern showed that the Brieskorn sphere $Σ(2,3,7)$ bounds a rational homology ball, while its non-trivial Rokhlin invariant obstructs it from bounding an integral homology ball. It is known that their argument can be modified to show that the figure-eight knot is rationally slice, and we use this fact to provide the first additional examples of Brieskorn spheres that bound rational homology balls but not integral homology balls: the families $Σ(2,4n+1,12n+5)$ and $Σ(3,3n+1,12n+5)$ for $n$ odd. We also provide handlebody diagrams for a rational homology ball containing a rationally…
On chain link surgeries bounding rational homology balls and $χ$-slice 3-braid closures
本文利用格论立方性障碍，确定圆形链环整数手术界定有理同调球的条件，并证明切片-丝带猜想的推广对几乎所有拟交错3辫子链环成立。
Surgeries on Iterated Torus Knots Bounding Rational Homology 4-Balls
本文证明代数纽结上足够大的正积分手术界定具有负定管道树的4-流形，并利用唐纳森定理的格嵌入障碍分类了特定形式的迭代环面纽结手术，确定哪些界定有理同调4-球体。
We prove that Thompson's group $V$ is acyclic, answering a 1992 question of Brown in the positive. More generally, we identify the homology of the Higman-Thompson groups $V_{n,r}$ with the homology of the zeroth component of the infinite loop space of the mod $n-1$ Moore spectrum. As $V = V_{2,1}$, we can deduce that this group is acyclic. Our proof involves establishing homological stability with respect to $r$, as well as a computation of the algebraic K-theory of the category of finitely generated free Cantor algebras of any type $n$.
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.
Cubiquitous Lattices and Branched Covers bounding rational balls
本文研究哪些子晶格是处处存在的，并利用Wu障碍物对它们进行分类，应用于双分支覆盖和有理球边界问题。
We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y # Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.
Bounding the Dehn surgery number by 10/8
本文通过Furuta的10/8定理，构造了具有权重一基本群且与透镜空间同调相同但非纽结手术的三维流形新例子。
Handle decomposition complexity and representation spaces
本文证明存在同调三维球面可界定定号四维流形，但任何这样的流形必须包含大量把手，论证基于瞬子Floer同调中的不变量Γ。
We establish an inequality which gives strong restrictions on when the standard definite plumbing intersection lattice of a Seifert fibered space over $S^2$ can embed into a standard diagonal lattice, and give two applications. First, we answer a question of Neumann-Zagier on the relationship between Donaldson's theorem and Fintushel-Stern's $R$-invariant. We also give a short proof of the characterisation of Seifert fibered spaces which smoothly bound rational homology $S^1 \times D^3$'s.
On embeddings and acyclic maps
本文研究闭流形无环映射下嵌入关系，先解庞加莱对偶空间变体，再用手术机器得流形结果，并推导光滑同调球块嵌入空间的同伦类型。
Two fundamental objects in knot theory are the minimal genus surface and the least area surface bounded by a knot in a 3-dimensional manifold. When the knot is embedded in a general 3-manifold, the problems of finding these surfaces were shown to be NP-complete and NP-hard respectively. However, there is evidence that the special case when the ambient manifold is R^3, or more generally when the second homology is trivial, should be considerably more tractable. Indeed, we show here that a natural discrete version of the least area surface can be found in polynomial time. The precise setting is …
If a Legendrian knot $Λ$ in the standard contact 3-sphere bounds an orientable exact Lagrangian surface $Σ$ in the standard symplectic 4-ball, then the genus of $Σ$ is equal to the slice genus of (the smooth knot underlying) $Λ$, the sum of the Thurston-Bennequin number of L and the Euler characteristic of $Σ$ is zero as well as the rotation number of $Λ$, and moreover, the linearized contact homology of $Λ$ with respect to the augmentation induced by $Σ$ is isomorphic to the (singular) homology of $Σ$. It was asked in arXiv:1212.1519 whether the converse of this statement is true. We give a n…
Let $M$ be an $n$-vertex combinatorial triangulation of a $\ZZ_2$-homology $d$-sphere. In this paper we prove that if $n \leq d + 8$ then $M$ must be a combinatorial sphere. Further, if $n = d + 9$ and $M$ is not a combinatorial sphere then $M$ can not admit any proper bistellar move. Existence of a 12-vertex triangulation of the lens space $L(3, 1)$ shows that the first result is sharp in dimension three. In the course of the proof we also show that any $\ZZ_2$-acyclic simplicial complex on $\leq 7$ vertices is necessarily collapsible. This result is best possible since there exist 8-vertex t…
Using rational homology circles to construct rational homology balls
本文受 Akbulut-Larson 启发，利用界定有理同调圆的 plumbed 3-流形构造多族界定有理同调 4-球的有理同调 3-球面，并给出环面丛族、一般构造方法及 $-1$-手术结论。
A homology cylinder over a compact manifold is a homology cobordism between two copies of the manifold together with a boundary parametrization. We study abelian quotients of the homology cobordism group of homology cylinders. For homology cylinders over general surfaces, it was shown by Cha, Friedl and Kim that their homology cobordism groups have infinitely generated abelian quotient groups by using Reidemeister torsion invariants. In this paper, we first investigate their abelian quotients again by using another invariant called the Magnus representation. After that, we apply the machinery …
Heegaard Floer homology and the word metric on the Torelli group
研究Heegaard Floer同调修正项与Torelli群词度量的关系，证明Torelli群Cayley图在特定生成集下的无限直径，同时展示Torelli群子集在该度量下的有界性，并排除有理同调球的Morita型公式。
Constructing Rational Homology 3-Spheres That Bound Rational Homology 4-Balls
本文通过两种新操作构造了能包围有理同调4球的有理同调3球，并探讨了相关猜想的验证。
We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to classify every subcomplex whose reduced homology groups are concentrated in a single degree and describe a homology basis for each of them.
On lens space surgeries from the Poincaré homology sphere
本文基于Greene的changemaker格发展格嵌入障碍，确定庞加莱同调球面上纽结手术产生透镜空间的条件，证明半整数手术仅有两个特例，并得出双曲纽结的透镜空间手术必为整数的结论。
Relative Thom Conjectures, symplectic and beyond
该研究通过建立准则证明辛表面在特定条件下最小化亏格，并探讨了接触结构紧致性与辛几何的关系。
We show that there are contact 3-manifolds of support genus one which admit infinitely many Stein fillings, but do not admit arbitrarily large ones. These Stein fillings arise from genus-1 allowable Lefschetz fibrations with distinct homology groups, all filling a fixed minimal genus open book supporting the boundary contact 3-manifold. In contrast, we observe that there are only finitely many possibilities for the homology groups of Stein fillings of a given contact 3-manifold with support genus zero. We also show that there are 4-strand braids which admit infinitely many distinct Hurwitz cla…
On homology concordance in contractible manifolds and two bridge links
本文通过构造边界为光滑可缩4-流形的一族流形-纽结对，证明了同调配边群商群包含Z^∞-直和项，并利用Ozsváth-Szabó-Hales算法对一类纽结的Floer同调进行了分类。
Mazur manifolds and symplectic structures
利用Heegaard Floer同调的cobordism映射，阻碍了Akbulut-Kirby流形上存在辛结构的可能性，并表明存在具有确定交形式的exotic对。
We use Heegaard Floer homology with twisted coefficients to define numerical invariants for arbitrary closed 3-manifolds equipped torsion spin$^c$ structures, generalising the correction terms (or $d$--invariants) defined by Ozsváth and Szabó for integer homology 3-spheres and, more generally, for 3-manifolds with standard ${\rm HF}^\infty$. Our twisted correction terms share many properties with their untwisted analogues. In particular, they provide restrictions on the topology of 4-manifolds bounding a given 3-manifold.
On lens spaces bounding smooth 4-manifolds with $\boldsymbol{b_2=1}$
该文研究不同拓扑下可界定b₂=1的光滑4-流形的透镜空间，构造出两类无穷族透镜空间并证明其拓扑性质，研究受有理同调射影平面相关问题启发。
We develop obstructions to a knot K in the 3-sphere bounding a smooth punctured Klein bottle in the 4-ball. The simplest of these is based on the linking form of the 2-fold branched cover of the 3-sphere branched over K. Stronger obstructions are based on the Ozsvath-Szabo correction term in Heegaard-Floer homology, along with the G-signature theorem and the Guillou-Marin generalization of Rokhlin's theorem. We also apply Casson-Gordon theory to show that for every n greater than one there exists a knot that does not bound a topologically embedded nonorientable ribbon surface F in the 4-ball w…
Brieskorn spheres, cyclic group actions and the Milnor conjecture
本文发展了等变 Seiberg-Witten-Floer 上同调理论，应用于 Brieskorn 同调球面：给出了 Milnor 猜想的新证明，并证明了特定群作用无法光滑延拓到以该球面为边界的可缩光滑 4-流形上。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。