Toric varieties and Gröbner bases: the complete \(\mathbb{Q}\)-factorial case (Q2025448)

This paper is primarily concerned with questions about complete and non-projective toric varieties. The authors note early on that many examples of complete and non-projective varieties are ad-hoc variations of the classical example of Oda, and highlight a general lack of understanding as to how non-projective varieties arise among complete toric varieties. The authors highlight the need for more examples to better understand this aspect of the theory, and given the difficulty of these constructions point to the need to adopt a computer-aided approach. To this end, two algorithms are prposed for computing complete \(\mathbb{Q}\)-factorial fans over a set of vectors. The first algorithm proposed is inefficient but of theoretical interest, leading to a conjecture and several possible applications. The second algorithm relies on the theory of Gröbner bases, where the authors deal with toric ideals arising from complete configurations, which cannot be homogeneous. The results here lead to an efficient algorithm for computing all projective complete simplicial fans with a given 1-skeleton that is based on the computation of the Gröbner fan of the associated toric ideal. The paper concludes by presenting several nice concrete examples and outlining many opportunities and directions for future work.