On the Bertini theorem in arbitrary characteristic (Q368531)

Let \(X\) be a smooth algebraic variety defined over an algebraically closed field \(k\). In this note the author gives an elementary proof of the following results (related to Kleiman's tranversality theorem and its consequences [\textit{S. L. Kleiman}, Compos. Math. 28, 287--297 (1974; Zbl 0288.14014)]): a) Let \(L\) be a line bundle on \(X\) and \(s_1,\ldots ,s_r\) sections of \(L\) spanning \(L\); assume that the map \(X\to \mathbb {P}^{r-1}\) induced by these sections is separable; then there is a non-empty open subset \(U\) of \(k^r\) such that the zero-locus of \(c_1s_1+\cdots +c_rs_r\) is smooth for all \((c_1,\dots ,c_r)\in U\). b) Assume \(\text{char}(k)=0\). Let \(F\) be a rank \(r\) vector bundle on \(X\) spanned by \(V\subseteq H^0(F)\); then the zero-locus of a general \(s\in U\) is smooth of codimension \(r\). As a consequence of (b) the author obtains (with full quotations) elementary results on maps to Grassmannians, the existence of a trivial subbundle of a spanned rank \(r\) vector bundle on a variety \(Y\) if \(r>\dim (Y)\) and that \(F\) has a trivial factor if we also assume that \(Y\) is affine.