Teorema de Bernstein-Kushnirenko

El teorema de Bernstein-Kushnirenko o teorema de Bernstein-Khovanskii-Kushnirenko (BKK), provat per David Bernstein i Anatoli Kushnirenko el 1975, és un teorema en l'àlgebra. Afirma que el nombre de solucions complexes no nul·les d’un sistema d’equacions de polinomis de Laurent $f_{1}=\cdots =f_{n}=0$ és igual al volum barrejat dels polítops de Newton dels polinomis $f_{1},\ldots ,f_{n}$, suposant que tots els coeficients diferents de zero de $f_{n}$ siguin genèrics.

El nom de Kushnirenko també s'escriu Kouchnirenko. David Bernstein és germà de Joseph Bernstein. Askold Khovanskii ha trobat unes 15 proves diferents d’aquest teorema.

Una afirmació més precisa del teorema és la següent:

Declaració

Sigui $A$ un subconjunt finit de $\mathbb {Z} ^{n}.$ Considerem que en el subespai $L_{A}$ de l’àlgebra polínòmica de Laurent $\mathbb {C} \left[x_{1}^{\pm 1},\ldots ,x_{n}^{\pm 1}\right]$ format per polinomis de Laurent els exponents dels quals es troben en $A$. Això és:

$L_{A}=\left\{f\,\left|\,f(x)=\sum _{\alpha \in A}c_{\alpha }x^{\alpha },c_{\alpha }\in \mathbb {C} \right\},\right.$

on per a cada $\alpha =(a_{1},\ldots ,a_{n})\in \mathbb {Z} ^{n}$ hem utilitzat la notació abreujada $x^{\alpha }$ per denotar el monomi $x_{1}^{a_{1}}\cdots x_{n}^{a_{n}}.$

Ara prenem $n$ subconjunts finits $A_{1},\ldots ,A_{n}$ amb els corresponents subespais de polinomis de Laurent $L_{A_{1}},\ldots ,L_{A_{n}}.$ Considerem un sistema genèric d’equacions d’aquests subespais, és a dir:

$f_{1}(x)=\cdots =f_{n}(x)=0,$

on cada $f_{i}$és un element genèric (a l'espai vectorial de dimensions finites) $L_{A_{i}}.$

El teorema de Bernstein-Kushnirenko afirma que el nombre de solucions $x\in (\mathbb {C} \setminus 0)^{n}$ de tal sistema és igual a

$n!V(\Delta _{1},\ldots ,\Delta _{n}),$

on $V$ indica l'addició de Minkowski del volum barrejat amb cada $i,\Delta _{i}$ és l'envolupant convexa del conjunt finit de punts $A_{i}$. Clarament $\Delta _{i}$ és un polítop reticular convex. Es pot interpretar com el polítop de Newton d’un element genèric del subespai $L_{A_{i}}$.

En particular, si tots els conjunts $A_{i}$ són iguals $A=A_{1}=\cdots =A_{n},$ llavors el nombre de solucions d'un sistema genèric de polinomis de Laurent a partir de $L_{A}$ és igual a

$n!\operatorname {vol} (\Delta ),$

on $\Delta$ és l'envolupant convexa de $A$ i vol és l'usual volum euclideà $n$-dimensional. S'ha de tenir en compte que, tot i que el volum d’un polítop reticular no és necessàriament un enter, es converteix en un enter després de multiplicar-lo per $n!$.