Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 •  Contact us
 
[Next][Prev] [Right] [Left] [Up] [Index] [Root]

ALGEBRAIC SURFACES

 
Acknowledgements
 
Introduction
 
Embedded Formal Desingularization of Curves
 
Formal Desingularization of Surfaces
 
Adjoint Systems and Birational Invariants
 
Classification and Parameterization of Rational Surfaces
      Reduction to Special Models
      Parametrization of Rational Surfaces
      Parametrization of Special Surfaces
 
Parametrization of Del Pezzo Surfaces
 
Bibliography







DETAILS

 
Introduction

 
Embedded Formal Desingularization of Curves
      ResolveAffineCurve(p) : RngMPolElt -> List, List, List, RngIntElt
      Example AlgSrf_aff_crv_res (H107E1)
      ResolveProjectiveCurve(p) : RngMPolElt -> List, List, List, RngIntElt
      Example AlgSrf_prj_crv_res (H107E2)

 
Formal Desingularization of Surfaces
      ResolveAffineMonicSurface(s) : RngUPolElt -> List, RngIntElt
      Example AlgSrf_aff_res (H107E3)
      ResolveProjectiveSurface(s) : RngMPolElt -> List, RngIntElt
      Example AlgSrf_prj_res (H107E4)

 
Adjoint Systems and Birational Invariants
      HomAdjoints(m,n,p) : RngIntElt, RngIntElt, RngMPolElt -> SeqEnum
      GeometricGenusOfDesingularization(S) : Sch -> RngIntElt
      Plurigenus(S,m) : Sch, RngIntElt -> RngIntElt
      ArithmeticGenusOfDesingularization(S) : Sch -> RngIntElt
      Example AlgSrf_adj_ex (H107E5)

 
Classification and Parameterization of Rational Surfaces
      IsRational(X) : Sch -> BoolElt

      Reduction to Special Models
            ClassifyProjectiveSurface(p) : RngMPolElt -> MonStgElt, SeqEnum
            Example AlgSrf_class (H107E6)

      Parametrization of Rational Surfaces
            ParametrizeProjectiveHypersurface(X, P2) : Sch, Sch -> BoolElt, MapSch
            Example AlgSrf_prm (H107E7)
            Solve(p, F) : RngMPolElt, FldFunRat -> SeqEnum
            Example AlgSrf_prm2 (H107E8)

      Parametrization of Special Surfaces
            ParametrizeQuadric(X,P2) : Sch, Sch -> BoolElt, MapSch
            Example AlgSrf_solve_quad (H107E9)
            ParametrizePencil(phi, P2) : MapSch, Sch -> BoolElt, MapSch
            Example AlgSrf_ruled_ex (H107E10)
            ParametrizeDelPezzo(X, P2) : Sch, Sch -> BoolElt, MapSch

 
Parametrization of Del Pezzo Surfaces
      SetVerbose("ParamDP", v) : MonStgElt, RngIntElt ->
      ParametrizeDegree9DelPezzo(X) : Sch -> BoolElt, MapIsoSch
      ParametrizeDegree8DelPezzo(X) : Sch -> BoolElt, MapSch
      Example AlgSrf_del-pezzo-ex-8 (H107E11)
      ParametrizeDegree7DelPezzo(X) : Sch -> MapIsoSch
      ParametrizeDegree6DelPezzo(X) : Sch -> BoolElt, MapIsoSch
      Degree6DelPezzoType2_1(K,pt) : FldNum, Pt -> Sch
      ParametrizeDelPezzoDeg6(X) : Sch -> BoolElt, MapIsoSch
      Example AlgSrf_del-pezzo-ex-6 (H107E12)

 
Bibliography

[Next][Prev] [Right] [____] [Up] [Index] [Root]


Version: V2.16 of Mon Nov 16 15:04:45 EST 2009

Valid HTML 4.01! Valid CSS!