On the Bertini regularity theorem for arithmetic varieties

Let \(\mathcal{X}\) be a regular projective arithmetic variety equipped with an ample hermitian line bundle \(\overline{\mathcal{L}}\). We prove that the proportion of global sections \(\sigma\) with \(\left\lVert \sigma \right\rVert_{\infty}