We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AG

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Algebraic Geometry

Title: 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\"obner fan of toric ideals to our complete case; we give a characterization of the Gr\"obner region and show an explicit correspondence between Gr\"obner 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.
Comments: 18 pages, 2 figures. Final version accepted for publication in the special issue of the Journal AAAECC, concerning "Algebraic Geometry from an Algorithmic point of View"
Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC)
Journal reference: AAECC 31 (2020), 461-482
DOI: 10.1007/s00200-020-00452-w
Cite as: arXiv:2004.05092 [math.AG]
  (or arXiv:2004.05092v1 [math.AG] for this version)

Submission history

From: Michele Rossi [view email]
[v1] Fri, 10 Apr 2020 16:17:43 GMT (871kb,D)

Link back to: arXiv, form interface, contact.