DOI: 10.5281/zenodo.10732595
title: Data on chirotropical Grassmannians Trop^\chi G(3,6), Trop^\chi G(3,7), Trop^\chi G(3,8), modulo lineality

description: README

This is a repository of the paper "The Chirotropical Grassmannian", by Dario Antolini and Nick Early.

Here is some advice on how to use the data:



files ".sobj": the files of this form are SageMath objects. In order to load the file "example.sobj" and use it with name "example", open SageMath and type the line:

example = load("example.sobj")


files ".py": the files of this form are Python files. In order to use the objects in them, do the following: suppose the file "example.py"  contains a list "L1". In order to load the list and use it with the name "L2", open SageMath and type the line:

from example.py import L1 as L2The same can be done with any object defined in "example.py", for example a function or a dictionary or a tuple.If you want to import every object of "example.py", you can simply type:from example.py import *



What does this repository contain?



the implementation of Algorithm 1 from the paper, stored in the file: 

chirotropical_modulispace.py


the implementation of the Plücker relations in SageMath/Python, stored in the file: 

pluecker_relations.py


Plücker relations for the cases (3,6), (3,7) and (3,8), stored in the files: 

pluecker_relations_3_6.sobj pluecker_relations_3_7.sobj pluecker_relations_3_8.sobj


3-term Plücker relations, generating the Dressian, for the cases (3,6), (3,7) and (3,8), stored in the files: 

3_term_pluecker_relations_3_6.sobj 3_term_pluecker_relations_3_7.sobj 3_term_pluecker_relations_3_8.sobj


the list of all chirotopes (using the lexicographical order) for the cases (3,6), (3,7) and (3,8), stored in the file: 

chirotopes.py


the list of the rays of the tropicalizations Trop X(k, n) for the cases (3,6), (3,7) and (3,8), stored in the files: 

R36.py R37.py R38.sobj


all chirotropical Dressians (equal to the chirotropical Grassmannians) modulo lineality for the cases (3,6), (3,7) and (3,8), stored in files: 

Trop_chi{i}_3_6.sobj Trop_chi{i}_3_7.sobj Trop_chi{i}_3_8.sobj
 as a Python dictionary:

d such that d[j] is the list of cones in the fan of dimension jThese SageMath objects are contained in the zipped files:Dr_chi_3_6.zip Dr_chi_3_7.zip Dr_chi_3_8.zipIn each of these zip files, there is a special file dedicated to the positive part:Trop_pos_3_6.sobj Trop_pos_3_7.sobj Trop_pos_3_8.sobj


 for the case (3,8), a list with all the f-vectors of the different chirotropical Dressians/chirotropical moduli spaces Trop^chi X(3,8). This is organized in the list: 

f_vectors_trop_chi_3_8.sobjwhere the $i$-th element of the list corresponds to the f-vector of the chirotropicalization corresponding to the $i$-th chirotope in the list: chirotope_list_3_8 contained in the file chirotopes.py 


for the same purpose, there is also a Python dictionary whose keys are chirotopes (written as tuples), such that, when evaluating the dictionary at the chirotope, it gives the f-vector of the corresponding chirotropicalization as an output. This is stored in the file: 

f_vectors_trop_chi_3_8_from_chi.sobj


a SageMath function that, given a chirotope, gives all the useful information about the fan obtained by intersecting all the chirotropical hypersurfaces corresponding to the whole set of Plücker relations (dimension, purity, number of rays, number of facets, f-vector, equality with the chirotropical Dressian, which is the bigger fan of only the 3-term Plücker relations). It is stored in the file: 

chirotropical_modulispace.py under the name of information_trop.

Acknowledgements



We thank Dominik Bendle, Janko Böhm, Yue Ren, and Benjamin Schröter for making their data on the Dressian Dr(3,8) and the tropical Grassmannian Trop G(3,8) publicly available; we used the ray data for the computations in the case (3,8). Their data can be found at:https://agag-jboehm.math.rptu.de/~boehm/singulargpispace/tropical.htm