Reciprocity via Reciprocants

L’essentiel

• Le déterminant d'une matrice antisymétrique a une racine carrée canonique donnée par le Pfaffien.
• Le résultant de deux polynômes réciproques de degré pair a une racine carrée canonique donnée par leur réciprocant.
• Le calcul du réciprocant des deux polynômes cyclotomiques permet d'obtenir une démonstration courte et élégante de la loi de réciprocité quadratique.
• Si f se factorise en facteurs linéaires sur R comme f(x) = (x - α1) · · · (x - αm), alors le polynôme caractéristique de g(Cf) sur K est donné par (x - g(α1)) · · · (x - g(αm)), où g est un polynôme réciproque avec des coefficients dans R.
• Le déterminant de g(Cf) est égal à Qm, où Q est la racine carrée canonique du résultant des deux polynômes réciproques.
• L'auteur introduit également le concept du "reciprocant" qui permet d'exprimer le résultant des deux polynômes réciproques comme une expression algébrique dans les coefficients des polynômes. Cette expression peut être vue comme un polynôme multivarié Sm,n avec des coefficients entiers.
• En utilisant ces résultats, l'auteur démontre la loi de réciprocité quadratique en calculant le reciprocant des deux polynômes cyclotomiques. Cette approche offre une preuve concise et élégante pour cette loi fondamentale.
• L'article se veut accessible aux lecteurs ayant suivi des cours basiques en théorie des nombres, en algèbre abstraite et en algèbre linéaire.
• Deux appendices sont inclus pour fournir plus d'explications et rendre l'article auto-suffisant autant que possible.
• En conclusion, cet article offre une exploration approfondie des concepts liés au déterminants des matrices antisymétriques, aux résultants des polynômes réciproques et à la loi de réciprocité quadratique. L'auteur présente

Points clés rédigés par une IA : ils peuvent contenir des erreurs, vérifiez-les dans l’article.