Polarización de una forma algebraica

En matemáticas , en particular en álgebra , la polarización es una técnica para expresar un polinomio homogéneo de una manera más sencilla mediante la adición de más variables. En concreto, dado un polinomio homogéneo, la polarización produce una forma multilineal simétrica única a partir de la cual se puede recuperar el polinomio original mediante la evaluación a lo largo de una diagonal determinada.

Aunque la técnica es engañosamente simple, tiene aplicaciones en muchas áreas de las matemáticas abstractas: en particular en la geometría algebraica , la teoría de invariantes y la teoría de la representación . La polarización y las técnicas relacionadas forman las bases de la teoría de invariantes de Weyl.

Las ideas fundamentales son las siguientes. Sea un polinomio de variables Supóngase que es homogéneo de grado lo que significa que ${\displaystyle f(\mathbf {u} )}$${\estilo de visualización n}$${\displaystyle \mathbf {u} =\left(u_{1},u_{2},\ldots ,u_{n}\right).}$${\estilo de visualización f}$ ${\estilo de visualización d,}$$${\displaystyle f(t\mathbf {u} )=t^{d}f(\mathbf {u} )\quad {\text{ para todo }}t.}$$

Sea una colección de indeterminados con tal que existan variables en total. La forma polar de es un polinomio que es lineal por separado en cada uno (es decir, es multilineal), simétrico en el y tal que${\displaystyle \mathbf {u} ^{(1)},\mathbf {u} ^{(2)},\ldots ,\mathbf {u} ^{(d)}}$${\displaystyle \mathbf {u} ^{(i)}=\left(u_{1}^{(i)},u_{2}^{(i)},\ldots ,u_{n}^{(i)}\right),}$${\estilo de visualización dn}$${\estilo de visualización f}$$${\displaystyle F\left(\mathbf {u} ^{(1)},\mathbf {u} ^{(2)},\ldots ,\mathbf {u} ^{(d)}\right)}$$${\displaystyle \mathbf {u} ^{(i)}}$${\estilo de visualización F}$${\displaystyle \mathbf {u} ^{(i)},}$$${\displaystyle F\left(\mathbf {u} ,\mathbf {u} ,\ldots ,\mathbf {u} \right)=f(\mathbf {u} ).}$$

La forma polar de se da mediante la siguiente construcción En otras palabras, es un múltiplo constante del coeficiente de en la expansión de${\estilo de visualización f}$$${\displaystyle F\left({\mathbf {u} }^{(1)},\dots ,{\mathbf {u} }^{(d)}\right)={\frac {1}{d! }}{\frac {\partial }{\partial \lambda _{1}}}\dots {\frac {\partial }{\partial \lambda _{d}}}f(\lambda _{1}{\mathbf {u} }^{(1)}+\dots +\lambda _{d}{\mathbf {u} }^{(d)})|_{\lambda =0}. }$$${\estilo de visualización F}$${\displaystyle \lambda_{1}\lambda_{2}\ldots \lambda_{d}}$${\displaystyle f\left(\lambda _ {1}\mathbf {u} ^{(1)}+\cdots +\lambda _ {d}\mathbf {u} ^{(d)}\right).}$

Un ejemplo cuadrático. Supongamos que y es la forma cuadrática . Entonces, la polarización de es una función en y dada por De manera más general, si es cualquier forma cuadrática, entonces la polarización de concuerda con la conclusión de la identidad de polarización .${\displaystyle \mathbf {x} =(x,y)}$${\displaystyle f(\mathbf {x} )}$$${\displaystyle f(x)=x^{2}+3xy+2y^{2}.}$$${\estilo de visualización f}$${\displaystyle \mathbf {x} ^{(1)}=(x^{(1)},y^{(1)})}$${\displaystyle \mathbf {x} ^{(2)}=(x^{(2)},y^{(2)})}$$${\displaystyle F\left(\mathbf {x} ^{(1)},\mathbf {x} ^{(2)}\right)=x^{(1)}x^{(2)}+{ \frac {3}{2}}x^{(2)}y^{(1)}+{\frac {3}{2}}x^{(1)}y^{(2)}+2y^{(1)}y^{(2)}.}$$${\estilo de visualización f}$${\estilo de visualización f}$

Un ejemplo cúbico. Sea entonces la polarización de está dada por${\displaystyle f(x,y)=x^{3}+2xy^{2}.}$${\estilo de visualización f}$$${\displaystyle F\left(x^{(1)},y^{(1)},x^{(2)},y^{(2)},x^{(3)},y^{(3)}\right)=x^{(1)}x^{(2)}x^{(3)}+{\frac {2}{3}}x^{(1)}y^{(2)}y^{(3)}+{\frac {2}{3}}x^{(3)}y^{(1)}y^{(2)}+{\frac {2}{3}}x^{(2)}y^{(3)}y^{(1)}.}$$

La polarización de un polinomio homogéneo de grado es válida sobre cualquier anillo conmutativo en el que es una unidad . En particular, se cumple sobre cualquier cuerpo de característica cero o cuya característica sea estrictamente mayor que${\estilo de visualización d}$ ${\estilo de visualización d!}$${\estilo de visualización d.}$

Para simplificar, sea un campo de característica cero y sea el anillo polinomial en variables sobre Entonces se gradúa por grado, de modo que La polarización de las formas algebraicas induce entonces un isomorfismo de espacios vectoriales en cada grado donde es la -ésima potencia simétrica .${\estilo de visualización k}$${\displaystyle A=k[\mathbf {x} ]}$${\estilo de visualización n}$${\estilo de visualización k.}$${\estilo de visualización A}$$${\displaystyle A=\bigoplus _ {d}A_ {d}.}$$$${\displaystyle A_{d}\cong \operatorname {Sym} ^{d}k^{n}}$$${\displaystyle \nombreoperador {Sym} ^{d}}$${\estilo de visualización d}$

Estos isomorfismos se pueden expresar independientemente de una base de la siguiente manera. Si es un espacio vectorial de dimensión finita y es el anillo de funciones polinómicas de valores en graduadas por grado homogéneo, entonces la polarización produce un isomorfismo${\estilo de visualización V}$${\estilo de visualización A}$${\estilo de visualización k}$${\estilo de visualización V}$$${\displaystyle A_{d}\cong \operatorname {Sym} ^{d}V^{*}.}$$

Además, la polarización es compatible con la estructura algebraica en , de modo que donde es el álgebra simétrica completa sobre${\estilo de visualización A}$$${\displaystyle A\cong \nombre del operador {Sym} ^{\bullet }V^{*}}$$${\displaystyle \nombreoperador {Sym} ^{\bullet }V^{*}}$${\displaystyle V^{*}.}$

• Para los campos de característica positiva se aplican los isomorfismos anteriores si las álgebras graduadas se truncan en el grado${\estilo de visualización p,}$${\displaystyle p-1.}$
• Existen generalizaciones cuando es un espacio vectorial topológico de dimensión infinita .${\estilo de visualización V}$

• Función homogénea  : función con un comportamiento de escala multiplicativo

• Claudio Procesi (2007) Grupos de Lie: una aproximación a través de invariantes y representaciones , Springer, ISBN  9780387260402 .