Computing GIT-fans with symmetry and the Mori chamber decomposition of $\bar{M}_{0,6}$
@article{Boehm2016ComputingGW, title={Computing GIT-fans with symmetry and the Mori chamber decomposition of \$\bar\{M\}\_\{0,6\}\$}, author={Janko Boehm and Simon Keicher and Yue Ren}, journal={arXiv: Algebraic Geometry}, year={2016} }
We propose an algorithm to compute the GIT-fan for torus actions on affine varieties with symmetries. The algorithm combines computational techniques from commutative algebra, convex geometry and group theory. We have implemented our algorithm in the Singular library gitfan.lib. Using our implementation, we compute the Mori chamber decomposition of the cone of movable divisors of $\bar{M}_{0,6}$.
8 Citations
A presentation for the Cox ring of $\overline{M}_{0,6}$
- Mathematics
- 2017
We compute the relations in the Cox ring of the moduli space $\overline{M}_{0,6}$. This gives a presentation of the Cox ring as a quotient of a polynomial ring with 40 generators by an ideal with 225…
A software package to compute automorphisms of graded algebras
- MathematicsJournal of Software for Algebra and Geometry
- 2018
We present a library autgradalg.lib for the free computer algebra system Singular to compute automorphisms of integral, finitely generated $\mathbb{C}$-algebras that are graded pointedly by a…
Journal of Software for Algebra and Geometry vol. 9 (2019), no. 1
- Mathematics
- 2019
The StronglyStableIdeals.m2 package for Macaulay2 provides a method to compute all saturated strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. A description of the…
Projective and birational geometry of Grassmannians and other special varieties
- Mathematics
- 2017
In the first part of the thesis, we study a classical invariant of projective varieties, the secant defectivity. The second part is devoted to modern algebraic geometry, we study the birational…
Journal of Software for Algebra and Geometry vol. 8 (2018), no. 1
- Mathematics
- 2018
We briefly summarize the background of the HeLP method for torsion units in group rings and present some functionality of a GAP package implementing it. 1. THE ZASSENHAUS CONJECTURE AND THE PRIME…
Current Challenges in Developing Open Source Computer Algebra Systems
- Computer ScienceMACIS
- 2015
A number of current challenges in the development of Open Source computer algebra systems are discussed, with the main focus on algebraic geometry and the system Singular.
Massively Parallel Computations in Algebraic Geometry
- Computer Science, MathematicsISSAC
- 2021
This ISSAC 2021 Tutorial gives an introduction to the Singular/GPI-Space framework for massively parallel computations in computer algebra, which relies on the Petri net based workflow management system GPI- Space for the coordination layer, while the computer algebra system Singular is used as the frontend and computational backend.
References
SHOWING 1-10 OF 24 REFERENCES
Computing automorphisms of Mori dream spaces
- MathematicsMath. Comput.
- 2017
An algorithm to compute the automorphism group of a Mori dream space by studying graded automorphisms of affine algebras graded by a finitely generated abelian groups and applying the results to the Cox ring is presented.
Mori dream spaces and GIT.
- Mathematics
- 2000
The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call…
The Cox ring of \overline{}_{0,6}
- Mathematics
- 2009
We prove that the Cox ring of the moduli space V 0,6 , of stable rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are…
Lower and upper bounds for nef cones
- Mathematics
- 2010
The nef cone of a projective variety Y is an important and often elusive invariant. In this paper we construct two polyhedral lower bounds and one polyhedral upper bound for the nef cone of Y using…
GIT-Equivalence beyond the ample cone
- Mathematics
- 2005
Given an algebraic torus action on a normal projective variety with finitely generated total coordinate ring, we study the GIT-equivalence for not necessarily ample linearized divisors, and we…
THE COX RING OF M0,6
- Mathematics
- 2009
We prove that the Cox ring of the moduli space M0,6, of stable rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are…
Geometric invariant theory and flips
- Mathematics
- 1994
We study the dependence of geometric invariant theory quotients on the choice of a linearization. We show that, in good cases, two such quotients are related by a flip in the sense of Mori, and…
Gröbner bases and convex polytopes
- Mathematics
- 1995
Grobner basics The state polytope Variation of term orders Toric ideals Enumeration, sampling and integer programming Primitive partition identities Universal Grobner bases Regular triangulations The…
Computing the GIT-Fan
- Mathematics, Computer ScienceInt. J. Algebra Comput.
- 2012
An algorithm to compute the GIT-fan of algebraic torus actions on affine varieties using LaSalle's inequality to solve the inequality of the following type: For α ≥ 1, α ≥ 2, β ≥ 3, etc.