Signatures of Topological Branched Covers

Let $X^4$ and $Y^4$ be smooth manifolds and $f: X\to Y$ a branched cover with branching set $B$. Classically, if $B$ is smoothly embedded in $Y$, the signature $\sigma (X)$ can be computed from data about $Y$, $B$ and the local degrees of $f$. When $f$ is an irregular dihedral cover and $B\subset Y$ smoothly embedded away from a cone singularity whose link is $K$, the second author gave a formula for the contribution $\Xi (K)$ to $\sigma (X)$ resulting from the non-smooth point. We extend the above results to the case where $Y$ is a topological four-manifold and $B$ is locally flat, away from the possible singularity. Owing to the presence of points on $B$ which are not locally flat, $X$ in this setting is a stratified pseudomanifold, and we use the intersection homology signature of $X$, $\sigma _{IH}(X)$. For any knot $K$ whose determinant is not $\pm 1$, a homotopy ribbon obstruction is derived from $\Xi (K)$, providing a new technique to potentially detect slice knots that are not ribbon.

THE SIGNATURE OF PARTIALLY DEFINED LOCAL COEFFICIENT SYSTEMS

Intersection homology enables the definition of a twisted signature of a stratified pseudomanifold with coefficients in a local system that is typically only given on the top stratum. If the local system extends to the entire space, then the twisted signature can be computed by a version of a characteristic class formula first observed by Atiyah for smooth fiber bundles. In the first part of this paper, we construct examples of singular spaces, equipped with local systems that do not extend, such that the above characteristic class formula fails. In the second part, we consider smooth codimension two embeddings of manifolds. We view the target as a stratified space with bottom stratum the image of the embedding and top stratum the complement. When the embedded manifold is a sphere, we establish various formulae that compute the twisted signature even when the local system does not extend from the top stratum to the entire space.