Invariante scalaire associée à un polynôme, une équation algébrique ou un objet algébrique (par ex. corps de nombres, forme bilinéaire) qui s'annule exactement lorsque des racines se confondent (racines multiples) et qui encode des informations arithmétiques et de ramification ; souvent obtenue comme déterminant ou produit de carrés des différences des racines.

Principe

Définir le discriminant via des constructions par résultant/déterminant ou via le déterminant de la forme trace ou du Hessien ; son annulation équivaut souvent à la non-séparabilité ou à la singularité, et sa valuation enregistre des données de ramification.

Démonstration

Pour un quadratique ax^2 + bx + c le discriminant est b^2 - 4ac : il s'annule précisément quand le polynôme a une racine double. En théorie des corps de nombres, le discriminant du corps est un entier dont la factorisation en premiers reflète la ramification des premiers.

Mauvaise application

Utiliser le signe ou la taille du discriminant comme seul critère géométrique sans tenir compte de l'échelle, du choix de base ou des unités peut induire en erreur ; en caractéristique positive l'annulation peut impliquer des phénomènes d'inséparabilité au-delà de la simple multiplicité de racines.

Conséquence

Un discriminant non nul implique la séparabilité des racines et souvent l'absence de ramification aux premiers ne divisant pas le discriminant ; les valeurs du discriminant restreignent les bases entières et le comportement local des extensions.

Inversion

L'invariant complémentaire est le résultant ou le différent : le résultant teste les racines communes de deux polynômes, tandis que le différent/le discriminant affine la ramification et les données de type conducteur plutôt que la simple collision de racines.

Limite

Le discriminant dépend de la présentation choisie (polynôme vs base algébrique) et est défini à une mise à l'échelle près par des puissances des coefficients dominants ou des unités ; il faut de la prudence en comparant des discriminants normalisés différemment.

Tension sémantique

Le discriminant chevauche résultant, différent et notions de déterminant de trace ; bien qu'ils détectent tous une dégénérescence, ils mettent l'accent sur des aspects structurels distincts (racines communes vs poids de ramification vs dégénérescence bilinéaire).

Synthèse

Le discriminant est le scalaire de type déterminant qui détecte la coïncidence de racines et encode des informations de ramification et de singularité ; en tant qu'invariant calculable il relie la dégénérescence algébrique à des conséquences arithmétiques dès lors qu'on tient compte de la normalisation.