# 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

- Computer Science, 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

- 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

- 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

- Mathematics, 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.

A test for monomial containment

- Mathematics, Computer ScienceJ. Symb. Comput.
- 2017

An algorithm based on triangular sets to decide whether a given ideal in the polynomial ring contains a monomial is presented.

Massively Parallel Computations in Algebraic Geometry

- Computer ScienceISSAC
- 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

- Mathematics, Computer ScienceMath. 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.

Geometric invariant theory via Cox rings

- Mathematics
- 2007

Abstract We consider actions of reductive groups on a variety with finitely generated Cox ring, e.g., the classical case of a diagonal action on a product of projective spaces. Given such an action,…

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

- 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.