Related papers: Arithmetic ampleness and an arithmetic Bertini the…

We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and…

We prove a global uniform Artin-Rees lemma type theorem for sections of ample line bundles over smooth projective varieties. This result is used to prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proof is…

We generalize the Demailly approximation theorem from complex geometry to Arakelov geometry.As an application, let $X/\mathbb{Q}$ be an integral projective variety and $\overline N$ be an adelic line bundle on $X$, we prove that…

In this paper, we collect some fundamental properties of the arithmetic restricted volumes (or the arithmetic multiplicities) of the adelically metrized line bundles. The arithmetic restricted volume has the concavity property and…

We formulate several variants of a conjecture relating the arithmetic degree of certain hermitian fibre bundles with the values of the logarithmic derivative of Artin's L-functions at negative integers. This generalizes conjectures by…

We describe a notion of ampleness for line bundles on orbifolds with cyclic quotient singularities that is related to embeddings in weighted projective space, and prove a global asymptotic expansion for a weighted Bergman kernel associated…

Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a…

Let $L$ be a line bundle on a scheme $X$, proper over a field. The property of $L$ being nef can sometimes be "thickened", allowing reductions to positive characteristic. We call such line bundles arithmetically nef. It is known that a line…

We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local…

In Butler, J.Differential Geom. 39 (1):1--34,1994, the author gives a sufficient condition for a line bundle associated with a divisor D to be normally generated on $X=P(E)$ where E is a vector bundle over a smooth curve C. A line bundle…

Let $X$ be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on $X$, i.e. $\mhu$ with $u=(0,L,\chi(u)=0)$ and $L$ an effective line bundle on $X$, together with a series of…

Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized…

We establish an effective Bertini-type theorem for hypersurfaces $X_f \colon f = 0$ defined over a finite field $k$ for which $f$ has no linear factors over the algebraic closure $\overline{k}$. Given a line $L$ defined over $k$ and a…

For a hermitian line bundle over an arithmetic variety, we construct a convex continuous function on the Okounkov body associated to the generic fibre of the line bundle. The integration of the continuous function gives the growth of the…

We study the complex-analytic geometry of semi-positive holomorphic line bundles on compact K\"ahler manifolds. In one of our main results, for a $\mathbb{Q}$-effective line bundle satisfying a natural torsion-type assumption, we show the…

Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…

Given a Weil non-integral divisor $D$, it is natural to associate it the line bundle of its integral part $\mathcal{O}_X([D])$. In this work we study which of the classical characterizations of ample and big divisors can be extended to…

By using the $\mathbb R$-filtration approach of Arakelov geometry, one establishes explicit upper bounds for geometric and arithmetic Hilbert-Samuel function for line bundles on projective varieties and hermitian line bundles on arithmetic…

Given a covering f: X \to Y of projective manifolds, we consider the vector bundle E on Y given as the dual of f_*(\O_X) / \O_Y. This vector bundles often has positivity properties, e.g. E is ample when Y is projective space by a theorem of…

In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class --…