Related papers: The Sarkisov program on log surfaces

We prove that the Birkhoff pointwise ergodic theorem and the Oseledets multiplicative ergodic theorem hold for every flat surface in almost every direction. The proofs rely on the strong law of large numbers, and on recent rigidity results…

The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the…

We use the Borisov-Keum equations of a fake projective plane and the Borisov-Yeung equations of the Cartwright-Steger surface to show the existence of a regular surface with canonical map of degree 36 and of an irregular surface with…

We classify $G$-solid rational surfaces over the field of complex numbers.

We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.

We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the…

We construct and study Sarkisov links obtained by blowing up smooth space curves lying on smooth cubic surfaces. We restrict our attention to the case where the blowup is not weak Fano. Together with the results of arXiv:1106.3716 which…

We define the notion of generalized logarithmic sheaves on a smooth projective surface, associated to a pair consisting of a reduced curve and some fixed points on it. We then set up the study of the Torelli property in this setting,…

Building on recent work of Bhargava--Elkies--Schnidman and Kriz--Li, we produce infinitely many smooth cubic surfaces defined over the field of rational numbers that contain rational points.

We show that the zero locus of a normal function on a smooth complex algebraic variety S is algebraic provided that the normal function extends to a admissible normal function on a smooth compactification of S with torsion singularity. This…

Let Fq be a finite field with q=8 or q at least 16. Let S be a smooth cubic surface defined over Fq containing at least one rational line. We use a pigeonhole principle to prove that all the rational points on S are generated via tangent…

We consider a family of surfaces of general type $S$ with $K_S$ ample, having $K^2_S = 24, p_g (S) = 6, q(S)=0$. We prove that for these surfaces the canonical system is base point free and yields an embedding $\Phi_1 : S \rightarrow…

In 1982 V.G. Sarkisov proved the existense of standard models of conic fibrations over algebraically closed fields of $\operatorname{char}\neq 2$. In this paper we will prove the analogous result for three-dimensional conic fibrations over…

For every field $k$ of characteristic zero, we determine the groups that act as automorphisms on a smooth cubic surface over $k$. We also determine the groups that act on $k$-rational, stably $k$-rational, or $k$-unirational smooth cubic…

We obtain a correct generalization of Shokurov's non-vanishing theorem for log canonical pairs. It implies the base point free theorem for log canonical pairs. We also prove the rationality theorem for log canonical pairs. As a corollary,…

Shokurov conjectured that the set of all log canonical thresholds on varieties of bounded dimension satisfies the ascending chain condition. In this paper we prove that the conjecture holds for log canonical thresholds on smooth varieties…

In this note we give a quick and simple proof of the existence (and uniqueness) of Zariski decompositions on surfaces. While Zariski's original proof employs a rather sophisticated procedure to construct the negative part of the…

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of…

In this paper, we characterize smooth projective surfaces on which every integral pseudoeffective divisor has an integral Zariski decomposition.

We discuss recent developments in the Langlands program for function fields, and in the geometric Langlands program. In particular we explain a canonical decomposition of the space of cuspidal automorphic forms for any reductive group G…