• Corpus ID: 119140473

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

Figures and Tables from this paper

A presentation for the Cox ring of $\overline{M}_{0,6}$
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
  • S. Keicher
  • Mathematics
    Journal 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
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
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
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
TLDR
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.
A test for monomial containment
Massively Parallel Computations in Algebraic Geometry
TLDR
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
TLDR
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.
Geometric invariant theory via Cox rings
Mori dream spaces and GIT.
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}
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
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
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
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
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
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
  • S. Keicher
  • Mathematics, Computer Science
    Int. J. Algebra Comput.
  • 2012
TLDR
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.
...
1
2
3
...