Related papers: Arithmetic Demailly Approximation Theorem

We introduce a new method to study mixed characteristic deformation of line bundles. In particular, for sufficiently large smooth projective families $f : \mathscr{X} \to \mathscr{S}$ defined over the ring of $N$-integers…

Let $X$ be a complex quasiprojective variety. A result of Noguchi-Winkelmann-Yamanoi shows that if $X$ admits a Zariski dense entire curve, then its quasi-Albanese map is a fiber space. We show that the orbifold structure induced by a…

We show that a smooth projective non-degenerate arithmetically Cohen-Macaulay subvariety X of P^N infinite Cohen-Macaulay type becomes of finite Cohen-Macaulay type by removing Ulrich bundles if and only if N = 5 and X is a quartic scroll…

Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact K\"ahler submanifold of $X$…

We prove that a system of equations introduced by Demailly (to attack a conjecture of Griffiths) has a smooth solution for a direct sum of ample line bundles on a Riemann surface. We also reduce the problem for general vector bundles to an…

Define a line bundle L on a projective variety to be q-ample, for a natural number q, if tensoring with high powers of L kills coherent sheaf cohomology above dimension q. Thus 0-ampleness is the usual notion of ampleness. Intuitively, a…

The purpose of this note is to extend some classical results on quasi-projective schemes to the setting of derived algebraic geometry. Namely, we want to show that any vector bundle on a derived scheme admitting an ample line bundle can be…

For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, \phi)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a…

Let $(V,q)$ be a vector bundle on a smooth projective curve $X$ together with a quadratic form $q: \mathrm{Sym}^2(V) \ra \mathcal{O}_X$ (respectively symplectic form $q: \Lambda^2V \ra \mathcal{O}_X$). Fixing the degeneracy locus of the…

For an arithmetic surface $X\to B=\operatorname{Spec} O_K$ the Deligne pairing $\left <\,,\,\right > \colon \operatorname{Pic}(X) \times \operatorname{Pic}(X) \to \operatorname{Pic}(B)$ gives the "schematic contribution" to the Arakelov…

We prove a Hilbert-Samuel type result of arithmetic big line bundles in Arakelov geometry, which is an analogue of a classical theorem of Siu. An application of this result gives equidistribution of small points over algebraic dynamical…

In this article, we prove the boundedness of minimal slopes of adelic line bundles over function fields of characteristic 0. This can be applied to prove the equidistribution of generic and small points with respect to a big and…

In this article, we introduce the notion of global adelic space of an arithmetic variety over an adelic curve and prove an equidistribution theorem for a generic sequence of subvarieties. As an application, we prove a Bogomolov type theorem…

We give examples of derived schemes $X$ and a line bundle $\Ls$ on the truncation $tX$ so that $\Ls$ does not extend to the original derived scheme $X$. In other words the pullback map $\Pic(X) \to \Pic(tX)$ is not surjective. Our examples…

Let $X$ be a weakly pseudoconvex manifold and $L\longrightarrow X$ be a holomorphic line bundle with a singular positive Hermitian metric $h$. In this article, we provide a points separation theorem and an embedding for the adjoint linear…

We study the existence of almost complex structures on even-dimensional sphere bundles over complex projective spaces. For bundles $\xi_{n,q}$ with fibre $S^{2q}$ over $\mathbb{C} P^n$, we establish a necessary condition: if $q \ge a(n)$…

Demailly's conjecture, which is a consequence of the Green-Griffiths-Lang conjecture on varieties of general type, states that an algebraically hyperbolic complex projective variety is Kobayashi hyperbolic. Our aim is to provide evidence…

Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call…

The goal of this survey is to present various results concerning the cohomology of pseudoeffective line bundles on compact K{\"a}hler manifolds, and related properties of their multiplier ideal sheaves. In case the curvature is strictly…

We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $\mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(\mathbb{L})$ for all $q\le\dim(X)+1$.