The discriminant of a system of equations (Q2437486)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The discriminant of a system of equations |
scientific article |
Statements
The discriminant of a system of equations (English)
0 references
3 March 2014
0 references
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.
0 references
discriminant
0 references
bifurcation set
0 references
topology of polynomial mapping
0 references
0 references
0 references