Projekt:Computeralgebra-Berechnungen/Symmetrische Hilbert-Kunz Theorie

Aus Wikiversity

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

/SymIndexRecursive

File: NormalBasis.coc

/NormalBasisM

File: SymSyz.coc

/SymSyzCoker

/SymSyzCokerPolyring

/SymSyzCokerRelative

/StandardReferenceList

/RelativeOnesForWikiversity

File: SymWechselsumme.coc

/SymWechselsumme

File: TqMaxMComplete.coc

/WechselsummeMaxM

Macaulay2[Bearbeiten]

File: KSC.M2

/KSC

File: MKSCD6.M2

/SymSyzSheaf

/SymCodim

/MKSCD

/h2Syz2Sum

/UqSum

Zweidimensionale Ringe[Bearbeiten]

/Polynomring in zwei Variablen

Normale zweidimensionale Ringe[Bearbeiten]

/Fermat-Kubik

/Fermat-Quartik

/Fermat-Septik


Nichtnormale zweidimensionale Ringe[Bearbeiten]

/Neilparabel

/Kartesisches Blatt

Dreidimensionale Ringe[Bearbeiten]

Symmetrisches Verhalten des top-dimensionalen Syzygienbündels[Bearbeiten]

/Syz2/Ansatz

/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.

/Die Uq-Summe

/Polynomring, Uq-Summe

/Fermat-Quadrik, Uq-Summe (Parameter und maximales Ideal)

Hilfsdaten[Bearbeiten]

/Rangtabelle

/Dritte Potenzen