arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1903.01649

On the Bauer-Furuta and Seiberg-Witten invariants of families of $4$-manifolds

David Baraglia·Hokuto Konno
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the families Seiberg-Witten invariants leading to a series of mod $2$ relations between these invariants and the Chern classes of the spin$^c$ index bundle of the family. As a result we discover a new aspect of the ordinary Seiberg-Witten invariants of a $4$-manifold $X$: they obstruct the existence of certain families of $4$-manifolds with fibres diffeomorphic to $X$. As a concrete geometric application, we shall detect a non-smoothable family of $K3$ surfaces. Our formalism also leads to a simple new proof of the families wall crossing formula. Lastly, we introduce $K$-theoretic Seiberg-Witten invariants and give a formula expressing the Chern character of the $K$-theoretic Seiberg-Witten invariants in terms of the cohomological Seiberg-Witten invariants. This leads to new divisibility properties of the families Seiberg-Witten invariants.

Explore related subjects

math.DGmath.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Baraglia, Hokuto Konno. 2021-12-20. On the Bauer-Furuta and Seiberg-Witten invariants of families of $4$-manifolds. https://doi.org/10.1112/topo.12229

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the topology of manifolds with nonnegative Ricci curvature and linear volume growth

Understanding the relationships between geometry and topology is a central theme in Riemannian geometry. We establish two results on the fundamental groups of open (complete and noncompact) $n$-manifolds with nonnegative Ricci curvature and linear volume growth. First, we show that the fundamental group of such a manifold contains a subgroup $\mathbb{Z}^k$ of finite index, where $0\le k\le n-1$. Second, we prove that if the Ricci curvature is positive everywhere, then the fundamental group is finite. The proofs are based on an analysis of the equivariant asymptotic geometry of successive covering spaces and a plane/halfplane rigidity result for RCD spaces.

math.DG↗
arXiv2026

K-polystability of Asymptotically Conical Kähler-Ricci Shrinkers

Recently, Sun-Zhang have developed an algebraic theory for Kähler-Ricci shrinkers showing that they admit the structure of a polarized Fano fibration $(π: X \to Y, ξ)$. In particular, they conjecture that existence of a Kähler-Ricci shrinker metric is equivalent to a notion of K-stability. We prove one direction of this conjecture, namely that existence of a Kähler-Ricci shrinker metric $g$ implies K-polystability of $(π: X \to Y, ξ)$, in the case that the Ricci curvature of $g$ decays at infinity. As an application, we give a non-existence result: if $M$ is the blowup of a six-dimensional quadric along a two-dimensional subquadric, then the total space $X$ of the cube root of $K_M$ is a polarized Fano fibration not admitting a Kähler-Ricci shrinker.

math.DG↗
arXiv2026

Observações sobre funções potenciais de variedades quase-Einstein não compactas

Neste artigo, estudamos o conjunto de funções potenciais em variedades quase Einstein não compactas. Mostramos que o espaço de todas as funções potenciais positivas em uma variedade tridimensional não compacta quase-Einstein tem dimensão no máximo dois, e que a igualdade vale se e somente se a variedade for isométrica a um produto $B\times\mathbb{R}$, onde $B$ é uma superfície $λ$-Einstein ou um dos exemplos obtidos por L. Berard Bergery e descritos no livro de Besse. Além disso, provamos que qualquer variedade quase-Einstein assintoticamente plana $n$-dimensional com $λ=0$ é necessariamente Ricci-plana.

math.DG↗