Modul/Darstellung/Symmetrische Algebra/Bemerkung

Zu einer Moduldarstellung

ist die symmetrische Algebra der Restklassenring , wobei durch lineare Polynome erzeugt wird, die aus der Matrix ablesbar sind. Die Schnitte von in entsprechen den -Algebrahomomorphismen und diese den -Modulhomomorphismen und damit insgesamt dem Dualmodul. Die Fasern sind immer affine Räume, aber mit variierender Dimension.


ist ein Achsenkreuz. Über einem diskreten Bewertungsring kann man Variablen, die mit einer Einheit als Vorfaktor in eine Gleichung eingehen, grundsätzlich elimininieren. Variablen, die gar nicht vorkommen, tragen zu einem Zylinder bei. Ansonsten sind Gleichungen der Form

zu betrachten. Dabei gibt es für jede Variable einen minimalen Exponenten.


Die Gleichung hat einen Effekt, wie sich die Komponenten schneiden, hier und , wo der Schnitt ist, also die -Achse.


Bei

geht es um , die Schnitte sind der Nullmodul, der Modul selbst ist ein Torsionsmodul.




Ein wie oben dargestellter Modul lässt sich direkt zurückziehen.


ist dual

exakt.