A Bertini-type theorem for free arithmetic linear series (Q500818)

The author proves an arithmetic Bertini theorem. Namely, let \(X\) be a generically smooth projective arithmetic variety, and let \(R_\bullet = \bigoplus R_m\) be a graded linear series belonging to an effective divisor on \(X\). Assume that we have a norm \(\|\cdot \|_m\) on \(R_m\otimes_{\mathbb{Z}} \mathbb{R}\) for each \(m\) such that \(\|s\otimes t\|_{m+n} \leq \|s\|_m \| t\|_n\) whenever \(s\in R_m\) and \(t\in R_n\). Suppose further that \(R_1\) is base-point free, \(R_\bullet \otimes_{\mathbb Z} \mathbb{Q}\) is generated by \(R_1\), and for each \(x\in X_{\mathbb{Q}}\), there exist \(m\) and \(t\in R_m\) such that \(\| t\|_m <1\) and \(t(x)\neq 0\). Then given finitely many (not necessarily closed) points and finitely many smooth closed subvarieties, for every sufficiently large \(m\), there exists \(s_m\in R_m\) satisfying \(\| s_m \|_m < 1\) such that the intersections of \(\mathrm{div}(s_m)\) with the given closed subvarieties are all smooth and that \(s_m\) does not vanish at the given points. As an ingredient, the author proves a version of Bertini's theorem with degree estimates in the geometric case over algebraically closed fields.