A Generalization of Kodaira's Embedding Theorem.
Let X be a nonsingular complex algebraic curve and let Y be a nonsingular rational complex algebraic surface. Given a compact subset K of X, every holomorphic map from a neighborhood of K in X into Y can be approximated by rational maps from X into Y having no poles in K. If Y is a nonsingular projective complex surface with the first Betti number nonzero, then such an approximation is impossible.
The theorem of Ax says that any regular selfmapping of a complex algebraic variety is either surjective or non-injective; this property is called surjunctivity and investigated in the present paper in the category of proregular mappings of proalgebraic spaces. We show that such maps are surjunctive if they commute with sufficiently large automorphism groups. Of particular interest is the case of proalgebraic varieties over infinite graphs. The paper intends to bring out relations between model theory,...
We collect certain useful lemmas concerning the characteristic map, -invariant sets of matrices, and the relative codimension. We provide a characterization of rank varieties in terms of the characteristic map as well as some necessary and some sufficient conditions for linear subspaces to allow the dominant restriction of the characteristic map.