1: \begin{abstract}
2: Let $X/S $ be a quasi-projective morphism over an affine base. We develop in this article
3: a technique for proving the existence of closed subschemes $H/S$ of $X/S$ with various favorable properties.
4: We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms,
5: and the existence of
6: hypersurfaces in $X/S$ containing a given closed subscheme $C$, and intersecting properly a closed set $F$.
7:
8: Assume now that the base $S$ is the spectrum of
9: a ring $R$ such that for any finite
10: morphism $Z \to S$, $\Pic(Z)$ is a torsion group.
11: This condition is satisfied if $R $ is the ring of integers of a number field, or
12: the ring of functions of a smooth affine curve over a finite field.
13: We prove in this context a moving lemma pertaining to horizontal $1$-cycles on a regular scheme
14: $X$ quasi-projective and flat over $S $. We also show the existence
15: of a finite surjective $S$-morphism to $\mathbb P_S^d$
16: for any scheme $X$ projective over $S$ when $X/S$ has all its fibers of a fixed dimension $d$.
17:
18: \vspace*{.5cm}
19: %{\bf Keywords}:
20: \noindent
21: \begin{tiny}KEYWORDS. \end{tiny} Avoidance lemma, Bertini-type theorem, Hypersurface, Moving lemma, Multisection, $1$-cycle, Pictorsion, Quasi-section, Rational equivalence, Zero locus of a section, Noether normalization.
22:
23: \vspace*{.3cm}
24: \noindent
25: \begin{tiny}MATHEMATICS SUBJECT CLASSIFICATION: 14A15, 14C25, 14D06, 14D10, 14G40. \end{tiny}
26: \end{abstract}