Simplizialer Komplex/Stanley-Reisner-Ring/Achsenraumkonfiguration/Ideal/Fakt/Beweis2

Beweis

Sei zunächst zu einer Nichtseite . Es sei ein Punkt der zugehörigen Achsenraumkonfiguration. Das bedeutet, dass der Träger des Tupels eine Seite des simplizialen Komplexes ist. Somit ist und das heißt, dass es ein derart gibt, dass der Punkt an diesem Index den Eintrag besitzt. Dann ist auch .

Sei nun umgekehrt

Wir schreiben

wobei wir direkt davon ausgehen können, dass nur solche Monome mit einem Koeffizienten auftreten, deren Träger eine Seite des Komplexes ist (da die Monome zu Nichtseiten die Nullfunktion induzieren). Dabei sei eine Seite des simplizialen Komplexes, die als Träger eines Monoms in vorkommt. Es sei eine Facette und der zugehörige Achsenraum, der eine irreduzible Komponente der Achsenraumkonfiguration ist. Ein Monom , das in vorkommt und dessen Träger nicht in liegt, induziert auf dem Achsenraum die Nullfunktion und man kann es weglassen, da dies den Wert der Polynomfunktion auf diesem Achsenraum nicht ändert. Ohne Einschränkung liege also der Träger eines jedes Monoms von in . Dann ist aber einfach ein Polynom in den Variablen , , und der ist der natürliche affine Raum, auf dem diese Polynome als Funktionen wirken. Bei einem unendlichen Körper ist aber nach Aufgabe ein vom Nullpolynom verschiedenes Polynom nicht die Nullfunktion auf dem affinen Raum.