Related papers: An orbifold approach to Severi Inequality

We construct a new minimal complex surface of general type with $p_g=0$, $K^2=2$ and $H_1=\mathbb{Z}/4\mathbb{Z}$ (in fact $\pi_1^{\text{alg}}=\mathbb{Z}/4\mathbb{Z}$), which settles the existence question for numerical Campedelli surfaces…

Let X be a smooth projective minimal 3-fold of general type. We prove the sharp inequality K^3_X >= (2 /3)(2p_g(X) - 5), an analogue of the classical Noether inequality for algebraic surfaces of general type

Answering a question posed by Enriques, we construct a minimal smooth algebraic surface $S$ of general type over the complex numbers with $K^2 = 45$ and $p_g = 4$, and with birational canonical map. Our surface is a regular (q=0) ball…

We aim at giving a rigorous proof of the state-ments on the smoothness and the dimension of Severi varieties wherethere are gaps in the proofs in some standard literature. The method isa mixture of algebraic and analytic methods.

We construct a new family of minimal smooth surfaces of general type with K^2=7 and p_g= 0. We show that for a surface in this family, its canonical divisor is ample and its bicanonical morphism is birational. We prove that these surfaces…

In this paper, we show that the \alpha_{m,2}-invariant of a smooth cubic surface with Eckardt points is strictly bigger than 2/3. This can be used to simplify Tian's original proof of the existence of Kaehler-Einstein metrics on such…

Let $\mathcal X\to\mathbb D$ be a flat family of projective complex 3-folds over a disc $\mathbb D$ with smooth total space $\mathcal X$ and smooth general fibre $\mathcal X_t,$ and whose special fiber $\mathcal X_0$ has double normal…

The article proves the Infinitesimal Torelli theorem for surfaces subject to the following conditions: 1) the canonical bundle of a surface is ample and generated by its global sections, 2)the geometric genus $p_g \geq 4$, 3) the…

In this paper, we are concerned with the relation between the ordinarity of surfaces of general type and the failure of the BMY inequality in positive characteristic. We consider semistable fibrations $\pi:S \longrightarrow C$ where $S$ is…

Using spinorial techniques, we prove, for a class of pseudo-hyperbolic ambient manifolds, a Heintze-Karcher type inequality. We then use this inequality to show an Alexandrov type theorem in such spaces.

We describe smooth rational projective algebraic surfaces over an algebraically closed field of characteristic different from 2 which contain $n \ge \b_2-2$ disjoint smooth rational curves with self-intersection -2, where $\b_2$ is the…

We give an alternative proof of the Michael-Simon-Sobolev inequality using techniques from optimal transport. The inequality is sharp for submanifolds of codimension $2$.

We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted…

Let $(S,L)$ be a polarized $K3$ surface of genus $p \geqslant 11$ such that $\mathrm{Pic}(S)=\mathbf{Z}[L]$, and $\delta$ a non-negative integer. We prove that if $p\geqslant 4\delta-3$, then the Severi variety of $\delta$-nodal curves in…

Mendes Lopes and Pardini showed that minimal general type surfaces of Albanese dimension one have slopes $K^2/\chi$ dense in the interval $[2,8]$. This result was completed to cover the admissible interval $[2,9]$ by Roulleau and Urzua, who…

We study minimal surfaces X of general type with $K^2_X=6p_g-14$ and $q(X)>0$ such that $K_X$ is ample, the image of the canonical map is a canonically embedded surface of general type and the canonical map is not birational. The main…

The aim of this paper is to prove that a K3 surface is the minimal model of the quotient of an Abelian surface by a group $G$ (respectively of a K3 surface by an Abelian group $G$) if and only if a certain lattice is primitively embedded in…

A minimal surface of general type with $p_g(S)=0$ satisfies $1\le K^2\le 9$ and it is known that the image of the bicanonical map $\fie$ is a surface for $K_S^2\geq 2$, whilst for $K^2_S\geq 5$, the bicanonical map is always a morphism. In…

Let $f \colon X \to B$ be a complex elliptic surface and let $\DD \subset X$ be an integral divisor dominating $B$. It is well-known that the Parshin-Arakelov theorem implies the Mordell conjecture over complex function fields by a…

We give a simple proof of a recent result due to Agostiniani, Fogagnolo and Mazzieri.