Related papers: Diffeomorphism type of the Berger space
In this paper, we prove the existence of certain symplectic conifold transitions on all $CP^{1}$-bundles over symplectic 4--manifolds, which generalizes Smith, Thomas and Yau's examples of symplectic conifold transitions on trivial…
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…
For a manifold $M$ with an integral closed 3-form $\omega$, we construct a $PU(H)$-bundle and a Lie groupoid over its total space, together with a curving in the sense of gerbes. If the form is non-degenerate, we furthermore give a natural…
Lecture 1: Projective and K\"ahler Manifolds, the Enriques classification, construction techniques. Lecture 2: Surfaces of general type and their Canonical models. Deformation equivalence and singularities. Lecture 3: Deformation and…
Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented $4$-manifold $X$ with the homology of $S^1 \times S^3$. Specifically, we show that for any smoothly embedded $3$-manifold $Y$ representing a…
In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…
This paper aims to describe the behavior of diffeological differential forms under the operation of gluing of diffeological spaces along a smooth map. In the diffeological context, two ways of looking at diffeological forms are available,…
Parallel to $\widetilde{\mathrm{SL}(2,\mathbb{R})}$-geometry fibering over the hyperbolic plane, we construct a geometry fibering over the Siegel upper half-space $\mathrm{Sp}(2n,\mathbb{R})\curvearrowright {\mathfrak{H}}_n$, and provide a…
We prove that certain quiver varieties are irreducible and therefore are isomorphic to Hilbert schemes of points of the total spaces of the bundles $\mathcal O_{\mathbb P^1}(-n)$ for $n \ge 1$.
Using reduced Gromov-Witten theory, we define new invariants which capture the enumerative geometry of curves on holomorphic symplectic 4-folds. The invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi-Yau 3-folds,…
A $K3$ surface with an ample divisor of self-intersection 2 is a double cover of the plane branched over a sextic curve. We conjecture that a similar statement holds for the generic couple $(X,H)$ with $X$ a deformation of $(K3)^{[n]}$ and…
We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with…
Motivated by a question of Hirzebruch on the possible topological types of cusp cross-sections of Hilbert modular varieties, we give a necessary and sufficient condition for a manifold M to be diffeomorphic to a cusp cross-section of a…
We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of…
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of…
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…
The algebra of exterior differential forms on a regular 3-Sasakian 7-manifold is investigated, with special reference to nearly-parallel $G_2$ 3-forms. This is applied to the study of 3-forms invariant under cohomogeneity-one actions by…
Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…
We give a self contained proof using Seiberg Witten invariants that for K\"ahler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented…
We show that any orientable Seifert 3-manifold is diffeomorphic to a connected component of the set of real points of a uniruled real algebraic variety, and prove a conjecture of J\'anos Koll\'ar.