Galois module structure of the rings of integers in wildly ramified extensions

Wilson, Stephen M. J.

Annales de l'Institut Fourier, Tome 39 (1989), p. 529-551 / Harvested from Numdam

Résumé

Les résultats principaux de cet article peuvent être exprimés, grosso modo, ainsi :

Théorème.— Soit $N$ et $N^{\prime }$ des sommes d’algèbres de Galois de groupe $\Gamma $ sur des corps de nombres algébriques. Supposons que $N$ et $N^{\prime }$ ont les mêmes dimensions sur ${\bf Q}$ et qu’ils sont identiques à leurs places sauvagement ramifiées. Alors (mettant ${\cal O}_N$ pour l’ordre maximal dans $N$) on a

𝒪N⊕𝒪N⊕ℤΓ≅ℤΓ⊕𝒪N′⊕𝒪N′⊕ℤΓ.

Souvent on a : ${\cal O}_N \cong _{{\Bbb Z}\Gamma } {\cal O}_{N^{\prime }}.$

Soit $\chi $ un caractère de $\Gamma $. Soit, comme d’habitude, $W_{N(\chi )}$, la constante qui apparaît dans l’équation fonctionnelle de la fonction $L_N(x,\chi )$ d’Artin. On montre aussi le rôle joué par les signes $W_N(\chi )/W^{\prime }_N(\chi )$ (où parcourent les caractères symplectiques irréductibles de $\Gamma $) en décrivant la différence entre les ${\bf Z}\Gamma $-modules ${\cal O}_N$ et ${\cal O}^{\prime }_N$. Le théorème comprend comme cas particulier le théorème de M.J. Taylor sur la structure de l’anneau d’entiers dans une extension modérément ramifiée et il utilise beaucoup des résultats qu’utilise Taylor dans sa preuve.

Abstract

The main results of this paper may be loosely stated as follows.

Theorem.— Let $N$ and $N^{\prime }$ be sums of Galois algebras with group $\Gamma $ over algebraic number fields. Suppose that $N$ and $N^{\prime }$ have the same dimension ${\Bbb Q}$ and that they are identical at their wildly ramified primes. Then (writing ${\cal O}_N$ for the maximal order in $N$)

𝒪N⊕𝒪N⊕ℤΓ≅ℤΓ⊕𝒪N′⊕𝒪N′⊕ℤΓ.

In many cases ${\cal O}_N \cong _{{\Bbb Z}\Gamma } {\cal O}_{N^{\prime }}.$

The role played by the root numbers of $N$ and $N^{\prime }$ at the symplectic characters of $\Gamma $ in determining the relationship between the ${\Bbb Z}\Gamma $-modules ${\cal O}_N$ and ${\cal O}_{N^{\prime }}$ is described. The theorem includes as a special case the theorem of M. J. Taylor on the structure of the ring of integers in a tamely ramified extension and it employs many of the results employed by Taylor in the proof of his theorem.

Détail

Publié le : 1989-01-01

MR 91i:11160 | Zbl 0674.12005

DOI : https://doi.org/10.5802/aif.1176

Bibliographie

[BKW] E. Bayer-Fluckiger, C. Kearton and S. M. J. Wilson, Decomposition of modules, forms and simple knots, J. Crelle, 375/376 (1987), 167-183. | MR 88f:57036 | Zbl 0607.57013

[CR] C. W. Curtis and I. Reiner, Methods of Representation Theory with applications to finite groups and orders, Wiley, New York, 1983.

[F1] A. Fröhlich, Locally free modules over arithmetic orders, J. Crelle, 274/75 (1975), 112-138. | MR 51 #12794 | Zbl 0316.12013

[F2] A. Fröhlich, Galois Module Structure of Algebraic Integers, Springer-Verlag, Berlin, 1983. | Zbl 0501.12012

[H] A. Heller, Some exact sequences in algebraic K-theory, Topology, 3 (1965), 389-408. | MR 31 #3477 | Zbl 0161.01507

[M] J. Martinet, Character theory and Artin L-functions in “Algebraic Number Fields” (ed. A. Fröhlich), Acad. Press, London, 1977. | Zbl 0359.12015

[Q1] J. Queyrut, Modules radicaux sur des ordres arithmétiques, J. of Algebra, 84 (1983), 420-440.

[Q2] J. Queyrut, Anneaux d'entiers dans le même genre, Illinois J. of Math., 29 (1985), 157-179. | MR 86c:11099 | Zbl 0552.12005

[T] M. J. Taylor, On Fröhlich's conjecture for rings of integers of tame extensions, Invent. Math., 63 (1981), 321-353. | MR 82g:12008 | Zbl 0469.12003

[W1] S. M. J. Wilson, Extensions with identical wild ramification, Séminaire de Théorie des Nombres, Université de Bordeaux I, 1980-1981. | Zbl 0491.12008

[W2] S. M. J. Wilson, Structure galoisienne et ramification sauvage, Séminaire de Théorie des Nombres, Université de Bordeaux I, 1986-1987. | Zbl 0682.12004