Der hilbertsche Syzygiensatz ist ein mathematischer Satz der Invariantentheorie, den David Hilbert 1890 in seiner Abhandlung „Ueber die Theorie der algebraischen Formen“ (Mathematische Annalen, Band 36, 1900, Seiten 473–534) veröffentlicht hat. Die Fundstelle wird im Folgenden mit MA36 zitiert. Der Syzygiensatz spielt (in den verschiedenen Variationen, die er inzwischen erfuhr) eine wichtige Rolle in der algebraischen Geometrie, der kommutativen Algebra und der Computeralgebra. Er ist der mittlere der drei berühmten Sätze aus Hilberts Königsberger Zeit (Basissatz, Syzygiensatz und Nullstellensatz).
Einführung Bearbeiten
Hilbert hat keinen seiner Sätze Syzygiensatz genannt. Je nach Forschungsschwerpunkt wird man das Theorem III in MA36 oder den Satz (den er nicht weiter bezeichnet) auf der letzten Seite in MA36 als den Syzygiensatz auffassen. Der letzte Satz ist der einzige in der Abhandlung, der den Begriff Syzygie enthält. Das Theorem III hingegen kommt dem modernen Verständnis mehr entgegen. Hilberts Abhandlung in MA36 umfasst 61 Seiten und besteht aus fünf Abschnitten. Im ersten wird der hilbertsche Basissatz wiederholt (Theorem I) und im zweiten erweitert (Theorem II). Der dritte enthält den Syzygiensatz (in seiner „modernen“ Fassung, Theorem III), der vierte handelt von Hilbertfunktionen (Theorem IV) und der fünfte enthält den Syzygiensatz in seiner invariantentheoretischen Ausprägung (er ist spezieller als das Theorem V, das „nur“ die Endlichkeit des vollen Invariantensystems behauptet).
Wortlaut Bearbeiten
Theorem III Bearbeiten
MA36, Seite 492: „Ist ein Gleichungssystem von der Gestalt (13) vorgelegt [], wobei die Glieder algebraische Formen sind, so führt die Aufstellung der Relationen zwischen den Lösungen desselben [Syzygien] zu einem zweiten Gleichungssysteme von der nämlichen Gestalt; aus diesem zweiten abgeleiteten Gleichungssysteme entspringt in gleicher Weise ein drittes abgeleitetes Gleichungssystem. Das so begonnene Verfahren erreicht bei weiterer Fortsetzung stets ein Ende und zwar ist spätestens das -te Gleichungssystem jener Kette [ = Zahl der Variablen des Polynomrings] ein solches, welches keine [nicht trivialen] Lösungen mehr besitzt.“ Die [ ]-Zusätze gehören nicht zum Originaltext.
Syzygiensatz (invariantentheoretisch) Bearbeiten
MA36, Seite 534: „Die Systeme der irreduciblen Syzygien erster Art, zweiter Art etc. bilden eine Kette abgeleiteter Gleichungssysteme. Diese Syzygienkette bricht im Endlichen ab und zwar giebt [sic] es keinenfalls Syzygien von höherer als der –ten Art, wenn die Zahl der Invarianten des vollen Systems bezeichnet.“
Erläuterungen Bearbeiten
Hilbert versteht unter einer algebraischen Form ein homogenes Polynom in Variablen über einem Körper (gelegentlich auch ein homogenes Polynom mit nur ganzzahligen Koeffizienten), aber auch Summen von Produkten der Koeffizienten des Körpers, ´Variable´ als Parameter aufgefasst (z. B. Determinanten).
Eine Invariante ist eine ganze homogene Funktion der Koeffizienten einer zugrundegelegten algebraischen Form, die gegenüber allen linearen Transformationen der Variablen unverändert bleibt.
Eine Syzygie (aus dem Griechischen sysygia = Paar) ist ein -Tupel in einer Relationen-Gleichung der Form , so dass Syzygie eigentlich nicht „Paar“, sondern „Paargenosse“ bedeutet (nämlich nur ein m-Tupel von zweien, die in Relation treten). Hilbert verwendet Syzygien in Theorem III (die Lösungen seiner Gleichungssysteme), ohne sie so zu nennen. Der Begriff Syzygie besitzt außerhalb der Mathematik noch viele andere Bedeutungen.
Moderne Formulierungen (Beispiele) Bearbeiten
- Klaus Altmann: „Jeder endlich erzeugte -Modul hat eine projektive Auflösung der Länge .“
- Uwe Nagel: „Ist ein endlich erzeugter Modul über dem Polynomring , so besitzt eine endlich freie Auflösung der Länge “
- David Eisenbud: „Let be the polynomial ring in variables over a field . Any finitely generated graded S-modules has a finite free resolution of length at most .“
- „“, wobei für „globale Dimension“ steht, eine Umschreibung, die sich auf den Begriff der projektiven Dimension stützt, der seinerseits etwas mit projektiven Auflösungen zu tun hat.
Literatur Bearbeiten
- David Hilbert: Ueber die Theorie der algebraischen Formen, Mathematische Annalen, 36, 1890, S. 473–534, Digitalisat
- Roger Wiegand: What is a Syzygy ?, Notices of the AMS, 2006, Nr. 4, Online
- David Eisenbud: The geometry of syzygies. A second course in commutative algebra and algebraic geometry. Springer-Verlag 2005,
Weblinks Bearbeiten
Einzelnachweise Bearbeiten
- Kommutative Algebra, FU Berlin, 2006
- Algebraische Geometrie, Kai Gehrs nach den Vorlesungen von Uwe Nagel, Universität Paderborn, 2007
- Lectures on the Geometry of Syzygies, University of California