In this paper, we exploit a subtle indeterminacy in the definition of the spherical Kervaire-Milnor invariant which was discovered by R. Stong to construct non-spin 4-manifolds with even intersection form and prescribed signature.
In this paper, we prove a number of inequalities between the signature and the Betti numbers of a 4-manifold with even intersection form. Furthermore, we introduce a new geometric group invariant and discuss some of its properties.
A generalized cusp $C$ is diffeomorphic to $[0,infty)$ times a closed Euclidean manifold. Geometrically $C$ is the quotient of a properly convex domain by a lattice, $Gamma$, in one of a family of affine groups $G(psi)$, parameterized by a point $psi$ in the (dual closed) Weyl chamber for $SL(n+1,mathbb{R})$, and $Gamma$ determines the cusp up to equivalence. These affine groups correspond to certain fibered geometries, each of which is a bundle over an open simplex with fiber a horoball in hyperbolic space, and the lattices are classified by certain Bieberbach groups plus some auxiliary data. The cusp has finite Busemann measure if and only if $G(psi)$ contains unipotent elements. There is a natural underlying Euclidean structure on $C$ unrelated to the Hilbert metric.
The paper contains a new proof that a complete, non-compact hyperbolic $3$-manifold $M$ with finite volume contains an immersed, closed, quasi-Fuchsian surface.
This paper uses work of Haettel to classify all subgroups of PGL(4,R) isomorphic to (R^3 , +), up to conjugacy. We use this to show there are 4 families of generalized cusps up to projective equivalence in dimension 3.
We show that the set of even positive definite lattices that arise from smooth, simply-connected 4-manifolds bounded by a fixed homology 3-sphere can depend on more than the ranks of the lattices. We provide two homology 3-spheres with distinct sets of such lattices, each containing a distinct nonempty subset of the rank 24 Niemeier lattices.