Related papers: On Pluri-canonical Systems of Arithmetic Surfaces

We describe some topological structure in the set of all surfaces with finitely many singularities in the 3-sphere. As an application, we prove that every Riemannian 3-sphere of positive Ricci curvature contains, for every g, a genus g…

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…

Let $X$ be a smooth algebraic variety over $k$. We prove that any flat quasicoherent sheaf on $\operatorname{Ran}(X)$ canonically acquires a D-module structure. In addition, we prove that, if the geometric fiber $X_{\overline{k}}$ is…

Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical…

Let $X$ be a projective normal surface over a number field $K$. Let $H$ be the sum of four properly intersecting ample effective divisors on $X$. We show that any set of $S$-integral points in $X-H$ is not Zariski dense.

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.

Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique,…

In this note we present examples of complex algebraic surfaces of general type with canonical maps of degree $10$, $11$ and $14$. They are constructed as quotients of a product of two Fermat septics using certain free actions of the group…

Given a minimal surface equipped with a generically finite map to an Abelian variety, we give an optimal bound on the canonical degree of a rational or an elliptic curve. As a corollary, we obtain the finiteness of rational and elliptic…

For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least…

We construct canonical semi-orthogonal decompositions for derived categories of smooth projective surfaces. These decompositions are compatible with the operations in the minimal model program, such as blow-ups and conic bundles. Therefore…

In the first part of this paper we show that a set $E$ has locally finite $s$-perimeter if and only if it can be approximated in an appropriate sense by smooth open sets. In the second part we prove some elementary properties of local and…

Moraga and Yeong conjectured that for a smooth complex projective variety $X$ of dimension $n$, an ample line bundle $A$ on $X$ and an integer $m \ge 3 n + 1$, very general elements of the adjoint linear system $|\omega_{X} \otimes…

For a triangulated category A with a 2-periodic dg-enhancement and a triangulated oriented marked surface S we introduce a dg-category F(S,A) parametrizing systems of exact triangles in A labelled by triangles of S. Our main result is that…

Let S be a Noetherian scheme, f:X->Y a surjective S-morphism of S-schemes, with X of finite type over S. We discuss what makes Y of finite type. First, we prove that if S is excellent, Y is reduced, and f is universally open, then Y is of…

In this article, we investigate some properties of cyclic coverings of complex surfaces of general type branched along smooth curves that are numerically equivalent to a multiple of the canonical class. The main results concern coverings of…

We provide some general conditions which ensure that a system of inequalities involving homogeneous polynomials with coefficients in a S-adic field has nontrivial S-integral solutions. The proofs are based on the strong approximation…

Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…

We prove Reider type criterions for k-jet spannedness and k-jet ampleness of adjoint bundles for surfaces with at most rational singularities. Moreover, we prove that on smooth surfaces [n(n+4)/4]-very ampleness implies n-jet ampleness.

In this paper we prove a refined version of the canonical key formula for projective abelian schemes in the sense of Moret-Bailly, we also extend this discussion to the context of Arakelov geometry. Precisely, let $\pi: A\to S$ be a…