As a non-connoisseur of arithmetic and arithmetic geometry, I would like to ask about some terminology, which meaning I haven't been able to find out on some books, nor on wikipedia, nor by google.

First,

What's a "universal domain" (of a given characteristic)?

What I knew is that, on a scheme, a (not necessarily closed) point x is called a specialization of a point y (which in turn is called a generization of x) if x lies on the topological closure of the sigleton {y}.

Does it make sense, in some context, to say that a given scheme (or subscheme of a fixed scheme) is the "specialization" of another one?

Suppose you are in the following context (that I will naively try to set). You are given a scheme $M$ over the integers, such that over points of $Spec \mathbb{Z}$ it has fibers that are algebraic varieties over the residue fields $\mathbb{F}_p$, $p\geq 0$, (or maybe over a "universal domain" of suitable characteristic?). Suppose also that it is kind of an "arithmetic moduli space" for e.g. curves of some genus so that closed points of its fiber "over p" parametrize curves of that genus in characteristic p.

In the above context, or in a similar one, does it make sense to say that "a curve $C'$ is a specialization of another curve $C$"? What about the assertion "the jacobian $J'$ is a specialization of the jacobian $J$"?

Also,

What's a "specialization over another specializaion"?

What's the "Chow method" to construct the jacobian of a nonsingular curve (of any characteristic)?

What's the "Chow point"? (I suppose it's a concept related to field extensions...)

5more comments