Related papers: Smooth projective surfaces with infinitely many re…

Consider an arbitrary automorphism of an Enriques surface with its lift to the covering K3 surface. We prove a bound of the order of the lift acting on the anti-invariant cohomology sublattice of the Enriques involution. We use it to obtain…

We give a proof of the Morrison-Kawamata cone conjecture for Enriques surfaces independent of their characteristic. It is based on the analysis of certain generically finite morphisms of degree two.

Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

A surface automorphism is strongly irreducible if every essential simple closed curve in the surface has nontrivial geometric intersection with its image. We show that a three-manifold admits only finitely many inequivalent surface bundle…

We construct k-parameter families of rational surface automorphisms for any k. These are automorphisms of surfaces X, which are constructed from iterated blowups over the projective plane. In certain cases: we are able to determine the…

Let $U\subset \mathbb P^N$ be a projective variety which is not a cone and whose hyperplane sections are smooth Enriques surfaces. We prove that the degree of a $U$ is at most 32 and the bound is sharp.

We give a 1-dimensional family of classical and supersingular Enriques surfaces in characteristic 2 covered by the supersingular K3 surface with Artin invariant 1. Moreover we show that there exist 30 nonsingular rational curves and ten…

We show that if the automorphism group of a projective variety is torsion, then it is finite. Motivated by Lang's conjecture on rational points of hyperbolic varieties, we use this to prove that a projective variety with only finitely many…

We prove there exists a compact embedded minimal surface in a complete finite volume hyperbolic $3$-manifold $\mathcal{N}$. We also obtain a least area, incompressible, properly embedded, finite topology, $2$-sided surface. We prove a…

We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball…

We propose a framework to give a precise meaning to the intuitive notion of "family of real forms of a variety parametrised by a variety" and study some fundamental properties of this notion. As an illustration, for any $n \geq 1$, we…

In this survey we discuss the problem of the existence of rational curves on complex surfaces, both in the K\"ahler and non-K\"ahler setup. We systematically go through the Enriques--Kodaira classification of complex surfaces to highlight…

In this article, we consider surfaces in the 3-dimensional Euclidean space E3 without parabolic points which are of finite II-type, that is, they are of finite type, in the sense of B.-Y. Chen, corresponding to the second fundamental form.…

We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.

In this paper we study the automorphisms group of some $K3$ surfaces which are double covers of the projective plane ramified over a smooth sextic plane curve. More precisely, we study the case of a $K3$ surface of Picard rank two such that…

We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These…

In this paper we classify all singular irreducible symplectic surfaces, i.e., compact, connected complex surfaces with canonical singularities that have a holomorphic symplectic form $\sigma$ on the smooth locus, and for which every finite…

We prove that there is a projective K3 surface admitting a (fixed point) free automorphism of positive entropy and that no smooth compact K\"ahler surface other than projective K3 surfaces and their blow up admits such an automorphism.

We show that every orientable infinite-type surface is properly rigid as a consequence of a more general result. Namely, we prove that if a homotopy equivalence between any two non-compact orientable surfaces is a proper map, then it is…