Related papers: Stein trisections and homotopy 4-balls

In this paper, we provide some characterizations of strong pseudoconvexity by the boundary behavior of intrinsic invariants for smoothly bounded pseudoconvex domains of finite type in $\mathbb{C}^2$. As a consequence, if such domain is…

We classify closed, topological spin$^+$ 4-manifolds with fundamental group $\pi$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(\pi)$ copies of $S^2\times S^2$. In general we…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

Let D be a domain in C^n with smooth boundary, of finite 1-type at a point p in the boundary and such that the closure of D has a basis of Stein Runge neighborhoods. Assume that there exists an analytic disc which intersects the closure of…

We give the definition of the Seiberg-Witten-Floer homology group for a homology 3-sphere. Its Euler characteristic number is a Casson-type invariant. For a four-manifold with boundary a homology sphere, a relative Seiberg-Witten invariant…

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 note we prove that a four-dimensional compact oriented half-confor\-mally flat Riemannian manifold $M^4$ is topologically $\mathbb{S}^{4}$ or $\mathbb{C}\mathbb{P}^{2},$ provided that the sectional curvatures all lie in the interval…

We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…

We study symplectic surfaces in ruled symplectic 4-manifolds which are disjoint from a given symplectic section. As a consequence we see that, in any symplectic 4-manifold, two homologous symplectic surfaces which are sufficiently C^0 close…

We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold $Y$ with $b_1(Y) > 0$ and a spin-c structure $\mathfrak{c}$ on $Y$ with $c_1(\mathfrak{c})$ torsion under an assumption on $Y$. Using…

We show that every locally flat topological embedding of a 3-manifold in a smooth 5-manifold is homotopic, by a small homotopy, to a smooth embedding. We deduce that topologically locally flat concordance implies smooth concordance for…

Let $B^{2n}(R)$ denote the closed $2n$-dimensional symplectic ball of area $R$, and let $\Sigma_g(L)$ be a closed symplectic surface of genus $g$ and area $L$. We prove that there is a symplectic embedding $\bigsqcup_{i=1}^k B^4(R_i) \times…

Watanabe disproved the 4-dimensional Smale conjecture by constructing topologically trivial $D^{4}$-bundles over spheres and showing that they are smoothly nontrivial using configuration space integrals. In this paper, we define a new…

We compute in many classes of examples the first potentially interesting homotopy group of the space of embeddings of either an arc or a circle into a manifold $M$ of dimension $d\geq4$. In particular, if $M$ is a simply connected…

The classical Poincar{\'e} conjecture that every homotopy 3-sphere is diffeomorphic to the 3-sphere is confirmed by Perelman in arXiv papers solving Thurston's program on geometrizations of 3-manifolds. A new confirmation of this conjecture…

We construct a rational homotopy-theoretic model for a classifying space of locally conformally symplectic structures on four-manifolds, and use it to definition a cobordism category of three-manifolds `anchored' by principal $\Omega^2 S^2$…

One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…

We prove that there are rational homology balls $B_p$ smoothly embedded in the $2$-handlebodies associated to certain knots. Furthermore we show that, if we rationally blow up the $2$-handlebody along the embedded rational homology ball…

We prove the "Sullivan Conjecture" on the classification of 4-dimensional complete intersections up to diffeomorphism. Here an $n$-dimensional complete intersection is a smooth complex variety formed by the transverse intersection of $k$…

It is known that $C^1$-smooth strictly convex Radon norms in $\mathbb{R}^2$ can be characterized by the property that the outer billiard map, which corresponds to the unit ball of the norm, has an invariant curve consisting of 4-periodic…