Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie
Zielsetzung[Bearbeiten]
In diesem Projekt werden Berechnungen zur symmetrischen Hilbert-Kunz-Theorie dokumentiert, die mit den Computeralgebraprogrammen CoCoA und Macaulay2 durchgeführt wurden. Initiatoren sind Holger Brenner und Helena Fischbacher-Weitz.
Die Programme[Bearbeiten]
CoCoA[Bearbeiten]
Programm für symmetrische Codimension laufen lassen
File: SymIndexRecursive.coc
File: NormalBasis.coc
File: SymSyz.coc
File: SymWechselsumme.coc
File: TqMaxMComplete.coc
Macaulay2[Bearbeiten]
File: KSC.M2
File: MKSCD6.M2
Zweidimensionale Ringe[Bearbeiten]
/Polynomring in zwei Variablen
Normale zweidimensionale Ringe[Bearbeiten]
Nichtnormale zweidimensionale Ringe[Bearbeiten]
Dreidimensionale Ringe[Bearbeiten]
Symmetrisches Verhalten des top-dimensionalen Syzygienbündels[Bearbeiten]
/Syz2/Polynomring in drei Variablen
/Syz2/Fermat-Quadrik (vier Variablen)
/Syz2/Fermat-Kubik (vier Variaben)
/Syz2/Fermat-Quartik (vier Variaben)
/Syz2/Fermat-Septik (vier Variablen)
Symmetrische Codimension[Bearbeiten]
Berechnungen wie im Zweidimensionalen mit SymSyzCoker bzw. SymSyzCokerPolyring. Im Gegensatz zum zweidimensionalen Fall kommt dabei nicht die HK-Multiplizitaet heraus.
/Polynomring in drei Variablen
/Fermat-Quadrik (vier Variablen)
/Fermat-Kubik (vier Variablen)
/Fermat-Quartik (projektive Fläche)
Korrigierte symmetrische Codimension[Bearbeiten]
Zu den obigen Werten kommen Korrekturterme hinzu.
Nur ein Korrekturterm: (Rechnungen mit CoCoA)
/Polynomring in drei Variablen, einfach korrigierte symmetrische Codimension
Anzahl der Korrekturterme = Rang des zweiten Syzygienbündels: (Rechnungen mit M2)
/Die mehrfach korrigierte symmetrische Codimension
/Polynomring in drei Variablen, MKSC
/Fermat-Quadrik (vier Variablen), MKSC (symmetrische Multiplizität)
/Fermat-Flächen im Vergleich (symmetrische Multiplizität)
Noch eine Variante - Arbeitsbegriff "Uq-Summe"[Bearbeiten]
Möglicherweise eine Alternative zur symmetrischen Codimension.
/Fermat-Quadrik, Uq-Summe (Parameter und maximales Ideal)