Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

2012-10-14T10:04:45Z

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 states that the cohomology of $X$ is isomorphic to the cohomology of the zero locus $Z$ of $s$ ($Z={ x\in X:\ s(x)=0 }$) up to degree $\dim X-e-1$. Sommese himself stated this theorem for singular cohomology. Yet it seems that the proof of the statement given in Lazarsfeld's 'Positivity in Algebraic Geometry' book works over an algebraically closed base field of any characteristic (and etale cohomology). The argument is described at the very beggining of Chapter 7; see http://books.google.ru/books?id=rd4sIp0f79cC&pg=PA65&hl=ru&source=gbs_toc_r&cad=4#v=onepage&q&f=false Lazarsfeld verifies that there is projection $p:P(E)\setminus Z^*\to X\setminus Z$ for a certain zero locus $Z^\ast$ on $P(E)$.

So my questions are:

Is there anything that prevents applying Lazarsfeld's argument over a positive characteristic algebraically closed base field $K$? It seems an easy exercise to verify that $p$ is Zariski-locally a vector bundle. In any case, is Sommese's theorem known for $char K>0$?
Why the space of one-dimensional quotients of $E$ considered by Lazarsfeld is the projectivization of $E$ and not of its dual?

Answer by Angelo for Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

2012-10-14T10:21:05Z

1. The argument seems to work fine in positive characteristic.

2. In Grothendieck's convention, the projectivization of vector bundle is defined with 1-dimensional quotients, and not 1-dimensional subspaces. The reason is that quotients work for arbitrary coherent sheaves, while 1-dimensional subspaces don't.

Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic? - MathOverflow

Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

Answer by Angelo for Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?