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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers