Hostname: page-component-cd9895bd7-jkksz Total loading time: 0 Render date: 2024-12-24T00:21:33.290Z Has data issue: false hasContentIssue false

On arithmetically realizable classes

Published online by Cambridge University Press:  24 October 2008

D. Burns
Affiliation:
Department of Mathematics, King's College London, Strand, London WC2R 2LS

Extract

We fix a number field L and a finite group G, and write Cl (ℤL[G]) for the reduced Grothendieck group of the category of finitely generated projective ℤL[G]-modules. We let RG denote the ring of complex characters of G, with SG the additive subgroup which is generated by the irreducible symplectic characters. We shall say that an element c ∈ Cl (ℤL[G]) is ‘(arithmetically) realizable’ if there exists a tamely ramified Galois extension N/K of number fields with LK and an identification Gal (N/K) →˜ G via which c is the class of some Gal (N/K)-stble ℤN-ideal. We let RL(G) denote the subgroup of Cl (ℤL[G]) which is generated by the realizable elements for varying N/K. Our interest in RL(G) arises from the fact that it is the largest subset of Cl (ℤL[G]) upon which the results of Chinburg and the author in [Bu, Ch] can be used to give an explicit module theoretic description of the action of the integral semi-group ring AL, G of the Adams-Cassou-Noguès-Taylor operators (ΨL, k): k ∈ ℤ, 2 × k if SG ≠ {0}}. Whilst the results of [Bu, Ch] can (at least partially) be understood ‘geometrically’ via the action of Bott cannibalistic elements on suitable Grothendieck groups (cf. [Ch, E, P, T], [Bu]), the underlying problem of finding an explicit module theoretic interpretation of the action of AL, G on all elements of Cl(ℤL[G]) is of course essentially algebraic in nature. It is in this context that we were originally motivated to investigate RL(G).

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[A, B] Agboola, A. and Burns, D.. On the Galois structure of equivariant line bundles on curves, preprint 1994.Google Scholar
[A, T] Artin, E. and Tate, J.. Class field theory (Benjamin, 1967).Google Scholar
[Be] Bergé, A. M.. Arithmétique d'une extension a groupe d'inertia cyclique. Ann. Inst. Fourier 28 (1978) 1744.CrossRefGoogle Scholar
[Br] Brinkhuis, J.. Embedding problems and Galois modules. Thesis, University of Leiden (1981).Google Scholar
[Bu] Burns, D.. On Adams-Bott cannibalistic classes and integral Galois representations, letter to M. J. Taylor, May 1993.Google Scholar
[Bu, Ch] Burns, D. and Chinburg, T.. Adams operations and integral Hermitian-Galois representations, to appear in Amer. J. Math.Google Scholar
[C-N, T] Cassou-Noguès, Ph. and Taylor, M. J.. Operations d'Adams et groupe des classes d'algebra de groupe. J. Algebra 95 (1985) 125152.CrossRefGoogle Scholar
[Ch, E, P, T] Chinburg, T., Erez, B., Pappas, G. and Taylor, M. J.. Arithmetic equivariant Riemann-Roch theorems, preprint, 1994.Google Scholar
[C, R] Curtis, C. and Reiner, I.. Methods of representation theory, Vol. II (Wiley 1987).Google Scholar
[F] Fröhlich, A.. Galois module structure of algebraic integers (Springer-Verlag, 1983).Google Scholar
[Ml] McCulloh, L.. Galois module structure of abelian extensions. J. reine angew. Math. 375 (1987) 259306.Google Scholar
[M2] McCulloh, L.. Manuscript in preparation, 1994.Google Scholar
[O] Oliver, R.. Subgroups generating D(ℤ[G]). J. Algebra 55 (1978) 4357.CrossRefGoogle Scholar
[P] Poitou, G.. Conditions globals pour les problèms de plongement a noyau abélien. Ann. Inst. Fourier 29 (1979) 114.Google Scholar
[T] Taylor, M. J.. Classgroups of group rings, L.M.S. Lecture Note Series 91 (Cambridge University Press, 1984).Google Scholar
[U] Ullom, S. V.. Integral representations afforded by ambiguous ideals in some abelian extensions. J. Number Theory 6 (1974) 3249.Google Scholar
[W] Wilson, S. M. J.. The isomorphism class of a set of lattices. Math. Proc. Cam. Phil. Soc. 105 (1989) 197210.CrossRefGoogle Scholar