Related papers: Holomorphic polygons and smooth 4-manifold invaria…
We introduce a new diffeomorphism invariant of smooth compact oriented 4-manifolds $X$ with a framed oriented 1-link $L$ in the boundary, where $L$ may be the empty set, and call it {\it Khovanov-Lipshitz-Sarkar skein lasagna homotopy type}…
We study the orbit behavior of a four dimensional smooth symplectic diffeomorphism $f$ near a homoclinic orbit $\Gamma$ to an 1-elliptic fixed point under some natural genericity assumptions. 1-elliptic fixed point has two real eigenvalues…
Closed oriented 4-manifolds with the same geometrically 2-dimensional fundamental group (satisfying certain properties) are classified up to $s$-cobordism by their $w_2$-type, equivariant intersection form and the Kirby-Siebenmann…
This paper addresses several isotopy problems on $4$-manifolds. First, we classify the isotopy classes of embeddings of $\Sigma$ in $\Sigma\times S^2$ that are geometrically dual to $\{\mbox{pt}\}\times S^2$, where $\Sigma$ is a closed…
On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is shown in recent work of Behrend-Liao-Xu that the category of…
Families of smooth closed oriented 4-manifolds with a complex spin structure are studied by means of a family version of the Bauer--Furuta invariants in the context of parametrised stable homotopy theory, leading to a definition of…
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 give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…
We give three formulas expressing the Smale invariant of an immersion f of a (4k-1)-sphere into (4k+1)-space. The terms of the formulas are geometric characteristics of any generic smooth map g of any oriented 4k-dimensional manifold, where…
For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This…
We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and moreover prove that their genus functions are pairwise equivalent. We furthermore show…
It is proved that isomorphisms between algebras of smooth functions on Hausdorff smooth manifolds are implemented by diffeomorphisms. It is not required that manifolds are second countable nor paracompact. This solves a problem stated by A.…
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…
We show that any smooth and proper dg-algebra (over some base ring k) is determined, up to quasi-isomorphism, by its underlying A_n-algebra, for a certain integer n. Similarly, any morphism between two smooth and proper dg-algebras is…
A classical theorem of Micallef says that if $F \colon (\Sigma, g) \to \mathbb{R}^4$ is a stable minimal immersion of an oriented $2$-dimensional complete Riemannian manifold (that is parabolic) into $\mathbb{R}^4$, it is necessarily…
In this paper, we are concerned with studying the existence of invariant complex manifolds of two-dimensional holomorphic systems. From the geometric singular perturbation theory we know that if a slow-fast system has associated a normally…
Let $M$ be a compact and connected smooth manifold endowed with a smooth action of a finite group $\Gamma$, and let $f$ be a $\Gamma$-invariant Morse function on $M$. We prove that the space of $\Gamma$-invariant Riemannian metrics on $M$…
We show that any finitely presented group with an index two subgroup is realized as the fundamental group of a closed smooth non-orientable four-manifold that admits an exotic smooth structure, which is obtained by performing a Gluck twist.…
We study the class of norms on the space of smooth functions on a closed symplectic manifold, which are invariant under the action of the group of Hamiltonian diffeomorphisms. Our main result shows that any such norm that is continuous with…
The main theorem shows that if M is an irreducible compact connected orientable 3-manifold with non-empty boundary, then the classifying space BDiff(M rel dM) of the space of diffeomorphisms of M which restrict to the identity map on…