arXiv subjects

Daniel Ruberman

Publications and source records attributed to Daniel Ruberman.

At least 19 recordsLinked to original sources

arXiv2025

Exotic families of embeddings

We construct a number of topologically trivial but smoothly non-trivial families of embeddings of 3-manifolds in 4-manifolds. These include embeddings of homology spheres in $S^4$ that are not isotopic but have diffeomorphic complements, and families (parameterized by high-dimensional spheres) of embeddings of any 3-manifold that embeds in a blown-up K3 surface. In each case, the families are constructed so as to be topologically trivial in an appropriate sense. We also illustrate a general technique for converting a non-trivial family of embeddings into a non-trivial family of submanifolds.

math.GT↗

arXiv2025

Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via Seiberg-Witten theory

We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology groups of the homeomorphism group; an infinite rank subgroup becomes trivial after a single stabilization by connected sum with $S^2 \times S^2$. The stabilization result gives rise to an inductive construction, starting from non-isotopic but pseudoisotopic diffeomorphisms constructed by the second author in 1998. The spherical families give $\mathbb{Z}^\infty$ summands in the homology of the classifying spaces of specific subgroups of those diffeomorphism groups. The non-triviality is shown by computations with family Seiberg-Witten invariants, including a gluing theorem adapted to our inductive construction. As applications, we we obtain infinite generation for higher homotopy and homology groups of spaces of embeddings of surfaces and $3$-manifolds in various $4$-manifolds, and for the space of positive scalar curvature metrics on standard PSC $4$-manifolds.

math.GT↗

arXiv2024

Exotic aspherical 4-manifolds

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group trick' of the first author to pairs of exotic 4-manifolds with boundary constructed by the second author and Piccirillo.

math.GT↗

arXiv2024

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

For each integer $n$ we construct an oriented closed simply connected $4$-manifold $X$ admitting a smoothly embedded closed connected surface $\Sigma$ 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.

math.GT↗

arXiv2023

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 $\xi$-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.

math.DG↗

arXiv2022

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

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.

math.GT↗

arXiv2021

On the Thom conjecture in $CP^3$

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

math.GT↗

arXiv2020

On the spectral sets of Inoue surfaces

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 $\alpha^{-1/4} < |z| < \alpha^{1/4}$, where $\alpha >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$.

math.GT↗

arXiv2020

A Levine-Tristram invariant for knotted tori

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.

math.GT↗

arXiv2020

On the monopole Lefschetz number of finite order diffeomorphisms

Let $K$ be a knot in an integral homology 3-sphere $Y$, and $\Sigma$ the corresponding $n$-fold cyclic branched cover. Assuming that $\Sigma$ 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 $\Sigma$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $\eta$-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.

math.GT↗

arXiv2019

Topological spines of 4-manifolds

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.

math.GT↗

arXiv2019

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

We show that the periodic $\eta$-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 $\Omega^{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$.

math.DG↗

arXiv2018

Corks and automorphisms of 3-manifolds

We investigate two specific contractible manifolds (one Stein, and the other non-Stein) whose boundaries have non-trivial mapping 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.

math.GT↗

arXiv2018

Equivariant hyperbolization of $3$-manifolds via homology cobordisms

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.

math.GT↗

arXiv2018

Harmonic spinors on the Davis hyperbolic 4-manifold

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.

math.GT↗

arXiv2018

On the Fr{\o}yshov invariant and monopole Lefschetz number

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{\o}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.

math.GT↗

arXiv2017

Isotopy of surfaces in 4-manifolds after a single stabilization

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.

math.GT↗

arXiv2017

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

We study the Seiberg-Witten invariant $\lambda_{\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{\o}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.

math.GT↗