Stanley-Reisner-Ring/Einführung/Textabschnitt
Zu einem simplizialen Komplex auf und einem kommutativen Ring nennt man den Restklassenring
![{\displaystyle {}R[\Delta ]=R[X_{v},\,v\in V]/{\left(\prod _{v\in A}X_{v}:\,A\subseteq V{\text{ ist keine Seite von }}\Delta \right)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61da54083b927d9b93ca928234d5eb1d7e1b66fd)
den Stanley-Reisner-Ring zu (über ).
Man macht also aus der Eckenmenge die Indexmenge für eine Variablenmenge, bildet den Polynomring und macht das von allen Monomen , wenn eine Nichtseite ist, erzeugte Ideal zu . Dieses Ideal nennt man auch das Stanley-Reisner-Ideal zum simplizialen Komplex. Es wird mit bezeichnet. Dieses Ideal wird bereits von den Monomen zu den minimalen Nichtseiten von erzeugt.
![{\displaystyle {}R[X_{v},\,v\in V]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09180fe05671cc18eeec45f18a226ea461d402e5)
Wichtig ist allein schon die Situation, wenn der Grundring ein Körper ist. Man interessiert sich insbesondere für solche ringtheoretischen Eigenschaften der Stanley-Reisner-Ring, die für alle Grundkörper gelten.
Zu einem Simplex ist der zugehörige Stanley-Reisner-Ring einfach der Polynomring , da es keine Nichtseite gibt und daher das Stanley-Reisner-Ideal das Nullideal ist.
![{\displaystyle {}R[X_{v}:\,v\in V]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16fc9a875e8aa24c58a2d62a7d8ec6c2e955f3e3)
Zum leeren simplizialen Komplex ist der Stanley-Reisner-Ring der Nullring, da in diesem Fall die leere Menge eine Nichtseite ist und das Produkt über die leere Menge ist. Das Stanley-Reisner-Ideal ist also das Einheitsideal und somit ist der Restklassenring der Nullring.
Zu dem simplizialen Komplex, der allein aus der leeren Menge besteht, ist der Stanley-Reisner-Ring der Grundring . In diesem Fall ist jede Ecke eine Nichtseite und daher gehören die Variablen zum Stanley-Reisner-Ideal und erzeugen dieses. Der Restklassenring ist daher der Grundring.
Diese drei angeführten Möglichkeiten nennt man auch die trivialen simplizialen Komplexe.
Auf einer zweielementigen Menge ist der einzige nichttriviale simpliziale Komplex gleich
Die einzige Nichtseite ist und daher ist
![{\displaystyle {}R[\Delta ]=R[X_{e},X_{f}]/{\left(X_{e}X_{f}\right)}\cong R[X,Y]/(XY)\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3c737ca6e68ceab0604cefc181a8e098ed7a4f2)
Auf einer dreielementigen Menge betrachten wir die nichttrivialen simplizialen Komplexe und ihre Stanley-Reisner-Ringe, wobei wir die Variablen mit bezeichnen.
Bei
ist
![{\displaystyle {}R[\Delta ]=R[X,Y,Z]/{\left(XY,XZ,YZ\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12fca08a9a8f73b02175c0da1a1177b3325a5060)
Bei
ist
![{\displaystyle {}R[\Delta ]=R[X,Y,Z]/{\left(XZ,YZ\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c967fcebf2c02619ac14d54b2266e6503c3e2e5)
Bei
ist
![{\displaystyle {}R[\Delta ]=R[X,Y,Z]/{\left(YZ\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22e5832269ab9b5651d4e8234cfdcd5c259f3fd9)
Bei
ist
![{\displaystyle {}R[\Delta ]=R[X,Y,Z]/{\left(XYZ\right)}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d711b9eb7cd8de93359f09677ea363c7b7b6b2c0)
Zu einem ungerichteten Graphen , aufgefasst als simplizialer Komplex, besteht das Stanley-Reisner-Ideal aus sämtlichen Dreierprodukten mit paarweise verschieden und aus denjenigen Produkten mit der Eigenschaft, dass keine Kante des Graphen ist (die Dreierprodukte, die eine Nichtkante beinhalten, braucht man nicht als Erzeuger).
Die Nullstellenmenge des Stanley-Reisner-Ideals ist die Achsenraumkonfiguration, also , wie in Fakt gezeigt wurde. Die folgende Aussage zeigt, dass umgekehrt der Stanley-Reisner-Ring über einem unendlichen Körper der affine Koordinantenring der Achsenraumkonfiguration ist.
Es sei ein simplizialer Komplex auf der Grundmenge , die zugehörige Achsenraumkonfiguration in und
![{\displaystyle {}K[\Delta ]=K[X_{v},\,v\in V]/I_{\Delta }\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/223bd2caa4d5cd0967e217b4e89b313bd8aad3f9)
der zugehörige Stanley-Reisner-Ring über einem unendlichen Körper .
Dann definiert ein Polynom genau dann die Nullfunktion auf , wenn ist.
![{\displaystyle {}F\in K[X_{v},\,v\in V]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a73c3550954fc1ba56fcb321e3e87a214a458db1)
Die Inklusion ist klar nach Fakt. Es sei nun
Wir schreiben
wobei wir direkt davon ausgehen können, dass nur solche Monome mit einem Koeffizienten auftreten, deren Träger eine Seite des simplizialen 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 nach Fakt 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.
