Procedimiento que asocia una forma multilineal simétrica (la forma polarizada) a un polinomio homogéneo evaluando el polinomio en combinaciones lineales de variables y extrayendo los coeficientes multilineales; 'lineariza' polinomios homogéneos.

Principio

Usar identidades de polarización: para un polinomio homogéneo p de grado n definir la forma n-lineal B(v1,...,vn) por sumas de diferencias finitas o por derivadas direccionales ∂^n p en cero; equivalentemente, evaluar p en sumas y dividir por constantes factoriales para recuperar coeficientes multilineales simetrizados cuando las factoriales son invertibles.

Demostración

Una forma cuadrática q se polariza en la forma bilineal simétrica B(u,v) = (q(u+v) − q(u) − q(v) + q(0))/2. Para un polinomio cúbico homogéneo fórmulas de diferencias análogas producen una forma trilínea simétrica cuya diagonal recupera el cúbico.

Aplicación incorrecta

Aplicar polarización sin homogeneidad o sin atender problemas de característica (por ejemplo si n! no es invertible) puede dar una multlinearización incorrecta o incompleta; tratar la polarización como una mera sustitución formal puede omitir factores de normalización necesarios.

Consecuencia

La polarización produce formas multilineales simétricas que codifican los coeficientes del polinomio y permiten reconstruirlo mediante evaluación en la diagonal; conecta invariantes polinomiales con estructuras multilínea y de teoría de representaciones.

Inversión

La diagonalización (evaluar la forma multilineal en argumentos repetidos) es la operación inversa: dada B simétrica n-lineal, p(x) = B(x,...,x) recupera el polinomio salvo factores de normalización, por lo que polarización y diagonalización son procesos inversos cuando las constantes son invertibles.

Límite

Requiere que el polinomio sea homogéneo de un grado fijo y normalmente que las factoriales hasta n sean invertibles en el anillo base; no se aplica directamente a polinomios no homogéneos sin descomponerlos en componentes homogéneas.

Tensión semántica

Relacionado pero distinto de la simetrización: la polarización produce una forma multilineal simétrica cuya diagonal da el polinomio, mientras la simetrización actúa sobre formas multilineales ya existentes; la confusión surge al intercambiar evaluación diagonal y fórmulas de promediado.

Síntesis

La polarización es el procedimiento de diferencias finitas y normalización que convierte un polinomio homogéneo en su forma multilineal simétrica asociada y permite, mediante evaluación en la diagonal, recuperar el polinomio, haciendo accesibles los coeficientes polinomiales en el marco de la álgebra multilineal.