By studying the Seiberg-Witten equations on end-periodic manifolds, we give an obstruction on the existence of positive scalar curvature metric on compact 4-manifolds with the same homology as S1×S3. This obstruction is given in terms of the relation between the Frøyshov invariant of the generator of H3(X;Z) with the 4-dimensional Casson invariant λSW(X) defined by Mrowka-Ruberman-Saveliev. Along the way, we develop a framework that can be useful in further study of the Seiberg-Witten theory on general end-periodic manifolds.

We introduce a new geometric flow, called the chord shortening flow, which is the negative gradient flow for the length functional on the space of chords with end points lying on a fixed submanifold in Euclidean space. As an application, we give a simplified proof of a classical theorem of Lusternik and Schnirelmann (and a generalization by Riede and Hayashi) on the existence of multiple orthogonal geodesic chords. For a compact convex planar domain, we show that any convex chord not orthogonal to the boundary would shrink to a point in finite time under the flow.

Kronheimer-Mrowka recently proved that the Dehn twist along a 3-sphere in the neck of K3#K3 is not smoothly isotopic to the identity. This provides a new example of self-diffeomorphisms on 4-manifolds that are isotopic to the identity in the topological category but not smoothly so. (The first such examples were given by Ruberman.) In this paper, we use the Pin(2)-equivariant Bauer-Furuta invariant to show that this Dehn twist is not smoothly isotopic to the identity even after a single stabilization (connected summing with the identity map on S2×S2). This gives the first example of exotic phenomena on simply connected smooth 4-manifolds that do not disappear after a single stabilization.

In this paper we study the solvability of the rotationally symmetric centroaffine Minkowski problem. By delicate blow-up analyses, we remove a technical condition in the existence result obtained by Lu and Wang [30].

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