Related papers: Nonnegative polynomials from vector bundles on rea…
Let C be an algebraic curve of genus g. Let E be a vector bundle of rank n and degree d. Consider among all subbundles F' of E of rank n' those of maximal degree d'. Then s_n'(E)= n'd-nd'\le n'(n-n')g. If E is stable s_n'(E)>0 while if E is…
Let $X$ be a smooth projective variety of dimension $n$, and let $E$ be an ample vector bundle over $X$. We show that any non-zero Schur class of $E$, lying in the cohomology group of bidegree $(n-1, n-1)$, has a representative which is…
It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed field is semistable if and only if there is a vector bundle F on Y such that the cohomologies of E\otimes F vanish. We extend this…
We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a…
In 2008, M. Marshall settled a long-standing open problem by showing that if f(x,y) is a polynomial that is non-negative on the strip [0,1] x R, then there exist sums of squares s(x,y) and t(x,y) such that f(x,y) = s(x,y) + (x - x^2)…
Over a scheme with 2 invertible, we show that a vector bundle of rank four has a sub or quotient line bundle if and only if the canonical symmetric bilinear form on its exterior square has a lagrangian subspace. For this, we exploit a…
We provide a splitting criterion for supervector bundles over the projective superspaces $\mathbb{P}^{n|m}$. More precisely, we prove that a rank $p|q$ supervector bundle on $\mathbb{P}^{n|m}$ with vanishing intermediate cohomology is…
Let W be the germ of a smooth complex surface around an exceptional curve and let E be a rank 2 vector bundle on W. We study the cohomological properties of a finite sequence $E_i, 1 \leq i \leq t$ of rank 2 vector bundles canonically…
In this paper we show that on a general sextic hypersurface $X\subset \bf P^4$, a rank 2 vector bundle $E$ splits if and only if $h^1(E(n))=0$ for any $n \in \bf Z$. We get thus a characterization of complete intersection curves in $X$
Let $E$ be a vector bundle of rank $r\geq 2$ on a smooth projective curve $C$ of genus $g \geq 2$ over an algebraically closed field $K$ of arbitrary characteristic. For any integer with $1\le k\le r-1$ we define $${\se}_k(E):=k\deg…
We provide explicit conditions for a real polynomial $f$ of degree 2d to be a sum of squares (s.o.s.), stated only in terms of the coefficients of $f$, i.e. with no lifting. All conditions are simple and provide an explicit description of a…
The surfaces considered are real, rational and have a unique smooth real $(-2)$-curve. Their canonical class $K$ is strictly negative on any other irreducible curve in the surface and $K^2>0$. For surfaces satisfying these assumptions, we…
We show that a pseudoeffective R-divisor has numerical dimension 0 if it is numerically trivial on a subvariety with ample normal bundle. This implies that the cycle class of a curve with ample normal bundle is big, giving an affirmative…
We show that an integer-valued quadratic polynomial on $\mathbb{R}^2$ can not be injective on the integer lattice points of any affine convex cone if its discriminant is nonzero. A consequence is the non-existence of quadratic packing…
Let G be a simple linear algebraic group defined over the complex numbers. Fix a proper parabolic subgroup P of G and a nontrivial antidominant character \chi of P. We prove that a holomorphic principal G-bundle E over a connected complex…
In this paper we obtain an explicit formula for the number of degree d curves in two dimensional complex projective space, passing through (d(d+3)/2 -k) generic points and having a codimension k singularity, where k is at most 7. In the…
Let $\Cal E$ be a very ample vector bundle of rank two on a smooth complex projective threefold $X$. An inequality about the third Segre class of $\Cal E$ is provided when $K_X+\det \Cal E$ is nef but not big, and when a suitable positive…
We show that every real nonnegative polynomial $f$ can be approximated as closely as desired by a sequence of polynomials $\{f_\epsilon\}$ that are sums of squares. Each $f_\epsilon$ has a simple et explicit form in terms of $f$ and…
Given rational univariate polynomials f and g such that gcd(f, g) and f / gcd(f, g) are relatively prime, we show that g is non-negative on all the real roots of f if and only if g is a sum of squares of rational polynomials modulo f. We…
Let X be a smooth projective curve of genus g bigger then 2. For any vector bundle E on X let M_k(E) be the scheme of all rank k subbundles of E with maximal degree. For every integers r, k and x with 0<k<r, x positive and either x less…