Related papers: $\mathrm{Pin}^-(2)$-monopole invariants

We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the…

We propose a way of computing 4-manifold invariants, old and new, as chiral correlation functions in half-twisted 2d $\mathcal{N}=(0,2)$ theories that arise from compactification of fivebranes. Such formulation gives a new interpretation of…

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…

We use classical obstruction theory \`{a} la Eilenberg-Steenrod to obtain a homotopy classification of $\mathrm{Spin}(7)$-structures on compact $8$-manifolds with abelian fundamental group. As an application, we show that a compact,…

Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the…

The adjunction inequality is a key tool for bounding the genus of smoothly embedded surfaces in 4-manifolds. Using gauge-theoretic invariants, many versions of this inequality have been established for both closed surfaces and surfaces with…

A regularization procedure developed in [1] for the integral curvature invariants on manifolds with conical singularities is generalized to the case of squashed cones. In general, the squashed conical singularities do not have rotational…

We give a new, connected-sum-like construction of Riemannian metrics with special holonomy G_2 on compact 7-manifolds. The construction is based on a gluing theorem for appropriate elliptic partial differential equations. As a prerequisite,…

Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to…

We construct and study the skein lasagna module obtained by importing the Bar-Natan Khovanov homology package. For 4-manifolds satisfying a non-vanishing condition, we produce pairs of exotic surfaces (with boundary) by using the behavior…

A smooth four manifold is of finite type $r$ if its Donaldson invariant satisfies D((x^2-4)^r)=0. We prove that every simply connected manifold is of finite type by using the structure of Donaldson invariants in the presence of immersed…

We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$…

For each odd integer $p > 1$, we construct infinitely many pairwise non-diffeomorphic irreducible smooth structures on a definite 4-manifold with infinite fundamental group whose abelianization is $\Z/2p\Z\times \Z/2\Z$.

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…

Inspired by a recent result of Levine-Lidman-Piccirillo, we construct infinitely many exotic smooth structures on some closed four-manifolds with definite intersection form and fundamental group isomorphic to $\Z /2\Z$. Similar…

We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of…

For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot…

We define Seiberg-Witten equations on closed manifolds endowed with a Riemannian foliation of codimension 4. When the foliation is taut, we show compactness of the moduli space under some hypothesis satisfied for instance by closed…

Given a closed four-manifold $X$ with an indefinite intersection form, we consider smoothly embedded surfaces in $X \setminus $int$(B^4)$, with boundary a knot $K \subset S^3$. We give several methods to bound the genus of such surfaces in…

We prove the existence of non-trivial irreducible SU(2)-monopoles with Dirac singularities on any rational homology 3-sphere, equipped with any Riemannian metric, using a gluing construction.