Showing 1–50 of 54 results for author: Ruberman, D

Simple groups and complements of smooth surfaces in simply connected $4$-manifolds

Authors: Sam Hughes, Daniel Ruberman

Abstract: For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $Σ$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a question of Kronheimer in Kirby's 1997 problem list. The proof combines a topological construction with homological properties of simple groups such as Thompson's gro… ▽ More For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $Σ$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a question of Kronheimer in Kirby's 1997 problem list. The proof combines a topological construction with homological properties of simple groups such as Thompson's group $V$ and certain sporadic finite simple groups. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: 7 pages, comments welcome!

MSC Class: 57R40 (primary); 20E32; 20J06 (secondary)

The Conformal Laplacian and Positive Scalar Curvature Metrics on Manifolds with Boundary

Authors: Steven Rosenberg, Daniel Ruberman, Jie Xu

Abstract: We give examples of spin $4$-manifolds with boundary that do not admit metrics of positive scalar curvature and nonnegative mean curvature. These manifolds in fact have the stronger property that the conformal Laplacian with appropriate boundary conditions is never positive. The obstruction to the positivity of the conformal Laplacian is given by a real-valued $ξ$-invariant associated to the APS t… ▽ More We give examples of spin $4$-manifolds with boundary that do not admit metrics of positive scalar curvature and nonnegative mean curvature. These manifolds in fact have the stronger property that the conformal Laplacian with appropriate boundary conditions is never positive. The obstruction to the positivity of the conformal Laplacian is given by a real-valued $ξ$-invariant associated to the APS theorem for the twisted Dirac operator. We use analytic techniques related to the prescribed scalar curvature problem in conformal geometry to move beyond earlier work where the metric is a product near the boundary. △ Less

Submitted 27 June, 2024; v1 submitted 10 February, 2023; originally announced February 2023.

MSC Class: 53C21 (primary); 35J66; 53C27; 58J05; 58J20 (secondary)

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)

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)

On the spectral sets of Inoue surfaces

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: The Inoue surfaces are certain non-Kaehler complex surfaces that have the structure of a $T^3$ bundle over the circle. We study the Inoue surfaces $S_M$ with the Tricerri metric and the canonical spin$^c$ structure, and the corresponding chiral Dirac operators twisted by a flat $\mathbb C^*$--connection. The twisting connection is determined by $z \in \mathbb C^*$, and the points for which the twi… ▽ More The Inoue surfaces are certain non-Kaehler complex surfaces that have the structure of a $T^3$ bundle over the circle. We study the Inoue surfaces $S_M$ with the Tricerri metric and the canonical spin$^c$ structure, and the corresponding chiral Dirac operators twisted by a flat $\mathbb C^*$--connection. The twisting connection is determined by $z \in \mathbb C^*$, and the points for which the twisted Dirac operators $\mathcal D^{\pm}_z$ are not invertible are called spectral points. We show that there are no spectral points inside the annulus $α^{-1/4} < |z| < α^{1/4}$, where $α>1$ is the only real eigenvalue of the matrix $M$ that determines $S_M$, and find the spectral points on its boundary. Via Taubes' theory of end-periodic operators, this implies that the corresponding Dirac operators are Fredholm on any end-periodic manifold whose end is modeled on $S_M$. △ Less

Submitted 2 June, 2021; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 15 pages. Final version, to appear in Open Book Series volume entitled 'Gauge theory and low-dimensional topology: progress and interaction.'

MSC Class: 32J15 53C55 57R57 58J50

Journal ref: Open Book Series 5 (2022) 285-297

A Levine-Tristram invariant for knotted tori

Authors: Daniel Ruberman

Abstract: Echeverria recently introduced an invariant for a smoothly embedded torus in a homology $S^1\times S^3$, using gauge theory for singular connections. We define a new topological invariant of such an embedded torus, analogous to the classical Levine-Tristram invariant of a knot. In the 3-dimensional situation, a count of singular connections on a knot complement reproduces the Levine-Tristram invar… ▽ More Echeverria recently introduced an invariant for a smoothly embedded torus in a homology $S^1\times S^3$, using gauge theory for singular connections. We define a new topological invariant of such an embedded torus, analogous to the classical Levine-Tristram invariant of a knot. In the 3-dimensional situation, a count of singular connections on a knot complement reproduces the Levine-Tristram invariant. We compute the invariant for a number of examples embedded tori, and show that our topological invariant is the same as what one might expect from Echeverria's invariant. Langte Ma has subsequently shown this in general. △ Less

Submitted 6 May, 2021; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 28 pages, one figure. Revised introduction, amended discussion of one example, and added another example. Version 3 is the final version, to appear in Algebraic & Geometric Topology

MSC Class: 57K41; 57K45

Journal ref: Algebr. Geom. Topol. 22 (2022) 2395-2418

On the monopole Lefschetz number of finite order diffeomorphisms

Authors: Jianfeng Lin, Daniel Ruberman, Nikolai Saveliev

Abstract: Let $K$ be a knot in an integral homology 3-sphere $Y$, and $Σ$ the corresponding $n$-fold cyclic branched cover. Assuming that $Σ$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $Σ$. The proof relies on a careful analysis of the Se… ▽ More Let $K$ be a knot in an integral homology 3-sphere $Y$, and $Σ$ the corresponding $n$-fold cyclic branched cover. Assuming that $Σ$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $Σ$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $η$-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the map** tori of all semi-free actions of $Z/n$ on integral homology 3-spheres; (2) we give a novel obstruction (in terms of the Jones polynomial) for the branched cover of a knot in $S^3$ being an $L$-space; (3) we give a new set of knot concordance invariants in terms of the monopole Lefschetz numbers of covering translations on the branched covers. △ Less

Submitted 23 December, 2020; v1 submitted 11 April, 2020; originally announced April 2020.

Comments: 39 page, 2 figures. Added a reference to Langte Ma's paper arXiv:1909.01533, which contains an independent proof of our Theorem B. Final version, to appear in Geometry and Topology

MSC Class: 57R57; 57R58 (Primary); 57M25 (Secondary)

Journal ref: Geom. Topol. 25 (2021) 3591-3628

Topological spines of 4-manifolds

Authors: Hee Jung Kim, Daniel Ruberman

Abstract: We show that infinitely many of the simply connected 4-manifolds constructed by Levine and Lidman that do not admit PL spines actually admit topological spines. We show that infinitely many of the simply connected 4-manifolds constructed by Levine and Lidman that do not admit PL spines actually admit topological spines. △ Less

Submitted 22 January, 2020; v1 submitted 9 May, 2019; originally announced May 2019.

Comments: Final version; to appear in Algebraic & Geometric Topology. 18 pages, 3 figures

MSC Class: 57N13; 57R67; 57Q40

Journal ref: Algebr. Geom. Topol. 20 (2020) 3589-3606

On positive scalar curvature cobordisms and the conformal Laplacian on end-periodic manifolds

Authors: Demetre Kazaras, Daniel Ruberman, Nikolai Saveliev

Abstract: We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that th… ▽ More We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that the bordism groups $Ω^{spin,+}_{n+1}(S^1 \times BG)$ are infinite for any non-trivial group $G$ which is the fundamental group of a spin spherical space form of dimension $n=3$ or $5$. △ Less

Submitted 28 October, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Comments: Final version, to appear in Communications in Analysis and Geometry. Some clarifications and revisions in response to referee's comments

MSC Class: 53C21; 53C27; 58J05; 58J20; 58J28

Corks and automorphisms of 3-manifolds

Authors: Selman Akbulut, Daniel Ruberman

Abstract: We investigate two specific contractible manifolds (one Stein, and the other non-Stein) whose boundaries have non-trivial map** class groups. In both cases we show that every diffeomorphism of their boundary extends to a diffeomorphism of the full manifold. In particular, these manifolds cannot be corks. The methods are a mix of 3 and 4-manifold techniques. We investigate two specific contractible manifolds (one Stein, and the other non-Stein) whose boundaries have non-trivial map** class groups. In both cases we show that every diffeomorphism of their boundary extends to a diffeomorphism of the full manifold. In particular, these manifolds cannot be corks. The methods are a mix of 3 and 4-manifold techniques. △ Less

Submitted 25 December, 2019; v1 submitted 15 September, 2018; originally announced September 2018.

Comments: An error find in one of the theorems

MSC Class: 57N13; 57N10

Equivariant hyperbolization of $3$-manifolds via homology cobordisms

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite… ▽ More The main result of this paper is that any $3$-dimensional manifold with a finite group action is equivariantly, invertibly homology cobordant to a hyperbolic manifold; this result holds with suitable twisted coefficients as well. The following two consequences motivated this work. First, there are hyperbolic equivariant corks (as defined in previous work of the authors) for a wide class of finite groups. Second, any finite group that acts on a homology $3$-sphere also acts on a hyperbolic homology $3$-sphere. The theorem has other applications, including establishing the existence of an infinite number of hyperbolic homology spheres with a free $Z_p$ action that does not extend to any contractible manifold. A non-equivariant version yields an infinite number of hyperbolic integer homology spheres that bound integer homology balls but do not bound contractible manifolds. In passing, it is shown that the invertible homology cobordism relation on $3$-manifolds is antisymmetric. △ Less

Submitted 22 September, 2020; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 24 pages, 7 figures. Version 2: many revisions and corrections

MSC Class: 57M50; 57M60

Harmonic spinors on the Davis hyperbolic 4-manifold

Authors: John G. Ratcliffe, Daniel Ruberman, Steven T. Tschantz

Abstract: In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtle sign terms in the G-spin theorem for an isometry, with isolated fixed points,… ▽ More In this paper we use the G-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic 4-manifold that admits harmonic spinors. We also explicitly describe the Spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtle sign terms in the G-spin theorem for an isometry, with isolated fixed points, of a closed spin hyperbolic 2- or 4-manifold. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: 33 pages and 2 figures

MSC Class: 53C27

On the Frøyshov invariant and monopole Lefschetz number

Authors: Jianfeng Lin, Daniel Ruberman, Nikolai Saveliev

Abstract: Given an involution on a rational homology 3-sphere $Y$ with quotient the $3$-sphere, we prove a formula for the Lefschetz number of the map induced by this involution in the reduced monopole Floer homology. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg--Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic argument, making use o… ▽ More Given an involution on a rational homology 3-sphere $Y$ with quotient the $3$-sphere, we prove a formula for the Lefschetz number of the map induced by this involution in the reduced monopole Floer homology. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg--Witten invariants of 4-manifolds. A key ingredient is a skein-theoretic argument, making use of an exact triangle in monopole Floer homology, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of Frøyshov invariants associated to spin structures on $Y$. We discuss various applications of our formula in gauge theory, knot theory, contact geometry, and 4-dimensional topology. △ Less

Submitted 21 February, 2018; originally announced February 2018.

Comments: 77 pages, 7 figures

MSC Class: 57

Isotopy of surfaces in 4-manifolds after a single stabilization

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman, Hannah Schwartz

Abstract: Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. Any two homologous surfaces of the same genus embedded in a smooth 4-manifold X with simply-connected complements are shown to be smoothly isotopic in the connected sum of X and the product of a 2-sphere with itself, if the surfaces are ordinary, and in the connected sum of X with the non-trivial sphere bundle over the sphere if they are characteristic. △ Less

Submitted 10 August, 2017; originally announced August 2017.

A splitting theorem for the Seiberg-Witten invariant of a homology $S^1 \times S^3$

Authors: Jianfeng Lin, Daniel Ruberman, Nikolai Saveliev

Abstract: We study the Seiberg-Witten invariant $λ_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant $h(X)$ and a certain Lefschetz number in the reduced m… ▽ More We study the Seiberg-Witten invariant $λ_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant $h(X)$ and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homology $3$-spheres of Rohlin invariant one which have infinite order in the homology cobordism group. △ Less

Submitted 27 February, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 78 pages, 1 figure; added results on Z/2 homology cobordisms and knot concordances

MSC Class: 57R57; 57R58; 57M27; 53C21; 58J28; 58J35

Journal ref: Geom. Topol. 22 (2018) 2865-2942

Heegaard Floer invariants in codimension one

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show… ▽ More Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a generator of $H_3(X)$, a suitable version of the Heegaard Floer $d$ invariant of $Y$, defined using twisted coefficients, is a diffeomorphism invariant of $X$. We show how this invariant can be used to obstruct embeddings of certain types of $3$-manifolds, including those obtained as a connected sum of a rational homology $3$-sphere and any number of copies of $S^1 \times S^2$. We also give similar obstructions to embeddings in certain open $4$-manifolds, including exotic $\mathbb{R}^4$s. △ Less

Submitted 25 July, 2017; v1 submitted 11 October, 2016; originally announced October 2016.

Comments: 34 pages, 1 figure. Final version, to appear in Transactions of the AMS; revisions following referee report

MSC Class: 57M27; 57R58

4-dimensional analogues of Dehn's lemma

Authors: Arunima Ray, Daniel Ruberman

Abstract: We investigate certain $4$-dimensional analogues of the classical $3$-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential $2$-sphere $S$ in the boundary of a simply connected $4$-manifold $W$ such that $S$ is null-homotopic in $W$ need not extend to an embedding of a ball in $W$. Howeve… ▽ More We investigate certain $4$-dimensional analogues of the classical $3$-dimensional Dehn's lemma, giving examples where such analogues do or do not hold, in the smooth and topological categories. In particular, we show that an essential $2$-sphere $S$ in the boundary of a simply connected $4$-manifold $W$ such that $S$ is null-homotopic in $W$ need not extend to an embedding of a ball in $W$. However, if $W$ is simply connected (or more generally a $4$-manifold with abelian fundamental group) with boundary a homology sphere, then $S$ bounds a topologically embedded ball in $W$. Moreover, we give examples where such an $S$ does not bound any smoothly embedded ball in $W$. In a similar vein, we construct incompressible tori $T\subseteq \partial W$ where $W$ is a contractible $4$-manifold such that $T$ extends to a map of a solid torus in $W$, but not to any embedding of a solid torus in $W$. Moreover, we construct an incompressible torus $T$ in the boundary of a contractible $4$-manifold $W$ such that $T$ extends to a topological embedding of a solid torus in $W$ but no smooth embedding. As an application of our results about tori, we address a question posed by Gompf about extending certain families of diffeomorphisms of $3$-manifolds which he has recently used to construct infinite corks. △ Less

Submitted 13 July, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: Final version, to appear in Journal of London Mathematical Society

MSC Class: 57M35; 57N10; 57N13

Journal ref: Journal of the LMS (2)96 no. 1, 111-132, 2017

Topological realizations of line arrangements

Authors: Daniel Ruberman, Laura Starkston

Abstract: A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection o… ▽ More A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres. △ Less

Submitted 6 June, 2016; originally announced June 2016.

Comments: 38 pages, 13 figures

MSC Class: 57N13; 57R17; 52C30

Equivariant Corks

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a 4-manifold so that cutting out C and regluing using distinct elements of G yield distinct smooth 4-manifolds. △ Less

Submitted 24 February, 2016; originally announced February 2016.

Comments: 9 pages, 3 figures

MSC Class: 57N13

Journal ref: Algebr. Geom. Topol. 17 (2017) 1771-1783

On smoothly superslice knots

Authors: Daniel Ruberman

Abstract: A knot K in the 3-sphere is superslice if there is a slice disk D in the 4-ball such that the double of D along K is the unknotted 2-sphere S in $S^4$. Answering a question of Livingston-Meier, we find smoothly slice (in fact doubly slice) knots in the 3-sphere with Alexander polynomial equal to 1 that are not smoothly superslice. A knot K in the 3-sphere is superslice if there is a slice disk D in the 4-ball such that the double of D along K is the unknotted 2-sphere S in $S^4$. Answering a question of Livingston-Meier, we find smoothly slice (in fact doubly slice) knots in the 3-sphere with Alexander polynomial equal to 1 that are not smoothly superslice. △ Less

Submitted 13 January, 2016; originally announced January 2016.

Comments: 4 pages

MSC Class: 57M25

Journal ref: New York Journal of Mathematics Volume 22 (2016) 711-714

Absolutely exotic compact 4-manifolds

Authors: Selman Akbulut, Daniel Ruberman

Abstract: We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic structure contains a pair of codimension-zero submanifolds homotopy equivalent to W that are absolutely exotic copies of each other. In this context, {\em absol… ▽ More We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic structure contains a pair of codimension-zero submanifolds homotopy equivalent to W that are absolutely exotic copies of each other. In this context, {\em absolute} means that the exotic structure is not relative to a particular parameterization of the boundary. Our examples are constructed by modifying a relatively exotic manifold by adding an invertible homology cobordism along its boundary. Applying this technique to corks (contractible manifolds with a diffeomorphism of the boundary that does not extend to a diffeomorphism of the interior) gives examples of absolutely exotic smooth structures on contractible 4-manifolds. △ Less

Submitted 11 December, 2014; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: New title reflecting major revision; the main theorem now converts any relatively exotic manifold into an absolutely exotic one, and yields homotopy equivalent manifolds not equivalent rel boundary. 21 pages, 13 figures, some in color

MSC Class: 57N13

Stable isotopy in four dimensions

Authors: Dave Auckly, Hee Jung Kim, Paul Melvin, Daniel Ruberman

Abstract: We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links… ▽ More We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a consequence, analogous families of diffeomorphisms and metrics of positive scalar curvature for such 4-manifolds. We also construct families of smoothly distinct links, all of whose corresponding proper sublinks are smoothly isotopic, that become smoothly isotopic after stabilizing. △ Less

Submitted 11 November, 2014; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 24 pages; many color figures; Updated version: 25 pages; minor expository changes; to appear in Journal London Mathematical Society

MSC Class: 57R55 (Primary); 57N13; 57R52 (Secondary)

Generalized Heegaard Floer correction terms

Authors: Adam Simon Levine, Daniel Ruberman

Abstract: We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. We make use of the action of $H_1(Y)$ in Heegaard Floer homology to generalize the Ozsváth-Szabó correction terms for $3$-manifolds with standard $\operatorname{HF}^\infty$. We establish the basic properties of these invariants: conjugation invariance, behavior under orientation reversal, additivity, and spin$^c$ rational homology cobordism invariance. △ Less

Submitted 10 March, 2014; originally announced March 2014.

Comments: To appear in Proceedings of the 20th Gökova Geometry/Topology Conference

MSC Class: 57M27; 57R28; 57Q60

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

Index theory of the de Rham complex on manifolds with periodic ends

Authors: Tomasz Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away… ▽ More We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away from the exceptional ones. △ Less

Submitted 15 October, 2013; originally announced October 2013.

MSC Class: 58J20; 58J28; 58J35; 57Q45

Journal ref: Algebr. Geom. Topol. 14 (2014) 3689-3700

Casson-type invariants from the Seiberg-Witten equations

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This is a survey of our recent work with Tom Mrowka on Seiberg-Witten gauge theory and index theory for manifolds with periodic ends. We explain how this work leads to a new invariant, which is related to the classical Rohlin invariant of homology 3-spheres and to the Furuta-Ohta invariant originating in Yang-Mills gauge theory. We give some new calculations of our invariant for 4-dimensional mapp… ▽ More This is a survey of our recent work with Tom Mrowka on Seiberg-Witten gauge theory and index theory for manifolds with periodic ends. We explain how this work leads to a new invariant, which is related to the classical Rohlin invariant of homology 3-spheres and to the Furuta-Ohta invariant originating in Yang-Mills gauge theory. We give some new calculations of our invariant for 4-dimensional map** tori. △ Less

Submitted 27 June, 2013; v1 submitted 9 March, 2013; originally announced March 2013.

Comments: Slightly expanded exposition; to appear in volume "New Ideas in Low-Dimensional Topology", edited by L. Kauffman and V. Manturov

MSC Class: 57M27

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

An index theorem for end-periodic operators

Authors: Tomasz Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We extend the Atiyah, Patodi, and Singer index theorem for first order differential operators from the context of manifolds with cylindrical ends to manifolds with periodic ends. This theorem provides a natural complement to Taubes' Fredholm theory for general end-periodic operators. Our index theorem is expressed in terms of a new periodic eta-invariant that equals the Atiyah-Patodi-Singer eta-in… ▽ More We extend the Atiyah, Patodi, and Singer index theorem for first order differential operators from the context of manifolds with cylindrical ends to manifolds with periodic ends. This theorem provides a natural complement to Taubes' Fredholm theory for general end-periodic operators. Our index theorem is expressed in terms of a new periodic eta-invariant that equals the Atiyah-Patodi-Singer eta-invariant in the cylindrical setting. We apply this periodic eta-invariant to the study of moduli spaces of Riemannian metrics of positive scalar curvature. △ Less

Submitted 24 July, 2014; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 72 pages; extended and expanded from earlier versions. Introduction of twisted eta invariants with applications to moduli of metrics of positive scalar curvature

MSC Class: 58J20; 58J28; 58J35; 35K05

Journal ref: Compositio Math. 152 (2016) 399-444

Concordance to links with unknotted components

Authors: Jae Choon Cha, Daniel Ruberman

Abstract: We show that there are links whose individual components are concordant to the unknot, but which are not concordant to any link with unknotted components. We give examples in the topological category, and examples in the smooth category which are topologically slice. We also give generalizations regarding components of prescribed Alexander polynomials. The main tools are covering link calculus, al… ▽ More We show that there are links whose individual components are concordant to the unknot, but which are not concordant to any link with unknotted components. We give examples in the topological category, and examples in the smooth category which are topologically slice. We also give generalizations regarding components of prescribed Alexander polynomials. The main tools are covering link calculus, algebraic invariants of rational knot concordance theory, and the correction term of Heegaard Floer homology. △ Less

Submitted 11 February, 2012; v1 submitted 11 March, 2011; originally announced March 2011.

Comments: Final version, to appear in Algebraic & Geometric Topology

MSC Class: 57M25; 57M27; 57N70

Journal ref: Algebr. Geom. Topol. 12 (2012) 963-977

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

Mutation and instanton knot homology

Authors: P. B. Kronheimer, T. S. Mrowka, Daniel Ruberman

Abstract: We show that instanton knot homology is mutation-invariant, as a consequence of earlier work of the third author. We show that instanton knot homology is mutation-invariant, as a consequence of earlier work of the third author. △ Less

Submitted 10 October, 2011; v1 submitted 6 December, 2010; originally announced December 2010.

Comments: This paper has been withdrawn

MSC Class: 57R58; 57M25

The $\barμ$-invariant of Seifert fibered homology spheres and the Dirac operator

Authors: Daniel Ruberman, Nikolai Saveliev

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

Submitted 16 September, 2010; originally announced September 2010.

Comments: 13 pages

MSC Class: 57M27; 57R57; 11F20

Double point surgery and configurations of surfaces

Authors: Hee Jung Kim, Daniel Ruberman

Abstract: We introduce a new operation, double point surgery, on immersed surfaces in a 4-manifold, and use it to construct knotted configurations of surfaces in many 4-manifolds. Taking branched covers, we produce smoothly exotic actions of Z/m x Z/n on simply connected 4-manifolds with complicated fixed-point sets. We introduce a new operation, double point surgery, on immersed surfaces in a 4-manifold, and use it to construct knotted configurations of surfaces in many 4-manifolds. Taking branched covers, we produce smoothly exotic actions of Z/m x Z/n on simply connected 4-manifolds with complicated fixed-point sets. △ Less

Submitted 18 May, 2011; v1 submitted 21 January, 2010; originally announced January 2010.

Comments: Final version; to appear in Journal of Topology. Removed assertion about the restriction of the Z/m x Z/n action to the Z/m and Z/n subgroups

MSC Class: 57Q45 (primary); 57M60 (secondary)

Journal ref: J. Topol. 4 (2011), no. 3, 573-590

Topologically slice knots with nontrivial Alexander polynomial

Authors: Matthew Hedden, Charles Livingston, Daniel Ruberman

Abstract: Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not… ▽ More Let C_T be the subgroup of the smooth knot concordance group generated by topologically slice knots and let C_D be the subgroup generated by knots with trivial Alexander polynomial. We prove the quotient C_T/C_D is infinitely generated, and uncover similar structure in the 3-dimensional rational spin bordism group. Our methods also lead to the construction of links that are topologically, but not smoothly, concordant to boundary links. △ Less

Submitted 7 May, 2011; v1 submitted 10 January, 2010; originally announced January 2010.

Comments: 27 pages, 7 figures. Clarified discussion of Spinc structures; fixed some typos

MSC Class: 57M25

Journal ref: Adv. in Math. 231 (2012), 913-939

Seiberg-Witten equations, end-periodic Dirac operators, and a lift of Rohlin's invariant

Authors: Tomasz S. Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbat… ▽ More We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a 1-parameter family. △ Less

Submitted 4 April, 2011; v1 submitted 27 May, 2009; originally announced May 2009.

Comments: Revision after referee report; section on negative definite manifolds revised. To appear in JDG

Smooth surfaces with non-simply-connected complements

Authors: Hee Jung Kim, Daniel Ruberman

Abstract: We give two constructions of surfaces in simply-connected 4-manifolds with non simply-connected complements. One is an iteration of the twisted rim surgery introduced by the first author. We also construct, for any group G satisfying some simple conditions, a simply-connected symplectic manifold containing a symplectic surface whose complement has fundamental group G. In each case, we produce in… ▽ More We give two constructions of surfaces in simply-connected 4-manifolds with non simply-connected complements. One is an iteration of the twisted rim surgery introduced by the first author. We also construct, for any group G satisfying some simple conditions, a simply-connected symplectic manifold containing a symplectic surface whose complement has fundamental group G. In each case, we produce infinitely many smoothly inequivalent surfaces that are equivalent up to smooth s-cobordism and hence are topologically equivalent for good groups. △ Less

Submitted 14 April, 2008; originally announced April 2008.

Comments: 28 pages, 2 figures

MSC Class: 57R57

Journal ref: Algebr. Geom. Topol. 8 (2008), no. 4, 2263-2287

Dirac operators on manifolds with periodic ends

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappe… ▽ More This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature. △ Less

Submitted 11 April, 2007; v1 submitted 9 February, 2007; originally announced February 2007.

Comments: 22 pages. Additional references and acknowledgements added

MSC Class: 57R57; 58J20

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

Algebraic and Heegaard-Floer invariants of knots with slice Bing doubles

Authors: Jae Choon Cha, Charles Livingston, Daniel Ruberman

Abstract: If the Bing double of a knot K is slice, then K is algebraically slice. In addition, Heegaard--Floer concordance invariants developed by Ozsvath-Szabo and by Manolescu-Owens vanish on K. If the Bing double of a knot K is slice, then K is algebraically slice. In addition, Heegaard--Floer concordance invariants developed by Ozsvath-Szabo and by Manolescu-Owens vanish on K. △ Less

Submitted 16 January, 2007; v1 submitted 14 December, 2006; originally announced December 2006.

Comments: 8 pages, 3 figures. Updated some references

MSC Class: 57M25

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society 144 (2008) 403-410,

Topological triviality of smoothly knotted surfaces in 4-manifolds

Authors: Hee Jung Kim, Daniel Ruberman

Abstract: Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we construct examples of knotted surfaces whose complements have cyclic fundamental gro… ▽ More Some generalizations and variations of the Fintushel-Stern rim surgery are known to produce smoothly knotted surfaces. We show that if the fundamental groups of their complements are cyclic, then these surfaces are topologically unknotted. Using a twist-spinning construction from high-dimensional knot theory, we construct examples of knotted surfaces whose complements have cyclic fundamental groups. △ Less

Submitted 21 October, 2008; v1 submitted 6 October, 2006; originally announced October 2006.

Comments: Final version; appeared in AMS Transactions. 15 pages, 2 figures

MSC Class: 57R57

Journal ref: Trans. Amer. Math. Soc. 360 (2008), 5869-5881

Casson--type invariants in dimension four

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This article surveys our ongoing project about the relationship between invariants extending the classical Rohlin invariant of homology spheres and those coming from 4-dimensional (Yang-Mills) gauge theory. The main conjecture towards which this project is directed is that the Rohlin invariant and the gauge theoretic invariant coincide for a homology $S^1\times S^3$. We discuss the implications… ▽ More This article surveys our ongoing project about the relationship between invariants extending the classical Rohlin invariant of homology spheres and those coming from 4-dimensional (Yang-Mills) gauge theory. The main conjecture towards which this project is directed is that the Rohlin invariant and the gauge theoretic invariant coincide for a homology $S^1\times S^3$. We discuss the implications of this conjecture for some classical problems in low-dimensional topology, and progress we have made towards proving the conjecture. △ Less

Submitted 6 January, 2005; originally announced January 2005.

Comments: 30 pages, 5 figures. To appear in Proceedings of the Fields-McMaster Conference on Geometry and Topology of Manifolds

MSC Class: 57M27; 57R58; 58D27

Rohlin's invariant and gauge theory III. Homology 4--tori

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's integral lift of the Rohlin invariant of a homology sphere. We consider two invariants of a spin 4-manifold that has the integral homology of a 4-torus. The first… ▽ More This is the third in our series of papers relating gauge theoretic invariants of certain 4-manifolds with invariants of 3-manifolds derived from Rohlin's theorem. Such relations are well-known in dimension three, starting with Casson's integral lift of the Rohlin invariant of a homology sphere. We consider two invariants of a spin 4-manifold that has the integral homology of a 4-torus. The first is a degree zero Donaldson invariant, counting flat connections on a certain SO(3)-bundle. The second, which depends on the choice of a 1-dimensional cohomology class, is a combination of Rohlin invariants of a 3-manifold carrying the dual homology class. We prove that these invariants, suitably normalized, agree modulo 2, by showing that they coincide with the quadruple cup product of 1-dimensional cohomology classes. △ Less

Submitted 28 October, 2005; v1 submitted 7 April, 2004; originally announced April 2004.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol9/paper47.abs.html

MSC Class: 57R57; 57R58

Journal ref: Geom. Topol. 9 (2005) 2079-2127

Rohlin's invariant and gauge theory II. Map** tori

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the map** torus of a finite-order diffeomorphism of a homology sphere. The answe… ▽ More This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology 3-spheres. Our main result is a calculation of the Furuta-Ohta invariant for the map** torus of a finite-order diffeomorphism of a homology sphere. The answer is the equivariant Casson invariant (Collin-Saveliev 2001) if the action has fixed points, and a version of the Boyer-Nicas (1990) invariant if the action is free. We deduce, for finite-order map** tori, the conjecture of Furuta and Ohta that their invariant reduces mod 2 to the Rohlin invariant of a manifold carrying a generator of the third homology group. Under some transversality assumptions, we show that the Furuta-Ohta invariant coincides with the Lefschetz number of the action on Floer homology. Comparing our two answers yields an example of a diffeomorphism acting trivially on the representation variety but non-trivially on Floer homology. △ Less

Submitted 12 February, 2004; v1 submitted 11 June, 2003; originally announced June 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper2.abs.html

MSC Class: 57R57; 57R58

Journal ref: Geom. Topol. 8 (2004) 35-76

Rohlin's invariant and gauge theory, I. Homology 3-tori

Authors: Daniel Ruberman, Nikolai Saveliev

Abstract: This is the first in a series of papers exploring the relationship between the Rohlin invariant and gauge theory. We discuss the Casson-type invariant of a 3-manifold with the integral homology of a torus, given by counting projectively flat connections. We show that its mod 2 evaluation is given by the triple cup product in cohomology, and so it coincides with a sum of Rohlin invariants. Our co… ▽ More This is the first in a series of papers exploring the relationship between the Rohlin invariant and gauge theory. We discuss the Casson-type invariant of a 3-manifold with the integral homology of a torus, given by counting projectively flat connections. We show that its mod 2 evaluation is given by the triple cup product in cohomology, and so it coincides with a sum of Rohlin invariants. Our counting argument makes use of a natural action of the first cohomology on the moduli space of projectively flat connections; along the way we construct perturbations that are equivariant with respect to this action. Combined with the Floer exact triangle, this gives a purely gauge-theoretic proof that Casson's homology sphere invariant reduces mod 2 to the Rohlin invariant. △ Less

Submitted 8 June, 2003; v1 submitted 11 February, 2003; originally announced February 2003.

Comments: Changed title to fit with succeeding papers in series. Added reference to Turaev's work

MSC Class: 57N10

Journal ref: Comm. Math. Helv., 79 (2004), no. 3, 618--646.

The Seiberg-Witten invariants of manifolds with wells of negative curvature

Authors: Daniel Ruberman

Abstract: We extend the vanishing theorem for the Seiberg-Witten invariants of a manifold with positive scalar curvature to the case when the curvature is allowed to be negative on a set of small volume. (The precise curvature bounds are described in the paper.) The idea is to combine the method of `semigroup domination' with the Weitzenbock formula. The same curvature hypothesis implies the vanishing of… ▽ More We extend the vanishing theorem for the Seiberg-Witten invariants of a manifold with positive scalar curvature to the case when the curvature is allowed to be negative on a set of small volume. (The precise curvature bounds are described in the paper.) The idea is to combine the method of `semigroup domination' with the Weitzenbock formula. The same curvature hypothesis implies the vanishing of the Seiberg-Witten invariant of any finite covering space. We also show that, in high dimensions, a spin manifold with mostly positive scalar curvature in fact admits a metric of positive scalar curvature. △ Less

Submitted 22 May, 2002; originally announced May 2002.

MSC Class: 57R57; 53C21

Positive scalar curvature, diffeomorphisms and the Seiberg-Witten invariants

Authors: Daniel Ruberman

Abstract: We study the space of positive scalar curvature (psc) metrics on a 4-manifold, and give examples of simply connected manifolds for which it is disconnected. These examples imply that concordance of psc metrics does not imply isotopy of such metrics. This is demonstrated using a modification of the 1-parameter Seiberg-Witten invariants which we introduced in earlier work. The invariant shows that… ▽ More We study the space of positive scalar curvature (psc) metrics on a 4-manifold, and give examples of simply connected manifolds for which it is disconnected. These examples imply that concordance of psc metrics does not imply isotopy of such metrics. This is demonstrated using a modification of the 1-parameter Seiberg-Witten invariants which we introduced in earlier work. The invariant shows that the diffeomorphism group of the underlying 4-manifold is disconnected. We also study the moduli space of positive scalar curvature metrics modulo diffeomorphism, and give examples to show that this space can be disconnected. The (non-orientable) 4--manifolds in this case are explicitly described, and the components in the moduli space are distinguished by a Pin^c eta invariant. △ Less

Submitted 15 January, 2002; v1 submitted 3 May, 2001; originally announced May 2001.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol5/paper28.abs.html

MSC Class: 57R57; 53C21

Journal ref: Geom. Topol. 5 (2001) 895-924

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

Embedding tangles in links

Authors: Daniel Ruberman

Abstract: We reprove and extend a result of David Krebes (J. Knot Theory Ramif. 8 (1999), 321-352) giving an obstruction to embedding a tangle T into a link L. Closing the tangle up in the two obvious ways gives rise to two links, the numerator and denominator links n(T) and d(T). Applying a homological argument to the 2-fold branched covers of these links, we show that the gcd of the determinants of the… ▽ More We reprove and extend a result of David Krebes (J. Knot Theory Ramif. 8 (1999), 321-352) giving an obstruction to embedding a tangle T into a link L. Closing the tangle up in the two obvious ways gives rise to two links, the numerator and denominator links n(T) and d(T). Applying a homological argument to the 2-fold branched covers of these links, we show that the gcd of the determinants of the numerator and denominator divides the determinant of L. △ Less

Submitted 25 January, 2000; originally announced January 2000.

Comments: Latex; 8 pages, 2 figures. To appear in J. Knot Theory Ramif

MSC Class: 57M25

A polynomial invariant of diffeomorphisms of 4-manifolds

Authors: Daniel Ruberman

Abstract: We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism group of certain simply-connected 4-manifolds has infinitely generated π_0. We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism group of certain simply-connected 4-manifolds has infinitely generated π_0. △ Less

Submitted 22 November, 1999; originally announced November 1999.

Comments: 16 pages. Published copy, also available at http://www.maths.warwick.ac.uk/gt/GTMon2/paper23.abs.html

Report number: G&T migration mon2-23 MSC Class: 57R52; 57R57

Journal ref: Geom. Topol. Monogr. 2 (1999), 473-488

An obstruction to smooth isotopy in dimension 4

Authors: Daniel Ruberman

Abstract: Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first example of a diffeomorphism of a simply-connected 4-manifold which is homotopic to the identity map, but not smoothly isotopic to the identity. Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first example of a diffeomorphism of a simply-connected 4-manifold which is homotopic to the identity map, but not smoothly isotopic to the identity. △ Less

Submitted 14 December, 1998; v1 submitted 9 July, 1998; originally announced July 1998.

Comments: Minor revisions (typos and one formula). AMS-LaTeX. 17 pages, 2 postscript figures. To appear in Mathematical Research Letters