Adele Groups, P-Adic Groups, Solenoids

Home , Adele ring, Solenoid (mathematics)

(April 29, 2014) Adele groups, p-adic groups, solenoids

Paul Garrett [email protected] http://www.math.umn.edu/egarrett/ [This document is http://www.math.umn.edu/˜garrett/m/mfms/notes 2013-14/12 1 adeles.pdf] 1. Hensel’s lemma 2. Metric deﬁnition of p-adic integers Zp and p-adic rationals Qp 3. Elementary/clumsy deﬁnitions of adeles A and ideles J 4. Uniqueness of objects characterized by mapping properties 5. Existence of limits 6. Zp and Zb as limits 7. Qp and A as colimits 8. Abelian solenoids (R × Qp)/Z[1/p] and A/Q 9. Non-abelian solenoids and SL2(Q)\SL2(A)

Although we will also give the more typical descriptions, we also show that the adeles A, p-adic integers Zp, p-adic rationals Qp, and related objects are already right under our noses, if only we can see them. These things are not artiﬁcial or mere stylistic choices. It is unwise to ignore them. Several important technical issues lead to such things. One is closer examination of Hecke operators, for example on holomorphic modular forms: X TN f = f|2kγ (f holomorphic weight 2k for Γ = SL2(Z)) γ∈XN

where XN is integer-entry 2-by-2 matrices with determinant 1, with the weight-2k action

az + b a b f| γ(z) = f (cz + d)−2k (where γ = ) 2k cz + d c d

An obstacle to a straightforward proof of the self-adjointness of these operators with respect to the Petersson inner product Z 2k dx dy hf, F i = f(z) F (z) y 2 Γ\H y

is that, although the sum over XN is a modular form of level one, the individual summands are typically not level one, but higher level, usually level N. That is, the most straightforward assertion we can rely upon is th that for γ ∈ XN the γ summand is a modular form only for

a b 1 0 Γ = { = mod N} N c d 0 1

That is, the straightforward assertion is that f|2kγ 2kβ = f|2kγ (for β ∈ ΓN )

To see how the suﬃcient condition β ∈ ΓN arises, use the associativity of the action:

−1 −1 f|2k(γβ) = f|2k(γβγ · γ) = f|2kγβγ 2kγ

−1 Thus, f|2kγ is assured invariant under β when γβγ ∈ Γ1, for f of level 1. For example,

a b a b/N 1 0 γ γ−1 = (for γ = ) c d cN d 0 N

1 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

which is in Γ1 = SL2(Z) only for b = 0 mod N. Similarly, a b a bN N 0 γ γ−1 = (for γ = ) c d c/N d 0 1

is in Γ1 only for c = 0 mod N. Generally, with γ ∈ XN , similar computations show that β ∈ ΓN is the simplest suﬃcient condition for (f|2kγ)|2kβ = f|2kγ.

To treat the summands in TN f directly, we might enlarge the space of modular forms to include those for ΓN for all N. The full family of quotients ΓN \H, indexed by positive integers N ordered by divisibility, is partly depicted in

... / Γ8\H / Γ4\H (where ΓN z → ΓM z for M|N) v: HH vv HH vv HH vv HH vv H# ... / Γ12\H / Γ6\H / Γ2\H : H D G vv HH © G vv HH © GG vv HH©© GG vv ©HH GG vv ©© # # ...v / Γ9\H © / Γ3\H / Γ1\H : ©© ; D vv © w vv © ww vv ©© ww vv © ww vv © w ...v / Γ10\H / Γ5\H ; vv vv vv vv vv ...v / Γ7\H The poset [1] of positive integers ordered by divisibility is very interesting, but adds a further complication, so we might consider subfamilies corresponding to powers of a single prime, with their simpler partial order structures: ... / Γp3 \H / Γp2 \H / Γp\H / Γ1\H

In both cases, we want a single object on which all the functions on all spaces Γpn \H live, with quotient [2] maps to every Γpn \H, ﬁtting together so that all triangles commute in the diagram

+ * ) ( ??? ... / Γp3 \H / Γp2 \H / Γp\H / Γ1\H

The corresponding diagram for the full family of ΓN \H is messier, but similar. The admittedly natural candidate H itself, with obvious quotient maps qN : H → ΓN \H fails in several ways. First, although 2 2 functions f ∈ L (ΓN \H) become functions on H by composing with qN , the function f ◦ qN is not in L (H) 2 with respect to the SL2(R)-invariant measure dx dy/y . Second, the collection of all functions on H is far too large in the sense that most functions are not invariant under any ΓN . Third, certainly the true object ??? ﬁts into a diagram

... / Γ 3 \H / Γ 2 \H / Γp\H / Γ1\H p p 5 dI O v: k k I v k I v k k I v k I v k k ??? k

[1] Poset is the common abbreviation for partially ordered set, meaning a set S with an ordering ≤ with expected properties: transitivity x ≤ y and y ≤ z implies x ≤ z, reﬂexivity x ≤ x, and x ≤ y and y ≤ x implies x = y, but possibly lacking the dichotomy requirement that either x ≤ y or y ≤ x.

[2] For a diagram to commute means that the same outcomes are obtained no matter which route is followed throught the diagram.

2 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

with commuting triangles but it turns out that there is no map ??? → H ﬁtting into

+ * ) ( H ... / Γ 3 \H / Γ 2 \H / Γp\H / Γ1\H (fails ...) k p p 5 dI O v: k k I v k I v k k non−existent I v k I v k k ??? k

We will see that the correct object ??? in the diagram is

/ 1 , * ( ' SL2(Z[ p ]) H × SL2(Qp) ... / Γp3 \H / Γp2 \H / Γp\H / Γ1\H

where Qp is the field of p-adic numbers, the fraction field of the p-adic integers Zp, the latter often defined as the completion of Z with respect to the p-adic metric d(x, y) = |x − y|p with the p-adic norm

` −` |p · m|p = p (for integers m prime to p)

1 and Z[ p ] is the ring of rational numbers with denominators only allowed to be powers of p. The action of 1 γ ∈ SL2(Z[ p ]) on H × SL2(Q2) is g(z × h) = gz × gh with linear fractional action on z ∈ H and left matrix 1 multiplication on h ∈ SL2(Qp). We will see that the diagonally-imbedded copy of SL2(Z[ p ]) is a discrete subgroup of SL2(R) × SL2(Qp) much as SL2(Z) is a discrete subgroup of SL2(R). We will see that this object does have the desired universal property, that for every other object X with a compatible family of maps (making triangles commute)

... / Γp3 \H / Γp2 \H / Γp\H / Γ1\H dI O : j5 I v j j I v j j I v j j I vj j X jv

1 there is a unique map X → SL2(Z[ p ])\ H × SL2(Q2) giving a commutative diagram

1 * ( ' SL2( [ ])\ H × SL2( p) ... /, Γ 3 \H / Γ 2 \H / Γp\H / Γ1\H Z p Q p p 5 l dI O v; k k I v k k I v k unique I v k k I k k X vk

This situation also reveals a natural action of the group SL2(Qp) on the collection of quotients Γpn \H. This is very far from obvious!

Keeping in mind that H ≈ SL2(R)/SO(2, R), the full diagram using all ΓN ’s has a similar universal object,

3 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[3] with A the ring of rational adeles

... /, Γ2\H w; GG ww GG ww GG ww GG + w + ) # SL2(Q)\SL2(A)/SO(2, R) ... / Γ6\H / Γ3\H / Γ1\H YYYY ; YYYYYY ww YYYYYY ww YYYYYY ww YYYYYY w YYYYYY w ... /, Γ5\H

For many reasons we might want to get the group SO(2, R) out of the way, so that SL2(R) can act on the right as do the groups SL2(Qp), and we have a diagram

- ... / Γ2\SL2(R) 7 O ooo OOO ooo OOO ooo OOO , oo + * O' SL2(Q)\SL2(A) ... / Γ6\SL2(R) / Γ3\SL2(R) / Γ1\SL2(R) ZZZZ 7 ZZZZZZZ ooo ZZZZZZZ oo ZZZZZZ ooo ZZZZZZZ oo ZZZZZ, o ... / Γ5\SL2(R)

This reveals the natural action of SL2(A) on the right on the family of quotients ΓN \SL2(R), incorporating an action of every group SL2(Qp) as well as SL2(R). We will prove the universal mapping property that, for every space X and compatible family of maps X → ΓN \SL2(R), there is a unique map X → SL2(Q)\SL2(A) ﬁtting into a commutative diagram

- ... / Γ2\SL2(R) h3 o7 OO k i oo OO m ooo OOO o ooo OOO , r oo + * O' SL2(Q)\SL2(A) ... /tΓ6\SL2(R) / Γ3\SL2(R) / Γ1\SL2(R) ] ZZZZ w ; 6 7 : ZZZZZZZ x m m oou ZZZZZZZz x m ooo ZZZZxZZZ m oo s } x ZZZZZmZZm oooq x m ZZZZZZ, o m... / Γ5\SL2( o) unique £ x m 2 n R x m m f f f ¦ x m f f l x m f f f j x m m f f g i ¨x m f f f f X mf _f ` a c d

Standard terminology for this property is that SL2(Q)\SL2(A) is the (projective) limit of the quotients ΓN \SL2(R).

To warm up to this situation, replace ΓN and SL2(R) by simpler objects, namely, replace ΓN by NZ and

[3] As discussed below, A contains a copy of every Qp as well as R, but is smaller than the product.

4 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

SL2(R) by R. In that case, we will ﬁnd that Q\A is the universal object in analogous diagrams

... /, 2Z\R j 4 ; F l ww F n ww FF q ww FF s ww FF v * w * ( # Q\A XX ... z / 6Z\R / 3Z\R / Z\R X XXXXX = 8 ; ? XXXXX } { q xx~ XXX¡XX { q x XXXXX q xx{ ¥ { XXXXXq xx { q q XXXXX x ¨ { q ... X,/ 5 \ u unique { q h3 Zs R q h h { q h h p { q h h n { q h h j l { q h h f h X hq_h a b d

Again, first with the simpler poset of powers pn of a fixed prime p, rather than the whole poset of positive integers ordered by divisibility: for every compatible family of maps X → pnZ\R, there is a unique map 1 X → Z[ p ]\ R × Qp fitting into

1 + 3 * 2 ) ( Z[ p ]\ R × Qp ... / p Z\R / p Z\R / pZ\R /3 Z\R O : j5 g g g j u j j g g u j g g g unique u j j g u j g g j gj g g X ujg g

1 All the quotients NZ\R are circles, and the (projective) limit Z[ p ]\R is a solenoid.

n As an even simpler examples of limits: the ring of p-adic integers Zp is the limit of the ﬁnite rings Z/p : for n every compatible family of maps X → Z/p , there is a unique X → Zp giving a commutative diagram

* 4 ( 3 ' 2 & Zp ... / Z/p / Z/p / Z/p / Z/p h 5 g g3 O w; k k g g w k g g k k g g unique w k g g wk kg g X kwg g

This characterization of Zp is more useful than the more-elementary description as metric completion, below. It is striking and profoundly important that these diagrammatic universal-mapping-property characterizations determine the universal objects uniquely (up to unique isomorphism), as we will show. That is, for example, any other object Y ﬁtting into all the diagrams

* 4 ( 3 ' 2 & Y ... / Z/p / Z/p / Z/p / Z/p h 5 g g3 O w; k k g g w k g g k k g g unique w k g g wk kg g X kwg g

n is isomorphic to Zp, and there is a unique isomorphism Y → Zp compatible with all the maps to the Z/p ’s. Further, the uniqueness proof does not use internal details of either the objects or the maps, but only the shape of the diagrams! Thus, the proofs themselves are universal.

5 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

1. Hensel’s lemma

Kurt Hensel’s 1897 conception of p-adic numbers can be illustrated in systematic solution of problems such as x2 = −1 mod 5n for all powers 5n of 5. [4]

Starting with either x1 = 2 or x1 = 3 (whose squares are 4 and 9, which are −1 mod 5), one hopes to adjust the solution mod 5 to be a solution mod 52. Namely, one hopes that for some y the modiﬁed value 2 x2 = x1 + 5y will satisfy x = −1 mod 25. This condition simpliﬁes usefully

2 2 (x1 + 5y) = −1 mod 5

2 2 2 x1 + 10x1y + 25y = −1 mod 5

2 2 (x1 + 1) + 10x1y = 0 mod 5 x2 + 1 1 + 2x y = 0 mod 5 5 1

2 2 2 since x1 + 1 is divisible by 5. A critical point is that the y term disappears mod 5 , leaving in any case a linear problem in y. Since −2x1 = 1 mod 5 is invertible mod 5, we can solve for

x2 + 1 22 + 1 y = (−2x )−1 · 1 = (−2 · 2)−1 · = 1 mod 5 1 5 5 and then

x2 = x1 + 5y = 2 + 1 · 5 = 7 satisﬁes 2 2 2 x2 = (x1 + 5y) = −1 mod 5 This process of improvement can be continued indeﬁnitely, imitating the example just done, as follows. With

2 n xn = −1 mod 5 try to ﬁnd y mod 5 such that n 2 n+1 (xn + 5 y) = −1 mod 5 The same rearrangement gives

n 2 n+1 (xn + 5 y) = −1 mod 5

2 n 2n 2 n+1 xn + 2 · 5 xny + 5 y = −1 mod 5

2 n n+1 (xn + 1) + 2 · 5 xny = 0 mod 5

2 xn+1 5n + 2xny = 0 mod 5

[4] The abstracted notion of metric space did not exist until [Fr´echet 1906], so Hensel could not use such an idea in 1897. The notion of projective limit was not developed until after 1940, for example by S. Eilenberg and S. MacLane, motivated by algebraic topology. Instead, Hensel attempted to make analogies to power series, but these analogies did not quite work right.

6 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

2 n 2 using the fact that xn + 1 is already divisible by 5 , and that the y term goes away. The last equation has a unique solution x2 + 1 y = (−2x )−1 · n mod 5 n 5n where the inverse need be taken only mod 5, not modulo any higher power of 5. The new solution is

n xn+1 = xn + 5 y

and satisﬁes n xn+1 = xn mod 5 −1 −1 Thus, xn = x1 mod 5, so only a single multiplicative inverse need be computed, and the induction step is

x2 + 1 y = (−2x )−1 · n mod 5 n 5n This produces the sequence √ 2, 7, 57, 182, 1482, 13057, 25182,... ∼ −1

This procedure is an example of Hensel’s lemma. A little more generally:

[1.0.1] Claim: Let f(x) ∈ Z[x], p a prime, and x1 such that

0 f(x1) = 0 mod p and f (x1) 6= 0 mod p

Then the recursion [5] 0 −1 n+1 xn+1 = xn − f(xn) · f (x1) mod p 0 −1 (where f (x1) is an inverse modulo p) determines a sequence of integers xn such that

n f(xn) = 0 mod p

with the compatibility n xn+1 = xn mod p

Proof: Amusingly, we need a Taylor series expansion

f(x + h) = f(x) + h · f 0(x) + (error term)

legitimate for purely algebraic reasons, for polynomials, of the form

f(x + h) = f(x) + f 0(x) · h + E · h2

[6] where E is a polynomial in x and h with coeﬃcients in Z. Granting such an expression, let 0 −1 n δ = −f (xn) · f(xn), with inverse modulo p , and evaluate

0 2 f(xn+1) = f(xn + δ) = f(xn) + f (xn) · δ + E · δ

[5] This recursive formula is the Newton-Raphson formula, easily derived geometrically in the real-number case, by sliding down the tangent, that is, by ﬁnding the intersection of the horizontal axis with the tangent line to the curve y = f(x) at the point (xn, f(xn).

[6] d n n−1 The derivative of a polynomial can be deﬁned without taking any limits, via the usual formula dx (x ) = nx , and requiring that this map be linear over whatever commutative ring the polynomials’ coeﬃcient lie in.

7 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

0 0 −1 2 2 2 = f(xn) − f (xn) · f (xn) · f(xn) + E · δ = f(xn) − f(xn) + E(xn) · δ = E · δ n n 0 n Since f(xn) = 0 mod p , certainly xn+1 = xn mod p , and f (xn) 6= 0 mod p, so has an inverse mod p , since f and f 0 have coeﬃcients in Z. And then δ = 0 mod pn, so δ2 = 0 mod p2n. Since E is a polynomial with coeﬃcients in Z, E · δ2 = 0 mod p2n. That is,

2n f(xn+1) = 0 mod p

For n ≥ 1, we have 2n ≥ n + 1, meeting the requirement on the recursion. In the expression 0 −1 n+1 xn+1 = xn − f(xn) · f (xn) mod p n 0 −1 n+1 since f(xn) = 0 mod p , we only need f (xn) modulo p in order to know xn+1 mod p . Thus, it suffices to check that 0 −1 0 −1 f (x1) = f (xn) mod p n 0 Indeed, since xn+1 = xn mod p , xn = x1 mod p for all n. Since f has coefficients in Z, we have 0 0 0 f (xn) = f (x1) for all n. Since f (x1) 6= 0 mod p, the inverses mod p are all the same. The factorials occurring in the usual form of the Taylor expansion appear to be a problem. However, any P i polynomial P (x) = i bix with coefficients in Z can be written in the form

2 P (x + h) = c0 + c1 · h + c2 · h + ... (a ﬁnite expansion)

with ci polynomials in x by substituting x + h in P and expanding in powers of h. Thus, the issue is to see that, in this expansion 0 c1(x) = f (x) The requisite expansion is linear [7] in the polynomial P , it suﬃces to consider P (x) = xn. By the Binomial Theorem (x + h)n = xn + nxn−1 · h + E · h2

where E is a polynomial in x and h, with coeﬃcients in Z. Since nxn−1 is the derivative of xn, we have the desired sort of Taylor expansion, and Hensel’s procedure will succeed. ///

[1.0.2] Remark: No special properties of the ring Z were used above, so the same argument succeeds, and this simple case of Hensel’s lemma applies, to prime ideals in arbitrary commutative rings with identity.

n [1.0.3] Remark: The compatibility xn+1 = xn mod p on a sequence of integers xn exactly says that

... / x3 / x2 / x1

ﬁts into the diagram ... / Z/p3 / Z/p2 / Z/p

[7] This linearity is that the expansion for the sum of two polynomials is the sum of the corresponding expansions.

8 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

2. Metric deﬁnition of p-adic integers Zp and p-adic rationals Qp

e The p-adic norm or absolute value |n|p of an integer p m with m prime to p is

e e −e p-adic norm of m · p = |m · p |p = p

Additionally declare that |0|p = 0. The p-adic metric on Z is

p-adic distance m to n = |m − n|p

The p-adic norm on Q extends that on Z, namely c |pn · | = p−n (integers c, d prime to p and n ∈ ) d p Z

Perhaps counter-intuitively, p is small and 1/p is large:

1 1 |p| = | | = p p p p p

In summary, high divisibility by p means p-adically small.

[2.0.1] Remark: In a context where the p-adic norm is the only norm used, we may suppress the subscript.

n [2.0.2] Example: The sequences {xn} produced via Hensel’s lemma to achieve f(xn) = 0 mod p (for given [8] m f(x) ∈ Z[x]) are Cauchy sequences in the p-adic metric, since xm+1 = xm mod p implies that for all pairs of indices m ≤ n m −m |xm − xn|p ≤ |p |p = p n And, the fact that f(xn) = 0 mod p gives

lim f(xn) = 0 (in the p-adic metric) n

We deﬁne p-adic things as completions [9]   p-adic integers Zp = p-adic metric completion of Z

 p-adic numbers Qp = p-adic metric completion of Q but we should check that the p-adic metric really is a metric. The positivity and symmetry of the associated p-adic metric are immediate, but the triangle inequality is not so immediate.

[2.0.3] Example: Partly for the visual eﬀect, we note that

1 + 2 + 4 + 8 + 16 + ... = −1 (in Z2)

[8] The p-adic sense of Cauchy sequence is completely analogous to that in R, namely, that a sequence {xn} is Cauchy if for every ε > 0 there is N such that for all m, n ≥ N we have |xm − xn|p < ε.

[9] A metric space is complete if every Cauchy sequence converges. A completion of a metric space X is often deﬁned by a construction (given in the appendix below), but, as discussed shortly, the idea is that the completion is the smallest complete metric space containing the given one.

9 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

This is genuinely valid in Z2. Superﬁcially, thinking of the real numbers, this might be perceived as a corruption of the familiar identity

1 1 + r + r2 + r3 + ... = (for |r| < 1) 1 − r

for real or complex r, and with the usual real or complex absolute value |r|. But it is not a ﬂawed version at all, since it is literally correct 2-adically. Regarding the triangle inequality, in fact, we have a strange stronger property: [10]

[2.0.4] Proposition: (ultrametric inequality) For x, y in Q,

|x + y| ≤ max{|x|, |y|}

In fact, equality occurs in this last inequality, except possibly when |x| = |y|. Thus, in terms of the p-adic metric d(x, y), d(x, y) ≤ max{d(x, z), d(z, y)} with equality except possibly when d(x, z) = d(z, y).

Proof: Let x = pm · a/b and y = pn · c/d with a, b, c, d prime to p, and positive or negative integers m, n. Without loss of generality, we can suppose that m ≤ n. Certainly

a c pmad + pncb ad + pn−mcb x + y = pm · + pn · = = pm · b d bd bd Note that, by unique factorization, bd is still prime to p. For m < n, the numerator in the fraction in

ad + pn−mcb x + y = pm · bd is prime to p. Thus, for m < n, that is, for |x| > |y|,

|x + y| = p−m = |x| = max{|x|, |y|}

When m = n, that is, when |x| = |y|, the numerator may be further divisible by p in some cases. Thus, for |x| = |y|, |x + y| ≤ p−m = max{|x|, |y|} Then

d(x, y) = |x − y| = |(x − z) + (z − y)| ≤ max{|x − z|, |z − y|} = max{d(x, z), d(z, y)}

with equality unless possibly when d(x, z) = d(z, y). ///

An isometry f : X → Y of metric spaces X,Y is a set map from X to Y such that distances are preserved, namely, 0 0 dY (f(x), f(x )) = dX (x, x ) for all x, x0 in X. [11] A metric space is complete if every Cauchy sequence converges.

[10] It is traditional at this point to say the the ultrametric property proven in the proposition can be construed as asserting that all p-adic triangles are isosceles.

[11] Beware that in some contexts an isometry is presumed to be a bijection to the target, in addition to preserving distance. In our context we speciﬁcally do not assume that isometries are surjections to the target spaces.

10 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[2.0.5] Deﬁnition: A completion of a metric space X is a complete metric space Y and an isometry i : X → Y such that, for every isometry j : X → Z to a complete metric space Z, there is a unique isometry J : Y → Z giving a commutative diagram i X / Y @ @@ @@ J j @@ @ Z

As usual with mapping-property characterizations, there is at most one completion, up to unique isometric isomorphism. In the appendix below we give the usual construction, which proves existence. As expected, deﬁne   p-adic integers Zp = p-adic metric completion of Z

 p-adic numbers Qp = p-adic metric completion of Q As usual, operations on the completions are defined as limits, and well-definedness must be proven. That is, for Cauchy sequences of rational numbers xn and yn with xn → a and yn → b p-adically, define

a + b = lim(xn + yn) a · b = lim(xn · yn) |a| = lim |xn| n n n

[2.0.6] Proposition: The p-adic norm is a continuous function on the completion. The p-adic norm is multiplicative on the completions, that is, |ab| = |a| · |b| Addition, multiplication, and multiplicative inverse (away from 0) are continuous maps in the p-adic metric. Also, Zp = {x ∈ Qp : |x| ≤ 1} = {x ∈ Qp : |x| < p}

In particular, Zp is both closed and open in Qp. The p-adic integers Zp form an integral domain, and Qp is its ﬁeld of fractions. On Qp it is still true that the ultrametric inequality holds:

|x + y| ≤ max{|x|, |y|} (with equality except possibly when |x| = |y|)

[2.0.7] Corollary: Polynomials with p-adic coeﬃcients give continuous functions on Qp. ///

[2.0.8] Remark: The ultrametric property makes the set of x with |x| ≤ 1 a subring, since otherwise this set would not be closed under addition. There is no analogous subring of R.

Proof: From the general theory of metric spaces the metric d(, ) on the completion is deﬁned by taking limits d(a, b) = lim d(xn, yn) n where xn, yn are rational and xn → a and yn → b. Part of the general assertion is that this is well-deﬁned, that is, is independent of the Cauchy sequences approaching a and b. In the present situation, the extension of the p-adic norms to the completion is a special case, taking b = 0, so

|a| = d(a, 0) = lim |xn − 0| = lim |xn| n n

We have the expected

|a + b| = |a − (−b)| = d(a, b) ≤ d(a, 0) + d(0, b) = |a| + |b|

11 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

The p-adic continuity of the p-adic norm on Q is immediate from the continuity of the metric on the completion, which is a general fact about completions.

The multiplicativity |xy| = |x| · |y| follows for x, y ∈ Q from the fact that the ideal pZ is prime in Z. That is, writing x = pm · a/b and y = pn · c/d with a, b, c, d relatively prime to p,

xy = pm+n · (ac)/(bd)

and by the primality of p the products ac and bd are still prime to p. Then for xn → a and yn → b with xn, yn in Q, |ab| = lim |xnyn| = lim (|xn| · |yn|) = lim |xn| · lim |yn| = |a| · |b| n n n n

by continuity of multiplication of real numbers, since |xn| → |a| and thus {|xn|} is Cauchy in R (as is {|yn|}). Continuity of addition is easy, from

|(x + y) − (x0 + y0)| ≤ |x − x0| + |y − y0|

For multiplication,

|(xy) − (x0y0)| ≤ |x(y − y0)| + |(x − x0)y0| ≤ |x(y − y0)| + |(x − x0)(y0 − y)| + |(x − x0)y|

= |x||y − y0| + |x − x0||y0 − y| + |x − x0||y|

0 0 Thus, given x, y in Qp and x , y suﬃciently close to them, the products are close. For multiplicative inverses, let x 6= 0. From

1 = |1| = |x · x−1| = |x| · |x−1|

we have 1 |x−1| = |x|

and the continuity of inversion in R× gives the result. Unsurprisingly, since Z is a subset of Q, there is the same containment relation between their completions. Since the p-adic absolute value of x ∈ Z is at most 1, we immediately have containment in one direction, namely Zp ⊂ {x ∈ Qp : |x| ≤ 1}

On the other hand, for y ∈ Qp with |y| ≤ 1, since Qp is the completion of Q, there is r ∈ Q arbitrarily close to y. For |y − r| ≤ 1, |r| ≤ max{|r − y|, |y|} ≤ 1

so |r| ≤ 1 itself. Thus, it suﬃces to show that r itself can be approximated arbitrarily well by elements of Z. n a Since |r| ≤ 1, r = p · b with a, b ∈ Z relatively prime to p and n ≥ 0. For b 6= 0 mod p, Hensel’s lemma gives a sequence of integers xi such that i b · xi = 1 mod p −1 That is, xi is a Cauchy sequence of integers approaching a multiplicative inverse b of b in Qp. By continuity of the norm, −1 |b | = lim |xi| = lim 1 = 1 i n

since p does not divide any of the integers xi. Thus,

n n lim p · a · xi = p · a/b = r i

12 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

n That is, as i varies the integers p · a · xi get close to r. This proves that Z is dense in {y ∈ Qp : |y| ≤ 1}, so Zp is exactly the latter set, as claimed. Since the possible values of the p-adic norm are only powers of p, the condition |x| < p implies |x| ≤ 1.

If ab = 0, then |ab| = 0, and by multiplicativity |a| · |b| = 0, and a or b is 0. Thus, Zp is an integral domain.

Since Q is a field, it follows fairly easily that its completion Qp is a field. To see that Qp has no proper subfield that contains Zp, recall that any element x ∈ Qp with |x| ≤ 1 lies in Zp. For |x| > 1, x cannot be 0, −1 so has an inverse (since Qp is a field), and |x | < 1, so lies in Zp. This proves that Qp is the fraction field of Zp.

Finally, the ultrametric inequality persists, seen as follows. Given a, b ∈ Qp, let xn, yn be rational numbers with xn → a and yn → b. Given ε > 0, let n be large enough such that |xn − a| < ε and |yn − b| < ε. The triangle inequality gives |xn + yn − (a + b)| < |xn − a| + |yn − b| < 2ε and

|a+b| ≤ |(a−xn)+(b−yn)|+|xn +yn| ≤ 2ε+max{|xn|, |yn|} ≤ 3ε+max{|xn|−ε, |yn|−ε} < 3ε+max{|a|, |b|}

This is true for every ε > 0, giving the ultrametric inequality. ///

[2.0.9] Proposition: The units in Zp are

× Zp = {x ∈ Qp : |x| = 1}

n n n The non-zero ideals in the ring Zp are p · Zp for 0 ≤ n ∈ Z. We have Z ∩ p Zp = p Z, and the natural maps

n n Z/p Z −→ Zp/p Zp are isomorphisms.

Proof: For x, y ∈ Zp such that xy = 1, of course 1 = |1| = |xy| = |x| · |y|. Since |x| ≤ 1 and |y| ≤ 1, both have norm 1. Thus, × Zp ⊂ {x ∈ Zp : |x| = 1} On the other hand, take |x| = 1 and y ∈ Z such that |x − y| < 1. Then

|y| = |y − x + x| = max{|y − x|, |x|} = |x| = 1 since the norms are unequal. Thus, y is an integer not divisible by p. An exercise using Hensel’s lemma shows y has an inverse in Zp. Then x − y x = x − y + y = y · (1 + ) y yields a convergent series expression for an inverse to x, namely ! x − y x − y 2 x − y 3 x−1 = y−1 · (1 − + − + ... y y y

−1 n n which converges since |(x − y)/y| < 1. Thus, x exists in Zp. The natural maps Z → Zp and p Z → p Zp give a map n n Z/p Z −→ Zp/p Zp

13 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

n −n n n For x ∈ Z ∩ p Zp, we have |x| ≤ p , so p divides x. That is, x ∈ p Z, as claimed. Thus, these natural n maps are injections. For y ∈ Zp, consider the coset y + p Zp. Using the density of Z in Zp, let x ∈ Z with −n n |y − x| < p . Then y − x ∈ p Zp, so

n n n n n y + p Zp = (y − x) + x + p Zp = p Zp + x + p Zp = x + p Zp proving the surjectivity of the natural map.

Given a non-zero ideal I in Zp, let M be the sup of the p-adic norms of elements of I. We claim that the sup is attained at some element of I, and that such a largest element generates I. Indeed, there are only ﬁnitely-many values of the p-adic norm on Zp lying in any interval [δ, 1] for δ > 0, so the sup is attained. For x in I of maximum norm, for any y ∈ I, |y/x| ≤ 1, so y/x ∈ Zp. That is, y ∈ Zp · x. This shows that I = Z·x. ///

[2.0.10] Remark: One should prove local compactness of Qp and Zp from this metric viewpoint as an exercise.

[2.0.11] Example: Let b be an integer relatively prime to a prime p. Let x1 be an inverse of b mod p. Then the recursion

−1 xn+1 = xn − x1 bxn produces a sequence of integers xn such that

n bxn = 1 mod p

Indeed, letting f(x) = kx − 1, Hensel’s Lemma gives the recursion

0 −1 −1 xn+1 = xn − f(xn) · f (x1) = xn − (bxn − 1) · b = xn − (bxn − 1) · x1 using only the inverse mod p, not any higher power of p. For b 6= 0 mod p this gives a sequence of integers xn such that

n n xn+1 = xn mod p and b · xn = 1 mod p

3. Elementary/clumsy deﬁnitions of adeles A and ideles J

We give the quick-but-opaque common deﬁnitions of adeles A = AQ and ideles J = JQ of Q. The sense and motivation and roles are discussed subsequently, in a slightly more sophisticated context.

For a ﬁnite set S of primes of Z, let

Y Y AS = R × Qp × Zp p∈S p6∈S

with the product topology. The full adele ring A is the ascending union, sometimes called a restricted product,

14 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[12] of the rings AS: [ Y A = AS = {(x∞, x2, . . . , xp,...) ∈ R × Qp : all but ﬁnitely-many xp are in Zp} S p

A basis for a topology on A is given by the union of bases for the topologies of the subsets AS. That is, adeles are tuples of real numbers and p-adic numbers all-but-ﬁnitely-many of which are local integers.

Similarly, for a ﬁnite set S of primes of Z, let

× Y × Y × JS = R × Qp × Zp p∈S p6∈S

with the product topology. The full idele group J is the ascending union, sometimes called a restricted [13] product, of the groups JS:

[ × Y × × J = JS = {(x∞, x2, . . . , xp,...) ∈ R × Qp : all but ﬁnitely-many xp are in Zp } S p

A basis for a topology on J is given by the union of bases for the topologies of the subsets JS.

[3.0.1] Remark: At this point, one should check that, while J ⊂ A, the subspace topology on J from A is strictly coarser than the topology on J. 4. Uniqueness of objects characterized by mapping properties

By object we mean an instance of a type of mathematical entity, such as group, ring, topological space, or something combining these or other structures. By map we mean a suitable map among the speciﬁed objects: for groups a map is a group homomorphism, for topological spaces a map is a continuous function. We make some very mild assumptions: the notion of map includes closure under composition, associativity of the composition of maps, and an identity map idX of every suitable object X to itself, with the expected requirements that idX ◦ f = f for maps f : Y → X, and f ◦ idX = f for maps f : X → Y . The collection of objects, together with the maps, is a category. [14]

[12] The term restricted product is only used in this clumsy deﬁnition of adeles and ideles. Since this notion does not directly refer to anything else for comparison, it is useless except as a reminder that the adeles are not the whole product of R and all the Qp’s. More unfortunately, that viewpoint fails to emphasize that A is a colimit of the rings AS, meaning that for every collection of maps AS → R to another topological ring R, compatible with inclusions, there is a unique map A → R giving a commutative diagram

'% ... / AS / ... A Q Q C Q Q C Q Q C Q C ~ Q(! R The colimit characterization shows that there is no choice in the topology. We will take up this viewpoint below.

[13] Again, J is the colimit of the groups JS. Again, the colimit characterization of J shows that there is no choice of correct topology on J: it is uniquely determined.

[14] We are doing naive category theory, as opposed to formal or axiomatic category theory, in the same way that ordinary mathematics uses naive set theory, not formal or axiomatic set theory.

15 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Given objects Xi with maps ... / X1 / X0 let object X and maps X → Xi and object Y and maps Y → Xi ﬁt into diagrams

# $ # $ X ... / X1 / X0 Y ... / X1 / X0 such that, for all families of maps Z → Xi such that all triangles commute in ... X X / 1 /6 0 |= m m | m m | m m | m Z m there are unique maps Z → X and Z → Y giving commutative diagrams

# $ # $ X ... X X Y ... X X / 1 /6 0 / 1 /6 0 ` |= m m ` |= m m | m m | m m | m m | m m | m | m Z m Z m Then

[4.0.1] Claim: There is a unique isomorphism Y → X giving a commutative diagram

# $ X ... / X1 / X0 O

Y ... / X1 / X0 < :

Proof: First, we prove that the only map of a projective limit to itself compatible with all projections is the identity map. That is, using X → Xi in the role of : Z → Xi, we ﬁnd a unique map X → X making all triangles commute in

# $ X ... X X / 1 6/ 0 ` |= m m | m m | m | m m X m

The identity map idX : X → X ﬁts the role, so by uniqueness the only such map is idX .

Now the main part of the proof. Let Y → Xi take the role of Z → Xi. Then there is a unique Y → X such that all triangles commute in

# $ X ... X X / 1 6/ 0 ` |= m m | m m | m | m m Y m

16 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

To show that q is an isomorphism, reverse the roles of X and Y . Then there is a unique X → Y such that all triangles commute in

# $ Y ... X X / 1 6/ 0 ` |= m m | m m | m | m m X m

The composites Y → X → Y and X → Y → X are maps compatible with projections, so must be idY and idX , by the ﬁrst part of this argument. That is, these are mutually inverse maps, so the map X → Y is an isomorphism. ///

[4.0.2] Remark: As usual in these categorical arguments, requirements on the maps are packaged (or hidden) in the quantiﬁcation over all objects Z and all families of maps Z → Xi.

5. Existence of limits

Existence of limits of various types of objects can be proven by constructing the limits as subobjects of products of those objects. Most often, products of concrete [15] objects are the cartesian products of the underlying sets, with additional structure corresponding to the situation.

[5.1] Limits of sets As a warm-up, we consider sets with no further structures. We probably believe Q that the mapping-property product i Xi of a family {Xi : i ∈ I} of sets can be constructed as the usual Cartesian product, namely, as

Y Xi = {functions f on I so that f(i) ∈ Xi} i∈I

This does indeed partly beg the question, by making it depend on a too-vague notion of function, but never Q mind. The projections pj : i Xi → Xj are pj(f) = f(j). We ﬁrst demonstrate that the Cartesian product of sets does have the universal mapping property: given an arbitrary set Z and arbitrary set maps fj : Z → Xj, Q there should be a unique map f : Z → i Xi such that fj = pj ◦ f : Z → Xj for all j. That is, there should be a commutative diagram Q X i i UU Y EEQQQUUUU EE QQQ UUUU EE QQQ UUUU EE QQQ UUU E QQQ UUUU E...X" ( UU* ... exists unique O j n6 |> n | n n | n n | n Z n Q Q Taking f(z) ∈ Xi to be f(z)(j) = fj(z) gives existence of the map Z → Xi. And for any other map Q i i g : Z → i Xi with fj = pj ◦ g, evaluating the latter condition at z ∈ Z gives

fj(z) = (pj ◦ g)(z) = pj(g(z)) = g(z)(j)

which agrees with f, proving that the Cartesian product of sets is the mapping-property product.

[15] An object is concrete if it is a set with additional structure, like a group, ring, vector space, topological space, and so on. Thus, concrete objects really do have underlying sets.

17 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Limits of sets can be constructed as subsets of products, and the construction can be discovered, rather than merely veriﬁed, as follows. For a limit with a simple indexing poset of the form

p32 p21 ... / X2 / X1

given a compatible family of maps gj : Z → Xi, that is, giving a commutative diagram

p32 p21 ... / X2 / X1 m6 g |= m 2 | m m | m m g1 | m Z m Q there is a unique map g : Z → Xi to the product, by the universal property of that product. The i Q compatibility property pj+1,j(gj+1(z)) = gj(z) on the maps Z → Xi make the image g(Z) ⊂ i Xi lie inside the subset Y X = {{x1, x2,...} : pj+1,j(xj+1) = xj for all j} ⊂ Xj j Q Unsurprisingly, on this subset the projections pj : i Xi → Xj become compatible in the sense that pj+1,j ◦ pj+1 = pj : X → Xj. That is, we have a commutative diagram

p2 p32 ( p21 $ X ... / X2 / X1 ` m6 g |= m 2 | m m g | m m g1 | m Z m

That is, X = limi Xi can be constructed as compatible families, much as Hensel’s lemma creates compatible sequences: X = {{xj ∈ Xj : pj+1,j(xj+1) = xj for all j} = {... → x2 → x1}

and pi : X → Xi by pi{xj} = xi. This all shows that limits of sets exist, by exhibiting a construction as a subset of the Cartesian product.

[5.2] Limits of concrete objects The previous argument shows that limits exist whenever products exist, and we showed that Cartesian products of sets are universal-mapping-property products. This correctly suggests that when the objects are sets with additional structure, ﬁrst, products exist by constructing them as the set-product with corresponding additional structure, and then limits exist by constructing them as subsets of the product with additional compatibility requirements. Since we explicitly demonstrate below that otherwise-constructed objects are limits, we stop the general discussion here.

6. Zp and Zb as limits

[6.1] p-adic integers Zp as limit The metric-completion deﬁnition of the p-adic integers Zp really is the limit of the quotients Z/pn:

n [6.1.1] Theorem: The limit limn Z/p is the p-adic metric completion Zp of Z, with projections

quot n isom n Zp / Zp/p Zp / Z/p

18 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

n n where the isomorphism Zp/p Zp ≈ Z/p is the natural one exhibited earlier.

[6.1.2] Remark: We give two proofs, one emphasizing the limit viewpoint, the other emphasizing the metric viewpoint.

n n Proof: (First) The maps qn : Zp → Zp/p Zp ≈ Z/p are a compatible family of (continuous!) maps to the n limitands in limn Z/p , so induce a map of Zp to the limit. For each non-zero element x ∈ Zp, there is some n exponent n such that the image of x in Zp/p Zp is non-zero, so Zp injects to the limit. Thus, we might [16] n guess that Zp is the limit, and try to verify this. Let fn : Z → Z/p be a compatible family of maps [17] from another object For ﬁxed z ∈ Z, for each n choose xn ∈ Z such that

n xn + p Zp = fn(z)

We claim that the sequence xn is a Cauchy sequence in Zp, so by completeness we could take a limit

f(z) = lim xn ∈ p n Z

Cauchy-ness follows from the compatibility of the fn’s, and, then, from the necessary compatibility of the integer representatives xn. This deﬁnes a map f : Z → Zp compatible with the fn’s and the projections. We need to show there is a unique such f to prove that Zp is the limit. For two maps f and g compatible with the projections and fn’s,

n n 0 = pn (f(z) − g(z)) ∈ Z/p ≈ Zp/p Zp

Taking the intersection over n gives the uniqueness f(z) = g(z), proving Zp is the limit. ///

Proof: (Second) We will prove that the limit is a completion of Z with respect to a metric which agrees on Z with the p-adic metric, and is complete, so (by the uniqueness of completions) naturally isomorphic to the completion Zp of Z. We need a bit of general discussion of products and limits of metric spaces: Q [6.1.3] Claim: A countable product i Xi of metric spaces Xi is metrizable. If every Xi is complete, then the product is complete.

[6.1.4] Remark: We will use explicit but non-canonical expressions for the metric on the product. For example, letting di(, ) be the metric on Xi, the expression

X −n dn(xn, yn) d({xi}, {yi}) = 2 1 + dn(xn, yn) n≥1

is a metric on the product. The oddness of this expression is put into context by several observations. First, the powers of 2 appearing can be replaced by any sequence of positive real numbers whose sum converges. Second, the expressions di(xi, yi) 1 + di(xi, yi)

have the eﬀect of specifying metrics giving the same topology on the Xi which are bounded by 1. The 1 in the denominator can be replaced by any positive real number, still giving the same topology. For notational ease, let us replace each di(, ) by di(, )/(1 + di(, )), so that we eﬀectively assume that the metric on each of the factors is already bounded by 1, to avoid carrying along the more complicated expressions.

[16] The argument so far applies as well to Z itself, which does indeed inject to the limit, but is a proper subobject.

[17] n n That there exists such xn is the content of the assertion that the natural map Z/p → Zp/p Zp is an isomorphism.

19 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[6.1.5] Remark: The extreme ambiguity of the constants reminds us that many diﬀerent metrics can give the same topology. Thus, a topology cannot possibly specify a canonical metric, in general. The uniqueness of the topology on a product has no canonical metric analogue.

Proof: (of claim) It is easy and not so interesting to verify that d(, ) gives a metric on the product. It is more interesting to see that it gives the product topology. [18] The trick is that a condition

d({xi}, {yi}) < ε

−i gives no condition whatsoever on xi and yi for i large enough such that 2 < ε/2, since

i 1 1 1 1 2 −i i + i+1 + i+2 + i+3 + ... = 1 = 2 · 2 < ε 2 2 2 2 1 − 2 and since di(xi, yi)/(1 + di(xi, yi)) < 1 for all inputs. For ﬁxed x = {xi} in the product, the collection of y = {yi}’s within distance ε > 0 of x includes the whole Xi × Xi+1 × ... for some large-enough index i.

i More precisely, given d(x, y) < ε, necessarily di(xi, yi) < 2 · ε for all i. Thus, given a collection of open [19] balls in the individual Xi’s, almost all of them being the whole Xi, we can choose ε > 0 such that the resulting ball in the d(, ) metric is contained in the product of those balls. Conversely, given x in the product and ε > 0, taking n large enough such that 2−n < ε/2, the product

(ε-ball at x1) × (ε-ball at x2) × ... (ε-ball at xn) × Xn+1 × Xn+2 × ...

is contained in the ε-ball at x. Thus, the two topologies are the same. The more serious part of the claim is the completeness. Given a Cauchy sequence {x(k)} in the product with the funny metric, since the metric on the product dominates the (bounded-by-1) metrics on the factors, th (k) for each index i the i components {xi } are Cauchy in Xi, so have a limit xi in Xi. It is irresistible to suspect that the point x = {xi} in the product is the limit of the original Cauchy sequence. Indeed, given ε > 0, take n large enough such that 2−n < ε/2. Let N be large enough such that for k ≥ N for each of the ﬁnitely-many i ≤ n (k) d(xi , xi) < ε Then it easily follows that for k ≥ N

−(n+1) (k) ε ε ε 2 ε ε ε ε d({xi }, {xi}) < + + ... + n + 1 < + + ... + n + = ε 2 4 2 1 − 2 2 4 2 2 That is, the original Cauchy sequence does indeed have the anticipated limit. Thus, with this funny metric, the product is complete. ///

Keep in mind that projective limits are subsets of the corresponding products, and can be given the metric from the product by restriction. Since closed subsets of complete metric spaces are complete, [20] this proves the completeness of the projective limit in this case.

[18] It is especially interesting to see that this metric gives the product topology if one still thinks of the product topology as being disappointingly coarse. That is, it might seem unlikely that it could arise from a metric, but it does.

[19] This standard usage of almost all means all but ﬁnitely-many.

[20] That topologically closed subsets of complete metric spaces are again complete is straightforward: a Cauchy sequence in the subset does have a limit in the whole space by the completeness of the larger space, and the limit point lies in the subset, by closedness.

20 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Now we can complete the metric-space proof that the projective limit deﬁnition of Zp is the same as the n metric one. The discussion just completed shows that limn Z/p does have a structure of complete metric space. What remains is to show that this is the same as that on Zp. To do so, we show that we can choose a particular form of the metric on the limit such that the restrictions of the two metrics to Z are identical. We n also must show that Z is dense in limn Z/p , and then we’re done, by the uniqueness of metric completions.

Returning to the funny expressions for metrics on a countable product, give Z/pn the natural metric that any discretely topologized set can be given, namely

1 (for x 6= y) d (x, y) = n 0 (for x = y)

Being a little clever in choice of constants, we try

X −n d({xn}, {yn}) = p · d(xn, yn) n≥1

n Unlike points in the whole product ΠnZ/p , points in the limit have a compatibility condition. Thus, given {xn}= 6 {yn} in the limit, there is a unique index N such that xn = yn for n ≤ N and xn 6= yn for n > N. With this N,

X X p−(N+1) 1 d({x }, {y }) = p−n · 0 + p−n · 1 = = p−N · n n 1 − 1 p − 1 1≤n≤N n>N p

N When {xn} and {yn} come from integers x, y, the integer N is the maximal one such that p divides x − y, so 1 d(x, y) = |x − y| · p p − 1

That is, up to the easily reparable constant 1/(p − 1), this contrived metric agrees on Z with the p-adic one. Finally, we should show that Z is dense in the limit. Denseness is an intrinsic topological property, not necessarily metric, but since we’ve already contrived the metric we may as well use it again. Given a −(n+1) compatible sequence {xn} in the limit, and given ε > 0, let n be large enough such that p < ε. Let x n be an integer such that x = xn mod p . Then the same sort of calculation gives

X X p−(n+1) 1 d(x, {x }) ≤ p−i · 0 + i > np−i · 1 = = p−n · < 2ε n 1 − 1 p − 1 1≤i≤n p

Thus, Z is dense in the limit, so the limit is its metric completion. This proves (a second time) that the limit is the same as the metric completion deﬁnition of Zp. ///

[6.2] Zb as limit The poset of positive integers ordered by divisibility requires more complicated diagrams than powers of a single prime, the latter giving the much-simpler poset of non-negative integers ordered by size. A common deﬁnition is Y Zb = Zp (product topology) p prime

Also,

21 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[6.2.1] Theorem: Zb is the limit of the quotients Z/N with Z/N → Z/M for M|N by ` + NZ → ` + MZ. That is, for all topological groups G and compatible families of continuous group homomorphisms G → Z/N, there is a unique continuous group homomorphism G → Zb giving a commutative diagram

) b ... / /N / ... Z _ Z {= { { { G

[6.2.2] Remark: This can be proven in imitation of the proof for Zp, but is also a corollary of a more general fact, that projective limits commute with products. This general assertion holds in any category with products and projective limits, and so is proven diagrammatically. Indeed, projective limits and products are examples of the same more-general construction. Then, since by Sun-Ze’s theorem the quotients Z/N are products of Z/pe with prime powers pe appearing in the prime factorization of N, e2 e3 Y e Y lim Z/N = lim (Z/2 3 ...) ≈ lim Z/p ≈ Zp = Zb N e2,e3,e5,... e p p

7. Qp and A as colimits

We compare characterization of the adeles A and the simpler case of Qp. The deﬁnition of Qp as p-adic completion of Q makes it clear (as earlier, above) that it is the ﬁeld of fractions of Zp. S −n The ascending union Qp = n p Zp expresses Qp as a colimit of topological (additive) groups: that is, for −n every compactible collection of continuous group homomorphisms p Zp → X there is a unique continuous group homomorphism Qp → X giving a commutative diagram

1 1 ()* p / p / 2 p / ... p Z V V p Z R p Z Q V V R D V V R R D V V R V VR R D V VR D! ~ VR*( X

expresses Qp as a topological group, not as a ring. Nevertheless, the limitands in the colimit behave reasonably, in the sense that −m −n −(m+n) p Zp · p Zp ⊂ p Zp so that the ring structure on Zp (as limit) and the obvious multiplicative properties of powers of p give the colimit a ring structure.

Similarly, the ring of ﬁnite adeles

[ Q Q Afin = Afin,S (with Afin,S = p∈S Qp × p6∈S Zp) finite S is expressible as [ 1 1 fin = = b = colimn b A nZ nZ n

22 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

indexing by positive integers ordered by divisibility. This gives a colimit expression for A as topological group. Similarly, the full adele ring A = R × Aﬁn is similarly [ 1 1 ﬁn = = b = colimn b A nZ nZ n indexing by positive integers ordered by divisibility. This gives a colimit expression for A as topological group.

[7.0.1] Remark: To talk about R at the same time as all the other completions Qp, often one talks as though there were a prime ∞ whose corresponding completion is Q∞ = R. This has no content apart from allowing a uniform language. It is more proper to speak of places rather than primes as a generalized notion that includes both genuine primes and the standard metric that yields R, but insisting on using place is pointless. Thus, the inﬁnite prime is just the index ∞ that allows us to talk about R in the same manner we talk about Qp.

1 8. Abelian solenoids (R × Qp)/Z[p] and A/Q

Both p-adic numbers Qp and adeles A are discovered inside automorphism groups of families of ordinary circles. These appearances are far more important than ad hoc deﬁnitions of Qp as a metric completion and A as restricted product. That is, p-adic numbers and the adeles appear inevitably in modestly complicated natural structures, as parts of automorphism groups.

Projective limits of various families of circles are solenoids, since there is a wound-up copy of R inside. This discussion of automorphisms of families of circles is a warm-up to the more complicated situation of automorphisms of families of objects acted upon by non-abelian groups. An important theme is that when a group G acts transitively [21] on a set X, then X is in bijection with [22] G/Gx, where Gx is the isotropy subgroup in G of a chosen base point x in X, by gGx → gx. The point is that such sets X are really quotients of the group G. Topological and other structures also correspond, under mild hypotheses. Isomorphisms X ≈ G/Gx are informative and useful, as seen subsequently.

n [8.1] The p-solenoid limn R/p Z As reported by MacLane in his autobiography, around 1942 Eilenberg talked to him at a conference in Michigan about families of circles related to each other by repeated windings, and about understanding the limiting object. We make this precise. The point is that a surprisingly complicated physical object is made from families of circles.

As a model for the circle S1 take S1 = R/Z. Eilenberg and MacLane considered a family of circles and maps

×p ×p ×p ... / R/Z / R/Z / R/Z with each circle mapped to the next by multiplying wrapping p times, more precisely, by multiplication by p on the quotients R/Z, namely x + Z −→ px + Z (for x ∈ R)

[21] The spirit of action of group G on X is that G moves around elements of the set X: an action of G on a set X is a map G × X → X such that 1G · x = x for all x ∈ X, and (gh)x = g(hx) for g, h ∈ G and x ∈ X. A group G acts transitively on X when, for all x, y ∈ X, there is g in G such that gx = y.

[22] Recall that the isotropy subgroup Gx of a point x in a set X on which G acts is the subgroup of G ﬁxing x, that is, Gx is the subgroup of g ∈ G such that gx = x.

23 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Since pZ ⊂ Z this is well-deﬁned. That is, each circle is a p-fold cover of the circle to its immediate right in the sequence. This sequence of circles with p-fold covering maps is the p-solenoid. We might ask what is the limiting object ×p & ×p & ×p & ??? ... / R/Z / R/Z / R/Z A topologically equivalent model is a more convenient. Consider the sequence

ϕ43 ϕ32 ϕ21 ϕ10 ... / R/p3Z / R/p2Z / R/pZ / R/Z

n n−1 where ϕn,n−1 : R/p Z → R/p Z is induced from the identity map on R in the diagram

id R / R

mod pn mod pn−1

ϕn,n−1 R/pnZ ______/ R/pn−1Z That is, n n−1 ϕn,n−1 : x + p Z −→ x + p Z

This second model has advantages: the maps ϕn,n−1 are locally distance-preserving on the circles, moving to the left in the sequence of circles the circles get larger, and there is the single copy of R mapping locally isometrically to all the circles.

What is the limit of these circles?

T n One plausible, naive guess would be that since n p Z = {0}, that perhaps the limit is R/{0} ≈ R. It is not. A concrete model of the limit X in a diagram

ϕ0 ϕ1

ϕ2 ϕ32 # ϕ21 $ ϕ10 % X ... / X2 / X1 / X0 is the collection of all sequences xo, x1, x2,... such that the transition maps ϕn,n−1 map them to each other, that is, ϕn,n−1(xn) = xn−1 (for all indices n) We may write a compatible family of elements as

... −→ x3 −→ x2 −→ x1 −→ xo th i i The projection to the i limitand R/p Z maps the compatible family to xi ∈ R/p Z. n For the abelian solenoid limn R/p Z, xo is in the circle R/Z. Take a representative xo ∈ R. There are exactly p choices of x1 ∈ R/pZ, with representatives xo, xo + 1, xo + 2, . . . , x + p − 1. Similarly, for each such choice x1 = xo + `1, there are p compatible choices for x2, expressible as x2 = xo + `2 with `2 = `1 mod p. The i sequence of integers ì with compatibilities ì+1 = ì mod p is an element ` of Zp.

Thus, we are tempted to say that the limit is R/Z×Zp. However, the way that ` ∈ Zp determines an element of the limit depends somewhat on xo ∈ R/Z, and this is a slightly misleading picture, and can be improved as follows. [23] [23] What we literally have at this point is that the p-solenoid is a ﬁber bundle over R/Z with ﬁbers Zp. We can do better.

24 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[8.2] Automorphisms of solenoids Make sense of automorphisms of a limit X by looking at automorphisms of the diagram. With a large-enough group G of automorphisms to act transitively on X, X is a quotient of G:

X ≈ G/Gx = {Gx-cosets in G} = {gGx : g ∈ G} (with isotropy subgroup Gx ⊂ G of x ∈ X)

This is an isomorphism of G-spaces, meaning (topological) spaces A, B on which G acts continuously. As expected, a map of G-spaces is a set map ψ : A → B such that

ψ(g · a) = g · ψ(a) for a ∈ A, g ∈ G, where on the left the action is of G on A, and on the right it is the action on B. The solenoid is itself a group, being a limit of groups, but is also a quotient of more familiar and simpler objects.

n n One kind of automorphism f of the p-solenoid is a collection of maps fn : R/p Z → R/p Z such that all squares commute in ϕ43 ϕ32 ϕ21 ϕ10 ... / R/p3Z / R/p2Z / R/pZ / R/Z

f3 f2 f1 f0

ϕ43 ϕ32 ϕ21 ϕ10 ... / R/p3Z / R/p2Z / R/pZ / R/Z

There are obvious families of maps fn. For example, since all circles are quotients of R in a compatible fashion, a simple sort of family of maps fn is obtained by letting r ∈ R act, by

n n fn(xn + p Z) = xn + r + p Z

Orbits of this action are highly-wound-up copies of R, earning the name solenoid.

Another simple family of maps is obtained by sequences of integers yn and maps

n n fn(xn + p Z) = xn + yn + p Z requiring that the sequence yn be chosen so that the squares in the diagram commute. That is, we must have n n−1 n−1 (xn + yn + p Z) + p Z = xn−1 + yn−1 + p Z Since already n n−1 n−1 (xn + p Z) + p Z = xn−1 + p Z it is necessary and suﬃcient that

n n−1 n−1 (yn + p Z) + p Z = yn−1 + p Z

That is, the compatible sequence of integers

... −→ yn −→ ... −→ y2 −→ y1 gives an element in the limit Zp. Still without worrying about the topology,

[8.2.1] Claim: The product group R × Zp acts transitively on the p-solenoid. The point ... → 0 → 0 → 0 in the solenoid has isotropy group which is the diagonally imbedded copy of the integers

∆ Z = {(`, −`) ∈ (Z × Z) ⊂ R × Zp : ` ∈ Z}

25 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Proof: Given a compatible family

3 2 ... → x3 + p Z → x2 + p Z → x1 + pZ → x0 + Z

n n of elements xn + p Z ∈ R/p Z, act by r ∈ R as above such that x0 + r = 0 ∈ R/Z. Since the xn’s are 2 compatible, it must be that (r+x1) mod 1 = (x0 +r) = 0, (x2 +r) mod p = (x1 +r), (x3 +r) mod p = x2 +r, and so on. That is, every xn + r ∈ Z, and the sequence yn = xn + r gives a compatible family

3 2 ... → y3 + p Z → y2 + p Z → y1 + pZ → y0 + Z which gives an element in Zp. That is, the further action by −yn on the solenoid will send every element to

(xn + r) − yn = (xn + r) − (xn + r) = 0 proving transitivity.

n To determine the isotropy group of a point, let r be a real number and yn an integer modulo p , such that the 0-element ... 0 → 0 → 0 → 0 is mapped to itself. That is, require that

n 0 + r + yn ∈ 0 + p Z

n for all n. First, this implies that r ∈ Z. Then yn, which is only determined modulo 2 anyway, is completely determined modulo pn by n n yn + p Z = −r + p Z n That is, yn = −r mod p . These conditions are visibly suﬃcient, as well, to ﬁx the 0. Thus, the isotropy group truly is the diagonal copy of Z. ///

Again, for a group G acting transitively on a set X, for ﬁxed x ∈ X, there is a bijection

X ←→ G/Gx = {gGx : g ∈ G} by gx ←→ gGx

Indeed, the map from G to X by g → gx is a surjection, since G is transitive. This map factors through −1 −1 G/Gx and is injective, since gx = hx if and only if h gx = x, if and only if h g ∈ Gx, if and only if gGx = hGx as desired. The topological features are discussed in a supplemental note. Thus, we have the corrected expression for the limit in terms of R × Zp:

[8.2.2] Corollary: The p-solenoid is

n ∆ lim /p ≈ ( × p)/ n R Z R Z Z where Z∆ is the diagonal copy.

[8.3] Bigger diagrams and more automorphisms Bigger diagrams with the same limit make visible more automorphisms of the common limit object. For the p-solenoid, we will ﬁnd a copy of the p-adic rational numbers Qp acting on the p-solenoid, rather than merely the p-adic integers Zp. This is a big change: Qp is non-compact, Zp is compact. We had already seen that

n ∆ p-solenoid = lim /p ≈ ( × p)/ n R Z R Z Z with Z∆ the diagonal copy of Z. Having found a larger group of automorphisms, we will have

∆ p-solenoid ≈ (R × Qp)/Z[1/p]

26 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

The diagonal copy Z[1/p]∆ of 1 1 1 [1/p] = + · + · + · + ... Z Z p Z p2 Z p3 Z

(rational numbers with denominators restricted to be powers of p) is discrete in R × Qp. Different (related, of course) diagrams can give the same limit object. We find a larger diagram with no bottom object, but giving the same limit. So far, the p-solenoid X is a limit fitting into a diagram

+ 2 * ) X ... / R/p Z / R/pZ / R/Z

n Given a point x on the solenoid, let xn be its projection to R/p Z, and think of x as the a compatible family of points on the respective circles, written

x = (... → x2 → x1 → x0)

n We already found that Zp = limn Z/p acts on the p-solenoid. As earlier, given a point x on X, an element r ∈ R on all circles simultaneously, to make 0th projection 0 ∈ R/Z. That is, the new values

x = (... → x2 → x1 → x0 = 0)

are in Z, and form a compatible family inside

3 2 mod p mod p mod p mod 1 ... / Z/p3 / Z/p2 / Z/p / Z/1

In the diagram deﬁning the p-solenoid there is no compulsion to stop at the circle R/Z. We can continue to the right with ever-shrinking circles, as in

2 1 1 1 ... / R/p Z / R/pZ / R/Z / R/ p Z / R/ p2 Z / R/ p3 Z / ...

[8.3.1] Claim: The limit of this larger diagram is naturally isomorphic to the limit of the original diagram.

Proof: Let X be a projective limit ﬁtting into a commutative diagram

) ( X ... / X1 / X0 and consider also an enlarged diagram with projective limit Y :

) ( * Y ... / X1 / X0 / ... / X−n / ... We claim that there is a natural isomorphism X → Y , induced from the commutative diagram

) ( X ... / X1 / X0

Y ... X X ... X ... /5 1 /6 0 / /4 −n /

A map from Y to the projective limit X is determined uniquely by a compatible family of maps from Y to the Xn with n ≥ 0, provided by the projections of Y to the Xn with n ≥ 0. To get a map from X to Y is to give a compatible family of maps from X to all the Xn, now with n ∈ Z. For n ≥ 0 the projections of X to

27 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Xn work. For −n < 0, there are many possibilities. For example, map X to X0 and then map to X−n by the transition maps in the diagram for Y . Thus, we obtain unique maps f : Y → X and g : X → Y compatible with all the projections and equalities. Then f ◦ g : Y → Y is a self-map of Y preserving all the projections, so, by the uniqueness of the projective limit, is the identity map. Similarly, g ◦ f is the identity on X. Thus, X ≈ Y . ///

The larger diagram for the same object makes more automorphisms visible, as follows. Given a point

x = (... → x1 → x0 → x−1 → ...) in the larger diagram, since there is no bottom circle to normalize, we have the further auxiliary choice of an n integer n, and let R act to rotate xn ∈ R/p Z to 0. Take Z 3 −n ≤ 0, and let R act by xi → xi + r for all −n indices i, with r chosen to rotate x−n to 0 in R/p Z. Thus, since the arrows are group homomorphisms,

... → x1 → x0 → x−1 → ... → x−n = 0 → 0 → 0 → ...

th That is, at and after the −n place, all the xi have become 0.

−n −n −n −n+1 Thus, x−n = 0 ∈ p Z/p Z, and there are exactly p choices for x−n+1, namely p Z mod p Z. For th each of these p choices, there are p choices of x−n+2, and so on. The choice x−n = 0 on the n circle −n −n −n+i R/p Z means that x−n+i is in p Z modulo p Z. The collection of all such compatible families for a ﬁxed choice of −n ﬁts together as

1 1 ... → p−n /p2 → p−n /p → p−n /1 → p−n / → p−n / → ... → p−n /p−n = {0} Z Z Z Z pZ Z p2 Z Z Z

Let X(n) be the projective limit of this,

+ + + + X(n) ... / p−nZ/2 / p−nZ/1 / ... / p−nZ/p−n+1 / p−nZ/p−n

The family of these diagrams ﬁts together, giving an ascending chain of larger-and-larger limits. Indeed,

[8.3.2] Claim: The diagram

* + X(n) ... / p−nZ/p−n+1 / p−nZ/p−n

inc inc X(n+1) ... / p−(n+1)Z/p−n+1 / p−(n+1)Z/p−n / p−(n+1)Z/p−(n+1) 4 4 3 induces a unique injective map X(n) → X(n+1) compatible with all the projections (where the vertical maps are the obvious inclusions).

Proof: A map to a projective limit is a compatible family of maps to the limitands. By composition with the inclusions, we obtain the dashed arrows

* + X(n) ... / p−n /p−n+1 / p−n /p−n YT Y Y Z Z T T Y Y Y T T Y Y Y T Y Y Yinc inc T T Y Y Y T* Y Y Y, X(n+1) ... / p−(n+1)Z/p−n+1 / p−(n+1)Z/p−n / p−(n+1)Z/p−(n+1) 4 4 3 28 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Since the initial diagram commutes, there is a map

−n (n) −(n+1) −(n+1) p Zp = X → p Z/p given by composition with any choice of inclusion map from the top row to the bottom. Thus, there is a unique induced dotted arrow in the commuting diagram

* + X(n) ... / p−n /p−n+1 / p−n /p−n Y[T Y[ [ [ Z Z T Y Y Y[ [ [ [ T T Y Y Y [ [ [ [ T Y Y inc[ [ [ inc T T Y Y Y [ [ [ [ T T Y Y Y [ [ [ [ * Y Y, [ [ [ [- X(n+1) ... / p−(n+1)Z/p−n+1 / p−(n+1)Z/p−n / p−(n+1)Z/p−(n+1) 4 4

The induced map is injective, because an element in a projective limit of groups or topological groups is 0 if and only if all its projections are 0.

(n) −n −n+i Given non-zero x ∈ X , at least one projected image xi ∈ p Z/p is non-zero. The inclusion to p−(n+1)Z/p−n+i is still non-zero, so the image under the induced map to X(n+1) cannot be 0. Thus, the (abelian) group homomorphism X(n) → X(n+1) has trivial kernel, so is injective. ///

Thus, we have a family of inclusions

inc inc inc X(0) / X(1) / X(2) / ...

1 1 Zp p · Zp p2 · Zp

of groups acting on the p-solenoid. The action of X(n+1) matches that of X(n) when restricted to X(n), giving an action on the p-solenoid of the colimit

∞ ∞ [ −n [ (n) (n) Qp = p Zp = X = colimnX n=0 n=0

Now determine the isotropy subgroup of the point 0 in the p-solenoid, under the action of R × Qp. Recall that r ∈ R acts by i i r · (... → xi + p Z → ...) = ... → r + xi + p Z → ...

Similarly, each y ∈ Qp is of the form (for some n, depending on y)

i −n+1 −n ... −→ yi + p Z −→ ... −→ y−n+1 + p Z −→ y−n = 0 + p Z −→ 0 → 0 → ...

−n −n+i with y−n+i lying in p Z/p Z. The action on x in the p-solenoid is

i y · x = ... −→ yi + xi + p Z −→ ...

Already R × Zp was transitive, so certainly R × Qp is transitive. The isotropy group of the point x = 0 in the p-solenoid is the collection of r ∈ R and y ∈ Qp such that

i r + yi ∈ p Z (for all i ∈ Z)

−n where for each y ∈ Qp there is an integer n ≥ 0 such that all yi lie in p Z. For ﬁxed y with associated n, −n taking i = −n, since y−n ∈ p Z, −n −n r ∈ −y−n + p Z = p Z

29 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

For all indices 0 ≥ i ∈ Z, by the isotropy condition,

−n −n+i y−n+i = −r (in p Z/p Z)

−n (n) −n For all n ≥ 0, we have the diagonal copy of p Z imbedded in X = p Zp induced from

−n (−n) + −n −n+1 + −n −n p Zp = X ... / p Z/p / p Z/p = 0 fN 8 3 N rr ggggg N rrr ggggg N N rr ggggg N rrr ggggg −n gggg p Z That is, for all n ≥ 0, inside the isotropy group

−n ∆ −n p Z = {(δ, −δ): δ ∈ p Z} ⊂ R × Qp

Taking the ascending union, the diagonal copy of Z[1/p] is the isotropy group. Thus, as R × Qp -spaces,

n ∆ p-solenoid = lim /p ≈ ( × p)/ [1/p] n R Z R Q Z

To see the discreteness of the diagonal copy of Z[1/p] in the product R × Qp, recall that Zp is open in Qp, because Zp = {x ∈ Qp : |x|p < p}

Thus, R × Zp is open in R × Qp, and

∆ ∆ (R × Zp) ∩ Z[1/p] = Z

∆ ∆ The projection of Z to R is discrete, so Z[1/p] is discrete in R × Qp. ///

i [8.4] Projections (R × Qp)/Z[1/p] −→ R/p Z Limits are not genuinely described without giving the projection maps.

[8.4.1] Claim: The quotient

. ∆ . ∆ i R × Qp Z[1/p] −→ R × Qp Z[1/p] + p Zp is naturally isomorphic to R/piZ.

−n n Proof: First, Z[1/p] is dense in Qp: given x ∈ p Zp, approximate p x well by y ∈ Z, depending on n. Then p−ny is close to x.

i i Thus, given r×x in R×Qp, adjust by Z[1/p] to put x into p Zp, and then act by p Zp to give a representative of the form r × 1. The only allow further possible adjustments are exactly by by

i i Z[1/p] ∩ p Zp = p Z

i That is, (R × Qp)/(Z[1/p] + p Zp) has representatives in R × {1}, and two representatives give the same image exactly when they diﬀer by piZ. ///

n [8.5] The big solenoid limN R/NZ ≈ A/Q Replacing {p : 1 ≤ n ∈ Z} by integers divisible only by a speciﬁed set of primes, possibly all primes, an analogous discussion gives an analogous result. In particular, allowing divisibility by all primes gives the biggest solenoid of this type,

∆ big solenoid = lim R/NZ ≈ A/Q N

30 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014) because [ 1 1 = ( × b) = colimN ( × b) A R N Z R N Z N

Further, the diagonal copy of Q in A is discrete: Zb is open in the ﬁnite adeles, so R × Zb is open in A, and (R × Zb) ∩ Q∆ = Z∆, which is discrete when projected to R. The projections are A/Q −→ A/(Q + NZb) ≈ R/NZ

Indeed, Q is dense in Afin, so, given r +x in A = R×Afin, adjust by Q to put x into NZb, and then act by NZb to make the finite-prime component trivial. To avoid any further adjustments disturbing this normalization, the only allow further possible adjustments are exactly by

Q ∩ NZb = NZ

That is, A/(Q + NZb) has representatives in R × {1}, and two representatives give the same image exactly when they diﬀer by NZ. Thus,

A/Q −→ A/(Q + NZb) = (R + NZb) / (Q + NZb) ≈ R/NZ gives the projections.

9. Non-abelian solenoids and SL2(Q)\SL2(A)

The non-abelian solenoid of interest is the projective limit limN ΓN \H, with transition maps ΓN ·z −→ ΓM ·z n for M|N. It is better to use H ≈ SL2(R)/SO(2, R), and consider over-lying objects Γ(p )\SL2(R) whose n quotient on the right by SO(2, R) is Γ(p )\H, as this allows SL2(R) to act on the right on SL2(Z)\SL2(R). Write G∞ = SL2(R)

Thus, consider the non-abelian solenoid limN ΓN \G∞, with transition maps ΓN · g −→ ΓM · g for M|N. As with the abelian solenoids, to simplify the indexing poset, we carry out the discussion for the somewhat n simpler solenoid limn Γ(p )\G∞ with prime p. Model elements of this projective limit by sequences

... −→ g2 −→ g1 −→ go

n−1 n−1 meeting the compatibility condition Γ(p ) · gn = Γ(p ) · gn−1 for all n. That is, gn = γn · go for a n−1 n−1 sequence gn ∈ Γ(1) with Γ(p ) · γn = Γ(p ) · γn−1. [9.0.1] Claim: n n lim Γ(1)/Γ(p ) ≈ lim SL2( /p ) ≈ SL2( p) n n Z Z n and this group has a natural action on limn Γ(p )\G∞.

n n n Proof: First, because Γ(p ) is normal in Γ(1) = SL2(Z), the quotient group Γ(1)/Γ(p ) acts on Γ(p )\G∞ by γ · Γ(pn) · g = γΓ(pn)γ−1 · γg = Γ(pn) · γg For γ ∈ Γ(pn), the action is trivial since γ is absorbed: γ · Γ(pn) = Γ(pn). Thus, group elements

n ... → γ2 → γ1 → γ0 (γn ∈ Γ(1)/Γ(p ))

31 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

with the compatibility n n γn+1 · Γ(p ) = γn · Γ(p ) give an automorphism of the limit by

(... → γ2 → γ1 → γ0) · (... → g2 → g1 → g0) = (... → γ2g2 → γ1g1 → γ0g0)

It remains to check that n n lim Γ(1)/Γ(p ) ≈ lim SL2( /p ) ≈ SL2( p) n n Z Z n Surjectivity of Γ(1) → SL2(Z/p ) is an exercise. The kernel of this homomorphism is Γ(pn). The elements of the projective limit are compatible families

mod p3 a b mod p2 a b mod p a b ... / 3 3 / 2 2 / 1 1 c3 d3 c2 d2 c1 d1

Thus, that each of the four sequences of entries is a compatible family of elements in the projective limit n n Zp = limn Z/p . That is, limn SL2(Z/p ) ≈ SL2(Zp). ///

Similarly as for the abelian solenoids, for each go ∈ G∞, an element γ ∈ SL2(Zp) given by a compatible n sequence ... → γ1 → γo, speciﬁes an element in limn Γ(p )\G∞ by ... → γ1go → γogo. However, as occurred already with the abelian solenoids, this does not present the limit as nicely as is possible.

n [9.1] Automorphisms of the solenoid In the same fashion as Zp = limn Z/p appeared in the n automorphisms of the p-solenoid, the limit SL2(Zp) = limn Γ(p )\Γ(1) gives some automorphisms of the limit, by

n (. . . γ1 → γo) · (... → x1 → xo) = (. . . γ1x1 → γoxo) (for (... → x1 → xo) ∈ limn Γ(p )\G∞)

As R acted on the abelian solenoid, g ∈ G∞ acts by

−1 −1 n g · (... −→ x1 −→ xo) = (... −→ x1g −→ xog ) (for (... → x1 → xo) ∈ limn Γ(p )\G∞)

with inverse so that this is an associative action written on the left. Thus, G∞×SL2(Zp) acts on this solenoid. Given ... → x1 → xo in the projective limit, act by g = xo to put this into the form ... → x2 → x1 → 1. i i The compatibility implies that xi ∈ Γ(1) and Γ(p )xi+1 = Γ(p )xi. Thus, ... → x2 → x1 → 1 gives an element γ ∈ SL2(Zp). This shows that G∞ × SL2(Zp) acts transitively.

The isotropy group of ... → 1 → 1 → 1 consists of (g, γ) with γ = (... → γ2 → γ1 → γo) in SL2(Zp) with γi ∈ Γ(1), and g ∈ G∞, such that

−1 −1 −1 (... → γ2g → γ1g → γog ) = (... → γ2 → γ1 → γo) · g · (... → 1 → 1 → 1) = ·g · (... → 1 → 1

−1 i i i Thus, γig ∈ Γ(p ) for all i. In particular, g ∈ Γ(1). Then γi ∈ Γ(p )g. Since γi is really in Γ(1)/Γ(p ), we ∆ can say γi = g for all i. Thus, the isotropy subgroup is a diagonal copy SL2(Z) of SL2(Z) in G∞ ×SL2(Zp), and n ∆ lim Γ(p )\G∞ ≈ (G∞ × SL2( p)) /SL2( ) n Z Z Or, purely notationally, using right actions rather than left,

n ∆ lim Γ(p )\G∞ ≈ SL2( ) \(G∞ × SL2( p)) n Z Z

This is more convenient when looking at the induced translation action on functions on the solenoid.

32 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[9.2] Larger diagram, more automorphisms Next, we find a larger cofinal diagram to see more automorphisms. We allow movement outside the group SL2(Z), although not far. n A p-power congruence subgroup is a subgroup Γ of SL2(Q) which contains some Γ(p ) with finite index. That is, for some 0 ≤ n ∈ Z Γ ⊃ Γ(pn) [Γ : Γ(pn)] < ∞

1 −1 [9.2.1] Claim: For g ∈ SL2(Z[ p ]), the action Γ → gΓg stabilizes the set of p-power congruence subgroups of SL2(Q).

1 −1 Proof: Let Γ be a p-power congruence subgroup. Given g ∈ SL2(Z[ p ]), we must show that gΓg contains some Γ(p`) with finite index. That is, we want to show that Γ contains some g−1Γ(p`)g with finite index. Since the subgroups Γ(p`) are of finite index in each other, it suffices to verify the finite-index property for sufficiently small Γ(p`). Let m be large enough such that there are integral matrices A, B such that

−m −1 −m g = 12 + p A g = 12 + p B

n n For γ = 12 + p N in Γ(p ), where N is an integral matrix,

g−1γg = (1 + p−mB) (1 + pnN) (1 + p−mA)

= 1 + p−mB + p−mA + p−2mBA + pnN + pn−mBN + pn−mNA + pn−2mBNA The ﬁrst four summands sum to 1, since g g−1 = 1, so this is

1 + pnN + pn−mNA + pn−mBN + pn−2mBNA

For n > 2m, we have g−1γg ∈ Γ(pn−2m), so

g−1 Γ(pn) g ⊂ Γ(pn−2m) ⊂ Γ(n large enough such that Γ(pn−2m) ⊂ Γ)

That is, for large enough n such that Γ(pn−2m) ⊂ Γ, we have the desired containment

Γ(pn) ⊂ gΓ(pn−2m)g−1 ⊂ gΓg−1

For the ﬁnite-index condition,

[gΓg−1 : Γ(pn)] = [Γ : g−1Γ(pn)g] = [Γ : Γ(pn−2m)] · [Γ(pn−2m): g−1Γ(pn)g] since the indices are unaltered by conjugation.

[Γ(pn−2m): g−1Γ(pn)g] = [gΓ(pn−2m)g−1 : Γ(pn)] ≤ [gΓ(pn−4m)g−1 : Γ(pn)] < ∞

1 by the same computation as above. This proves that conjugation by elements of SL2(Z[ p ]) stabilizes the set of p-power congruence subgroups. ///

Consider the larger family of limitands Γ\G∞ where Γ is a p-power congruence subgroup, with the natural maps 0 0 Γ\G∞ −→ Γ \G∞ (for Γ ⊂ Γ )

[9.2.2] Claim: The family Γ\G∞ of quotients with p-power congruence subgroup Γ has coﬁnal subfamily n n of the quotients Γ(p )\G∞ by principal congruence subgroups Γ(p ), giving a natural isomorphism

n lim Γ\G∞ ≈ lim Γ(p )\G∞ p -power Γ n

33 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Proof: Each such Γ contains some Γ(pn), so there is a surjection

n Γ(p )\G∞ −→ Γ\G∞

That is, the collection of quotients by principal congruence subgroups is coﬁnal. Coﬁnal limits are naturally isomorphic. ///

1 [9.2.3] Corollary: An element g ∈ SL2(Z[ p ]) acts on the limit of the p-power congruence quotients limΓ Γ\G∞ by an action induced from the compatible family of isomorphisms

−1 −1 g :Γ\G∞ −→ gΓg \G∞ by g · (Γ · x) = gΓg · (g · x) (for x ∈ G∞)

Proof: A map of a limit X = limi∈I Xi to itself is given by a compatible family of maps X → Xi to the th limitands. One way to give such a family is as follows. Let pj : X → Xj be the projection to the j limitand. Let σ be a an order-preserving permutation of the index set I, and suppose we are given a family of isomorphisms fi : Xσ(i) −→ Xi compatible in the sense that for i > j there is a commutative diagram

Xi / Xj O O fi fj

Xσ(i) / Xσ(j)

Deﬁne a family of maps Fi : X → Xi by Fi = fi ◦ pσ(i) giving a commutative diagram % ' X Xi / Xj 8 O }> O p O } p p p }F Fi } j p F } p p } p } p p } p p} p X Xσ(i) / Xσ(j) 7 7 with uniquely induced map F : X → X. This idea applies to the p-power congruence subgroups with the natural isomorphisms −1 −1 Γ\G∞ −→ gΓg \G∞ by Γ · x −→ gΓg · gx 1 Thus, SL2(Z[ p ]) acts on the projective limit. ///

1 n The natural actions of G∞ × SL2(Zp) and of SL2(Z[ p ]) on limn Γ(p )\G∞, the latter also expressible as the limit over p-power congruence subgroups, can be combined.

[9.2.4] Claim: SL2(Z[1/p]) is dense in SL2(Qp).

n Proof: First, Z[1/p] is dense in Qp: given y ∈ Qp, some p y is in Zp. Using the density of Z in Zp, n n approximate p y well by xo ∈ Z, with closeness of approximation depending on n, of course. Then p xo a b approximates y well. Approximate the entries in given h = ∈ SL ( ) closely by h ∈ SL ( [1/p]) c d 2 Qp o 2 Z with respective entries ao, bo, co, do in Z[1/p], modifyied to keep the determinant-one condition. ///

Thus, an element x of limΓ Γ\G∞ (limit over p-congruence subgroups) is a compatible family {xΓ} indexed n by Γ, rather than by non-negative integers as for the sub-family Γ = Γ(p ). Given h ∈ SL2(Qp), for each Γ

34 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

let hΓ ∈ SL2(Z[1/p]) approximate h well enough so that h = hΓ · kΓ with kΓ ∈ SL2(Zp) close enough to 1 so that kΓ acts trivially on Γ\G∞. Then

h · (... −→ ΓxΓ −→ ...) = (... −→ (hΓkΓ) · ΓxΓ −→ ...) = (... −→ hΓ · ΓxΓ −→ ...)

−1 = (... −→ hΓΓhΓ · hΓxΓ −→ ...)

Since G∞ × SL2(Zp) was already transitive on the limit, certainly G∞ × SL2(Qp) is transitive. The isotropy subgroup of the basepoint (... → Γ · 1 → ...) is the collection of g × h ∈ G∞ × SL2(Qp) such that

−1 −1 (... −→ Γ · 1 −→ ...) = (g × h) · (... −→ Γ · 1 −→ ...) = (... −→ hΓΓhΓ · hΓg −→ ...)

−1 −1 That is, for every p-congruence Γ, we require hΓg ∈ hΓΓhΓ . That is, hΓ ∈ g · Γ for all Γ. Since hΓ is ambiguous by Γ, we may as well take hΓ = g for all Γ. In particular, g ∈ SL2(Z[1/p]), and the isotropy ∆ group is the diagonal copy SL2(Z[1/p]) of SL2(Z[1/p]) in G∞ × SL2(Qp). The sided-ness of the action can be reversed, if desired. Thus, we have proven [9.2.5] Theorem:

n ∆ lim Γ(p )\G∞ = lim Γ\G∞ ≈ SL2(Z[1/p]) \ G∞ × SL2(Qp) n p−congruence Γ

n [9.3] Projections SL2(Z[1/p]) \ (G∞ ×SL2(Qp)) −→ Γ(p )\G∞ These complete the description of the limit. There is no necessity of giving projections to the more general p-congruence subgroups’ quotients, although one can do so. Let

a b a b 1 0 K(pn) = { ∈ SL ( ): = mod pn} c d 2 Zp c d 0 1

We claim that the quotient on the right by K(pn)

n SL2(Z[1/p]) \ (G∞ × SL2(Qp)) −→ SL2(Z[1/p]) \ (G∞ × SL2(Qp)) /K(p )

n produces an object isomorphic to Γ(p )\G∞. Indeed, we can adjust given g×h in G∞SL2(Qp) to move h into n n K(p ), since SL2(Z[1/p]) is dense in SL2(Qp). Further, right multiplication by K(p ) gives a representative 0 of the form g × 1. Two such representatives g × 1 and g × 1 are equivalent left-modulo SL2(Z[1/p]) and n n right modulo K(p ) exactly when there is γ ∈ SL2(Z[1/p]) and k ∈ K(p ) such that

γ · (g × 1) · k = g0 × 1

n n Projecting γ to SL2(Qp), we have γ · k = 1. Thus, γ is in the intersection SL2(Z[1/p]) ∩ K(p ) = Γ(p ). ///

[9.4] Bigger solenoid and adele-group action The projective limit over all ΓN = Γ(N) rather than just n Γ(p ) for ﬁxed prime p is treated analogously. First, we would note that limN SL2(Z/N) = SL2(Zb) acts, and lim ΓN \G∞ ≈ SL2(Z) \ (G∞ × SL2(Zb)) N

being aware by this point that it is natural to take the diagonal copy of SL2(Z) rather than just the copy inside G∞.

Looking at the larger diagram in which Γ ranges over all congruence subgroups of SL2(Q), that is, all subgroups containing some ΓN with finite index, and noting that Afin = Q · Zb, we see an action of SL2(Afin).

35 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

Since A = R × Afin and SL2(A) = SL2(R) × SL2(Afin), and realizing that the diagonal copy of SL2(Q) is natural, lim Γ\G∞ ≈ SL2(Q) \ (G∞ × SL2(Afin)) = SL2(Q) \ SL2(A) Γ

To describe the projection to ΓN \G∞ for principal congruence ΓN , let

a b a b 1 0 K(N) = { ∈ SL ( ): = mod N} c d 2 Zb c d 0 1

There is the natural quotient map

SL2(Q) \ SL2(A) −→ SL2(Q) \ SL2(A) /K(N)

and we claim that SL2(Q) \ SL2(A) /K(N) ≈ ΓN \G∞

Indeed, SL2(Q) is dense (see below) in SL2(Afin), so the finite-prime part of an element of SL2(A) can be 0 moved to K(N), and then made trivial by right adjustment by K(N). For g×1 and g ×1 in G∞ ×SL2(Afin), if for γ ∈ SL2(Q) and k ∈ K(N) we have

γ · (g × 1) · k = g0 × 1

−1 then the projection of γ to SL2(Aﬁn) must be k . Thus, projected to SL2(Aﬁn), we have γ ∈ SL2(Q) ∩ K(N) = ΓN .

[9.5] Density of Q in Aﬁn Although Q is discrete in A, dropping the factor R makes the copy of Q dense, demonstrated as follows.

Given finite adele x, the set of primes p so that the p-component xp of x is not in Zp is finite. Since Z[1/p] is dense in Qp, and since 1/p is in Zq for primes q 6= p, we can adjust x by a finite sum of elements from various copies of Z[1/p] to make x lie in Zp for all p. That is, x ∈ Zb.

The diagrammatic characterization of Zb already shows that the natural image of Z is dense, since its closure in Zb has all the properties of a projective limit of the quotients Z/N.

This density result is the larger part of the argument that SL2(Q) is dense in SL2(Aﬁn).

Bibliographic notes: [Chevalley 1939] introduced ideles to formulate classﬁeld theory for inﬁnite extensions. [Matchett 1946], [Iwasawa 1950], [Tate 1950], and [Iwasawa 1952] treated Hecke’s L-functions (compare [Hecke 1918]) in adelic/idelic formulations. [Tamagawa 1960] and [Tamagawa 1963] were the earliest examples of treatment of automorphic forms on adele groups, giving evidence of the advantages of this viewpoint. [GGPS 1969], a translation of an earlier Russian edition, systematically rewrote the basic theory of automorphic forms in the context of adele groups and their representations. [Jacquet-Langlands 1971] redid parts of [GGPS 1969], and added its own emphasis. [Jacquet 1972] rewrote [Rankin 1939] and [Selberg 1940] in adelic terms.

[Chevalley 1936] C. Chevalley, Généralization de la théoriede classes pour les extensions infinities. J. de Math. Pures et App. 15 (1936), 359-371. [GGPS 1969] I. Gelfand, M. Graev, I. Piatetski-Shapiro, Representation Theory and Automorphic Functions, W.B. Saunders Co., Philadelphia, 1969. [Hecke 1918] E. Hecke, Eine neue Art von Zetafunktionen und ihre Beziehungen der Verteilung der Primzahlen, Math. Z. 1 no. 4 (1918), 357-376; 6 no. 1-2 (1920), 11-51.

36 Paul Garrett: Adele groups, p-adic groups, solenoids (April 29, 2014)

[Hensel 1897] K. Hensel, Uber¨ eine neue Gegr¨undungder Theorie der algebraischen Zahlen, Jahresbericht Deutsche Math. Vereinigung 6, 83-88. [Iwasawa 1950/1952] K. Iwasawa, [brief announcement], in Proceedings of the 1950 International Congress of Mathematicians, Vol. 1, Cambridge, MA, 1950, 322, Amer. Math. Soc., Providence, RI, 1952.

[Iwasawa 1952/1992] K. Iwasawa, Letter to J. Dieudonn´e, dated April 8, 1952, in Zeta Functions in Geometry, editors N. Kurokawa and T. Sunada, Advanced Studies in Pure Mathematics 21 (1992), 445-450.

[Jacquet-Langlands 1971] H. Jacquet and R. P. Langlands, Automorphic forms on GL2, Lecture Notes in Mathematics 114, Springer-Verlag, Berlin and New York, 1971.

[Jacquet 1972] H. Jacquet, Automorphic forms on GL2, part II, SLN 278, Springer-Verlag, 1972. [Matchett 1946] M. Matchett, On the Zeta Function for Ideles, thesis, Indiana University, 1946. [Rankin 1939] R. Rankin, Contributions to the theory of Ramanujan’s function τ(n) and similar arithmetic functions, I, Proc. Cam. Phil. Soc. 35 (1939), 351-372. [Selberg 1940] A. Selberg, Bemerkungen über eine Dirichletsche Reihe, die mit der Theorie der Modulformen nahe verbunden ist, Arch. Math. Naturvid 43 (1940), pp. 47-50. [Tamagawa 1960] T. Tamagawa, On Selberg’s trace formula, J. Fac. Sci. Univ. Tokyo Sect. I 8 (1960), 363-386. [Tamagawa 1963] T. Tamagawa, On the ζ-functions of a division algebra, Ann. of Math. (2) 77 (1963), 387-405. [Tate 1950/1967] J. Tate, Fourier analysis in number fields and Hecke’s zeta functions, thesis, Princeton (1950), in Algebraic Number Theory, J. Cassels and J. Frölich, editors, Thompson Book Co., 1967.