Related papers: $\mathbb{Z}_n$-manifolds in 4-dimensional graph-ma…

We show that if $M$ is an orientable 4-dimensional infrasolvmanifold and either $\beta=\beta_1(M;\mathbb{Q})\geq2$ or $M$ is a $\mathbb{S}ol_0^4$- or a $\mathbb{S}ol_{m,n}^4$-manifold (with $m\not=n$) then $M$ is parallelizable. There are…

We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a…

We construct examples of geometrically decomposable aspherical 4-manifolds with non-zero signature. We show that all such 4-manifolds satisfy the inequality (of Bogomolov--Miyaoka--Yau type) $\chi\geq 3|\sigma|$. We also construct examples…

We introduce a flow of maps from a compact surface of arbitrary genus to an arbitrary Riemannian manifold which has elements in common with both the harmonic map flow and the mean curvature flow, but is more effective at finding minimal…

We prove:(1) the existence, for every integer n > 3, of a noncompact smooth n-dimensional topological manifold whose diffeomorphism group contains an isomorphic copy of every finitely presented group; (2) a finiteness theorem on finite…

Previously, Reynolds showed that any irreducible nonsurjective endomorphism can be represented by an irreducible immersion on a finite graph. We give a new proof of this and also show a partial converse holds when the immersion has…

We classify isotopy classes of irreducible Heegaard splittings of solvmanifolds. If the monodromy of the solvmanifold can be expressed as a 2 x 2 matrix with 0 in the lower right hand corner (as always is true when the absolute value of the…

We classify non-reductive four-dimensional homogeneous conformally Einstein manifolds.

In this paper we investigate the relationship between the existence of parallel semi-Riemannian metrics of a connection and the reducibility of the associated holonomy group. The question as to whether the holonomy group necessarily reduces…

We show that the homotopy type of a 4-manifold $M$ whose fundamental group is a finitely presentable $PD_3$-group $\pi$ and with $w_1(M)=w_1(\pi)$ is determined by $\pi$, $\pi_2(M)$, $k_1(M)$ and the equivariant intersection pairing…

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

The above named paper has been withdrawn. A colleague has observed a gap in the proof of isotopy invariance, which can be repaired by reducing the coefficients (which lie in (1/6)Z) of the antisymmetric kanji with chords incident with more…

We propose an abelian categorification of $\hat{Z}$-invariants for Seifert $3$-manifolds. First, we give a recursive combinatorial derivation of these $\hat{Z}$-invariants using graphs with certain hypercubic structures. Next, we consider…

Let $H$ be a strongly irreducible Heegaard surface in a closed oriented Riemannian $3$-manifold. We prove that $H$ is either isotopic to a minimal surface of index at most one or isotopic to the boundary of a tubular neighborhood about a…

We prove the following: 1. Let epsilon>0 and let S_1,S_2 be two closed hyperbolic surfaces. Then there exists locally-isometric covers S'_i of S_i (for i=1,2) such that there is a (1+\epsilon) bi-Lipschitz homeomorphism between S'_1 and…

Thom-Pontrjagin constructions are used to give a computable necessary and sufficient condition when a homomorphism $\phi : H^n(L;Z)\to H^n(M;Z)$ can be realized by a map $f:M\to L$ of degree $k$ for closed $(n-1)$-connected $2n$-manifolds…

We use a new geometric construction, grope splitting, to give a sharp bound for separation of surfaces in 4-manifolds. We also describe applications of this technique in link-homotopy theory, and to the problem of locating pi_1-null…

Let $X$ be an oriented 4-manifold which does not have simple SW-type, for example a blow-up of a rational or ruled surface. We show that any two cohomologous and deformation equivalent symplectic forms on $X$ are isotopic. This implies that…

Our main result gives an adjunction inequality for embedded surfaces in certain $4$-manifolds with contact boundary under a non-vanishing assumption on the Bauer--Furuta type invariants. Using this, we give infinitely many knots in $S^3$…