En théorie des nombres, le conducteur d'Artin est un nombre ou un idéal qui est associé à un caractère d'un groupe de Galois d'un corps local ou global. Cette notion fût introduite par Emil Artin en tant qu'expression apparaissant dans l'équation fonctionnelle d'une fonction L d'Artin.
Conducteurs d'Artin locaux Supposons que est une extension galoisienne finie du corps local , avec groupe de Galois . Si est un caractère de , alors le conducteur d'Artin local est le nombre
où est le -ème groupe de ramification (numérotation inférieure), d'ordre , et où est la valeur moyenne de sur . Observons que conducteur local est un entier. Heuristiquement, le conducteur d'Artin mesure à quel point l'action des groupes de ramification d'ordre supérieur est non-trivial. En particulier, si est non ramifié, alors son conducteur d'Artin est nul. De cette manière, si est non ramifié sur , alors tous les conducteurs d'Artin sont zéro.
L' invariant sauvage ou le conducteur de Swan du caractère est
en d'autres termes, la somme des termes d'ordre supérieur avec .
Conducteurs d'Artin globaux Le conducteur d'Artin global d'une représentation du groupe de Galois d'une extension finie de corps globaux est un idéal de , défini comme étant
où le produit est pris sur les premiers de , et est le conducteur local d'Artin de la restriction de au groupe de décomposition d'un nombre premier de au-dessus de . Puisque le conducteur d'Artin local est nul pour les nombres premiers non ramifiés, le produit ci-dessus peut n'être calculé que pour les nombres premiers qui se ramifient dans .
Représentation d'Artin et caractère d'Artin Soit une extension galoisienne finie d'un corps local , avec groupe de Galois . Le caractère d'Artin de est le caractère
et la représentation d'Artin est la représentation linéaire complexe de G avec ce caractère. A ce propos, Weil (1946) a demandé si l'on pouvait trouver une construction directe de la représentation d'Artin. Serre (1960) a montré que la représentation d'Artin peut être réalisée sur le corps local , pour tout premier non égal à la caractéristique résiduelle . Fontaine (1971) a montré ensuite que cette propriété peut être réalisée sur l'anneau correspondant des vecteurs de Witt. Elle ne peut en général être réalisée ni sur les rationnels ni sur le corps local , ce qui suggère qu’il n’existe pas de moyen simple de construire explicitement la représentation d’Artin.
Représentation de Swan Le caractère de Swan sw G est donné par
où rg est le caractère de la représentation régulière et 1 est le caractère de la représentation triviale. Le caractère de Swan est le caractère d'une représentation de G. Swan (1963) a montré qu'il existe une unique représentation projective de G sur les entiers l -adiques avec le caractère de Swan.
Applications Le conducteur d'Artin apparaît dans la formule conducteur-discriminant pour le discriminant d'un corps global.
Le niveau optimal dans la conjecture de modularité de Serre est exprimé en termes du conducteur d'Artin.
Le conducteur d'Artin apparaît dans l'équation fonctionnelle de la fonction L d'Artin.
Les représentations d'Artin et de Swan sont utilisées pour définir le conducteur d'une courbe elliptique ou d'une variété abélienne.
Notes et références
Bibliographie
Artin, Emil (1930). "Zur Theorie der L-Reihen mit allgemeinen Gruppencharakteren". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (in German). 8: 292–306. doi:10.1007/BF02941010. JFM 56.0173.02 Artin, Emil (1931). "Die gruppentheoretische Struktur der Diskriminanten algebraischer Zahlkörper". Journal für die Reine und Angewandte Mathematik (in German). 164: 1–11. doi:10.1515/crll.1931.164.1. Zbl 0001.008 Fontaine, Jean-Marc (1971), "Sur les représentations d'Artin", Colloque de Théorie des Nombres (Univ. Bordeaux, Bordeaux, 1969), Mémoires de la Société Mathématique de France, vol. 25, Paris: Société Mathématique de France, pp. 71–81, MR 0374106 Manin, Yu. I.; Panchishkin, A. A. (2005) . Introduction to Modern Number Theory. Encyclopaedia of Mathematical Sciences. Vol. 49 (2nd ed.). Springer Berlin, Heidelberg. ISBN 978-3-540-20364-3 Serre, Jean-Pierre (1960). "Sur la rationalité des représentations d'Artin". Annals of Mathematics (in French). 72 (2): 405–420. doi:10.2307/1970142. MR 0171775. Serre, Jean-Pierre (1967). "VI. Local class field theory". In Cassels, J.W.S.; Fröhlich, A. (eds.). Algebraic Number Theory. London: Academic Press. pp. 128–161. Zbl 0153.07403. Snaith, Victor P. (1994). Explicit Brauer Induction With Applications to Algebra and Number Theory. Cambridge Studies in Advanced Mathematics. Vol. 40. Cambridge University Press. ISBN 978-0-52146015-6. Zbl 0991.20005. Swan, Richard G. (1963). "The Grothendieck ring of a finite group". Topology. 2 (1–2): 85–110. doi:10.1016/0040-9383(63)90025-9. MR 0153722. Weil, André (1946). "L'avenir des mathématiques". Boletim da Sociedade de Matemática de São Paulo Paulo (in French). 1: 55–68. MR 0020961.
Catégorie:Fonction zêta Catégorie:Théorie des représentations Catégorie:Théorie des nombres Catégorie:Pages avec des traductions non relues