Introduction
Let \(X\) be a smooth variety defined over an algebraic closed field \(k\) of characteristic \(0\), \(L\) an integral divisor on \(X\), and \(|V|\subset |L|\) a linear system. A frequently seen version of Bertini’s theorem claims that a general member of \(|V|\) is smooth if \(V\) has no base points. The original version of Bertini’s theorem is about multiplicities of divisors (see (Kleiman 1998) for a historical review).
In the following, I will follow (Lazarsfeld 2004a, Section 5.2B) to present the theorem with a proof, and discuss other possible applications of the techniques and ideas used in the proof.
Let \(s_0\), \(s_1\), \(\dots\), \(s_r\) is a basis of \(|V|\). Recall that \[ \mult_x(|V|):=\min_{i}\{\mult_x(s_i)\}. \] Equivalently, \(\mult_x(|V|)\) is the minimum of the multiplicities \(\mult_xE\) of all divisors \(E\) in \(|V|\).
Let’s see a baby example first. Consider the linear system \(|V|\) of lines in \(\PP^2\) passing through \(o:=(0,0,1)\), i.e. lines defined by \(ax+by=0\), where \([a, b]\in\PP^1\). It is clear that \(\mult_o|V|=1\) and \(\mult_x|V|=0\) for \(x\ne o\). On the other hand, \(\mult_xL\le 1\) for any point \(x\) and any member \(L\in |V|\). Although it’s trivial in this example, it is worth to mention that \(\mult_x(\H)=\mult_x(\H_t)\) for a general \(t\in\PP^1\), where \(\H\) is the universal divisor in \(\PP^2\times |V|=\PP^2\times\PP^1\) defined by \(ax+by=0\). Indeed, this observation will be a key in the proof of Theorem 1. We will first proof that the above observation holds true in general.
In general, for algebraic system of divisors, Bertini’s theorem may fail, see the example below (Kleiman 1998, Theorem 3.2).
Multiplicities of Divisors in Families along Fibers
Lemma 1 (Multiplicities along fibers) Let \(p: M\to T\) be a morphism of smooth varieties over a algebraically closed field \(k\) of characteristic \(0\). Assume that \(V\subset M\) is an irreducible subvariety dominating \(T\). Let \(F\subset M\) be an effective divisor. Then,
- for a general point \(t\in T\), and any irreducible component \(W_t\subset V_t\) in the the fiber \(M_t\), \[\begin{equation} \mult_{W_t}(M_t, F_t)=\mult_{V}(M, F); \end{equation}\]
- for a general \(t\) and every \(y\in M_t\) \[\begin{equation} \mult_y(M, F)=\mult_y(M_t, F_t). \end{equation}\]
Proof. We prove part one first.
By generic smoothness, after replacing \(T\) with an affine open subset, we may assume that \(p: M\to T\) is a smooth morphism by the theorem on generic smoothness (see for example (Vakil 2017, Theorem 25.3.3.)). Moreover, we may assume that \(V\) is smooth and dominating \(T\). By further shrinking \(T\) to a smaller affine open subset, we may assume that \(M=X\times T\) and \(p\) is the projection \(X\times T\to T\) (see for example(The Stacks Project Authors 2020, Lemma 29.32.14)). Therefore, we may choose coordinates \[ (x, t)=(x_1,\dots,x_p,t_1,\dots, t_q) \] on \(M=X\times T\) such that \(p(x, t)=t\). Since \(V\) deminates \(T\), by further shrinking \(T\) if it is neccessary, there exists a section \(\sigma T\to X\times T\) defined by \(t\mapsto (t, \sigma(t))\) such that \(\sigma(T)\subset V\). It suffices to show that \[ \mult_{\sigma(t)}(F_t)=\mult_{(t,\sigma(t))}(F). \] Let \(f(x, t)\) be a local equation of \(F\). Substitute \(x\) by \(x=y+\sigma(t)\) and write \[ g(y, t)=f(y+\sigma(t), t)=\sum c_\alpha(t)y^\alpha, \] where \(\alpha\) is a multi-index and \(c_\alpha(t)\) is a power series in \(t\). Shrink \(T\) again if necessary, we may assume that \(m=\mult_V(F)=\mult_{(p(t), t)}(F)\) for any \(t\in T\). Therefore, the terms of weight \(|T|<m\) in \(g(y,t)\) vanishes because \[ \frac{\partial^{m-1}}{\partial y_\alpha}g(0,t)=\frac{\partial^{m-1}}{\partial x_\alpha}f(p(t),t)=0. \] Then it is enough to choose \(t\) so that \(c_\alpha(t)\ne 0\) for some \(I\) with \(|\alpha|=m\). This completes the proof of part one.
We prove part two by contradiction. Suppose for every \(t\) in an affine open set \(T'\subset T\), there always exists a \(y\in M_t\) such that \(\mult_x(F_t)\ne\mult_{(x, t)}(F)\). Let \(V=\{(x, t)\mid \mult_x(F_t)\ne\mult_{(x, t)}(F), t\in T'\}\). Then \(V\) dominates \(T'\). By part one, we there is a general \(t\) in \(T'\) and a general \(y\) in \(V_t\) such that \(\mult_yF_t=\mult_{(t,y)}F_t\). That contradicts with our definition of \(V\).Proof of Bertini’s Theorem
Now we are ready the prove Bertini’s theorem with multiplicities.
Smoothing Divisors in Families
Using differentiation in parameter directions to lower the multiplicities of divisors in a family is central technique in many studies on Seshadri constants and related areas. For example, the following proposition plays a central role in (Ein, Küchle, and Lazarsfeld 1995).
For a rigorous proof and a more formal discussion, we refer to (Ein, Küchle, and Lazarsfeld 1995, Proposition 2.3) and (Lazarsfeld 2004a, Proposition 5.2.13).
Differentiate Divisors in Linear Systems
In the proof of Theorem 1, we used the fact that \(\D^k\) is globally generated because \(T\) is affine. In fact, if we assume that the twisted tangent bundle \(T_X(\delta L)\) is nef (see Definition 6.2.3 in (Lazarsfeld 2004b)), where \(T_X\) is the tangent bundle, \(\delta\) is a positive rational number, and \(L\) is an ample line bundle, then we get a similar result for linear systems (see, for example, Proof of Theorem 2.1 in (Ein, Lazarsfeld, and Nakamaye 1996), or Lemma 1.3 in (Nakamaye 2005))
Let \(\pi: Y\to X\) be the blow-up at a point \(\eta\) with the exceptional divisor \(E\). Given a \(\QQ\)–divisor \(D\) and a positive rational number \(\alpha\), we write \[ D(\alpha)=f^*D-\alpha E, \] and \[ m(\eta,D)=\sup_{\alpha\in \QQ_{\geq 0}}\{D(\alpha) ~\text{is}~ \QQ\text{--effective}\}, \] where \(\mathbf{B}(D)=\bigcap\limits_{k} \mathrm{Bs}|kD|\) is the stable base locus of \(D\). Suppose that \(D\) is a big divisor and \(Z\) is a subvariety of the stable base locus \(\mathbf{B}(D)\). The asymptotic vanishing order \(\mathrm{ord}_Z\lVert D\rVert\) is defined by \[ \mathrm{ord}_Z\lVert D\rVert:=\liminf_{k\to\infty}\dfrac{\mathrm{ord}_ZD_k}{k}, \] where \(D_k\) is a general element in \(\lvert kD \rvert\) for any sufficiently large and divisible \(k\). Let \(Z\) be an irreducible subvariety of \(X\). Denote by \(\tilde{Z}\) the birational transform of \(Z\) in \(Y\). We defined \[ \alpha(Z)=\inf_{\beta\in\QQ}\{\tilde{Z}\subseteq \mathbf{B}(D(\beta))\}. \]
Following the proof of Theorem 2.1 in (Ein, Lazarsfeld, and Nakamaye 1996), we present the following result (see Proposition 4.4 in (Lozovanu 2018)) which is a slight generalization of Lemma 1.3 in (Nakamaye 2005).
Proof. Let \(\delta\) be any sufficiently small positive rational number. Then \(T_X(\delta L)\) is ample. We may replace \(T_X\) by \(T_X(\delta L)\) as the conclusion for \(T_X\) can be obtained by taking the limit in \(\delta\). We may assume that \(k\) is sufficiently large and sufficiently divisible so that \(l:=k(\alpha-\beta)\), and \(l\delta\) are both integers. Note that a section \(\sigma\in \Gamma(X, \O_X(kL)\otimes \mfm_x^{k\alpha})\) defines a morphism \[ \D^l_{kL}\otimes\O_X(l\delta L)\to \O_X((k+l\delta)L) \otimes \mathcal{I}_{\Sigma_l}, \] where \[\Sigma_l=\{x\in X\mid D(\sigma)\ge l ~\text{for all}~ D ~\text{in}~ \D^l_{kL}\otimes\O_X(l\delta L) \}\] and \(\mathcal{I}_{\Sigma_l}\) is the ideal sheaf. By the assumption that the sheaf \(\D_{kL}^l\otimes\O_X(l\delta L)\) of differential operators of order \(\le l\) is generated by its sections, we have a morphism of global sections \[ \begin{aligned} d^l: H^0(X, \D_{kL}^l\otimes\O_X(l\delta L))&\to H^0(X, \O_X((k+l\delta)L)\otimes \mathcal{I}_{\Sigma_l})\\ D&\mapsto D(\sigma) \end{aligned}. \] We call the sections in the image of the morphism \(d^l\) differential sections of order \(l\). Then \[ \mult_xD(\sigma)\ge k\alpha-k(\alpha-\beta)=k\beta \] for any differential operator \(D\). Therefore, for any \(D\), the differential section \(D(\sigma)\) is also in \(H^0(X, \O_X((k+l\delta)L)\otimes\mfm_x^{k\beta})\) and hence \[ \mult_ZD(\sigma) \ge k\ord_{\widetilde{Z}}\lVert D(\beta) \rVert. \] Assume that \(\sigma\) is a general section and \(x\in X\) is a general point such that \(\mult_Z\sigma=\mult_x\sigma\). It can be checked that there exists a differential operator of order \(l\) such that \(\mult_xD(\sigma)=\mult_x\sigma-l\). By upper semi-continuity, we see that \(\mult_ZD\le \mult_x\sigma-l\). Therefore, \[ \begin{aligned} \ord_{\widetilde{Z}}\lVert D(\alpha) \rVert=&\frac{\mult_x(\sigma)}{k}\\ =&\frac{l+\mult_x(D(\sigma))}{k}\\ \ge & \alpha-\beta+\ord_{\widetilde{Z}}\lVert D(\beta) \rVert \end{aligned} \] The completes the proof for the first part of the assertion.
Since \(T_X\) is nef and hence \(T_X(\delta L)\) is ample for any positive number \(\delta\), by Lemma 2.5 in (Ein, Lazarsfeld, and Nakamaye 1996), the sheaf \(\D_{kL}^l\otimes\O_X(l\delta L)\) of differential operators of order \(\le l\) is generated by its sections. The proof is then completed.