The discriminant of a system of equations (Q2437486)

For a finite set \(H \subset {\mathbb Z}^n\), let \({\mathbb C} [H]\) be the space of all Laurent polynomials with complex coefficients whose support are contained in \(H\). For a collection \(A = (A_0, \ldots, A_k)\) of finite subsets of \(\mathbb Z^n\), \({\mathbb C}[A]\) denotes the space \({\mathbb C}[A_0] \oplus \cdots \oplus {\mathbb C}[A_k].\) Each system of \(k+1\) polynomial equations in \(n\) variables can be considered as an element of \(C[A]\). The author considers various questions related to such system of polynomial equations, and seek answers through the combinatorics of the tuple \(A\) and the topology of \(f\). As a start, he defines and characterizes a degenerate system in Theorem 1.1. Under the relevant condition for the tuple \(A\) (Definition 1.3), Theorem 1.4 shows that the set of all degenerate systems is a non-empty hypersurface. The author then consideres the notion of Euler discriminant and Bertini discriminant and gave a formula for them. As an application, he characterizes bifurcation sets, and applies this to the study of topology of polynomial mappings. The results of this paper generalize classical results about resultants, \(A\)-discriminants, and sparse discriminants. It also opens up a bunch of interesting conjectures relating to the notion of discriminants.