OSCAR Computer Algebra System

There is a newer version of the record available.

Published February 26, 2025 | Version v1
Computational notebook Open

AN EXPLICIT ENRIQUES SURFACE WITH AN AUTOMORPHISM OF MINIMUM ENTROPY -- accompanying computations

Authors/Creators

  • 1. Universität des Saarlandes
  • 2. ROR icon Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

Description

These are the collected scripts for the computations in the publication "AN EXPLICIT ENRIQUES SURFACE WITH AN AUTOMORPHISM OF MINIMUM
ENTROPY" by S. Brandhorst and M. Zach. 

To run the computations, please install the julia package `Oscar.jl` in its current development version 1.3.0-DEV (see https://www.oscar-system.org/). The code has been tested on commit `b4d5f32cbbcaa3bf68fdc798a3c4bc90ace3d758`. 

Note that the file `lattice_computations.jl` requires the database "Finite subgroups of automorphisms of K3-surfaces" by S. Brandhorst and T. Hofmann, available under https://doi.org/10.5281/zenodo.5781335. Running `lattice_computations.jl` gives further information. 

Files

minimum_entropy_Enriques_surface_automorphism.zip

Files (93.6 kB)

Additional details

Funding

Deutsche Forschungsgemeinschaft
SFB-TRR 195 286237555

Dates

Created
2025-02-26
Initial version for ArXiv publication