Conjecture jacobienne

Conjecture jacobienne

En mathématiques, et plus précisément en géométrie algébrique, la conjecture jacobienne est une conjecture concernant les polynômes à plusieurs variables. Elle fut proposée en 1939 par Ott-Heinrich Keller (en), et Shreeram Abhyankar (en) lui donna par la suite son nom actuel, la popularisant comme un exemple d'une question de géométrie algébrique ne demandant que peu de connaissances pour être énoncée.

La conjecture jacobienne est également célèbre pour le grand nombre de tentatives de preuves qu'elle a suscité, et qui contenaient des erreurs subtiles. En 2011, aucune démonstration n'est reconnue pour valide.

Sommaire

Formulation

Pour N > 1, soient N polynômes Fi (pour 1 ≤ iN) dans les variables X1, …, XN, et dont les coefficients appartiennent à un corps algébriquement clos k (on peut en fait supposer que k=C, le corps des nombres complexes). Considérons cette suite de polynômes comme une fonction vectorielle F: kNkN dont les composantes sont les Fi . Le jacobien J de F est par définition le déterminant de la matrice jacobienne N × N formée des dérivées partielles des Fi par rapport aux Xj : J= \det\left(\frac{\partial F_i}{\partial X_j}\right). J est lui-même une fonction des N variables X1, …, XN ; et même une fonction polynomiale.

La condition J ≠ 0 assure (pour des fonctions régulières, et donc en particulier pour des polynômes) l'existence d'un inverse local pour F (c'est le théorème des fonctions implicites) en chaque point où elle est vérifiée. Comme k est algébriquement clos, et que J est un polynôme, J s'annule pour certaines valeurs des X1, …, XN, sauf si J est constante. on en déduit facilement que :

Si F possède une fonction inverse (globale), c'est-à-dire s'il existe G : kNkN telle que G\circ F=F\circ G=identité (de kN ), alors J est une constante non nulle.

La conjecture jacobienne affirme que la réciproque (un peu renforcée) est vraie, c'est-à-dire que :

Si J est une constante non nulle, F admet un inverse G : kNkN, et G est régulière, c'est-à-dire que ses composantes sont données par des polynômes.

Résultats

En 1980, Wang[1] démontra la conjecture jacobienne pour les polynômes de degré 2, et en 1982, Bass, Connell et Wright[2] démontrèrent que le cas général est conséquence du cas particulier des polynômes de degré 3. La conjecture a été vérifiée par Moh[3] pour les polynômes à deux variables de degré au plus 100.

La conjecture jacobienne est équivalente à la conjecture de Dixmier (en)[4].

Voir aussi

Notes

  1. Wang 1980
  2. Bass 1982
  3. Moh 1983
  4. P.K. Adjamagbo, A. van den Essen, A proof of the equivalence of the Dixmier, Jacobian and Poisson conjectures, Acta Math. Vietnam. 32 (2–3) (2007) 205–214

Références

Liens externes




Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Conjecture jacobienne de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Liste de conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, non exhaustive. Elles sont divisées en quatre sections, en accord avec leur état en 2011. Voir aussi : Conjecture d Erdős (en), qui liste des conjectures de Paul Erdős et de ses… …   Wikipédia en Français

  • Liste Des Conjectures Mathématiques — Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les conjectures de Paul… …   Wikipédia en Français

  • Liste des conjectures — mathématiques Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les… …   Wikipédia en Français

  • Liste des conjectures mathematiques — Liste des conjectures mathématiques Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős,… …   Wikipédia en Français

  • Liste des conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, contenues dans les pages de Wikipedia. Elles sont divisées en quatre sections, en accord avec leur état en 2006. Voir aussi : La conjecture d Erdős, qui liste les conjectures de Paul… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Géométrie différentielle des surfaces — En mathématiques, la géométrie différentielle des surfaces est la branche de la géométrie différentielle qui traite des surfaces (les objets géométriques de l espace usuel E3, ou leur généralisation que sont les variétés de dimension 2), munies… …   Wikipédia en Français

  • Conditions d'optimalité (dimension finie) — En optimisation mathématique, les conditions d optimalité sont un ensemble d équations, d inéquations (i.e., des inégalités) et d expressions diverses (e.g., la semi définie positivité de matrices sur des cônes) vérifiées par une solution d un… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Matrice De Hadamard — Une matrice de Hadamard, du nom du mathématicien français Jacques Hadamard, est une matrice carrée dont les coefficients sont tous 1 ou 1 et dont les lignes sont toutes orthogonales entre elles. Le nom retenu pour ces matrices rend hommage au… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”