Source author record

Daniel Ruberman

Daniel Ruberman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

25works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2026arXiv

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

We give examples of spin $4$-manifolds with boundary $(M,\partial M)$ such that the boundary $\partial M$ has a positive scalar curvature metric which cannot be extended to a positive scalar curvature metric on $M$ with mean convex boundary. These manifolds have the equivalent analytic property that for any metric $g$ on $M$, the conformal Laplacian on $M$ with appropriate boundary conditions and the conformal Laplacian on $\partial M$ cannot both be positive. The obstruction to the positivity of the conformal Laplacians 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 directly treat metrics which are not a product near the boundary.

preprint2020arXiv

On the monopole Lefschetz number of finite order diffeomorphisms

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 mapping 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.

preprint2017arXiv

4-dimensional analogues of Dehn's lemma

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.

preprint2016arXiv

Topological realizations of line arrangements

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.

preprint2014arXiv

Absolutely exotic compact 4-manifolds

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.

preprint2014arXiv

Stable isotopy in four dimensions

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.

preprint2013arXiv

Casson-type invariants from the Seiberg-Witten equations

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 mapping tori.

preprint2013arXiv

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

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.

preprint2013arXiv

Non-orientable surfaces in homology cobordisms

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.

preprint2012arXiv

Concordance to links with unknotted components

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.

preprint2011arXiv

Concordance properties of parallel links

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Topologically slice knots with nontrivial Alexander polynomial

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.

preprint2010arXiv

Smooth concordance of links topologically concordant to the Hopf link

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.

preprint2007arXiv

Knot concordance and Heegaard Floer homology invariants in branched covers

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.

preprint2005arXiv

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

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.

preprint2004arXiv

Rohlin's invariant and gauge theory II. Mapping tori

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 mapping 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 mapping 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.

preprint2002arXiv

Positive scalar curvature, diffeomorphisms and the Seiberg-Witten invariants

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.