gushelMukaiFourfold(String,Ring) -- random special Gushel-Mukai fourfold of a given type

• Function: gushelMukaiFourfold

• Usage:

  gushelMukaiFourfold(n,K)

  gushelMukaiFourfold n

• Inputs:
  • n, a string, the name of some known type of Gushel-Mukai fourfolds
  • K, a ring, the coefficient ring
• Optional inputs:
  • InputCheck => ..., default value 1, make a special Gushel-Mukai fourfold
  • Verbose => ..., default value false, request verbose feedback
• Outputs:
  • a Gushel-Mukai fourfold, a random special Gushel-Mukai fourfold of the indicated type over K

i1 : X = gushelMukaiFourfold("cubic scroll",ZZ/65521);

o1 : ProjectiveVariety, GM fourfold containing a surface of degree 3 and sectional genus 0

i2 : describe X

o2 = Special Gushel-Mukai fourfold of discriminant 12
     containing a surface of degree 3 and sectional genus 0
     cut out by 7 hypersurfaces of degrees 1^4 2^3 
     and with class in G(1,4) given by 2*s_(3,1)+s_(2,2)
     Type: ordinary
     (case 7 of Table 1 in arXiv:2002.07026)