Related papers: On the Bauer--Furuta construction

We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant…

In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element…

We first give a short intrinsic, diagrammatic proof of the First Fundamental Theorem of invariant theory (FFT) for the special orthogonal group $\text{SO}_m(\mathbb{C})$, given the FFT for $\text{O}_m(\mathbb{C})$. We then define, by means…

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The…

When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic, the difference is measured by a homology class in the total space of the bundle. We call this the relative smooth structure class. Rationally and…

We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant…

We generalize the Cohen-Jones-Segal construction to the Morse-Bott setting. In other words, we define framings for Morse-Bott analogues of flow categories and associate a stable homotopy type to this data. We use this to recover the stable…

We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and…

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation…

This article deals with computing the cohomology of Schur functors applied to tautological bundles on super Grassmannians. We show that in a range of cases, the cohomology is a free module over the cohomology of the structure sheaf and that…

We study the interplay between the Fourier-Mukai transform and the decomposition theorem for an integrable system $\pi: M \rightarrow B$. Our main conjecture is that the Fourier-Mukai transform of sheaves of K\"ahler differentials, after…

Replacing configurations of points by configurations of tubular neighbourhoods (or discs) in a manifold, we are able to define a natural scanning map that is equivariant under the action of the diffeomorphism group of the manifold. We also…

We construct the geometric Baum-Connes assembly map for twisted Lie groupoids, that means for Lie groupoids together with a given groupoid equivariant $PU(H)-$principle bundle. The construction is based on the use of geometric deformation…

We use a variation of a classical construction of A. Hatcher to construct virtually all stable exotic smooth structures on compact smooth manifold bundles whose fibers have sufficiently large odd dimension (at least twice the base dimension…

We determine the local equivalence class of the Seiberg-Witten Floer stable homotopy type of a spin rational homology 3-sphere $Y$ embedded into a spin rational homology $S^{1} \times S^{3}$ with a positive scalar curvature metric so that…

Sequences of $n$-th order bidual Banach spaces, called tower systems and their direct and inverse limits are considered. Motivated by recent applications in uniform algebras, we introduce two functors: $\textrm{Dir}$ and $\textrm{Inv}$…

Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any…

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…

Looking at the cartesian product X \times X of a topological space X with itself, a natural map to be considered on that object is the involution that interchanges the coordinates, i.e. that maps (x, y) to (y, x). The so-called 'symmetric…

In this paper, we study Manolescu's construction of the relative Bauer-Furuta invariants arising from the Seiberg-Witten equations on 4-manifolds with boundary. The main goal is to introduce a new gauge fixing condition in order to apply…