Le procédé d'adjoindre une variable auxiliaire (souvent t) et de multiplier les monômes par des puissances appropriées de cette variable afin qu'un polynôme affine devienne homogène d'un degré total fixé ; on obtient ainsi un polynôme homogène dont l'ensemble de zéros projectif compacte la variété affine et facilite le suivi des degrés et les méthodes projectives.

Principe

Pour f(x1,…,xn) de degré d, remplacer chaque monôme x1^{a1}…xn^{an} par t^{d−(a1+…+an)} x1^{a1}…xn^{an} pour obtenir F(x1,…,xn,t) homogène de degré d ; les opérations géométriques et algébriques se comportent souvent mieux ou deviennent invariantes par homothétie dans le cadre homogenisé/projectif.

Démonstration

Homogénéiser f(x,y)=x^2+2y en introduisant t et en formant F(x,y,t)=x^2+2yt où le monôme y (degré 1) est multiplié par t pour atteindre le degré 2 ; résoudre F=0 en coordonnées projectives détecte les solutions affines et les points à l'infini correspondant à des directions où les termes dominants s'annulent.

Mauvaise application

Homogénéiser sans suivre l'hyperplan à l'infini ou ignorer que la dé‑homogénéisation (t=1) peut omettre ou confondre des solutions à l'infini conduit à des comptes de solutions incorrects ou à une mauvaise interprétation des multiplicités ; ne pas homogénéiser de façon cohérente au sein d'un idéal rompt les relations d'appartenance à l'idéal.

Conséquence

L'homogénéisation fournit un représentant homogène qui permet d'utiliser des outils de géométrie projective (compacité, théorème de Bézout, syzygies homogènes), clarifie le comportement des degrés lors de l'élimination et permet de traiter uniformément les points à l'infini lors de l'étude des ensembles de solutions.

Inversion

La dé‑homogénéisation (fixer la variable auxiliaire à 1 ou substituer des rapports) ramène au cadre affine ; inversement, on peut employer une homogénéisation pondérée ou d'autres compactifications (toriques) plutôt que l'homogénéisation standard lorsque les degrés des monômes ou la combinatoire suggèrent un autre gradué.

Limite

S'applique aux polynômes et idéaux dans des anneaux de polynômes munis d'un gradué choisi ; suppose que les dénominateurs des fonctions rationnelles ont été éliminés et que le corps des coefficients permet les opérations algébriques usuelles ; l'homogénéisation ne résout pas en soi les singularités ni les problèmes analytiques et doit être associée à des techniques projectives appropriées.

Tension sémantique

L'homogénéisation échange une perspective affine non graduée contre une perspective projective graduée qui simplifie le comptage des degrés et la compactification des ensembles de solutions ; cependant, elle introduit des points à l'infini dont le traitement peut complexifier les comptes combinatoires et exige de la prudence comparé aux stratégies computationnelles purement affines.

Synthèse

L'Homogénéisation est l'opération algébrique standard consistant à ajouter une variable auxiliaire et à ajuster les degrés des monômes pour obtenir des polynômes homogènes ; elle compacte les variétés affines en variétés projectives, conserve l'information sur les degrés pour l'élimination et la théorie des intersections, et doit être employée en gardant à l'esprit l'hyperplan à l'infini lors de l'interprétation des solutions.