Polynomial mapping

In algebra, a polynomial map or polynomial mapping $P:V\to W$ between vector spaces over an infinite field k is a polynomial in linear functionals with coefficients in W; i.e., it can be written as

$P(v)=\sum _{i_{1},\dots ,i_{n}}L_{i_{1}}(v)\cdots L_{i_{n}}(v)w_{i_{1},\dots ,i_{n}}$

where the $L_{i_{j}}:V\to k$ are linear functionals and the $w_{i_{1},\dots ,i_{n}}$ are in W. For example, if $W=k^{m}$, then a polynomial mapping can be expressed as $P(v)=(P_{1}(v),\dots ,P_{m}(v))$ where the $P_{i}$ are (scalar-valued) polynomial functions on V.

When V, W are finite-dimensional vector spaces and are viewed as algebraic varieties, then a polynomial mapping is precisely a morphism of algebraic varieties.

One fundamental outstanding question regarding polynomial mappings is the Jacobian conjecture, which concerns the sufficiency of a polynomial mapping to be invertible.

See also

• Polynomial functor

References

• Claudio Procesi (2007) Lie Groups: an approach through invariants and representation, Springer, ISBN 9780387260402.