Related papers: Algorithms in 4-manifold topology

A version of Kirby calculus for spin and framed three-manifolds is given and is used to construct invariants of spin and framed three-manifolds in two situations. The first is ribbon *-categories which possess odd degenerate objects. This…

To each isolated critical point of a smooth function on a 3-manifold we put in correspondence a tree (graph without cycles). We will prove that functions are topologically equivalent in the neighborhoods of critical points if and only if…

Given a 4-manifold with a homologically trivial and locally-linear cyclic group action, we obtain necessary and sufficient conditions for the existence of equivariant bundles. The conditions are derived from the twisted signature formula…

Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been…

The main result of this paper asserts that if a Seifert fibered 4-manifold has nonzero Seiberg-Witten invariant, the homotopy class of regular fibers has infinite order. This is a nontrivial obstruction to smooth circle actions; as…

In a previous work it is shown that every finite group $G$ of diffeomorphisms of a connected smooth manifold $M$ of dimension $\geq 2$ equals, up to quotient by the flow, the centralizer of the group of smooth automorphisms of a…

4-manifolds have special topological properties which can be used to get a different view on quantum mechanics. One important property (connected with exotic smoothness) is the natural appearance of 3-manifold wild embeddings (Alexanders…

We prove a surgery formula for the ordinary Seiberg-Witten invariants of smooth $4$-manifolds with $b_1 =1$. Our formula expresses the Seiberg-Witten invariants of the manifold after the surgery, in terms of the original Seiberg-Witten…

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball. To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the…

In this paper, we introduce the relative $\mathcal{L}$-invariant $r\mathcal{L}(X)$ of a smooth, orientable, compact 4-manifold $X$ with boundary. This invariant is defined by measuring the lengths of certain paths in the cut complex of a…

We show that any topological, closed, oriented, non-spin $4$-manifold with fundamental group $\mathbb{Z}_{4k}$ and $\min(b_2^+, b_2^-)\geq 15$, has either none or infinitely many distinct smooth structures. Furthermore, we construct…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is…

We compute the oriented cobordism group of fold maps of 4-manifolds into the space with all the possible restrictions (and also with no restriction) to the singular fibers. We also give geometric invariants which describe completely the…

We prove that there are infinitely many pairs of homeomorphic non-diffeomorphic smooth 4-manifolds, such that in each pair one manifold admits an Einstein metric and the other does not. We also show that there are closed 4-manifolds with…

We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism…

For every $k \geq 2$ and $n \geq 2$ we construct $n$ pairwise homotopically inequivalent simply-connected, closed $4k$-dimensional manifolds, all of which are stably diffeomorphic to one another. Each of these manifolds has hyperbolic…

In this paper we find a criterion for the Gauss map of an immersed smooth submanifold in some Lie group with left invariant metric to be harmonic. Using the obtained expression we prove some necessary and sufficient conditions for the…

It is a classical important problem of differential topology by Thom; for a homology class of a compact manifold, can we realize this by a closed submanifold with no boundary? This is true if the degree of the class is smaller or equal to…

It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up…