12
$\begingroup$

Suppose that $S_1$ and $S_2$ are the vanishing sets of a system of polynomial equations in n variables over a field $\mathbb{k}$ (ideal in $\mathbb{k}[X_1,\dots,X_n]$) and a system of polynomial equations in m variables over a field $\mathbb{k}$ (ideal in $\mathbb{k}[Y_1,\dots,Y_m]$). We can give $S_1$ and $S_2$ the Zariski topology by letting all algebraic subsets of $S_1$ and $S_2$ to be closed.

Surely, if $Y_j\circ f\colon S_1\to\mathbb{k}$ is a polynomial in $\mathbb{k}[X_1,\dots,X_n]/I(S_1)$, for every $j$, then $f$ is continuous in the Zariski topology.

The condition that $Y_j\circ f$ be polynomial, however, seems too strict: as long as the vanishing set of $Y_j\circ f$ were equal to the vanishing set of a polynomial function, $f$ would be continuous, which means that the usual morphisms from $S_1$ to $S_2$ are not the same as the continuous maps between them as (Zariski-)topological spaces.

My question then is of two parts.

  1. Is it true that there exist Zarsiki-continuous maps that are not polynomial?
  2. If yes, then what is the geometric way of thinking about the extra structure that polynomial maps preserve, i.e. continuous maps squash subsets of $S_1$ in such a way that non-algebraic subsets never get squashed into algebraic ones, but some algebraic ones may get squashed into non-algebraic ones, but polynomials also give what features to the geometric squashing?
$\endgroup$
19
$\begingroup$

If I understand your question correctly, then (1) yes, there are going to be lots of Zariski continuous maps that are not polynomial (although, if one asks that all higher products of the map preserve the Zariski topology on the corresponding sources and targets, this is a much stronger restriction, I think --- does anyone know the details?); and (2) the usual extra structure that one adds is the sheaf of regular functions on source and target; polynomial maps pullback regular functions on the target to regular functions on the source. Thus varieties are naturally thought of as being objects in the category of locally ringed spaces (i.e. spaces equipped with a certain structure sheaf of rings) rather than just in the category of topological spaces.

$\endgroup$
8
$\begingroup$

Just an easy remark. If $k = \mathbb{F}_q$ is the finite field with $q$ elements, then every function $k^n \to k$ is a polynomial map. In fact, for every point $p = (a_1, \dots, a_n) \in k^n$ consider the polynomial $$ f(x_1, \dots, x_n) = (-1)^n \prod_{i=1}^n \prod_{b \in \mathbb{F}_q \setminus \{ a_i \} } (x_i - b); $$ $f(p) = 1$ and $f$ is zero in $k^n \setminus \{ p \}$.

$\endgroup$
8
$\begingroup$

The complex conjugation $\bar \cdot : \Bbb C \to \Bbb C$ is a concrete example of a Zariski-continuous function that is not a polynomial function.

It is not a polynomial function because if it were, since this property is independent of the underlying topology, $\bar \cdot$ would also be a polynomial function in the transcendental topology (the "usual" topology on $\Bbb C$), therefore it would also be holomorphic - which it clearly is not, since it doesn't satisfy the Cauchy-Riemann relations.

To see that it is continuous, notice that if $Z = f^{-1}(\{0\})$ with $f \in \Bbb C[x]$, and if $\bar f$ is the polynomial obtained by conjugating the coefficients of $f$, then

$$\bar \cdot ^{-1} (Z) = \bar \cdot (Z) = \{ \bar x \in \Bbb C \mid f(x) = 0\} = \{ \bar x \in \Bbb C \mid \overline{f(x)} = 0\} = \{ \bar x \in \Bbb C \mid \bar f(\bar x) = 0\} = \\ \{ z \in \Bbb C \mid \bar f(z) = 0\} = \bar f ^{-1} (\{0\})$$

which is Zariski-closed.

If $C$ is an arbitrary Zariski-closed set, then there exist polynomials $f_1, \dots, f_k$ such that

$$C = f_1 ^{-1} (\{0\}) \cap \dots \cap f_k ^{-1} (\{0\}) ,$$

whence it follows that

$$\bar \cdot ^{-1} (C) = \bar \cdot ^{-1} \Big( f_1 ^{-1} (\{0\}) \cap \dots \cap f_k ^{-1} (\{0\}) \Big) = \bar f_1 ^{-1} (\{0\}) \cap \dots \cap \bar f_k ^{-1} (\{0\})$$ which, being an intersection of Zariski-closed sets, is itself Zariski-closed.

Since the preimage of every Zariski-closed set is Zariski-closed, it follows that $\bar \cdot$ is Zariski-continuous.

$\endgroup$
7
$\begingroup$

Yes, there exists Zariski continuous maps between algebraic varieties that are not polynomials. For example all bijection between $\mathbb A ^1$ and itself is Zariski continuous but not polynomial in general: think of bijection that permutes $0$ and $1$ and leaves other points fixed.

Geometric way of thinking is algebraic subsets must be preserved. Only use polynomials and rational functions.

$\endgroup$
  • $\begingroup$ -1; the image of an algebraic set under a polynomial map need not be algebraic. $\endgroup$ – Qiaochu Yuan Nov 7 '10 at 21:57
  • 4
    $\begingroup$ @Qiaochu: Dear Qiaochu, As you know, though, the image is constructible (in the Zariski topology), which is pretty close! $\endgroup$ – Matt E Nov 7 '10 at 22:03
  • 1
    $\begingroup$ Thank you Matt E: you are good person . I wanted give intuitive explanation. I know Chevalley theorem : given morphism of finite presentation between schemes and constructible subset above, image is constructible! But I had not intention to comment: negative votes are joy to give but also to take! $\endgroup$ – evgeniamerkulova Nov 7 '10 at 23:01
  • $\begingroup$ @Matt E: do you know if this condition characterizes polynomial maps among Zariski-continuous maps? $\endgroup$ – Qiaochu Yuan Nov 8 '10 at 0:40
  • 2
    $\begingroup$ @Qiaochu Yuan: Dear Qiaochu, I don't think so; if one thinks about maps between curves, this doesn't seem to add much of a restriction (because the topology is determined just by cardinality considerations, so any self-bijection of the curve will be Zariski continuous and preserve constructibility). If you look at products as well, then I think maybe the situation changes ... . $\endgroup$ – Matt E Nov 8 '10 at 1:38
5
$\begingroup$

Consider the affine line and Look for an example there yourself.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.