Skip to main content
modified the edit to reduce to the case of one polynomial
Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Edit: As BCnrd remarks, this proof only works if all polynomials $p_i(T)$ are non constant-constant. Suppose this is not the case and let's say onlyLet me modify the first $r$proof to take his judicious comments into account. If all polynomials are non constant, your morphism is not proper but its image is clearly closed. ThenIf at least one polynomial is non-constant, say the first, then the argument above proves that the corresponding morphism $f_r: \mathbb A^1_K \to \mathbb A^r_K $$f_1: \mathbb A^1_K \to \mathbb A^1_K $ is properfinite.The obvious closed immersion $j: \mathbb A^r_K \to \mathbb A^n_K $$j: \mathbb A^1_K \to \mathbb A^n_K $ (last $n-r$$n-1$ coordinates given by the constantother polynomials) is properfinite and the composition, which is your morphism $f=j\circ f_r: \mathbb A^1_K \to \mathbb A^n_K $$f=j\circ f_1: \mathbb A^1_K \to \mathbb A^n_K $ , is thus also proper. [After long enough immersion in Bourbaki this might seem correct even for $r=0$, i.e. if all polynomials are constant..finite.]

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Edit: As BCnrd remarks, this proof only works if all polynomials $p_i(T)$ are non constant. Suppose this is not the case and let's say only the first $r$ polynomials are non constant. Then the argument above proves that the corresponding morphism $f_r: \mathbb A^1_K \to \mathbb A^r_K $ is proper.The obvious closed immersion $j: \mathbb A^r_K \to \mathbb A^n_K $ (last $n-r$ coordinates given by the constant polynomials) is proper and the composition, which is your morphism $f=j\circ f_r: \mathbb A^1_K \to \mathbb A^n_K $ , is thus also proper. [After long enough immersion in Bourbaki this might seem correct even for $r=0$, i.e. if all polynomials are constant...]

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Edit: As BCnrd remarks, this proof only works if all polynomials $p_i(T)$ are non-constant. Let me modify the proof to take his judicious comments into account. If all polynomials are constant, your morphism is not proper but its image is clearly closed. If at least one polynomial is non-constant, say the first, then the argument above proves that the corresponding morphism $f_1: \mathbb A^1_K \to \mathbb A^1_K $ is finite.The obvious closed immersion $j: \mathbb A^1_K \to \mathbb A^n_K $ (last $n-1$ coordinates given by the other polynomials) is finite and the composition, which is your morphism $f=j\circ f_1: \mathbb A^1_K \to \mathbb A^n_K $ , is thus also finite.

Added case of constant polynomials in Edit
Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Edit: As BCnrd remarks, this proof only works if all polynomials $p_i(T)$ are non constant. Suppose this is not the case and let's say only the first $r$ polynomials are non constant. Then the argument above proves that the corresponding morphism $f_r: \mathbb A^1_K \to \mathbb A^r_K $ is proper.The obvious closed immersion $j: \mathbb A^r_K \to \mathbb A^n_K $ (last $n-r$ coordinates given by the constant polynomials) is proper and the composition, which is your morphism $f=j\circ f_r: \mathbb A^1_K \to \mathbb A^n_K $ , is thus also proper. [After long enough immersion in Bourbaki this might seem correct even for $r=0$, i.e. if all polynomials are constant...]

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.

Edit: As BCnrd remarks, this proof only works if all polynomials $p_i(T)$ are non constant. Suppose this is not the case and let's say only the first $r$ polynomials are non constant. Then the argument above proves that the corresponding morphism $f_r: \mathbb A^1_K \to \mathbb A^r_K $ is proper.The obvious closed immersion $j: \mathbb A^r_K \to \mathbb A^n_K $ (last $n-r$ coordinates given by the constant polynomials) is proper and the composition, which is your morphism $f=j\circ f_r: \mathbb A^1_K \to \mathbb A^n_K $ , is thus also proper. [After long enough immersion in Bourbaki this might seem correct even for $r=0$, i.e. if all polynomials are constant...]

Source Link
Georges Elencwajg
  • 47.5k
  • 14
  • 159
  • 241

Dear Damien, let's show that your morphism $f: \mathbb A^1_K \to \mathbb A^n_K $ is proper, hence closed, hence certainly has closed image.

For that it is enough to prove that each $f_i:\mathbb A^1_K \to \mathbb A^1_K$ is proper. But this follows from the stronger property that $f_i$ is finite or dually that the ring morphism $K[T] \to K[T]: T\to p_i(T)$ is finite. This is elementary: it follows, for example, from the fact that $T$ is (tautologically) integral over $K[p_i (T)]$.

Note that in this proof you needn't assume that the field $K$ is algebraically closed.