Related papers: On Pluri-canonical Systems of Arithmetic Surfaces

Let $X$ be a surface of general type with maximal Albanese dimension: if $K_X^2<\frac{9}{2}\chi(\mathcal{O}_X)$, one has $K_X^2\geq 4\chi(\mathcal{O}_X)+4(q-2)$. We give a complete classification of surfaces for which equality holds for…

Let $L$ be an ample line bundle over a smooth projective toric surface $X$. Then $L$ corresponds to a very ample lattice polytope $P$ that encodes many geometric properties of $L$. In this article, by studying $P$, we will give some…

Let $(S,\mathcal{F})$ be a foliated surface over the complex number of general type, i.e., the Kodaira dimension $\mathrm{Kod}(\mathcal{F})=2$. We study the geometry of the canonical map $\varphi$ of the foliated surface $(S,\mathcal{F})$,…

This note describes minimal surfaces $S$ of general type satisfying $p_g\geq 5$ and $K^2=2p_g$. For $p_g\geq 8$ the canonical map of such surfaces is generically finite of degree 2 and the bulk of the paper is a complete characterization of…

Let $X$ be a very general degree $d\geq 5$ hypersurface in $\mathbb{P}^3$. We compute the ample cone of the Hilbert scheme $X^{[n]}$ of $n$ points on $X$ for various small values of $n$ (the answer is already known for large $n$). We obtain…

We consider the multicanonical systems $|mK_S|$ of quasi-elliptic surfaces with Kodaira dimension $1$ in characteristic 3. We show that for any $m \geq 5$ $|mK_S|$ gives the structure of quasi-elliptic fiber space, and the number $5$ is…

We show that the graph of normalized elliptic Dedekind sums is dense in its image for arbitrary imaginary quadratic fields, generalizing a result of Ito in the Euclidean case. We also derive some basic properties of Martin's continued…

Let S be a smooth minimal complex projective surface of maximal Albanese dimension. Under the assumption that the canonical class of S is ample and the irregularity of S, q(S), is greater or equal to 5 we show that K^2>=…

We prove that for Noetherian, smooth, separated, integral, finite type schemes $X$ and $Y$ over an excellent Dedekind domain $R$, that are properly birational over $R$, we have $R^if_{*}\mathcal{O}_X \cong R^ig_{*} \mathcal{O}_Y$ and $R^i…

Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $\pi: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor…

Let M be a Q-divisor on a smooth surface over C. In this paper we give criteria for very ampleness of the adjoint of the round-up of M. (Similar results for global generation were given by Ein and Lazarsfeld and used in their proof of…

Let X be a closed surface of genus two embedded in the 3-sphere. Then X inherits a metric and an orientation, which give an almost complex structure, which automatically integrates to a genuine complex structure, making X a Riemann surface.…

In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…

Let $S$ be a Dedekind scheme, $X$ a connected $S$-scheme locally of finite type and $x\in X(S)$ a section. The aim of the present paper is to establish the existence of the fundamental group scheme of $X$, when $X$ has reduced fibers or…

Let $(S,\Phi)$ be a pair of a closed oriented surface and $\Phi$ be a real analytic flow with finitely many singularities. Let $x$ be a point of $S$ with the polycycle $\omega$-limit set $\omega(x)$. In this paper we give topological…

Let $(S,L)$ be a polarized abelian surface of Picard rank one and let $\phi$ be the function which takes each ample line bundle $L'$ to the least integer $k$ such that $L'$ is $k$-very ample but not $(k+1)$-very ample. We use Bridgeland's…

The Jacobian $J$ of a complete, smooth, connected curve $X$ admits a canonical divisor $\Theta$, called the Theta divisor. It is well-known that $\Theta$ is ample and, in fact, $3\Theta$ is very ample. For a general complete, integral curve…

Let V be a smooth quasi-projective complex surface such that the three first logarithmic plurigenera are equal to 1 and the logarithmic irregularity is equal to 2. We prove that the quasi-Albanese morphism of V is birational and there…

Let S be a minimal complex surface of general type and of maximal Albanese dimension; by the Severi inequality one has $K^2_S\geq 4\chi(\mathcal O_S)$. We prove that the equality $K^2_S=4\chi(\mathcal O_S)$ holds if and only if $q(S):=…

Let n be finite >2. We show that any class between S\Nr_n\CA_{n+3} and RCA_n is not atom canonical, and any class containing the class of completely representable algebras and contained in S_c\Nr_n\CA_{n+3} is not elementary. We show that…