Related papers: Smooth Surfaces in Smooth Fourfolds with Vanishing…

Since the work of Ellingsrud and Peskine at the end of 1980s, it has been known that, with the exception of a finite number of families, smooth compact complex surfaces in $\mathbb{P}^4$ with prescribed Chern classes must lie on…

We define a signed count of real rational pseudo-holomorphic curves appearing in a one-parameter family of real Spin symplectic K3 surfaces. We show that this count is an invariant of the deformation class of the family. In the case of a…

We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of…

The families of smooth rational surfaces in $\PP^4$ have been classified in degree $\le 10$. All known rational surfaces in $\PP^4$ can be represented as blow-ups of the plane $\PP^2$. The fine classification of these surfaces consists of…

For each integer $n$ we construct a simply connected $4$-manifold $X$ admitting a smoothly embedded surface $\Sigma$ of self intersection number $n$ such that the complement of the surface has non-trivial fundamental group. This answers a…

We construct a linearly normal smooth rational surface S of degree 11 and sectional genus 8 in the projective fivespace. Surfaces satisfying these numerical invariants are special, in the sense that $h^1(\mathscr{O}_S(1))>0$. Our…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We describe a new method of constructing rational surfaces with given invariants in P^4 and present a family of degree 11 rational surfaces of sectional genus 11 with 2 six-secants that we found with this method.

For each finite primitive subgroup $G$ of $\operatorname{PGL}_4(\mathbb{C})$, we find all the smooth $G$-invariant quartic surfaces. We also find all the faithful representations in $\operatorname{PGL}_4(\mathbb{C})$ of the smooth quartic…

We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find…

We study flows of smooth vector fields $X$ over invariant surfaces $M$ which are levels of rational first integrals. It leads us to study constrained systems, that is, systems with impasses. We identify a subset $\mathcal{I} \subset M$…

The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth…

We prove discrete analogs of four-vertex type theorems of spherical curves, which imply corresponding results for space polygons. The smooth theory goes back to the work of Beniamino Segre and, more recently, by Mohammad Ghomi, and consists…

Let $X$ be a complex $K3$ surface, ${\rm Diff}(X)$ the group of diffeomorphisms of $X$ and ${\rm Diff}_0(X)$ the identity component. We prove that the fundamental group of ${\rm Diff}_0(X)$ contains a free abelian group of countably…

We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.

We prove that if a symplectic 4-manifold $X$ becomes a rational 4-manifold after applying rational blow-down surgery, then the symplectic 4-manifold $X$ is originally rational. That is, a symplectic rational blow-up of a rational symplectic…

It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…

In (the surface of) a convex polytope P^3 in R^4, an area-minimizing surface avoids the vertices of P and crosses the edges orthogonally. In a smooth Riemannian manifold M with a group of isometries G, an area-minimizing G-invariant…

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families…

The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the…