Generic tropical varieties

DOI10.1016/J.JPAA.2011.05.012MaRDI QIDQ659906zbMATH OpenOpenAlexFDO

Publication date 24 January 2012

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0904.0120

graded ideal Gröbner fan polynomial ring tropical variety

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects in algebraic geometry (14Q99)

Abstract: We show that in the constant coefficient case the generic tropical variety of a graded ideal exists. This can be seen as the analogon to the existence of the generic initial ideal in Groebner basis theory. We determine the generic tropical variety as a set in general and as a fan for principal ideals and linear ideals.

Review text

Let \(K\) be an infinite field. For \(f=\sum a_\nu x ^\nu\in K[x_1,\dots, x_n]\) and \(\omega\in \mathbb R^ n\), the \(\omega\)-initial polynomial \textrm \(\mathrm{in}_\omega (f)\) of \(f\) is the sum of the terms of \(f\) with minimal inner product \(\omega\cdot\nu\). The \(\omega\)-initial ideal of a graded ideal \(I\) is the ideal generated by the \(\omega\)-initial polynomials of the elements of \(I\). Thus, \(I\) gives rise to an equivalence relation on \( \mathbb R^ n\) : two vectors are equivalent if the initial ideal is the same. The equivalence classes are the relatively open cones of a certain fan called the Groebner fan of \(I\). The tropical variety of \(I\) is the set of \(\omega\) such that for all \(f\in I\), \(\mathrm{in}_\omega (f)\) is not a monomial. The tropical variety is a subfan of the Groebner fan. The main result of the paper is that for any given \(I\) there exists a non-empty Zariski open subset \(U\) of \(GL_n(K)\) such that for \(g\in U\), the Groebner fan of \(g(I)\) and the tropical variety of \(g(I)\) do not depend on \(g\). This can be seen as an analog to the existence of the generic initial ideal in Groebner basis theory. As a further result, the generic tropical variety is determined as a set in general, and also as a fan for principal ideals and linear ideals.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Generic tropical varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q659906)