Generic tropical varieties on subvarieties and in the non-constant coefficient case (Q2515614)

The author extends her study on generic tropical varieties with constant coefficients to the case of non-constant coefficients case. The term `generic' differs from the general notion which is used in algebraic geometry. In fact, it comes from generic initial ideals in Gröbner basis theory; Gröbner basis computations heavily depend on some choices (for instance, variables and basis) and `generic' means that one reduces this dependency in some sense. As one of main descriptions of tropical varieties uses initial ideals (as well as Gröbner complexes) this naturally leads to a notion of generic tropical varieties. Suppose that \(K\) is an algebraically closed field and \(L\) be the generalized power series over \(K\) (see, Definition 3.1). Roughly speaking, for a subvariety \(V\) of \(\mathrm{GL}_n(K)\) and a graded ideal \(I\) of \(L[x_0,\dots,x_n]\), the generic tropical variety of \(I\) on \(V\) (denoted by \(gT_V(I)\) in the paper) is a tropical variety defined by \(I\) which is invariant under the action of \(V\) on \(I\). A priori the existence of generic tropical varieties is not obvious. The author proves indeed generic tropical varieties exist (Theorem 6.2). As a byproduct, the author shows that for a graded ideal \(I\) of \(L[x_0,\dots,x_n]\), there exist finitely many polyhedral complexes \(F_1,\dots,F_k\) such that for any element \(g\) of \(\mathrm{GL}_n(K)\), the tropical variety obtained from \(g(I)\) should be one of \(F_i\) (Corollary 6.6). In other words, one can only have finitely many tropical varieties from \(I\) under an arbitrary linear coordinate changes. In the final section, the author discusses some examples which include the case of \(V=D_n\) (as a refinement of the author's earlier work) and generic tropical varieties which arise from ideals generated by linear forms; the author studies this in the case of constant coefficient in relation to matroid theory. In particular, the author shows that with \(V=\mathrm{GL}_n(K)\) the generic tropical variety defined by an linear ideal \(I\) is a fan.