Showing 1–14 of 14 results for author: Strle, S

Wall's stable realization for diffeomorphisms of definite 4-manifolds

Authors: Daniel Ruberman, Sašo Strle

Abstract: Let $X$ be a smooth simply connected closed 4-manifold with definite intersection form. We show that any automorphism of the intersection form of $X$ is realized by a diffeomorphism of $X \mathbin{\#} S^2 \times S^2$. This extends and completes Wall's foundational result from 1964. Let $X$ be a smooth simply connected closed 4-manifold with definite intersection form. We show that any automorphism of the intersection form of $X$ is realized by a diffeomorphism of $X \mathbin{\#} S^2 \times S^2$. This extends and completes Wall's foundational result from 1964. △ Less

Submitted 16 January, 2023; v1 submitted 28 October, 2022; originally announced October 2022.

Comments: 6 pages, V2: improved exposition, updated references

MSC Class: 57M25 (Primary) 57Q60 (Secondary)

Disoriented homology and double branched covers

Authors: Brendan Owens, Sašo Strle

Abstract: This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homolog… ▽ More This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homology of the double branched cover of the link or surface. We define a pairing on the first disoriented homology group of a surface and show that this is equal to the intersection pairing of the branched cover. These results generalize work of Gordon and Litherland, for embedded surfaces in the 3-sphere, to arbitrary surfaces in the 4-ball. We also give a generalization of the signature formula of Gordon-Litherland to the general setting. Our results are underpinned by a theorem describing a handle decomposition of the branched double cover of a codimension-2 submanifold in the $n$-ball, which generalizes previous results of Akbulut-Kirby and others. △ Less

Submitted 28 October, 2022; v1 submitted 19 July, 2022; originally announced July 2022.

Comments: 44 pages, 21 figures; V2: Improved exposition incorporating referees' suggestions. Accepted for publication in Canad. J. Math

On the Thom conjecture in $CP^3$

Authors: Daniel Ruberman, Marko Slapar, Sašo Strle

Abstract: What is the simplest smooth simply connected 4-manifold embedded in $CP^3$ homologous to a degree $d$ hypersurface $V_d$? A version of this question associated with Thom asks if $V_d$ has the smallest $b_2$ among all such manifolds. While this is true for degree at most $4$, we show that for all $d \geq 5$, there is a manifold $M_d$ in this homology class with $b_2(M_d) < b_2(V_d)$. This contrasts… ▽ More What is the simplest smooth simply connected 4-manifold embedded in $CP^3$ homologous to a degree $d$ hypersurface $V_d$? A version of this question associated with Thom asks if $V_d$ has the smallest $b_2$ among all such manifolds. While this is true for degree at most $4$, we show that for all $d \geq 5$, there is a manifold $M_d$ in this homology class with $b_2(M_d) < b_2(V_d)$. This contrasts with the Kronheimer-Mrowka solution of the Thom conjecture about surfaces in $CP^2$, and is similar to results of Freedman for $2n$-manifolds in $CP^{n+1}$ with $n$ odd and greater than $1$. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 13 pages, 2 figures

MSC Class: 57K40 (Primary) 57R40; 57R95; 14J70 (Secondary)

Immersed disks, slicing numbers and concordance unknotting numbers

Authors: Brendan Owens, Saso Strle

Abstract: We study three knot invariants related to smoothly immersed disks in the four-ball. These are the four-ball crossing number, which is the minimal number of normal double points of such a disk bounded by a given knot; the slicing number, which is the minimal number of crossing changes to a slice knot; and the concordance unknotting number, which is the minimal unknotting number in a smooth concorda… ▽ More We study three knot invariants related to smoothly immersed disks in the four-ball. These are the four-ball crossing number, which is the minimal number of normal double points of such a disk bounded by a given knot; the slicing number, which is the minimal number of crossing changes to a slice knot; and the concordance unknotting number, which is the minimal unknotting number in a smooth concordance class. Using Heegaard Floer homology we obtain bounds that can be used to determine two of these invariants for all prime knots with crossing number ten or less, and to determine the concordance unknotting number for all but thirteen of these knots. As a further application we obtain some new bounds on Gordian distance between torus knots. We also give a strengthened version of Ozsvath and Szabo's obstruction to unknotting number one. △ Less

Submitted 4 November, 2015; v1 submitted 26 November, 2013; originally announced November 2013.

Comments: 24 pages, 5 figures. V2: added section on Gordian distances between torus knots. V3: Improved exposition incorporating referees' suggestions. Accepted for publication in Comm. Anal. Geom

MSC Class: 57M25; 57M27 (Primary); 57Q60 (Secondary)

Non-orientable surfaces in homology cobordisms

Authors: Ira M. Gessel, Adam Simon Levine, Daniel Ruberman, Saso Strle

Abstract: We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus… ▽ More We investigate constraints on embeddings of a non-orientable surface in a $4$-manifold with the homology of $M \times I$, where $M$ is a rational homology $3$-sphere. The constraints take the form of inequalities involving the genus and normal Euler class of the surface, and either the Ozsváth--Sazbó $d$-invariants or Atiyah--Singer $ρ$-invariants of $M$. One consequence is that the minimal genus of a smoothly embedded surface in $L(2p,q) \times I$ is the same as the minimal genus of a surface in $L(2p,q)$. We also consider embeddings of non-orientable surfaces in closed $4$-manifolds. △ Less

Submitted 31 October, 2013; originally announced October 2013.

Comments: Primary article by Adam Levine, Daniel Ruberman and Saso Strle, with an appendix by Ira Gessel. 54 pages, 6 figures

MSC Class: 57R40; 57N35; 57M27; 11F20

Journal ref: Geom. Topol. 19 (2015) 439-494

Dehn surgeries and negative-definite four-manifolds

Authors: Brendan Owens, Saso Strle

Abstract: Given a knot K in the three-sphere, we address the question: which Dehn surgeries on K bound negative-definite four-manifolds? We show that the answer depends on a number m(K), which is a smooth concordance invariant. We study the properties of this invariant, and compute it for torus knots. Given a knot K in the three-sphere, we address the question: which Dehn surgeries on K bound negative-definite four-manifolds? We show that the answer depends on a number m(K), which is a smooth concordance invariant. We study the properties of this invariant, and compute it for torus knots. △ Less

Submitted 24 August, 2011; originally announced August 2011.

Comments: 16 pages, 5 figures

Concordance properties of parallel links

Authors: Daniel Ruberman, Saso Strle

Abstract: We investigate the concordance properties of `parallel links' P(K), given by the (2,0) cable of a knot K. We focus on the question: if P(K) is concordant to a split link, is K necessarily slice? We show that if P(K) is smoothly concordant to a split link, then many smooth concordance invariants of K must vanish, including the tau and s-invariants, and suitably normalized d-invariants of surgeries… ▽ More We investigate the concordance properties of `parallel links' P(K), given by the (2,0) cable of a knot K. We focus on the question: if P(K) is concordant to a split link, is K necessarily slice? We show that if P(K) is smoothly concordant to a split link, then many smooth concordance invariants of K must vanish, including the tau and s-invariants, and suitably normalized d-invariants of surgeries on K. We also investigate the (2,2m) cables P_m(K), and find obstructions to smooth concordance to the sum of the (2,2m) torus link and a split link. △ Less

Submitted 22 August, 2011; originally announced August 2011.

Comments: 15 pages; 5 figures

Smooth concordance of links topologically concordant to the Hopf link

Authors: Jae Choon Cha, Taehee Kim, Daniel Ruberman, Saso Strle

Abstract: It was shown by Jim Davis that a 2-component link with Alexander polynomial one is topologically concordant to the Hopf link. In this paper, we show that there is a 2-component link with Alexander polynomial one that has unknotted components and is not smoothly concordant to the Hopf link, answering a question of Jim Davis. We construct infinitely many concordance classes of such links, and show t… ▽ More It was shown by Jim Davis that a 2-component link with Alexander polynomial one is topologically concordant to the Hopf link. In this paper, we show that there is a 2-component link with Alexander polynomial one that has unknotted components and is not smoothly concordant to the Hopf link, answering a question of Jim Davis. We construct infinitely many concordance classes of such links, and show that they have the stronger property of not being smoothly concordant to the Hopf link with knots tied in the components. △ Less

Submitted 9 December, 2010; originally announced December 2010.

Comments: 8 pages, 5 figures

MSC Class: 57M25; 57N70

A characterisation of the Z^n + Z(δ) lattice and definite nonunimodular intersection forms

Authors: Brendan Owens, Saso Strle

Abstract: We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus knots do not bound negative-definite four-manifolds. We prove a generalisation of Elkies' theorem to nonunimodular definite forms (and lattices). Combined with inequalities of Froyshov and of Ozsvath and Szabo, this gives a simple test of whether a rational homology 3-sphere may bound a definite four-manifold. As an example we show that small positive surgeries on torus knots do not bound negative-definite four-manifolds. △ Less

Submitted 11 February, 2008; originally announced February 2008.

Comments: 21 pages, 1 figure

MSC Class: 11H55; 57Q60; 57M27; 57R58.

Knot concordance and Heegaard Floer homology invariants in branched covers

Authors: J. Elisenda Grigsby, Daniel Ruberman, Saso Strle

Abstract: By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order. By studying the Heegaard Floer homology of the preimage of a knot K in S^3 inside its double branched cover, we develop simple obstructions to K having finite order in the classical smooth concordance group. As an application, we prove that all 2-bridge knots of crossing number at most 12 for which the smooth concordance order was previously unknown have infinite smooth concordance order. △ Less

Submitted 30 January, 2007; v1 submitted 16 January, 2007; originally announced January 2007.

Comments: Expanded references; 25 pages, 5 figures

MSC Class: 57R58; 57M12; 57M27

Journal ref: Geom. Topol. 12 (2008) 2249-2275

A characterisation of the n<1> + <3> form and applications to rational homology spheres

Authors: Brendan Owens, Saso Strle

Abstract: We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of Froyshov and of Ozsvath and Szabo, would give a simple test of whether a rational homology 3-sphere may bound a negative-definite four-manifold. We verify some… ▽ More We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of Froyshov and of Ozsvath and Szabo, would give a simple test of whether a rational homology 3-sphere may bound a negative-definite four-manifold. We verify some predictions using Donaldson's theorem. Based on this we compute the four-ball genus of some Montesinos knots. △ Less

Submitted 14 April, 2004; v1 submitted 12 December, 2003; originally announced December 2003.

Comments: 13 pages; completely rewritten with many new examples

Rational homology spheres and four-ball genus

Authors: Brendan Owens, Saso Strle

Abstract: 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. 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. △ Less

Submitted 7 August, 2003; originally announced August 2003.

Comments: 21 pages, 4 figures (xypic)

Bounds on genus and geometric intersections from cylindrical end moduli spaces

Authors: Saso Strle

Abstract: In this paper we present a way of computing a lower bound for genus of any smooth representative of a homology class of positive self-intersection in a smooth four-manifold $X$ with second positive Betti number $b_2^+(X)=1$. We study the solutions of the Seiberg-Witten equations on the cylindrical end manifold which is the complement of the surface representing the class. The result can be formu… ▽ More In this paper we present a way of computing a lower bound for genus of any smooth representative of a homology class of positive self-intersection in a smooth four-manifold $X$ with second positive Betti number $b_2^+(X)=1$. We study the solutions of the Seiberg-Witten equations on the cylindrical end manifold which is the complement of the surface representing the class. The result can be formulated as a form of generalized adjunction inequality. The bounds obtained depend only on the rational homology type of the manifold, and include the Thom conjecture as a special case. We generalize this approach to derive lower bounds on the number of intersection points of $n$ algebraically disjoint surfaces of positive self-intersection in manifolds with $b_2^+(X)=n$. △ Less

Submitted 22 January, 2003; v1 submitted 18 February, 2002; originally announced February 2002.

Comments: References added

Mod 2 Seiberg-Witten invariants of homology tori

Authors: Daniel Ruberman, Saso Strle

Abstract: We show that the mod 2 Seiberg-Witten invariant can be determined for a spin manifold X which has the same homology groups as the 4-torus. The value depends on the structure of the cohomology ring of X, and in particular on the 4-fold cup product on H^1(X). We also consider some examples of homology tori. We show that the mod 2 Seiberg-Witten invariant can be determined for a spin manifold X which has the same homology groups as the 4-torus. The value depends on the structure of the cohomology ring of X, and in particular on the 4-fold cup product on H^1(X). We also consider some examples of homology tori. △ Less

Submitted 15 March, 2000; originally announced March 2000.

Comments: 10 pages, 1 figure

MSC Class: 57R57