Search arXivSearch

arXiv · 2004.05092

Toric varieties and Gröbner bases: the complete Q-factorial case

Abstract

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' arguments on the Gröbner fan of toric ideals to our complete case; we give a characterization of the Gröbner region and show an explicit correspondence between Gröbner cones and chambers of the secondary fan. A homogenization procedure of the toric ideal associated to $V$ allows us to employing GFAN and related software in producing our second algorithm. The latter turns out to be much faster than the former, although it can compute only the projective fans supported by $V$. We provide examples and a list of open problems. In particular we give examples of rationally parametrized families of $\Q$-factorial complete toric varieties behaving in opposite way with respect to the dimensional jump of the nef cone over a special fibre.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michele Rossi, Lea Terracini. 2020-04-10. Toric varieties and Gröbner bases: the complete Q-factorial case. https://doi.org/10.1007/s00200-020-00452-w

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Braid and Phantom

Let N be the moduli space of stable rank 2 vector bundles on a smooth projective curve of genus g>1 with fixed odd determinant. With Sebastian Torres, we previously found a semi-orthogonal decomposition of the bounded derived category of N into bounded derived categories of symmetric powers of the curve and, possibly, a phantom block. In this work, we employ the theory of weaving patterns to eliminate the possibility of a phantom, completing the proof of the decomposition conjectured by Narasimhan and, independently, by Belmans, Galkin, and Mukhopadhyay.

math.AG

On the Alexander polynomials of conic-line arrangements

In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse arrangement of conics and to some of its degenerations. The results are completed by computations using computer algebra. In particular, we construct conic-line arrangements which are non-reduced pencil-type arrangements and have as roots of their Alexander polynomials roots of unity of order 7. Such roots are not known and are conjectured not to exist in the class of line arrangements.

math.AG

On the Tensor Property of Bernstein-Sato Polynomial

We prove the multiplicative Thom-Sebastiani rule for Bernstein-Sato polynomials, answering the longstanding questions of Budur and Popa. We generalize the result to the tensor of two effective divisors on the product of two arbitrary non-singular complex varieties. This also leads to a multiplicative property related to Igusa's strong monodromy conjecture. Moreover, we propose an extension of our result to Bernstein-Sato polynomials for ideals and prove it for monomial ideals.

math.AG