Related papers: Arithmetically nef line bundles

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…

Neural networks are famously nonlinear. However, linearity is defined relative to a pair of vector spaces, $f:X \to Y$. Leveraging the algebraic concept of transport of structure, we propose a method to explicitly identify non-standard…

Let X be a simply connected projective manifold with nef anticanonical bundle. We prove that X is a product of a rationally connected manifold and a manifold with trivial canonical bundle. As an application we describe the MRC fibration of…

A recent paper of Totaro develops a theory of $q$-ample bundles in characteristic 0. Specifically, a line bundle $L$ on $X$ is $q$-ample if for every coherent sheaf $\mathcal{F}$ on $X$, there exists an integer $m_0$ such that $m\geq m_0$…

Let k be an algebraically closed field of characteristic p different from 2, and let F be a nodal surface of degree d in the projective 3-space P over k (i.e. the singularities of F are only ordinary quadratic, nodes for short). Let N be a…

For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genus g, for line bundles of degree g equivalence is shown to the height on…

A compact set $E\subset {\Bbb R}^d$ is said to be arithmetically thick if there exists a positive integer $n$ so that the $n$-fold arithmetic sum of $E$ has non-empty interior. We prove the arithmetic thickness of $E$, if $E$ is uniformly…

Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety. Let $\alpha$ a class of…

We first introduce the arithmetic subderivative of a positive integer with respect to a non-empty set of primes. This notion generalizes the concepts of the arithmetic derivative and arithmetic partial derivative. More generally, we then…

In this work we consider compact K\"ahler manifolds with non-positive mixed curvature which is a "convex combination" of Ricci curvature and holomorphic sectional curvature. We show that in this case, the canonical line bundle is nef.…

Let $L$ be a very ample line bundle on a smooth curve $C$ of genus $g$ with $\frac{3g+3}{2}<\deg L\le 2g-5$. Then $L$ is normally generated if $\deg L>\max\{2g+2-4h^1(C,L), 2g-\frac{g-1}{6}-2h^1(C,L)\}$. Let $C$ be a triple covering of…

For any $n\geq 3$, we explicitly construct smooth projective toric $n$-folds of Picard number $\geq 5$, where any nontrivial nef line bundles are big.

A ReLU neural network determines/is a continuous piecewise linear map from an input space to an output space. The weights in the neural network determine a decomposition of the input space into convex polytopes and on each of these…

Beauville and Laszlo give an interpretation of the affine Grassmannian for Gl_n over a field k as a moduli space of, loosely speaking, vector bundles over a projective curve together with a trivialization over the complement of a fixed…

An arithmetical structure on a graph is given by a labeling of the vertices which satisfies certain divisibility properties. In this note, we look at several families of graphs and attempt to give counts on the number of arithmetical…

Let X be a smooth projective curve of genus g \geq 2 defined over a field of characteristic two. We give examples of stable orthogonal bundles with unstable underlying vector bundles and use them to give counterexamples to Behrend's…

It is easy to imagine that a subvariety of a vector bundle, whose intersection with every fibre is a vector subspace of constant dimension, must necessarily be a sub-bundle. We give two examples to show that this is not true, and several…

Let $L$ be a nef line bundle on a smooth complex projective variety $X$ of dimension $n$. Demailly has introduced a very interesting invariant --- the Seshadri constant $\epsilon(L,x)$ --- which in effect measures how positive $L$ is…

In this paper we prove that the anti-canonical bundle of a holomorphic foliation $\mathcal{F}$ on a complex projective manifold cannot be nef and big if either $\mathcal{F}$ is regular, or $\mathcal{F}$ has a compact leaf. Then we address…

The families of morphisms of vector fibre bundle (\cite{Mill1}) defined by the linear systems of differential equations with non-negative coefficients is considered. Authors proved that the specified families of morphisms is not saturated…