Un discriminant est un invariant scalaire associé à un polynôme, une forme algébrique ou un objet algébrique qui s'annule exactement lorsque l'objet présente des singularités comme des racines multiples, des facteurs répétés ou des intersections non transverses.

Principe

Il encode la dégénérescence : pour les polynômes univariés il est (à une constante près) le produit des carrés des différences des racines et s'écrit comme le déterminant d'une matrice de Sylvester ou de discriminant ; il a un comportement prévisible sous mise à l'échelle et extension de corps.

Démonstration

Pour un quadratique ax^2 + bx + c le discriminant est Δ = b^2 − 4ac, qui s'annule exactement lorsque le polynôme a une racine double ; pour un cubique c'est un polynôme de degré 4 en les coefficients qui s'annule sur le lieu des racines multiples.

Mauvaise application

Confondre le discriminant d'un polynôme avec le discriminant d'un corps ou appliquer naïvement la formule du discriminant univarié en contexte multivarié ou géométrique où le discriminant pertinent est un objet différent et souvent beaucoup plus complexe.

Conséquence

Bien calculé, le discriminant détecte des fibres singulières ou ramifiées, commande la séparabilité et guide la factorisation et la résolution des singularités ; un discriminant non nul signale souvent la régularité générique.

Inversion

La perspective complémentaire considère le discriminant non nul comme séparabilité ou transversalité générique : inverser la condition isole le lieu des objets réguliers, à racines distinctes ou non singuliers.

Limite

La définition et la forme du discriminant dépendent de l'objet : les discriminants de polynômes univariés diffèrent de ceux de formes, de corps de nombres ou de systèmes multivariés ; en caractéristique p il existe des subtilités liées à la séparabilité et au comportement d'annulation.

Tension sémantique

Tension entre différents « discriminants » (polynôme vs discriminant de corps vs discriminant de forme) : ils partagent l'idée de détecter la dégénérescence mais diffèrent par construction algébrique, mise à l'échelle et signification géométrique, ce qui peut prêter à confusion.

Synthèse

Le discriminant est le détecteur algébrique de dégénérescence d'un objet — s'annulant précisément sur les cas singuliers ou à racines multiples — et doit être interprété dans la catégorie correcte (polynôme, forme, corps ou système) pour être pertinent.