Die minimale freie Auflösung ist
-
d.h. der letzte Auflösungsmodul hat Rang 2.
Schreibe
-
für die garbifizierte Auflösung.
Da den Rang zwei hat, ist Aus der kurzen exakte Sequenz
-
erhalten wir daher den Koszul-Komplex
-
Wie immer definieren wir Kern und Bild in .
D.h. passt in zwei kurze exakte Sequenzen, zunächst die "definierende",
-
und außerdem die "spezielle", die man nur dann so hinschreiben kann, wenn den Rang zwei hat:
-
Die korrigierte symmetrische Multiplizität (QKSC) von I ist, so wie es aussieht, einfach die Länge von R/I, nämlich 6.
q |
KSC |
QKSC
|
1
|
6
|
6
|
2
|
42
|
6
|
3
|
162
|
6
|
4
|
462
|
6
|
5
|
1092
|
6
|