In mathematics, in particular in algebra, polarization is a technique for expressing a homogeneous polynomial in a simpler fashion by adjoining more variables. Specifically, given a homogeneous polynomial, polarization produces a unique symmetric multilinear form from which the original polynomial can be recovered by evaluating along a certain diagonal. Although the technique is deceptively simple, it has applications in many areas of abstract mathematics: in particular to algebraic geometry, invariant theory, and representation theory. Polarization and related techniques form the foundations for Weyl's invariant theory.
The technique The fundamental ideas are as follows. Let f ( u ) {\displaystyle f(\mathbf {u} )} be a polynomial in n {\displaystyle n} variables u = ( u 1 , u 2 , … , u n ) . {\displaystyle \mathbf {u} =\left(u_{1},u_{2},\ldots ,u_{n}\right).} Suppose that f {\displaystyle f} is homogeneous of degree d , {\displaystyle d,} which means that
f ( t u ) = t d f ( u ) for all t . {\displaystyle f(t\mathbf {u} )=t^{d}f(\mathbf {u} )\quad {\text{ for all }}t.}
Let u ( 1 ) , u ( 2 ) , … , u ( d ) {\displaystyle \mathbf {u} ^{(1)},\mathbf {u} ^{(2)},\ldots ,\mathbf {u} ^{(d)}} be a collection of indeterminates with u ( i ) = ( u 1 ( i ) , u 2 ( i ) , … , u n ( i ) ) , {\displaystyle \mathbf {u} ^{(i)}=\left(u_{1}^{(i)},u_{2}^{(i)},\ldots ,u_{n}^{(i)}\right),} so that there are d n {\displaystyle dn} variables altogether. The polar form of f {\displaystyle f} is a polynomial
F ( u ( 1 ) , u ( 2 ) , … , u ( d ) ) {\displaystyle F\left(\mathbf {u} ^{(1)},\mathbf {u} ^{(2)},\ldots ,\mathbf {u} ^{(d)}\right)}
which is linear separately in each u ( i ) {\displaystyle \mathbf {u} ^{(i)}} (that is, F {\displaystyle F} is multilinear), symmetric in the u ( i ) , {\displaystyle \mathbf {u} ^{(i)},} and such that
F ( u , u , … , u ) = f ( u ) . {\displaystyle F\left(\mathbf {u} ,\mathbf {u} ,\ldots ,\mathbf {u} \right)=f(\mathbf {u} ).}
The polar form of f {\displaystyle f} is given by the following construction
… excerpt ends here. Continue reading the full article.
