Polynôme de Laurent

Un polynôme de Laurent est une généralisation de la notion de polynôme où l'on autorise les puissances de l'indéterminée à être négatives. Introduits par le mathématicien Pierre Alphonse Laurent en 1843 pour l'étude des fonctions, afin de généraliser la série de Taylor au moyen de la série de Laurent, ils apparaissent depuis dans de nombreuses branches des mathématiques et de la physique théorique, en particulier en algèbre, dans l'étude des algèbres de Lie et en relation avec la théorie de Fourier.

Définition

Soit R un anneau commutatif, un polynôme de Laurent est une expression de la forme :

$p(t)=\sum _{k\in \mathbb{Z}}{a}_k{t}^k,a_k\in R$

où seul un nombre fini des coefficients $a_k$ est différent de 0.

L'anneau des polynômes de Laurent

L'ensemble des polynômes de Laurent à coefficients dans un anneau commutatif R est noté $R[t,t^{-1}]$ ou $R[t^{\pm 1}]$. Cet ensemble est muni d'une structure d'anneau avec les mêmes opérations que l'anneau des polynômes sur R, l'indice de sommation pouvant prendre des valeurs négatives. En particulier, l'anneau des polynômes de Laurent s'obtient par localisation de l'anneau des polynômes.

On a donc les opérations suivantes :

$\left(\sum _i{a}_i{X}^i\right)+\left(\sum _i{b}_i{X}^i\right)=\sum _i(a_i+b_i)X^i$

$\left(\sum _i{a}_i{X}^i\right)\cdot \left(\sum _j{b}_j{X}^j\right)=\sum _k\left(\sum _{i,j:i+j=k}{a}_i{b}_j\right)X^k.$

Et la structure naturelle de R-module permet de définir la multiplication par un scalaire :

$a\cdot \sum _{i\in \mathbb{Z}}{a}_i{X}^i=\sum _{i\in \mathbb{Z}}(a{a}_i)X^i$.

Quelques propriétés

$R[t]$ est un sous-anneau de $R[t^{\pm 1}]$. $R[t^{\pm 1}]$ est un sous-anneau de l'anneau des fractions rationnelles $R(t)$. C'est également un sous-anneau du corps des séries de Laurent.

L'anneau $R[t^{\pm 1}]$ est un anneau noethérien mais pas artinien. Il est notamment isomorphe, en tant que R-algèbre, à l'algèbre de groupe $R[\mathbb{Z}]$ et hérite donc d'une structure commutative et cocommutative d'algèbre de Hopf. Si K est un corps, alors $K[t^{\pm 1}]$ est un anneau euclidien (comme localisé de $K[t]$).

Dérivations sur l'anneau des polynômes de Laurent

Soit R un corps, une dérivation sur $R[X,X^{-1}]$ est:

$\frac{\partial }{\partial X}:\sum _{k\in Z}{a}_k{X}^k\mapsto \sum _{k\in Z}k{a}_k{X}^{k-1}$

Si $p(X)$ est un polynôme de Laurent, alors $T_{p(X)}=p(X)\frac{\partial }{\partial X}$ est encore une dérivation et on peut montrer que c'est la plus générale, au sens que toute dérivation peut s'écrire ainsi. On dispose donc d'une base

$d_n=T_{-X^{n+1}}=-X^{n+1}\frac{\partial }{\partial X}n\in \mathbb{Z}$

On peut alors poser un commutateur qui dote cette algèbre des polynômes de Laurent d'une structure d'algèbre de Lie:

$[d_i,d_j]=(i-j)d_{i+j}$

pour tous entiers i, j, qui n'est autre que l'Modèle:Lien.

Algèbres de lacets

Si G est une algèbre de Lie complexe de dimension finie, on construit l'Modèle:Lien associée en la tensorisant par les polynômes de Laurent sur le corps des complexes :

$\tilde{G}=R[t^{\pm 1}]{\otimes }_{ℂ}G$.

En particulier, $\tilde{G}$ est de dimension infinie.

Généralisations

• Les polynômes de Laurent se généralisent aisément à plusieurs indéterminées, l'anneau correspondant étant noté $R[t_i^{\pm 1}]$.
• Du point de vue de l'analyse complexe, les polynômes de Laurent ont deux pôles situés en 0 et en $\mathrm{\infty }$. On peut travailler avec l'ensemble des fonctions méromorphes sur le Modèle:Lien privé d'un couple de points (respectivement d'un nombre fini de points), qui se ramène a l'étude des polynôme de Laurent au moyen d'une translation (ou d'une suite de translations si c'est un polynôme à plusieurs variables).

Références

• Modèle:Article