Der Prozess, eine zusätzliche Hilfsvariable (oft t genannt) einzuführen und Monome mit passenden Potenzen dieser Variablen zu multiplizieren, sodass ein affines Polynom homogen eines festen Gesamtgrads wird; dadurch erhält man ein homogenes Polynom, dessen projektive Nullstellemenge die affine Varietät kompaktifiziert und Gradbuchführung sowie projektive Methoden ermöglicht.

Prinzip

Ist f(x1,…,xn) vom Grad d, so ersetzt man jedes Monom x1^{a1}…xn^{an} durch t^{d−(a1+…+an)} x1^{a1}…xn^{an}, um ein homogenes F(x1,…,xn,t) vom Grad d zu erhalten; geometrische und algebraische Operationen verhalten sich im homogenisierten/projectiven Rahmen oft besser oder werden skaleninvariant.

Demonstration

Homogenisiere f(x,y)=x^2+2y durch Einführung von t und bilde F(x,y,t)=x^2+2yt, wobei das Monom y (Grad 1) mit t multipliziert wird, um Grad 2 zu erreichen; das Lösen von F=0 in projektiven Koordinaten erkennt affine Lösungen sowie Punkte im Unendlichen, die Richtungen entsprechen, in denen führende Terme sich aufheben.

Fehlanwendung

Ohne Verfolgung der Hyperfläche im Unendlichen zu homogenisieren oder zu ignorieren, dass Dehomogenisierung (t=1) Lösungen im Unendlichen übersehen oder verfälschen kann, führt zu falschen Lösungsmengen oder fehlerhaften Vielfachheiten; inkonsistente Homogenisierung innerhalb eines Ideals zerstört Idealmitgliedschaften.

Konsequenz

Homogenisierung liefert einen homogenen Vertreter, der projektive Geometriemethoden (Kompaktheit, Bézout‑Theorem, homogene Syzygien) erlaubt, das Verhalten von Graden bei Elimination klärt und eine einheitliche Behandlung von Punkten im Unendlichen beim Studium von Lösungs‑Mengen ermöglicht.

Umkehrung

Dehomogenisierung (Setzen der Hilfsvariablen auf 1 oder Ersetzen durch Verhältnisse) bringt zurück in den affinen Rahmen; alternativ kann man gewichtete Homogenisierung oder andere Kompaktifizierungen (torisch) verwenden, wenn Monomgrade oder Kombinatorik andere Graduierungen nahelegen.

Abgrenzung

Gilt für Polynome und Ideale in Polynomringen mit gewählter Graduierung; setzt voraus, dass Nenner bei rationalen Funktionen beseitigt wurden und dass der Koeffizientenkörper die üblichen algebraischen Operationen unterstützt; Homogenisierung löst nicht automatisch Singularitäten oder analytische Probleme und muss mit geeigneten projektiven Techniken kombiniert werden.

Semantische Spannung

Homogenisierung tauscht eine affine, nicht graduierte Sicht gegen eine projektive, graduierte Sicht, die Gradzählungen und Kompaktifizierung von Lösungsräumen vereinfacht; zugleich führt sie Punkte im Unendlichen ein, deren Behandlung die kombinatorische Zählung verkomplizieren kann und besondere Sorgfalt erfordert gegenüber rein affinen Rechnungen.

Synthese

Homogenisierung ist die Standardoperation, eine Hilfsvariable hinzuzufügen und Monomgrade anzupassen, um homogene Polynome zu erhalten; sie kompaktifiziert affine Varietäten zu projektiven, bewahrt Gradinformation für Elimination und Schnitttheorie und muss unter Beachtung der Hyperfläche im Unendlichen zur Interpretation von Lösungen eingesetzt werden.