So, any line bundle $L$ on an abelian variety $X$ determines a type $(d_1,\ldots,d_g)$ where $d_i|d_{i+1}$. It's well known that if $d_1\geq 3$ then $L$ defines an embedding, that …

Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$. When is $\det f_\ast L$ also ample? A "nice" morphism could be anything from "finit …

Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it …

Led $D$ be a very ample divisor in $X$ projective variety. I can't understand why the first Chern class $c_1(\mathscr{O}_X(D))$ equals the Poincaré dual of $D$, $\mathscr{P}(D)$

Let $X\to S$ be a curve over $S=\mathrm{Spec} \ \mathbf{Z}$. Let $\omega$ be the relative dualizing sheaf of $X\to S$. Let $g$ be the genus of the generic fibre. Assume that $g\ge …

Let $X$ be a smooth projective variety and $\phi: X \to \mathbb P^n$ be a map. If $\phi$ is an embedding then $E=\phi^*(O(1))$ is very ample. But can one say something if $\phi$ is …