Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Hypersurfaces in projective schemes and a moving lemma   Let X/S be a quasi-projective morphism over an affine base. We develop in
this article a technique for proving the existence of closed subschemes H/S of
X/S with various favorable properties. We offer several applications of this
technique, including the existence of finite quasi-sections in certain
projective morphisms, and the existence of hypersurfaces in X/S containing a
given closed subscheme C, and intersecting properly a closed set F.
  Assume now that the base S is the spectrum of a ring R such that for any
finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied
if R is the ring of integers of a number field, or the ring of functions of a
smooth affine curve over a finite field. We prove in this context a moving
lemma pertaining to horizontal 1-cycles on a regular scheme X quasi-projective
and flat over S. We also show the existence of a finite surjective S-morphism
to the projective space P_S^d for any scheme X projective over S when X/S has
all its fibers of a fixed dimension d.

1
The categories of this paper are: cs
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
30
The categories of this paper are: q-alg
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys