Dataset abstract
This software package is a complement to the articles "Moduli of cubic surfaces and their anticanonical divisors" and "Variations of geometric invariant quotients for pairs, a computational approach", both available in the Arxiv. The software package implements a series of algorithms for the study of variations of Geometric Invariant Theory (GIT) quotients of pairs formed by a hypersurface in projective space of dimension n and degree d and a hyperplane embedded in the same projective space. Given a dimension n and a degree d, the code finds all relevant oneparameter subgroups which determine all the GIT quotients for these pairs. In addition, it finds a finite list of candidate 'walls' in the wallchamber decomposition studied by DolgachevHu and Thaddeus. Furthermore, for each prospective chamber and wall it finds all maximal orbits of non stable and strictly semistable pairs, as well as minimal closed orbits of strictly semistable pairs in terms of families of pairs defined by monomials with nonzero coefficients. Finally, it runs through all the list of prospective chambers and walls eliminating 'false walls' for which the GIT quotient is detected not to vary. Further details can be found at the article "Variations of geometric invariant quotients for pairs, a computational approach". The full worked out output for cubic surfaces and hyperplanes, as reflected in "Moduli of cubic surfaces and their anticanonical divisors", is attached as a text file.
The sotware package is implemented as a Python 2.7 package and it requires several additional libraries to run which are all detailed in Installation file. The package has been thoroughly tested for Windows and it may work on Unixbased platforms with extra work.
Title: 
Variations of GIT quotients package v0.6.13 
Keywords: 
hypersurfaces, Geometric Invariant Theory, GIT, stability, cubic surfaces, Fano varieties, Calabi Yau varieties, algebraic groups 
Subjects: 
Mathematical sciences > Algebra and Geometry 
Departments: 
Faculty of Science > Mathematical Sciences 
DOI: 
https://doi.org/10.15125/BATH00458 
URI: 
https://researchdata.bath.ac.uk/id/eprint/458 
Export: 

Data collection method: 
This software package is a complement to the articles "Moduli of cubic surfaces and their anticanonical divisors" and "Variations of geometric invariant quotients for pairs, a computational approach" authored by Patricio Gallardo and Jesus MartinezGarcia. It uses algorithms developed in the former paper to solve several problems in variations of GIT quotients, in particular the ones in the latter paper. 
Data processing and preparation activities: 
A precise description of the coded algorithms is available in the article "Variation of geometric invariant quotients for pairs a computational approach." (https://arxiv.org/abs/1602.05282)
1. The program returns a list $t_i$ including all GIT walls and a representative for each GIT chamber.
2. The program returns the fundamental set of oneparameter subgroups. The program also tells you which oneparameter subgroups are not necessary for the GIT analysis.
3. For each $t_i$, the program returns a list of oneparameter subgroups that generate nonstable maximal sets. The program recognizes the changes in the nonstable maximal sets with respect the previous $t_{i1}$. There are three types of outputs:
A. If a nonstable set of monomial has appeared for an earlier $t_i$, then it is denoted as "same".
B. If it becomes semistable, then it is denoted as "same but becomes semistable."
C. If it is a new set of monomials, then it is denoted as "new".
Finally, the program tells the reader if a maximal nonstable set has disappeared when to compare it with the previous $t_{i1}$.
4. For each oneparameter subgroup that it is not denoted as "same", the program returns the monomials in the maximal nonstable sets.
5. The program recognizes if the configuration is semistable or not. In the former case, it returns the potential close orbit of that pairs. 
Technical details and requirements: 
The code requires:
1. Python 2.7.13 or higher: when installing for Windows, it is recommended to select the options "Install for all users" and "Add Python.exe to PATH";
2. libraries NumPy (v.1.11.3 or higher), SciPy (v.0.18.1 or higher), SymPy (v.1.0 or higher) and Mpmath (v.1.0 or higher), which are available from the Python Package Index (PyPI): it is recommended to install these using the pip utility.
See InstallationWindows.txt for full installation details. 
Additional information: 
The output of the program with the parameters used in "Moduli of cubic surfaces and their anticanonical divisors" (https://arxiv.org/abs/1607.03697) is available here in text format in the file cubicsurfaces.txt.
In the file run.py, the reader can change the dimension, and degree of the VGIT problem.
The code in the folder VGIT has the following files:
 The file " __init__.py" is required to make Python treat the directories as containing packages. Then, we can import the modules 'VGIT', 'Hypersurfaces', 'Monomials', and 'OPSubgroups'.
 The file "Monomials.py" contains the subpackage Monomials with the class Monomials to deal with one monomial and the class MonFrozenSet to deal with a set of monomials. In this file, the reader can find the Hilbert_Mumford function and the function that generates the normalized oneparameter subgroups from a list of monomials.
 The file OPSubgroups.py contains the subpackage OPSubgroups with the class OPS and all the methods to work with them. It imports from the class "Monomials", "associated1ps" and "MonFrozenSet".
 The file "VGIT.py" contains the metaclasses "Problem", "Solution" and "Solution_t" that defines the VGIT problem and it stores the solutions.
 The file "Hypersurface.py" contains the classes "Problem" and VGIT.Hypersurfaces.Solution_t". We store the VGIT problem in the class "Problem." We store the solution to our VGIT problem in the class "VGIT.Hypersurfaces.Solution_t". 
Methodology link: 
https://arxiv.org/abs/1602.05282, https://arxiv.org/abs/1607.03697 
Methodology and documentation filesDocumentation 

Creators: 
Creators  Email  ORCID  Affiliation  Contact person 

Martinez Garcia, Jesus   000000020022371X  University of Bath  Yes  Gallardo, Patricio    University of Washington in St. Louis  No 

Corporate contributors: 
Role  Organization 

Rights Holder  University of Bath  Other  University of Bath 

Funders: 
Funder name  Fundref ID  Grant number  Research project title 

National Science Foundation (NSF)  https://doi.org/10.13039/100000001  DMS1344994  RTG: Algebra, Algebraic Geometry, and Number Theory 

Data Publisher: 
University of Bath 
Depositing User: 
Jesus Martinez Garcia


Date: 
28 November 2017 
Version: 
0.6 
Access conditions: 
Openly available for download 
Access arrangements: 
The source code and data, but not the text of the articles, are released under a Creative Commons CC BYSA 4.0 license. If you make use of the source code and/or data in an academic or commercial context, you should acknowledge this by including a reference or citation to the article "Variations of geometric invariant quotients for pairs, a computational approach" — in the case of the code — or to "Moduli of cubic surfaces and their anticanonical divisors" — in the case of the data for cubic surfaces. See the file license.txt for the full license text. 
Related resources: 

Resource language: 
English 
Date Deposited: 
12 Dec 2017 11:57 
Last Modified: 
12 Dec 2017 12:00 
Resource Type: 
Software/Software 

Datasets in this collection
[[filtered.length]] datasets. Showing first 20