• 検索結果がありません。

Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung Gegr¨undet 1996 Extra Volume A Collection of Manuscripts Written in Honour of

N/A
N/A
Protected

Academic year: 2022

シェア "Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung Gegr¨undet 1996 Extra Volume A Collection of Manuscripts Written in Honour of"

Copied!
832
0
0

読み込み中.... (全文を見る)

全文

(1)

Journal der

Deutschen Mathematiker-Vereinigung Gegr¨ undet 1996

Extra Volume

A Collection of Manuscripts Written in Honour of

John H. Coates

on the Occasion of His Sixtieth Birthday

Editors:

I. Fesenko, S. Lichtenbaum,

B. Perrin-Riou, P. Schneider

(2)

ver¨offentlicht Forschungsarbeiten aus allen mathematischen Gebieten und wird in traditioneller Weise referiert. Es wird indiziert durch Mathematical Reviews, Science Citation Index Expanded, Zentralblatt f¨ur Mathematik.

Artikel k¨onnen als TEX-Dateien per E-Mail bei einem der Herausgeber eingereicht werden. Hinweise f¨ur die Vorbereitung der Artikel k¨onnen unter der unten angegebe- nen WWW-Adresse gefunden werden.

Documenta Mathematica, Journal der Deutschen Mathematiker-Vereinigung, publishes research manuscripts out of all mathematical fields and is refereed in the traditional manner. It is indexed in Mathematical Reviews, Science Citation Index Expanded, Zentralblatt f¨ur Mathematik.

Manuscripts should be submitted as TEX -files by e-mail to one of the editors. Hints for manuscript preparation can be found under the following WWW-address.

http://www.math.uni-bielefeld.de/documenta Gesch¨aftsf¨uhrende Herausgeber / Managing Editors:

Alfred K. Louis, Saarbr¨ucken louis@num.uni-sb.de

Ulf Rehmann (techn.), Bielefeld rehmann@math.uni-bielefeld.de Peter Schneider, M¨unster pschnei@math.uni-muenster.de Herausgeber / Editors:

Don Blasius, Los Angeles blasius@math.ucla.edu Joachim Cuntz, M¨unster cuntz@math.uni-muenster.de Patrick Delorme, Marseille delorme@iml.univ-mrs.fr Edward Frenkel, Berkeley frenkel@math.berkeley.edu Kazuhiro Fujiwara, Nagoya fujiwara@math.nagoya-u.ac.jp Friedrich G¨otze, Bielefeld goetze@math.uni-bielefeld.de Ursula Hamenst¨adt, Bonn ursula@math.uni-bonn.de Lars Hesselholt, Cambridge, MA (MIT) larsh@math.mit.edu Max Karoubi, Paris karoubi@math.jussieu.fr Eckhard Meinrenken, Toronto mein@math.toronto.edu Alexander S. Merkurjev, Los Angeles merkurev@math.ucla.edu Anil Nerode, Ithaca anil@math.cornell.edu

Thomas Peternell, Bayreuth Thomas.Peternell@uni-bayreuth.de Eric Todd Quinto, Medford Todd.Quinto@tufts.edu

Takeshi Saito, Tokyo t-saito@ms.u-tokyo.ac.jp Stefan Schwede, Bonn schwede@math.uni-bonn.de Heinz Siedentop, M¨unchen (LMU) h.s@lmu.de

Wolfgang Soergel, Freiburg soergel@mathematik.uni-freiburg.de G¨unter M. Ziegler, Berlin (TU) ziegler@math.tu-berlin.de

ISBN 978-3-936609-28-8, ISSN 1431-0635 (Print), ISSN 1431-0643 (Internet) SPARC

Leading Edge

Documenta Mathematicais a Leading Edge Partner of SPARC, the Scholarly Publishing and Academic Resource Coalition of the As- sociation of Research Libraries (ARL), Washington DC, USA.

Address of Technical Managing Editor: Ulf Rehmann, Fakult¨at f¨ur Mathematik, Universit¨at Bielefeld, Postfach 100131, D-33501 Bielefeld, Copyright c 2003 for Layout: Ulf Rehmann.

Typesetting in TEX.

(3)

Extra Volume: John H. Coates’ Sixtieth Birthday, 2006

Preface 1

Foreword 3

Samegai’s Waters 5

K. Ardakov and K. A. Brown Ring-Theoretic Properties

of Iwasawa Algebras: A Survey 7–33

G. Banaszak, W. Gajda, P. Kraso´n

On the Image of l-Adic Galois Representations

for Abelian Varieties of Type I and II 35–75 Siegfried B¨ocherer, A. A. Panchishkin

Admissible p-adic Measures Attached to

Triple Products of Elliptic Cusp Forms 77–132 David Burns and Matthias Flach

On the Equivariant Tamagawa Number Conjecture

for Tate Motives, Part II. 133–163

David Burns and Otmar Venjakob

On the Leading Terms of Zeta Isomorphisms and

p-Adic L-functions in Non-Commutative Iwasawa Theory 165–209 Kevin Buzzard and Frank Calegari

The 2-adic Eigencurve is Proper. 211–232

L. Clozel, E. Ullmo

Equidistribution Ad´elique des Tores

et ´Equidistribution des Points CM 233–260 Robert Coleman and Ken McMurdy

Fake CM and the Stable Model of X0(N p3) 261–300 Daniel Delbourgo

Λ-Adic Euler Characteristics

of Elliptic Curves 301–323

Ehud de Shalit

Coleman Integration Versus

Schneider Integration on Semistable Curves 325–334 Ralph Greenberg

On The Structure of

Certain Galois Cohomology Groups 335–391

(4)

p-AdicL-Functions for Unitary Shimura Varieties

I: Construction of the Eisenstein Measure 393–464 Haruzo Hida

Anticyclotomic Main Conjectures 465–532 Frazer Jarvis

Optimal Levels for Modular Mod2

Representations over Totally Real Fields 533–550 Kazuya Kato

Universal Norms of p-Units

in Some Non-Commutative Galois Extensions 551–565 Shinichi Kobayashi

An Elementary Proof of the

Mazur-Tate-Teitelbaum Conjecture for Elliptic Curves 567–575 Barry Mazur, William Stein, John Tate

Computation of p-Adic Heights and Log Convergence 577–614 Robert Pollack and Tom Weston

Kida’s Formula and Congruences 615–630

P. Schneider, J. Teitelbaum Banach-Hecke Algebras

andp-Adic Galois Representations 631–684 Anthony J. Scholl

Higher Fields of Norms and (φ,Γ)-Modules 685–709 Joseph H. Silverman

Divisibility Sequences and

Powers of Algebraic Integers 711–727

Richard Taylor

On the Meromorphic Continuation

of Degree Two L-Functions 729–779

J. Tilouine

Siegel Varieties and p-Adic Siegel Modular Forms 781–817 J.-P. Wintenberger

Onp-Adic Geometric Representations of GQ 819–827

(5)

Preface

This volume is dedicated to Professor John Coates, an outstanding collab- orator, colleague, author, teacher, and friend. He has greatly contributed to number theory, both through his fundamental mathematical works and through his impressive mathematical school. He is a continuous source of tremendous inspiration to students and colleagues. John Coates has been one of the leading proponents of and contributors to Iwasawa theory and he is the founding father of its recent development in the form of non-commutative Iwasawa theory.

We included in the volume the Japanese tanka ”Samegai’s Waters” which was selected by John upon our request.

Prior to the Cambridge conference

http://www.maths.nott.ac.uk/personal/ibf/jhc.html

to mark the 60th birthday of John Coates, Sarah Zerbes and Vladimir Dok- chitser had produced a diagramme of his mathematical family tree which is included in the volume (next page).

I. Fesenko, S. Lichtenbaum, B. Perrin-Riou, P. Schneider

(6)

Amod Agashe 2000

Gil Alon 2003

Bertrand Arnaud 1984

Maurice Arrigoni 1993

Nicole Arthaud-Kuhman 1978

Jilali Assim 1994

Raphael Badino 2003

Paul Balister 1992

Matthew Baker 1999

Grzegorz Banaszak 1990

Catalin Barbacioru 2002

Laure Barthel 1989

Clemens Beckmann 1992

Tania Beliaeva 2004 Laurent Berger

2001

Dominique Bernardi 1979

Massimo Bertolini

1992 Manjul Bhargava

2001 Patrick Billot

1984

Xavier Boichut 1998

Eric Bone 2003 Karsten Buecker

1996

Oliver Bueltel 1997 Kevin Buzzard

1995

Pierrette Cassou-Nogues 1978

Byungchul Cha 2003

Jung Hee Cheon 1997 Robert Coleman

1979 Pierre Colmez

1988

Jason Colwell 2004

Brian Conrad 1996

Christophe Cornut 2000

Daniel Delbourgo 1997

Ehud De Shalit 1984

Fred Diamond 1988

Mark Dickinson 2000

Mladen Dimitrov 2003 Roland Dreier

1998

Eric Edo 2002 Hoda El Sherbiny

2001

Mike Evans 1995

Christian Feaux de Lacroix 1997

Luiz Figueiredo 1996 Tom Fisher

2000

Matthias Flach 1991 Henning Frommer

2002

Toby Gee 2004

Edray Goins 1999 Assaf Goldberger

2000 Catherine Goldstein

1981 Emiliano Gomez

2000

Cristian Gonzales-Aviles 1994

Eyal Goren 1996 Elmar Grosse Kloenne

1999

Denis Hemard 1986

Sang-Geun Hahn 1987

Michael Harrison 1992 Adriaan Herremans

2001

Julian Horn 1976

Benjamin Howard 2002 Susan Howson

1998

Theodore Hwa 2002 Daniel Jacobs

2002

Frazer Jarvis 1994 Prasanna Kartik

2003

Bruce Kaskel 1996

Payman Kassaei 1999 Lloyd Kilford

2002

Jun Kyo Kim 1995

Dong Geon Kim 1997

Yong-Soo Kim 1999

Hwan Joon Kim 2000

Hae Young Kim 2002 Heiko Knospe

1997

Alain Kraus 1989 Mohamed Krir

1992

John Lame 1996 Erasmus Landvogt

1997

Andreas Langer 1991

Arthur Lannuzel 1999

Jonganin Lee 2003

Dong Hoon Lee 2000

Eonkyung Lee 2001

Matthieu Le Floc’h 2002 Mikael Lescop

2003 Chong Lim

1990

Qiang Lin 2004

Matteo Longo 2004

Fabio Mainardi 2004

Jayanta Manoharmayum 1999

Russ Mann 2001 Elena Mantovan

2002 Francois Martin

2001

David Mauger 2000 Gary McConnell

1993 Kenneth McMurdy

2001

Paul Meekin 2003

Loic Merel 1993

Ariane Mezard Abbas Movahhedi 1998

1988

Luis Navas 1993 Ed Nevens

2004

Thong Nguyen Quang Do 1982

Behrang Noohi 2000 Yoshihiro Ochi

1999

Joseph Oesterle 1984

Jangheon Oh 1995 Ioannis Papadopoulos

1992

Mihran Papikian 2002

Je Hong Park 2004

James Parson 2003 Marko Patzlod

2004

Bernadette Perrin-Riou 1983 Layla Pharamond

2002

Andrew Plater 1991

Cristian Popescu 1996

Despina Prapavessi 1988

Ali Rajaei 1998

Arash Rastegar 1998 Marusia Rebolledo

2004

Carine Reydy 2002 Ravi Rhamakrishna

1992

Klaus Rolshausen 1996

Steven Rosenberg 1996

Karl Rubin 1981 Anupam Saikia

2002

David Savitt 2001

Norbert Schappacher 1978 Peter Schneider

1980

Leila Schneps 1985

Soogil Seo 1999

Warren Sinnott 1974

Christopher Skinner 1997

Silke Slembek 2002

Paul Smith 1981

Lawren Smithline 2000

Adriana Sofer 1993 Harvey Stein

1991

Andrew Sydenham 1997

Richard Taylor 1988

Lea Terracini 1998

Jacques Tilouine 1989 Pavlos Tzermias

1995

Eric Urban 1994

Vinayak Vatsal 1997

Fernando Rodriguez Villegas 1990 Markus Weiand

1990

Andrew Wiles 1979 Ivorra Wilfrid

2004

Samuel Williams 2001 Christian Wuthrich

2004

Mingzhi Xu 1995 Rodney Yager

1981

Yong Kuk You 2002

Hoseog Yu 1999

Mohamed Zahidi 1999

Leonardo Zapponi 1998

Florent Urfels 1998

Luc Villemot 1981 Martijn van Beurden

2003

Ph.D. student

quasi student Copyright 2004 JH60 Ltd. All rights reserved

JH60 Ltd. takes no responsibility for any misprints or omissions

Oh, what a tangled web we weave...

We would like to thank Andrew Aitchison for technical support, Julie Coates for providing the pictures,

and also Jilali Assim, Matthew Baker, Grzegorz Banaszak, Laure Barthel, Massimo Bertolini, Karsten Buecker, Oliver Bueltel, Kevin Buzzard, Pierrette Cassou-Nogues, Jung-Hee Cheon, Robert Coleman, Pierre Colmez, Brian Conrad, Christophe Cornut, Daniel Delbourgo, Ehud de Shalit, Fred Diamond, Mike Evans, Ivan Fesenko, Matthias Flach, Edray Goins, Catherine Goldstein, Eyal Goren, Sang-Geun Hahn, Michael Harrison, Susan Howson, Frazer Jarvis, Bruce Kaskel, Payman Kassaei, Alain Kraus, Andreas Langer, Gary McConnell, Loic Merel, Ariane Mezard, Abbas Movahhedi, Thong Nguyen Quang Do, Yoshihiro Ochi, Joseph Oesterle, Bernadette Perrin-Riou, Andrew Plater, Arash Rastegar, Karl Rubin, Anupam Saikia, Norbert Schappacher, Peter Schneider, Leila Schneps, Tony Scholl, Sir Walter Scott, Warren Sinnott, Christopher Skinner, Paul Smith, Vic Snaith, Harvey Stein, Richard Taylor, Jacques Tilouine, Pavlos Tzermias, Vinayak Vatsal, Andrew Wiles and Rodney Yager.

Tim Dokchitser Vladimir Dokchitser Sarah Livia Zerbes

The John Coates mathematical family tree is reproduced here with the kind permission of its authors.

(7)

Foreword

Andrew Wiles

I first met John Coates during my first year as a graduate student at Cam- bridge. John was about to move back to Cambridge where he had been a graduate student himself. It was at a point in his career when he was starting a whirlwind of moves. Coming from Stanford he spent two years in Cambridge, and one in Australia before making a longer stop in Paris at Orsay. Mathemat- ically however he was just settling down to what has become his most serious and dedicated study of the last thirty years, the arithmetic of elliptic curves.

Needless to say for those who have devoted some time to this subject, it is so full of fascinating problems that it is hard to turn from this to anything else.

The conjecture of Birch and Swinnerton-Dyer, by then fifteen years old, had made the old subject irresistible.

In the two years he was at Cambridge we wrote four papers on elliptic curves, culminating in the proof of a part of the conjecture for elliptic curves with complex multiplication which are defined over the rationals. When John had been at Cambridge previously as a graduate student of Alan Baker he had worked on questions about the bounding of integral points on curves. Siegel’s proof of the finiteness of the number of integral points on curves of genus at least one was not effective. Work of John’s, in collaboration with Baker, had given the first proof of an effective bound on the size of the integral solutions of a genus one curve. During his time in the U.S. John had been much influenced by the work of Tate and of Iwasawa. The key insight of Iwasawa had been to see how to translate the theorems of Weil, which related the characteristic polynomial of Frobenius in certainl-adic representations to the zeta function, from the function field case to the number field case. Of course this involved thep-adic zeta function and not the classical one and even then only became a translation from a theorem to a conjecture, but it became a guiding principle in the study of the special values of the zeta function and has remained so to this day. Tate had been studying the relation ofK2 of the ring of integers of a number field to Galois cohomology groups. Together with Lichtenbaum and Sinnott John had developed and examined these conjectures aboutK-groups using some of the ideas of Iwasawa.

(8)

When he returned to Cambridge John and I set about exploring how Iwasawa’s approach would work in the case of elliptic curves with complex multiplication.

It worked wonderfully well! Although at that time Iwasawa’s main conjecture seemed quite out of reach, even in the basic cyclotomic case, one could develop enough using the methods of Iwasawa to get the first real theorems on the Birch and Swinnerton-Dyer conjecture. Of course the search for a solution to this conjecture remains elusive to this day but the progress has been enormous.

The theory of complex multiplication has to a large extent ceded its place to the theory of modular forms but the basic idea has largely remained intact, namely to relate the special values of L-functions to the points on the elliptic curve via the class field theory of the division fields of those points.

The original work was all in the context of ordinary primes, these being primes where the reduction of the elliptic curve is ordinary. Subsequently John and his students have extended the study to try to understand first the supersingular case, but still assuming the curve has complex multiplication, and then the more general case where no complex multiplication is assumed. Meanwhile the new ideas of Kolyvagin and of Gross and Zagier have to a large extent brought the general case into line with the complex multiplication case. In the general case where the curves are not assumed to have complex multiplication the fields of division points are no longer abelian over a finite extension of the rationals.

To study these fields John and his coauthors have developed a non-abelian version of Iwasawa theory.

This volume contains many papers on these and related topics. However no tribute to John Coates could be complete without a testament to his continuing generosity and skill as a teacher. Cambridge number theory seemed strongest in bringing out the problem solver but one had a sense that in terms of modern developments it was a little isolated. John’s arrival brought these two worlds together, and made Cambridge and my own arrival in mathematics more ex- citing than I could ever have anticipated. John’s return to Cambridge in 1986 has cemented his role as a teacher and inspiration to many more generations of Cambridge number theorists, many of whom were present at his 60th birthday celebrations in January of 2005.

(9)

結ぶ 手に にご る心 をす すぎ なば 浮世 の夢 やさ めが 井の 水

︵阿 仏尼

﹃十 六夜 日記

﹄︶

Samegai’s Waters

Samegai’s waters:

Were I to cup them in my hands

And cleanse my impure heart,

Might I awaken from the dream

Of this transitory world?

(10)

musubu te ni nigoru kokoro wo susuginaba

ukiyo no yume ya samegai no mizu.

Alphabetic transcription

(11)

Ring-Theoretic Properties of Iwasawa Algebras: A Survey

1

K. Ardakov and K. A. Brown

Received: November 7, 2005 Revised: January 22, 2006

Abstract. This is a survey of the known properties of Iwasawa algebras, i.e., completed group rings of compactp-adic analytic groups with coefficients the ring Zp of p-adic integers or the field Fp of p elements. A number of open questions are also stated.

2000 Mathematics Subject Classification: 16L30, 16P40, 20C07, 11R23

Keywords and Phrases: Iwasawa algebra; compact p-adic analytic group; complete noetherian semilocal ring; Auslander-Gorenstein con- dition

1. Introduction

Noncommutative Iwasawa algebras form a large and interesting class of com- plete semilocal noetherian algebras, constructed as completed group algebras of compact p-adic analytic groups. They were defined and their fundamen- tal properties were derived in M. Lazard’s monumental 1965 paper [23], but in the twenty years from 1970 they were little studied. Interest in them has been revived by developments in number theory over the past fifteen years, see for example [17],[19] and [37]. Prompted by this renewed interest, and helped of course by the better understanding of noncommutative noetherian algebra gained since 1965, a number of recent papers have built on Lazard’s initial work. The emerging picture is of a class of rings which in some ways look sim- ilar to the classical commutative Iwasawa algebras, (which are rings of formal power series in finitely many commuting variables over thep-adic integers), but which in other respects are very different from their commutative counterparts.

And while some progress has been made in understanding these rings, many aspects of their structure and representation theory remain mysterious.

It is the purpose of this article to provide a report of what is known about Iwa- sawa algebras at the present time, and to make some tentative suggestions for

1Some of the work for this article was done in June 2005, when Ardakov was visiting the University of Glasgow with the support of the Edinburgh Mathematical Society Research Support Fund and the Glasgow Mathematical Journal Learning and Research Support Fund.

(12)

future research directions. We approach the latter objective through the listing of a series of open questions, scattered throughout the text. In an attempt to make the paper accessible to readers from as wide a range of backgrounds as possible, we have tried to give fairly complete definitions of all terminology; on the other hand, most proofs are omitted, although we have tried to give some short indication of their key points where possible. An exception to the omis- sion of proofs occurs in the discussion of maximal orders in (4.4)-(4.7) as well as in the discussion of the canonical dimension in (5.4), where we include some original material. These paragraphs can be omitted by a reader who simply wants a quick overview of the subject; moreover, after Sections 2 and 3 the remaining sections are reasonably independent of each other.

Fundamental definitions and examples are given in Section 2; in particular we recall the definition of auniformpro-pgroup in (2.4), and make the important observation (2.3)(1) that every Iwasawa algebra can be viewed as a crossed product of the Iwasawa algebra of a uniform group by a finite group. This has the effect of focusing attention on the Iwasawa algebra of a uniform group - this is filtered by the powers of its Jacobson radical, and the associated graded alge- bra is a (commutative) polynomial algebra. This fact and its consequences for the structure of the Iwasawa algebras of uniform groups are explored in Section 3; then in Section 4 we examine how properties of general Iwasawa algebras can be deduced from the uniform case using (2.3)(1). Section 5 concerns di- mensions: first, the global (projective) dimension and the injective dimension, whose importance is enhanced because Iwasawa algebras satisfy theAuslander- Gorenstein condition, whose definition and properties we recall. In particular, Auslander-Gorenstein rings possess a so-called canonical dimension function;

we explain this and describe some of the properties of the canonical dimension of an Iwasawa algebra in (5.3)-(5.5). The Krull-Gabriel-Rentschler dimension is discussed in (5.7). Finally, our very sparse knowledge of the two-sided ideals of Iwasawa algebras is summarised in Section 6.

2. Key definitions

Iwasawa algebras are completed group algebras. We begin by recalling which groups are involved, then give the definition of the algebras.

2.1. Compactp-adic analytic groups. Letpbe a prime integer and letZp

denote the ring ofp-adic integers. A groupGiscompactp-adic analyticif it is a topological group which has the structure of ap-adic analytic manifold - that is, it has an atlas of open subsets ofZnp, for somen≥0. Such groups can be characterised in a more intrinsic way, thanks to theorems due to Lazard, dating from his seminal 1965 paper [23]. Namely, a topological group G is compact p-adic analytic if and only if G is profinite, with an open subgroup which is pro-pof finite rank, if and only ifGis a closed subgroup ofGLd(Zp) for some d≥1.Nowadays, these equivalences are usually viewed as being consequences of deep properties of finitep-groups; a detailed account from this perspective can be found in [20, Part II].

(13)

Examples: (1) Every finite group isp-adic analytic, for every primep.

(2) The abelianp-adic analytic groups are the direct products of finitely many copies of the additive group ofZp with a finite abelian group [20, page 36].

(3) For any positive integer d the groupsGLd(Zp) andSLd(Zp) are compact p-adic analytic. More generally, given any root system X one can form the universal Chevalley group GZp(X), [20, page 353]. This is a compact p-adic analytic group. For more information about Chevalley groups, see [13].

(4) Letdandtbe positive integers. Thet-th congruence subgroup in SLd(Zp) is the kernel Γt(SLd(Zp)) of the canonical epimorphism from SLd(Zp) to SLd(Zp/ptZp).One sees at once from the equivalences above that Γt(SLd(Zp)) is compactp-adic analytic, as indeed are Γt(GLd(Zp)) and Γt(GZp(X)) for any root systemX.

Notation: When discussing a topological groupG we shall useH to denote the closure of a subset H of G in G; and when we refer to, say, G as being generated byelements{g1, . . . , gd}we mean thatG=hg1, . . . , gdi.In particular, Gisfinitely generated ifG=hXifor a finite subsetX ofG.For a subsetX of G,Xp denotes the subgroup ofGgenerated by the subset{xp:x∈X} ofG.

2.2. Iwasawa algebras. Let G be a compact p-adic analytic group. The Iwasawa algebra ofGis

ΛG := lim

←−Zp[G/N],

where the inverse limit is taken over the open normal subgroupsNofG. Closely related to ΛG is its epimorphic image ΩG, defined as

G := lim

←−Fp[G/N],

where Fp is the field of p elements. Often, a property of ΛG can easily be deduced from the corresponding property of ΩG, and vice versa; where this is routine we will frequently save space by stating only one of the two variants.

2.3. Crossed products. Recall [29, 1.5.8] that acrossed product of a ringR by a group Ais an associative ring R∗A which containsR as a subring and contains a set of unitsA={a:a∈A}, isomorphic as a set toA, such that

• R∗Ais a free rightR-module with basisA,

• for allx, y∈A,xR=Rxandx·yR=xyR.

Suppose that H is an open normal subgroup of the compact p-adic analytic group G. Let CH denote the set of open normal subgroups of G which are contained in H; then clearly ΛG = lim

←−Zp[G/U] where U runs over CH. It follows at once that ΛG is a crossed product of ΛH by the finite group G/H and similarly that ΩG is a crossed product of ΩH byG/H:

(1) ΛG ∼= ΛH∗(G/H),

G ∼= ΩH∗(G/H).

We shall see that, combined with a judicious choice of the subgroup H, the isomorphism (1) reduces many questions about ΛG and ΩG to the analysis of

(14)

certain crossed products of finite groups. Usually, the right subgroup H to choose is auniform one, defined as follows.

2.4. Uniform groups. Let G be a pro-p group. Define P1(G) = G and Pi+1(G) = Pi(G)p[Pi(G), G] for i ≥ 1. The decreasing chain of characteris- tic subgroups

G=P1(G)⊇P2(G)⊇ · · · ⊇Pi(G)⊇ · · · ⊇ ∩i=1Pi(G) = 1

is called the lower p-series of G.The group Gis powerful ifG/Gp is abelian (for p odd), or G/G4 is abelian (when p = 2). Finally, G is uniform if it is powerful, finitely generated, and

|G:P2(G)|=|Pi(G) :Pi+1(G)| for alli≥1.

Now we can add one further characterisation, also essentially due to Lazard, to those given in (2.1): a topological group G is compact p-adic analytic if and only if it has an open normal uniform pro-psubgroup of finite index, [20, Corollary 8.34].

Examples: (1) Of course, (Zp)⊕d is uniform for alld≥1.

(2)The groups Γ1(GLd(Zp)) (for p odd) and Γ2(GLd(Z2)) are uniform [20, Theorem 5.2].

LetGbe uniform, with|G:P2(G)|=pd.The non-negative integerdis called thedimension ofG; it is equal to the cardinality of a minimal set of (topologi- cal) generators ofG, [20, Definition 4.7 and Theorem 3.6]. More generally, we can define the dimension of an arbitrary compact p-adic analytic group to be the dimension of any open uniform subgroup; this is unambiguous [20, Lemma 4.6], and coincides with the dimension of Gas ap-adic analytic manifold, [20, Definition 8.6 and Theorem 8.36].

2.5. Completed group algebras. In fact ΛG and ΩG are I-adic comple- tions of the ordinary group algebras Zp[G] and Fp[G], for suitable choices of ideals I. It is most convenient for us to state the result for uniform groups, although it can obviously be extended to the general case using (2.3)(1).

Theorem. LetGbe a uniform pro-pgroup, and let I denote the augmentation ideal ofFp[G].ThenΩG is isomorphic to theI-adic completion ofFp[G].There is a similar result forZp[G].

Indeed the theorem follows quite easily from the observations that the lower p-seriesPi(G) is coterminal with the family of all open normal subgroups ofG, and that the powers ofI are coterminal with the ideals ofFp[G] generated by the augmentation ideals of the subgroupsPi(G), [20, §7.1].

3. The case when Gis uniform

Throughout this section, we assume thatGis a uniform pro-pgroup of dimen- siond. We fix a topological generating set{a1, . . . , ad} forG.

(15)

3.1. The “PBW” Theorem. It follows at once from Theorem 2.5 that the usual group algebra Fp[G] embeds into ΩG. Fori= 1, . . . , d, letbi =ai−1∈ Fp[G]⊆ΩG. Then we can form various monomials in thebi: ifα= (α1, . . . , αd) is a d-tuple of nonnegative integers, we define

bα=bα11· · ·bαdd∈ΩG.

Note that this depends on our choice of ordering of the bi’s, because ΩG

is noncommutative unless G is abelian. The following basic result shows that ΩG is a “noncommutative formal power series ring”; it follows from the strong constraints which the hypothesis of uniformity imposes on the quotients Pi(G)/Pi+1(G) ofG,[20, Theorem 7.23].

Theorem. Every elementcofΩGis equal to the sum of a uniquely determined convergent series

c= X

α∈Nd

cαbα wherecα∈Fp for allα∈Nd.

We record an immediate consequence of both this result and of Theorem 2.5:

Corollary. The Jacobson radicalJ of ΩG is equal to J =b1G+· · ·+bdG= ΩGb1+· · ·+ ΩGbd.

Hence ΩG/J∼=Fp, so in the language of (4.1),ΩG is a scalar local ring.

Proof. If c ∈ ΩG is such that c0 6= 0, then 1−c is invertible with inverse

1 +c+c2+· · · ∈ΩG.

Theorem 3.1 says that the monomials {bα:α∈Nd} form a topological basis for ΩG, and is thus analogous to the classical Poincar´e-Birkhoff-Witt theorem for Lie algebrasgover a fieldkwhich gives a vector space basis for the univer- sal enveloping algebra U(g) in terms of monomials in a fixed basis for g[21].

Nevertheless we should bear in mind that explicit computations in ΩGare often much more difficult than those inU(g), since the Lie bracket of two generators bi,bj for ΩG is in general an infinite power series with obscure coefficients.

3.2. Example. Let pbe odd for simplicity and letG = Γ1(SL2(Zp)) be the first congruence kernel ofSL2(Zp). Then

a1=

exp(p) 0

0 exp(−p)

, a2= 1 p

0 1

, a3= 1 0

p 1

.

is a topological generating set for G. Setting bi = ai−1, elementary (but tedious) computations yield

[b1, b2] ≡ 2bp2 modJp+1 [b1, b3] ≡ −2bp3 modJp+1 [b2, b3] ≡ bp1 modJp+1.

(16)

Here J = b1G +b2G+b3G denotes the Jacobson radical of ΩG. Using Proposition 3.3 it is possible to produce more terms in the power series expan- sion of [b1, b2] and [b1, b3]. However, we consider [b2, b3] to be inaccessible to computation.

3.3. Skew power series rings. It is well known that if gis a finite dimen- sional soluble Lie algebra over a field k, then its universal enveloping algebra U(g) can be thought of as an “iterated skew polynomial ring”:

U(g)∼=k[x11, δ1][x22, δ2]· · ·[xnn, δn]

for some appropriate automorphismsσiand derivationsδi (in fact, theσis can be chosen to be trivial). This is because any such Lie algebraghas a chain of subalgebras

0 =h0⊂h1⊂h2⊂ · · · ⊂hn =g

withhi−1an ideal inhi, so choosing somexi∈hi\hi−1 ensures that U(hi)∼=U(hi1)[xii]

whereδi is the derivation onU(hi1) defined byδi(y) =xiy−yxi.

An analogous result holds for Iwasawa algebras. More precisely, we have the Proposition. Suppose thatGhas closed normal subgroupHsuch thatG/H∼= Zp. ThenΩG is a skew power series ring with coefficients inΩH:

G∼= ΩH[[t;σ, δ]].

Proof. See [41,§4].

Schneider and Venjakob [41] establish a general theory of skew power series rings S =R[[t;σ, δ]] over a pseudocompact ring R. Here σ can be any topo- logical automorphism of R and δ is a σ-derivation in the sense of [29, 1.2.1], satisfying some extra conditions which are required to make the relation

ta=σ(a)t+δ(a) extend to a well-defined multiplication onS.

Consequently, the Iwasawa algebra ΩG of any soluble uniform pro-pgroup G can be thought of as an iterated skew power series ring overFp.

For example, in Example 3.2, the topological subring of ΩGgenerated byb1and b2is actually the Iwasawa algebra ΩB where B=ha1, a2iis a Borel subgroup of G. SinceB is soluble with closed normal subgroupha2i, ΩB is isomorphic to the skew power series ring Fp[[b2]][[b1;σ, δ]] for some appropriate σ and δ.

This justifies the claim that the commutator ofb1 and b2 is at least partially accessible to computation.

There is surely considerable scope to develop further the “abstract” theory of skew power series algebras initiated in [41] - for instance, one could easily pose skew power series versions of a number of the questions we list later, in Section 6. As a prompt for more work, here are two “general” questions:

(17)

Question A. (1) Are there conditions onR, σandδsuch thatS=R[[t;σ, δ]]

can be described without involving a derivation - that is, as S = R[[t]], possibly after some Ore localisation?1

(2) Are there conditions on R, σ and δ such that every two-sided ideal of the skew power series ring S = R[[t;σ, δ]] is generated by central elements and

“polynomial” elements2?

3.4. TheJ-adic filtration. We remind the reader that afiltration on a ring R is an ascending sequence

· · · ⊆FiR⊆Fi+1R⊆ · · ·

of additive subgroups such that 1 ∈ F0R, FiR.FjR ⊆ Fi+jR for alli, j ∈Z, and∪i∈ZFiR=R.

LetJ denote the Jacobson radical of ΩG. TheJ-adic filtration on ΩGis defined as follows: FiG=Ji fori≤0 andFiG= ΩGf ori≥0; this is an example of anegative filtration. The basic tool which allows one to deduce many ring- theoretic properties of Iwasawa algebras is the following result, which can be deduced from Theorem 3.1, see [20, Theorem 7.24 and remarks on page 160].

We denote the associated graded ringL

i∈ZFi+1G/FiG by grJG.

Theorem. The graded ring ofΩG with respect to the J-adic filtration is iso- morphic to a polynomial ring ind= dimGvariables:

grJG∼=Fp[X1, . . . , Xd].

Moreover, ΩG is complete with respect to this filtration.

The J-adic filtration is quite different from the filtrations encountered when studying algebras like universal enveloping algebras and Weyl algebras, which are nearly alwayspositive (that is, F1R = 0) and often satisfy the finiteness condition dimkFiR <∞for all i∈Z. In particular, there is no well-behaved notion of the Gel’fand-Kirillov dimension for Iwasawa algebras, a theme we will return to in §5.

However, we are still able to lift many properties of the graded ring back to ΩG, because theJ-adic filtration is complete, meaning that Cauchy sequences of elements in ΩG converge to unique limits. More precisely, recall [26, page 83] that a filtration on a ringR is said to beZariskian, whenever

• The Jacobson radical ofF0R containsF−1R, and

• The Rees ringRe:=L

i∈ZFiR·ti⊆R[t, t−1] is noetherian.

Many filtrations are Zariskian. For example, by [26, Chapter II, Proposition 2.2.1], any complete filtration whose associated graded ring is noetherian is necessarily Zariskian. Since any positive filtration is complete, it follows that if a filtration is positive and has noetherian associated graded ring, then it is Zariskian. More importantly for us, for any uniform pro-p group G, the J- adic filtration on ΩGis clearly complete, thanks to Theorem 2.5; and grJGis

1Compare with [14].

2By the latter, we mean elements ofR[t;σ, δ].

(18)

noetherian by Theorem 3.4 and Hilbert’s basis theorem, so theJ-adic filtration is Zariskian.

3.5. The m-adic filtration on ΛG. There is an analogue of Theorem 3.4 for theZp−version of Iwasawa algebras ΛG. Recall from (2.3) the lowerp-series P1(G)⊇P2(G)⊇ · · · ⊇ ∩i=1Pi(G) = 1 ofGand define an abelian group

grG:=

M i=1

Pi(G) Pi+1(G).

There is a natural way of turning grGinto a Lie algebra over Fp[t], the poly- nomial ring in one variable over Fp: the Lie bracket on grG is induced from the Lie bracket onGdescribed in [20,§4.5], and the action oftis induced from thep-power map. Then grGis a freeFp[t]-module of rank equal to dimG. Let m = ker(ΛG → Fp) be theFp-augmentation ideal of ΛG, or equivalently, the Jacobson radical of ΛG.

Theorem. The graded ring of ΛG with respect to them-adic filtration is iso- morphic to the universal enveloping algebra of theFp[t]-Lie algebragrG:

grmΛG ∼=U(grG).

Moreover, ΛG is complete with respect to this filtration.

Proof. See [39,§3.3] and [23, Chapter III, Theorem 2.3.3].

3.6. Lifting information from the graded ring. We recall here some standard properties of a ring R. First, we say thatR is prime if the product of any two non-zero ideals of R is again non-zero. By Goldie’s theorem [29, Theorem 2.3.6], ifRis prime and (right) noetherian then it has a simple artinian classical (right) quotient ring Q(R). If S is another ring with classical right quotient ringQ(R),so thatQ(R) =Q(S),we say thatR andSareequivalent if there are unitsa, b, c anddin Q(R) such thataRb⊆S and cSd⊆R.Now Ris amaximal (right) orderif it is maximal (with respect to inclusion) within its equivalence class, [29, 5.1.1]. (The adjective right is omitted if Ris both a maximal right order and a maximal left order.) The commutative noetherian maximal orders are just the noetherian integrally closed domains [29, Lemma 5.3.3].

LetRRdenote the rightR-moduleR. TheKrull dimensionK(M) of a finitely generated (right) moduleM over a noetherian ringRis a well-defined ordinal, bounded above by K(RR); the precise definition can be found at [29, 6.2.2].

This concept generalises the classical commutative definition; like it, it mea- sures the “size” of a module and is 0 if and only if the module is non-zero and artinian.

The(right) global dimension ofRis defined to be the supremum of the projec- tive dimensions (denoted pd(−)) of the rightR-modules, [29, 7.1.8]. WhenR is noetherian, its right and left global dimensions are always equal, [29, 7.1.11].

We say that R hasfinite (right) injective dimension dif there is an injective resolution of RR of length d, but none shorter. If R is noetherian and has

(19)

finite right and left injective dimensions, then these numbers are equal by [45, Lemma A]. It is also well known [39, Remark 6.4] that if the (right) global dimension of the noetherian ringRis finite, then it equals the (right) injective dimension ofR.

It has become apparent over the past 40 years that, whenRis noncommutative and noetherian, finiteness of the injective dimension ofR is a much less strin- gent condition than is the case for commutative noetherian rings - the structure of (commutative) Gorenstein rings is rich and beautiful. An additional hypoth- esis which, when coupled with finite injective dimension, has proved very useful in the noncommutative world is theAuslander-Gorenstein condition. To recall the definition, note first that, for every leftR-moduleM and every non-negative integer i, Exti(M, R) is a right R-module through the right action on R.The Auslander-Gorenstein condition on a noetherian ring R requires that, when M is a finitely generated left R-module, i is a non-negative integer and N is a finitely generated submodule of Exti(M, R), then Extj(N, R) is zero for all j strictly less than i; and similarly with “right” and “left” interchanged. We say thatR isAuslander-Gorenstein if it is noetherian, has finite right and left injective dimensions, and satisfies the Auslander condition. Commutative noe- therian rings of finite injective dimension are Auslander-Gorenstein. When R is noetherian of finite global dimension and satisfies the Auslander-Gorenstein condition it is calledAuslander-regular.

Theorem. LetR be a ring endowed with a Zariskian filtrationF R; thenR is necessarily noetherian. Also,R inherits the following properties fromgrR:

(1) being a domain, (2) being prime,

(3) being a maximal order, (4) being Auslander-Gorenstein, (5) having finite global dimension, (6) having finite Krull dimension.

Proof. See [26].

We immediately obtain from Theorem 3.4, Theorem 3.6 and Corollary 3.1, the Corollary. If G is a uniform pro-p group, then ΩG is a noetherian, Auslander-regular, scalar local domain which is a maximal order in its quo- tient division ring of fractions.

4. Extensions over finite index

For an arbitraryp-adic analytic groupG, many fundamental properties of ΩG

(and of ΛG) can be analysed using Corollary 3.6 and (2.3)(1).

4.1. Complete noetherian (semi)local rings. Recall that a ring R is semilocal if the factor ofRby its Jacobson radicalJ(R) is semisimple artinian.

It islocal ifR/J(R) is simple artinian, andscalar local ifR/J(R) is a division ring. For a crossed productR=S∗H of a finite groupH, like that in (2.3)(1),

(20)

it’s not hard to show that J(S) ⊆ J(R), [31, Theorem 1.4.2]. From this, Theorem 2.5 and Corollary 3.6, and their analogues for ΛG, we deduce (1) of the following. Both it and (2) were known to Lazard.

Theorem. LetG be a compactp-adic analytic group.

(1) ΩG andΛG are complete noetherian semilocal rings.

(2) ΩG andΛG are (scalar) local rings if and only ifG is a pro-pgroup.

4.2. Primeness and semiprimeness. Recall that a ring R is prime if the product of two nonzero ideals is again nonzero and that R is semiprime if it has no nonzero nilpotent ideals. A prime ring is always semiprime, but not necessarily conversely.

The characterisations of these properties for Iwasawa algebras given in the theorem below exactly parallel the results for ordinary group algebras proved in the early 1960s by I.G. Connell and D.S. Passman [32, Theorems 4.2.10 and 4.2.14]. However, the proofs here are quite different from the classical setting; that the stated conditions are necessary is easy to see, but sufficiency in (1) and (2) depends on Corollary 3.6 to handle the uniform case, together with non-trivial results on crossed products of finite groups. Part (3) is much easier - one can simply appeal to the fact (a consequence of Maschke’s theorem) that the group ring of a finite group over a commutative coefficient domain of characteristic zero is semiprime, together with the fact that, by definition, ΛG

is an inverse limit of such group rings.

Theorem. LetG be a compactp-adic analytic group.

(1) [5] ΩG and ΛG are prime if and only if G has no non-trivial finite normal subgroups.

(2) [5] ΩG is semiprime if and only if Ghas no non-trivial finite normal subgroups of order divisible byp.

(3) (Neumann,[30]) ΛG is always semiprime.

4.3. Zero divisors. There is a method, familiar from the treatment of or- dinary group rings, which allows one to use homological properties to deduce results about the non-existence of zero divisors in certain noetherian rings. In its simplest form, which is all that is needed here, the statement is due to Walker [42]: ifRis a scalar local noetherian semiprime ring of finite global dimension, then R is a domain.3 This yields the following result; it was proved by Neu- mann [30] for ΛG, but for ΩG it was necessary to wait first for semiprimeness to be settled, as in Theorem 4.2(2).

Theorem. Let Gbe a compact p-adic analytic group. Then ΩG and ΛG are domains if and only ifGis torsion free.

Proof. If 1 6=x∈Gwith xn = 1, then (1−x)(1 +x+· · ·xn1) = 0, so the absence of torsion is clearly necessary. Suppose thatGis torsion free. SinceG

3It is a famous and long-standing open question in ring theory whether “semiprime” is necessary in Walker’s theorem.

(21)

has a pro-psubgroup of finite index by (2.4), its Sylowq-subgroups are finite for primesqnot equal top. SinceGis torsion free these subgroups are trivial, so G is a pro-pgroup. Therefore ΩG and ΛG are scalar local and noetherian by Theorem 4.1. The other conditions needed for Walker’s theorem are given

by Theorems 4.2(2) and (3) and Theorem 5.1.

4.4. Maximal orders. It might seem natural to suppose, in the light of The- orem 3.6(3), that whenever ΛG or ΩG are prime then they are maximal orders.

This guess is wrong, though, as the following example shows. First, recall from [29, 5.1.7] that ifRis a ring andM is anR-module, thenM is said to bereflex- ive if the natural mapM →M∗∗ = Hom(Hom(M, R), R) is an isomorphism.

Also, recall [29, Chapter 4] that the idealI ofRis said to belocalisable if the set CR(I) of elements ofRwhich are regular moduloI is an Ore set inR.

Example: LetD:=A⋊hγi,whereAis a copy ofZ2andγis the automorphism of order 2 sending each 2-adic integer to its negative. SinceDis a pro-2 group with no non-trivial finite normal subgroups, Theorems 4.1 and 4.2 show that ΩD and ΛD are prime noetherian scalar local rings. But it’s not hard to see that neither of these algebras is a maximal order: for ΩD, observe that it is local with reflexive Jacobson radicalJ which is not principal, impossible for a prime noetherian maximal order by [28, Th´eor`eme IV.2.15]; for ΛD,the kernel of the canonical map to Zp is a reflexive prime ideal which is not localisable by [4, Theorem A and Lemma 4.1], impossible in a maximal order by [28, Corollaire IV.2.14]. We therefore ask:

Question B. When areΩG andΛG maximal orders?

Since the powerful structural results [15], which can be obtained for certain quo- tient categories of the category of finitely generated modules over a noetherian maximal order, are potentially important tools in arithmetic applications [18], this question is of more than passing interest.

In the next three paragraphs we offer a conjecture for the answer to Question B, and give some evidence in its support.

4.5. Conjectured answer to Question B. We will need some group- theoretic notions. Let H be a closed subgroup of a compact p-adic analytic group G. We say that H is orbital if H has finitely many G-conjugates, or equivalently if its normaliser N =NG(H) has finite index inG. We say that an orbital subgroupH isisolated ifN/H has no non-trivial finite normal sub- groups.

We will say thatGisdihedral-free if, wheneverH is an orbital closed subgroup of G with dimH = 1, H is isomorphic to Zp. This seems to be the correct generalisation of the definition in [9].

Conjecture. Let G be a compact p-adic analytic group, and suppose ΩG is prime. ThenΩG is a maximal order if and only if Gis dihedral-free.

(22)

4.6. Necessary conditions onG. We fix a primepand assume throughout this paragraph thatGis a compactp-adic analytic group.

Proposition. Suppose ΩG is a prime maximal order and let H be a closed normalsubgroup ofGwith dimH = 1. ThenH is pro-p.

Proof. We may assume that H is isolated, so G/H has no non-trivial finite normal subgroups. Hence, by Theorem 4.2(1), wH = ker(ΩG → ΩG/H) is a prime ideal of ΩG, and it is not hard to see that it is also a reflexive ideal.4 Now because ΩG is a maximal order andwH is a prime reflexive ideal, it must be localisable [28, Corollaire IV.2.14].

But the conditions needed for augmentation ideals to be localisable are known [5, Theorem E]: H/F must be pro-p, where F is the largest finite normal p- subgroup ofH. SinceH is normal inGandGhas no non-trivial finite normal subgroups by Theorem 4.2(1),F = 1 andH is pro-pas required.

We need the following group-theoretic lemma. We first setǫto be 1 forpodd, and ǫ= 2 ifp= 2, and define, for a closed normal uniform subgroupN of G, EG(N) to be the centraliser inGofN/Npǫ,[5, (2.2)].

Lemma. Suppose that G is a pro-p group of finite rank with no non-trivial finite normal subgroups. Let N be a maximal open normal uniform subgroup of G. Then

EG(N) =N.

Proof. Recall thatE=EG(N) is an open normal subgroup ofGcontainingN.

IfEstrictly containsN thenE/Nmust meet the centreZ(G/N) non-trivially sinceG/N is a finitep-group by [20, Proposition 1.11(ii)]. Pickx∈E\N such that xN ∈Z(G/N); thenH =hN, xi is normal inG by the choice ofx, and alsoHis uniform by [5, Lemma 2.3]. This contradicts the maximality ofN. Recall from Example 4.4 that D denotes the pro-2 completion of the infinite dihedral group.

Corollary. Let H be a pro-p group of finite rank with no non-trivial finite normal subgroups. Suppose that dimH = 1. Then H ∼=Zp, unless p= 2 and H is isomorphic to D.

Proof. Choose a maximal open normal uniform subgroup N of H. By the lemma, H/N ֒→ Aut(N/Npǫ). If p is odd, |N : Npǫ| = p, so the latter au- tomorphism group is just F×p. Since H/N is a p-group by [20, Proposition 1.11(ii)] again,H =N ∼=Zp. Ifp= 2 and H > N,H ∼=D.

This gives us the following weak version of one half of the conjecture. To improve the result from “normal” to “orbital” will presumably require some technical work on induced ideals.

4One quick way to see this uses the canonical dimension from (5.4): since Cdim(ΩG/wH) = dim(G/H) = dimG1 and since ΩG is Auslander-Gorenstein, wH is reflexive by Gabber’s Maximality Principle [36, Theorem 2.2].

(23)

Corollary. SupposeΩG is a prime maximal order. Then any closed normal subgroup H of Gof dimension 1 is isomorphic toZp.

Proof. When p is odd the statement is immediate from the proposition and corollary above. So suppose that p= 2. We have to rule out the possibility that H ∼= D, so suppose for a contradiction that this is the case. Then, as in the proof of the proposition, wH is a prime reflexive, and hence localisable, ideal of ΩG.LetR denote the local ring (ΩG)wH,which has global dimension one by [28, Th´eor`eme IV.2.15]. Let C = hci be a copy of the cyclic group of order 2 in H. ThenF2C ⊆ΩG and ΩG is a projectiveF2C-module by [11, Lemma 4.5]. ThusRis a flatF2C-module. Sincec+1∈J(R),theF2C-module R/J(R) is a sum of copies of the trivial module, so

∞= pdF2C(F2) = pdF2C(R/J(R))≤pdR(R/J(R)) = 1.

This contradiction shows that the only possibility forH isZ2. 4.7. Sufficient conditions on G. We use the following result, essentially due to R. Martin:

Proposition. [27]LetR be a prime noetherian maximal order and letF be a finite group. LetS =R∗F be a prime crossed product. Then S is a maximal order if and only if

(a) every reflexive height 1 prime P ofS is localisable, and (b) gld(SP)<∞ for all suchP.

Proof. Conditions (a) and (b) hold in any prime noetherian maximal order, [28, Th´eor`eme IV.2.15]. Conversely, suppose that (a) and (b) hold. We use the Test Theorem [27, Theorem 3.2]. Condition (i) of the Test Theorem is just condition (a). We claim that if P is as in the theorem, then gld(SP) = 1. It’s easy to check that P ∩R is a semiprime reflexive ideal of R, so that the localisation RPR exists and is hereditary by [28, Th´eor`eme IV.2.15]. ThusRPR∗F has injective dimension 1 by [5, Corollary 5.4]. ButSP is a localisation ofRP∩R∗F, so - given (b) and the comments in (3.6) - gld(SP)≤1.The reverse inequality is obvious, so our claim follows. Condition (ii) now follows from [27, Proposition 2.7]. Condition (iii) follows from the proof of [27, Lemma 3.5] and condition (iv) follows from [27, Remark 3.6 and Lemma 3.7].

Lemma. LetGbe a pro-pgroup of finite rank with no non-trivial finite normal subgroups. Then every reflexive height 1 prime ofΩG is localisable.

Proof. Let P be a reflexive height 1 prime of ΩG. Choose an open normal uniform subgroupN ofG.Then ΩN is a maximal order by Corollary 3.6. Set G:=G/N. Now letQ=P∩ΩN - it is easy to see [27, Remark 3.6] that this is a height 1 reflexive G-prime ideal of ΩN. Indeed,Qis the intersection of a G-orbit of reflexive prime ideals{P1, . . . , Pn}of ΩN.

Since eachPiis localisable by [28, Th´eor`eme IV.2.15],Qis localisable. In other words, the subsetC:=CN(Q) =∩ni=1CN(Pi) is aG-invariant Ore set in ΩN. An easy calculation [32, proof of Lemma 13.3.5(ii)] shows thatC is an Ore set

(24)

in ΩG. In other words, the semiprime ideal A =√QΩG is localisable in ΩG

and

(ΩN)Q∗G∼= (ΩG)A.

SinceGis ap-group,A=P by [31, Proposition 16.4] and the result follows.

Corollary. Let Gbe a torsion free compactp-adic analytic group. Then ΩG

is a prime maximal order.

Proof. Suppose that Gis as stated. Since Ghas a pro-popen subgroup, the Sylowq-subgroups ofGare finite, and hence trivial, for all primesq not equal to p. That is, Gis a pro-pgroup. Thus the corollary follows from the lemma and the proposition, since gld ΩG is finite by Theorem 5.1.

5. Dimensions

5.1. Global dimension. The situation as regards the global dimension of ΩG

and ΛG is completely understood, and depends fundamentally on properties of the cohomology of profinite groups - in particular behaviour under finite extensions - due to Serre [34]. The result is due to Brumer [11, Theorem 4.1] who computed the global dimension of the completed group algebra of an arbitrary profinite groupGwith coefficients in a pseudo-compact ringR. As a consequence of his work, we have

Theorem. LetGbe a compactp-adic analytic group of dimensiond.ThenΩG

andΛG have finite global dimension if and only if Ghas no elements of order p,and in this case

gld(ΩG) =d and gld(ΛG) =d+ 1.

5.2. Auslander-Gorenstein rings. Recall that the group algebra of an ar- bitrary finite group over any field is a Frobenius algebra [44, Proposition 4.2.6], and thus is self-injective. It should therefore come as no surprise that injective dimension is well-behaved for Iwasawa algebras. In fact, much more is true:

Theorem. [5, Theorem J]LetGbe a compact p-adic analytic group of dimen- siond.ThenΩG andΛG are Auslander-Gorenstein rings of dimensionsdand d+ 1 respectively.

This result was first proved by O. Venjakob [39] and is easy to deduce from Theorem 3.6(4) and Theorem 5.1, as follows. LetHbe an open uniform normal subgroup ofG.Then ΩHand ΛHare Auslander-Gorenstein by Theorem 3.6(4), and the dimensions are given by Theorem 5.1. Now apply (2.3)(1): a simple lemma [5, Lemma 5.4] shows that

(1) ExtiG(M,ΩG)∼= ExtiH(M,ΩH)

for all i≥0 and all ΩG-modulesM, with a similar isomorphism for ΛG, and the result follows.

(25)

5.3. Dimension functions for Auslander-Gorenstein rings. We recall from [24] the basics of dimension theory over an Auslander-Gorenstein ringR.

Writedfor the injective dimension ofR. Thegradej(M) of a finitely generated R-moduleM is defined as follows:

j(M) = min{j: ExtjR(M, R)6= 0}.

Thus j(M) exists and belongs to the set {0, . . . , d} ∪ {+∞}. The canonical dimension ofM, Cdim(M) is defined to be

Cdim(M) =d−j(M).

It is known [24, Proposition 4.5] that Cdim is an exact, finitely partitive di- mension function on finitely generated R-modules in the sense of [29, §6.8.4].

That is,

• Cdim(0) =−∞;

• if 0−→N −→M −→T −→0 is an exact sequence of finitely generated modules, then Cdim(M) = max{Cdim(N),Cdim(T)};

• ifM P = 0 for a prime idealP ofR, andM is a torsionR/P-module, then Cdim(M)≤Cdim(R/P)−1;

• if Cdim(M) =t then there is an integern such that every descending chain M =M0⊇M1⊇ · · · ⊇Mi ⊇Mi+1· · · of submodules ofM has at mostnfactorsMi/Mi+1with Cdim(Mi/Mi+1) =t.

The ringRis said to be grade symmetric if

Cdim(RM) = Cdim(MR)

for any R−R-bimodule M which is finitely generated on both sides.5 The triangular matrix ring

k k 0 k

over a field k gives an easy example of an Auslander Gorenstein ring which is not grade symmetric.

The existence of an exact, finitely partitive, symmetric dimension function for the finitely generated modules over a noncommutative noetherian ringR is a very valuable tool which is often not available: the Gel’fand-Kirillov dimen- sion [29, §8.1] - although symmetric - is often not defined; and although the Krull dimension is always defined [29,§6.2], it is a long-standing open question whether it is symmetric in general. As we shall see in the next paragraph, the canonical dimension function fulfils these requirements for an Iwasawa algebra.

Ifδ is a dimension function on finitely generatedR-modules, we say thatRis Cohen-Macaulay with respect toδifδ(M) = Cdim(M) for all finitely generated R-modulesM.

This definition is consistent with, and therefore generalises, the definition from commutative algebra. To see this, suppose thatRis a commutative noetherian ring of dimensiond.Suppose thatR is Cohen-Macaulay [12, Definition 2.1.1], and letM be a finitely generatedR-module with Krull dimensionK(M). Note

5Alternatively, we can say in these circumstances that the dimension function Cdim is symmetric.

(26)

that ifRis anaffine(i.e. finitely generated)k-algebra, this equals the Gel’fand- Kirillov dimension ofM. Then

(1) j(M) +K(M) =d,

[12, Corollary 2.1.4 and Theorem 1.2.10(e)]. And conversely, if (1) holds for all simpleR-modulesM, thenR is Cohen-Macaulay [12, Theorem 1.2.5].

5.4. Canonical dimension for ΩG. We continue in this paragraph to as- sume that Gis a compact p-adic analytic group of dimension d. Fix an open uniform normal subgroupHofG,and letMbe a finitely generated ΩG-module.

By Theorem 5.2 and paragraph (5.3), and with the obvious notation, CdimG(−) and CdimH(−) are well-defined dimension functions, and in fact (5.2)(1) shows that

(1) CdimH(M) = CdimG(M).

In particular, in studying the canonical dimension we may as well assume that G=H is uniform, which we now do. Hence, by Theorem 3.4, the graded ring of ΩG is a polynomialFp-algebra indvariables.

Choose a good filtration for M (FnM =M Jn forn ≤0 will do) and form the associated graded module grM. Because theJ-adic filtration is Zariskian, it follows from [8, Remark 5.8] that

(2) j(grM) =j(M).

Moreover, from this and the concluding remarks of (5.3) we see that (3) K(grM) = Cdim(grM) =d−j(M).

(This shows, incidentally, that K(grM) is actually independent of the choice of good filtration onM.)6 Combining (2) and (3), we find that

Cdim(M) =d−j(M) = Cdim(grM) =K(grM) = GK(grM) for any choice of good filtration onM. This proves the last part of the Proposition. Let Gbe a compactp-adic analytic group.

(1) ΩG is grade-symmetric.

(2) ΩG is ideal-invariant with respect toCdim.

(3) Suppose thatGis uniform. Then for all finitely generatedΩG-modules M,

Cdim(M) = GK(grM).

Proof. (1) In view of (5.4)(1) we can and do assume thatGis uniform. Write J for the Jacobson radical of ΩG and let M be a finitely generated ΩG- module. Then by the definition of the Gel’fand Kirillov dimension [29,§8.1.11], GK(grM) is the growth rateγ(f) of the function

f(n) = dim M M Jn;

6Consider (3) withM the trivial ΩG-moduleFp. ThenK(grM) = 0,soj(M) =dand therefore the injective dimension of ΩG actually equals d, providing another proof of the numerical part of Theorem 5.1.

参照

関連したドキュメント

• A p-divisible group over an algebraically closed field is completely slope divisible, if and only if it is isomorphic with a direct sum of isoclinic p-divisible groups which can

We shall always assume that the commutative algebra A is finitely generated over the ring k, with rational action of a Chevalley group scheme G. Further, M will be a noetherian

We then con- sider CM abelian extensions of totally real fields and by combining our earlier considerations with the known validity of the Main Con- jecture of Iwasawa theory we

The equivariant Chow motive of a universal family of smooth curves X → U over spaces U which dominate the moduli space of curves M g , for g ≤ 8, admits an equivariant Chow–K¨

When one looks at non-algebraic complex surfaces, one still has a notion of stability for holomorphic vector bundles with respect to Gauduchon metrics on the surface and one gets

Some aspects of the asymptotic behavior of the approximation numbers (= singular values) of matrices in B ( C n 2 ) can be very easily understood by having recourse to the

Next, we prove bounds for the dimensions of p-adic MLV-spaces in Section 3, assuming results in Section 4, and make a conjecture about a special element in the motivic Galois group

Maria Cecilia Zanardi, São Paulo State University (UNESP), Guaratinguetá, 12516-410 São Paulo,