Inversive distance circle packing metric was introduced by P Bowers and K Stephenson as a generalization of Thurston’s circle packing metric. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo proved the infinitesimal rigidity and then Luo proved the global rigidity. In this paper, based on an observation of Zhou, we prove this conjecture for inversive distance in (−1, +∞)by variational principles. We also study the global rigidity of a combinatorial curvature with respect to the inversive distance circle packing metrics where the inversive distance is in (−1, +∞).

No abstract uploaded!

We study the Seiberg-Witten invariant λSW(X) of smooth spin 4-manifolds X with integral homology of S1×S3 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ø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.

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

We prove a quantitative bi-Lipschitz non-embedding theorem for the Heisenberg group with its Carnot–Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans–Linial semidefinite relaxation of the sparsest cut problem.