Kummer Surfaces

Subsections

• Creation of a Kummer Surface
• Structure Operations
• Base Ring
• Changing the Base Ring

Creation of a Kummer Surface

KummerSurface(J) : JacHyp -> SrfKum

The Kummer surface of the Jacobian J of a genus 2 curve.

Structure Operations

DefiningEquation(K) : SrfKum -> RngMPolElt

The defining equation of the Kummer surface K.

Base Ring

BaseField(K) : SrfKum -> Fld

BaseRing(K) : SrfKum -> Rng

CoefficientRing(K) : SrfKum -> Rng

The base field of the Kummer surface K.

Changing the Base Ring

BaseChange(K, F) : SrfKum, Rng -> SrfKum

BaseExtend(K, F) : SrfKum, Rng -> SrfKum

Extends the base field of the Kummer surface K to the field F.

BaseChange(K, j) : SrfKum, Map -> SrfKum

BaseExtend(K, j) : SrfKum, Map -> SrfKum

Extends the base field of the Kummer surface K by the map j, where j is a ring homomorphism with the base field of C as its domain.

BaseChange(K, n): SrfKum, RngIntElt -> SrfKum

BaseExtend(K, n): SrfKum, RngIntElt -> SrfKum

Extends the finite base field of the Kummer surface K over a finite field to the degree n extension.