Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice lengths of the edges of its polytope, in terms of the higher concavity of its piecewise linear function and in terms of its Seshadri constant. For example, the tensor power $k+n-2$ of an ample line bund…
In this paper, using Klyachko's classification theorem we study positivity and semi-stability of toric vector bundles on a class of nonsingular projective toric varieties, known as Bott towers. In particular, we give a criterion of $s$-jet ampleness of line bundles and characterize nef and big line bundles on Bott towers using Bott numbers. We obtain a criterion for the ampleness of discriminant zero semi-stable toric vector bundles on nonsingular projective varieties. We also describe toric subbundles of toric vector bundles on nonsingular toric varieties.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of klt Fano varieties. It is conjectured that it yields a polarization on the moduli space of K-poly-stable klt Fano varieties. Proving ampleness of the CM line bundle boils down to showing semi-positivity/positivity statements about the CM-line bundle for families with K-semi-stable/K-polystable fibers. We prove the necessary semi-positivity statements in the K-semi-stable situation, and the necessary positivity statements in the uniform K-stable situation, including in both cases variants assuming K-stabi…
Let $X$ be a smooth projective variety over an algebraically closed field $\mathbb{K}$ with arbitrary characteristic. Suppose $L$ is an ample and globally generated line bundle. By Castelnuovo--Mumford regularity, we show that $K_X \otimes L^{\otimes \dim X} \otimes A$ is globally generated and $K_X \otimes L^{\otimes (\dim X+1)} \otimes A$ is very ample, provided the line bundle $A$ is nef but not numerically trivial. On complex projective varieties, by investigating Kawamata-Viehweg-Nadel type vanishing theorems for vector bundles, we also obtain the global generation for adjoint vector bund…
We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth four-folds with trivial canonical bundle. More precisely we show that for a regular smooth fourfold with trivial canonical bundle, $A^{\otimes 15}$ is projectively normal for $A$ ample. In the second part we emphasize on the projective normality of multiples of ample and globally generated line bundles on certain classes of known examples (upto deformation) of p…
We extend results on asymptotic invariants of line bundles on complex projective varieties to projective varieties over arbitrary fields. To do so over imperfect fields, we prove a scheme-theoretic version of the gamma construction of Hochster and Huneke to reduce to the setting where the ground field is $F$-finite. Our main result uses the gamma construction to extend the ampleness criterion of de Fernex, Küronya, and Lazarsfeld using asymptotic cohomological functions to projective varieties over arbitrary fields, which was previously known only for complex projective varieties. We also exte…
Let $A$ be an abelian scheme of dimension at least four over a $\mathbb{Z}$-finitely generated integral domain $R$ of characteristic zero, and let $L$ be an ample line bundle on $A$. We prove that the set of smooth hypersurfaces $D$ in $A$ representing $L$ is finite by showing that the moduli stack of such hypersurfaces has only finitely many $R$-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.
Let V be a finite dimensional complex vector space and V^* its dual and let X in P(V) be a smooth projective variety of dimension n and degree d at least two. For a generic n-tuple of hyperplanes H_1,...,H_n in P(V^*)^n, the intersection of X with H_1,...,H_n consists of d distinct points. We define the "discriminant of X", to be the the set D(X) of n-tuples for which the set-theoretic intersection is not equal to d points. Then D(X) is a hyper surface in P(V^*)^n and the set of defining polynomials, which is a one-dimensional vector space, is called the "discriminant line". We show that this …
We discuss birational properties of Mukai varieties, i.e., of higher-dimensional analogues of prime Fano threefolds of genus $g \in \{7,8,9,10\}$ over an arbitrary field $\mathsf{k}$ of zero characteristic. In the case of dimension $n \ge 4$ we prove that these varieties are $\mathsf{k}$-rational if and only if they have a $\mathsf{k}$-point except for the case of genus $9$, where we assume $n \ge 5$. Furthermore, we prove that Mukai varieties of genus $g \in \{7,8,9,10\}$ and dimension $n \ge 5$ contain cylinders if they have a $\mathsf{k}$-point. Finally, we prove that the embedding $X \hook…
Positivity for Higgs vector bundles: criteria and applications
SISSA (International School for Advanced Studies)(国际高等研究院);INFN (Istituto Nazionale di Fisica Nucleare), Sezione di Trieste(意大利国家核物理研究所的里雅斯特分部);IGAP (Institute for Geometry and Physics)(几何与物理研究所)
Let $X$ be a proper smooth toric variety over a perfectoid field of prime residue characteristic $p$. We study the perfectoid space $\mathcal{X}^{perf}$ which covers $X$ constructed by Scholze, showing that $\text{Pic}(\mathcal{X}^{perf})$ is canonically isomorphic to $\text{Pic}(X)[p^{-1}]$. We also compute the cohomology of line bundles on $\mathcal{X}^{perf}$ and establish analogs of Demazure and Batyrev-Borisov vanishing. This generalizes the first author's analogous results for "projectivoid space".