Related papers: Exotic diffeomorphisms on $4$-manifolds with $b_2^…
We exhibit the first examples of closed 7-dimensional Riemannian manifolds with holonomy G_2 that are homeomorphic but not diffeomorphic. These are also the first examples of closed Ricci-flat manifolds that are homeomorphic but not…
The wall-crossing formula for Donaldson invariants of smooth, simply connected four manifolds with $b^+=1$ is shown to be a topological invariant of the manifold for reducible connections with two or fewer singular points. The explicit…
In this talk I summarize the status of exotic mesons, including both theoretical expectations and experimental candidates. The current experimental candidates are ``spin-parity exotics''; since these are most often considered possible…
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…
In this article, we show that, at least for non-simply connected case, there exist an infinite family of nondiffeomorphic symplectic 4-manifolds with the same Seiberg-Witten invariants. The main techniques are knot surgery and a covering…
This article settles the question of existence of smooth weak Fano threefolds of Picard number two with small anti-canonical map and previously classified numerical invariants obtained by blowing up certain curves on smooth Fano threefolds…
This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.
We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional…
We introduce a topological invariant, it a type of a graph-manifold, which takes natural values. For a 4-dimensional graph-manifold, whose type does not exceed two, it is proved that its universal cover is bi-Lipschitz equivalent to a…
We derive the $s$-invariants of certain simply connected $7$-manifolds whose second homology groups are isomorphic to $\mathbb{Z}^{2}$. We apply the $s$-invariants to give a partial classification of simply connected total spaces of circle…
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…
We study the Donaldson invariants of simply connected $4$-manifolds with $b_+=1$, and in particular the change of the invariants under wall-crossing. We assume the conjecture of Kotschick and Morgan about the shape of the wall-crossing…
We consider general Morse-Smale diffeomorphisms on a closed orientable two-dimentional surface. In this paper it is proved that the complete topological invariant of Morse-Smale diffeomorphisms is finite, the algorithm of the construction…
An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…
In a recent paper, Park constructs certain exotic simply-connected four-manifolds with small Euler characteristics. Our aim here is to prove that the four-manifolds in his constructions are minimal.
We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…
We study the set $\widehat{\mathcal S}_M$ of framed smoothly slice links which lie on the boundary of the complement of a 1-handlebody in a closed, simply connected, smooth 4-manifold $M$. We show that $\widehat{\mathcal S}_M$ is…
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 construct an open set of structurally unstable three parameter families whose weak and so called moderate topological classification defined below has a numerical invariant that may take an arbitrary positive value. Here and below…
We construct algebraic families of exotic affine 3-spheres, that is, smooth affine threefolds diffeomorphic to a non-degenerate smooth complex affine quadric of dimension 3 but non algebraically isomorphic to it. We show in particular that…