Related papers: On Pluri-canonical Systems of Arithmetic Surfaces

Let X be a smooth complex surface of general type such that the image of the canonical map $\phi$ of X is a surface $\Sigma$ and that $\phi$ has degree $\delta\geq 2$. Let $\epsilon\colon S\to \Sigma$ be a desingularization of $\Sigma$ and…

It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by…

In this short note we construct unbounded families of minimal surfaces of general type with canonical map of degree 4 such that the limits of the slopes assume countably many different values among 6+2/3 and 8.

Since the set of volumes of hyperbolic 3-manifolds is well ordered, for each fixed g there is a genus-g surface bundle over the circle of minimal volume. Here, we introduce an explicit family of genus-g bundles which we conjecture are the…

Let $X$ be a normal crossing compact complex surface with triple points. We prove that there exists a family of smoothings of $X$ when $X$ satisfies suitable conditions. Since our differential geometric proof also includes the case where…

Let S be a smooth algebraic surface satisfying the following property: H^i(\oc_S(C))=0 (i=1,2) for any irreducible and reduced curve C of S. The aim of this paper is to provide a characterization of special linear systems on S which are…

For a hyperbolic surface S of finite type we consider the set A(S) of angles between closed geodesics on S. Our main result is that there are only finitely many rational multiples of \pi in A(S).

We show that a real rational (over $\C$) surfaces are quasi-simple, i.e., that such a surface is determined up to deformation in the class of real surfaces by the topological type of its real structure.

We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…

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…

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A^[n] in such a way that for any smooth projective surface X with trivial canonical divisor there is a canonical isomorphism of rings between (H*X)^[n]…

We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $\chi=13$ and $K^2=9\chi$ such that its…

In this note, we construct two minimal surfaces of general type with geometric genus p_g= 3, irregularity q = 0, self-intersection of the canonical divisor K^22 =20,24 such that their canonical map is of degree 20. In one of these surfaces,…

Two theorems witnessing the abundance of geometrically trivial strongly minimal autonomous differential equations of arbitrary order are shown. The first one states that a generic algebraic vector field of degree $d\geq 2$ on the affine…

In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations $\varphi \colon X \lr C$, where $X$ is a smooth, projective surface and $C$ is a curve. In particular we prove that, if $g(C) \geq 1$ and $X$…

For a smooth minimal surface of general type $S$ with $Albdim(S) = 2$, Severi inequality says that $K_S^2 \geq 4\chi(S)$, which was proved by Pardini. It is expected that when the equality is attained, $S$ is birational to a double cover…

For a reduced projective scheme over the ring of integers of a number field, the set of places over which the fibres of the scheme are not reduced is a finite set. We give an explicit upper bound for the product of the norms of places in…

Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…

We show that every canonical Seifert surface is (up to isotopy) given by a knot diagram in which the (open) Seifert disks are pairwise disjoint.

We show that semi-arithmetic surfaces of arithmetic dimension two which admit a modular embedding have exponential growth of mean multiplicities in their length spectrum. Prior to this work large mean multiplicities were rigorously…