A while ago, Sameer asked why Minkowski’s theorem is so powerful in number theory, and I realized I had no idea. Number theory is, certainly, about a strange sort of geometry (sorry, Sameer), but Minkowski’s lattices and plump convex bodies aren’t exactly reminiscent of Diophantine geometry. Yet Minkowski’s theorem is unreasonably useful, giving slick proof of existence results like Lagrange’s four-square theorem. More startlingly, the standard proofs of finiteness of class group and Dirichlet’s unit theorem both use it. These are deep and fundamental results, proved with a technique which at first seemed to me like a trick out of an Olympiad problem, a sleight of hand instead of a deep insight.
It turns out both Dirichlet’s unit theorem and the finiteness of class number, when looked at the right way, have all their “deepness” hidden in a notion of compactness in a certain lattice, and this can be made explicit using the adeles (roughly, a way to glue together all the places of a global field). This is the beginning of many different long, strange stories, none of which I really understand yet; hopefully, this will be the first of many posts detailing my exploration.
This post already assumes a basic familiarity with -adics, places, and valuation theory. A secondary aim of this post is to serve as an introduction to adeles and the adelic perspective. It is somewhat atypical, in that it will not prove or even discuss many of the elementary properties of adeles other guides will, but I think that this introduction via application and intuition is in many ways preferable. Optimally, it would be read in conjunction with a more conventional introduction to adelic number theory, which will march through all the basic properties I gloss over.
I. Finiteness of class number and Dirichlet’s unit theorem, revisited
Let’s reiterate the proofs of finiteness of class number and Dirichlet’s unit theorem quickly, phrasing them in a manner so as to emphasize the role of compactness. We’ll work over the (hopefully) familiar case of a number field , though will keep an eye towards the end goal of generalizing to any global field.
Theorem. Let be a number field, with ring of numbers , and let be the associated fractional ideal group. Let the class group be defined as ; i.e. fractional ideals modulo principal ones. Then is finite.
Proof. There are two cleanly separated steps: to show that every ideal class contains an integral ideal with uniformly bounded norm, and to show that there are finitely many integral ideals with bounded norm. The latter is obvious for number fields, since a prime ideal lying over has norm divisible by .
The former is (generally) proven using Minkowski’s theorem, applied to the lattice created by the embedding into Minkowski space (considered as -algebras).
Then it is straightforward to see that the square root of the determinant is the volume of the fundamental parallelpiped (considering as the lattice), and the lattice determined by any given ideal can be calculated in terms of its index (ideal norm). The standard way to finish from here is to take the lattice associated to the inverse of an arbitrary fractional ideal, then to use a suitably scaled convex body to find a lattice point corresponding to an element of that multiplies the ideal to become integral, yet has sufficiently small norm to uniformly bound the norm resulting representative of the ideal class. The technical details are boring and meaningless.
So what’s actually happening with this Minkowski space business? The perspective we need to take is that each coordinate corresponds to a distinct real/complex place of – that is, an equivalence class (equivalence under induced topology) of absolute values on it. In this case, we are only considering the archimedean (non--adic, with the Archimedean property) places, so by Ostrowski’s theorem there is a unique one on , corresponding to the usual absolute value. By extension, each real embedding and each Galois orbit of complex embeddings corresponds to a unique absolute value and hence place on general . Then looking at Minkowski space as a product of s and s, in general, the space should be a product of completions of with respect to its various places, with canonically embedded inside.
We will need to extend our theory of “norm” here, but the already-present absolute values are suggestive enough of the general idea that we can await for this to arise naturally in the adelic perspective later. More pressing is the need to connect this to the class group. Heuristically, the idea that we can find ideal class representatives with bounded norm will correspond to compactness of the class group, and finiteness of integral ideals with bounded norm will correspond to discreteness; the proper way to think of finiteness of , then, is as a general topological consequence of compactness and discreteness.
To precisely give the correct link between as a topological group and Minkowski space, we require adelic language and concepts, but we can give a preview here. Elements of the fractional ideal group, since we can write them as unique products of prime ideals, can be identified with a kind of “-adic lattice” of their valuations at every prime (or, their nonarchimedean places). (Equivalently, the fractional ideal group is the free abelian group generated by the primes – again, this is basically the idea of associated divisors from algebraic geometry.) So this group is already discrete! (Discrete under what topology? Well, I did say this would be an imprecise preview.) And one can clearly see the link between the discreteness of the prime lattice, and the argument we saw above for finiteness of ideals with bounded norm.
To get the class group, we just have to quotient out by the sublattice of principal ideals, induced by the embedding of . If we can prove the result is compact, we’re done – so we have isolated the compactness argument.
To do this, we find a continuous surjection from a compact space onto it: we use the subset of our lattice which corresponds to ideals with bounded norm! The role of the Minkowski’s theorem argument in our original proof is to demonstrate we can find this subset; this will be replaced by a similar adelic result later. The oddly circumspect route (finding a lattice point in Minkowski space corresponding to inverse ideal, then multiplying and seeing that the dependence on ideal norms cancels) of the classical proof will be streamlined in the adelic result, which considers the archimedean topology of Minkowski space and the non-archimedean properties of the ideals simultaneously, as we will see.
Adopting a slightly more general perspective on the ring of integers and the class group will help throw this into better relief, by way of explicitly involving the non-archimedean (-adic) places of . Let be a finite set of places of , containing all the archimedean places. Then analogously to , we define to be the ring of integers of localized at all the places of , so that the primes corresponding to non-archimedean become units. ( exactly the set of archimdean places corresponds to the usual .) We can analogously define the class group or . It is not hard to demonstrate the following exact sequence, reproduced from Neukirch’s wonderful book:
(Note: the middle term has a more natural expression adelically, which we’ll see later. Each summand is also isomorphic to , by the associated valuation; here’s our “-adic lattice”!) This sequence by itself shows that is finite given the result for the usual case. But our compactness approach generalizes easily to prove the result for all simultaneously. This is really just two slightly different algebraic manifestations of the same point of view, because can be identified with a quotient of the “-adic lattice” we talked about earlier, eliminating the dimensions corresponding to the places of . Hence in fact there is a surjection from the normal class group into the -class group, as we see in the above exact sequence, and we are given another hint of what its kernel, the middle term in the exact sequence, is adelically.
Notice this makes sense, since the -ring of integers has fewer ideals, since we turned some elements into units.
Our treatment of Dirichlet’s unit theorem will be brief by contrast, since the compactness and adelic viewpoint there are practically begging to be discovered.
Theorem. Given a number field with real embeddings and pairs of complex embeddings, is a finitely generated abelian group; in particular, it is the product of a finite torsion group (the roots of unity) with a free abelian group of rank .
We again have the classical embedding of and hence of into Minkowski space; take log absolute values of each coordinate (the kernel is clearly the roots of unity, which we can prove are finite in number with a separate argument). By considering the norm condition on a unit, the image lies on a codimension hyperplane. If we can prove that the fundamental domain associated to the lattice (the cokernel of the map) is compact, we have that it is a full lattice on this dim- hyperplane, so we’re done.
The usual way to prove this using Minkowski’s theorem, again. Every algebraic number theory text I’ve seen does this in a somewhat different (though, modulo convolution, basically equivalent) way, but many of them obscure what’s actually going on behind seemingly arbitrary ideas and strange constructions – except for Neukirch, another reason it’s the only ANT book worth its salt. The idea which Neukirch lays bare is that we directly show that the fundamental domain is compact by showing it lies in the image of a compact set, the same trick as our earlier proof.
To see how this works, let’s go back and look at our embedding more closely. What we did was form the chain , where the second arrow is taking logarithms of absolute values (and also where the roots of unity disappear into the kernel). Inside we have our norm-one hyperplane , whose preimage in is a codimension-one hypersurface , where the unit group is injectively embedded – indeed, we could have done the entire thing (besides throwing out roots of unity) sans log-linearizing by thinking of the unit group as a “lattice” (discrete abelian subgroup) on the abelian variety . So we construct our preimage as the compact “fundamental domain” of (modulo the unit “lattice”) inside Minkowski space, as this is the more natural setting to work in.
The idea is that we simply take a “box” in where the absolute value of each coordinate is bounded by a certain number, such that the product of the bounds is large enough so we can apply Minkowski’s theorem. Then we take the union of translates of the box over a collection of algebraic integers which can correspond to every possible norm less than that product. (Again, we see the finiteness of integral ideals of a given norm in action.) The intersection of these boxes with our surface gives us our bounded covering of the fundamental domain, after a little technical legwork, and we are done.
To generalize to -units , the idea is very easy: just add on the part of the “-adic lattice” corresponding to the non-archimedean places of onto Minkowski space, and repeat an almost identical argument. Indeed, this is basically captured by the exact sequence from earlier: there is an injection , whose image is the kernel of . This latter map has a finite kernel since the class group is finite, so the kernel only affects the torsion part of . Hence the rank of the free part is just (since and account for the archimedean valuations, and the primes account for the non-archimedean).
In summary, we saw that finiteness of class number and Dirichlet’s unit theorem have proofs which can be seen in a very similar way, as the compactness of a quotient of the “-adic lattice” and the compactness of a quotient of a hypersurface in Minkowski space, respectively. Look back at our exact sequence and otice that extending these results to -rings entails “subtracting dimensions” from the former and “adding dimensions” to the latter corresponding to the non-archimedean places of , a clear complementary relationship. In the adelic formulation, which glues together the archimedean places of Minkowski space with the non-archimedean -lattice, then, we should expect these to correspond to the two ends of an exact sequence in which everything is compact, which is indeed precisely what will happen.
Let be a global field. The adele ring is simply what we get when we take a product of all the completions of with respect to its various places – almost. Actually, we have to take a restricted product in the following sense: let be the completion of with respect to place/valuation ; then the restricted product is the set of all elements of the full product for which all but finitely many of the coordinates are in that coordinate’s respective discrete valuation ring (with nonnegative valuation; so e.g. the -adic integers for the place of ). So it’s somewhere in between a direct product and a direct sum.
Note this restriction only makes sense for non-archimedean places, because archimedean places don’t give rise to discrete valuations rings. But this is fine, because there are always only finitely many archimedean places: this is well-known for number fields, and for function fields of algebraic curves over finite fields, there are no archimedean places, and indeed the concept is not even really applicable.
This allows us actually to give a tensor-product definition of adeles, as , where is the discrete valuation ring associated to the completion at , and the product is split up into the archimedean and non-archimedean places. This isn’t particularly important; I just thought I’d include it to show the usefulness of tensor products and demonstrate that we can give a definition without the somewhat arbitrary-seeming restricted product.
The adeles have a natural topology as a profinite group, since before tensoring with , the non-archimedean portion of the product is naturally the profinite completion of . Then we take the product topology with the usual topology on the archimedean completions (if applicable); this gives the integral adeles. In the full adele ring, after tensoring with , we consider the integral adeles to be an open subring. Note this is much finer than the subspace topology of the product topology on the unrestricted product.
Another way to look at this for the categorically is to see as glued together from products where a fixed finite subset of the terms are allowed to be the whole field, which is a useful perspective because it allows us to reintroduce the concept of – finite sets of places containing the archimedean ones. Indeed, we can set the -adeles , with the product topology. Then there are obvious inclusion morphisms from -adeles to -adeles, where , so we get a directed system, and can set as the colimit .
In this way, the adeles become a locally compact topological group; this is not difficult to prove with a general topology argument. Multiplication is also continuous, so they are in fact a topological ring. Notice we have a natural embedding given by taken the image in each completion, which sits inside the restricted product roughly because there are only finitely many places in the denominator of an element of .
The following result is fundamental. Not strictly necessary for our purposes, so it will only be a sketch, but it’s a good illustration of the kinds of arguments the topology of the adeles give us:
Theorem. The image of is discrete and cocompact in . (Cocompact: the quotient is compact.)
Proof. For the discreteness, it suffices to find an open neighborhood isolating , since we can translate it using the group operation. This is very simple; bound the norm of each coordinate by ; strictly in the -norm case. Check that this is open, and that this isolates zero (break it into the number field and function field case).
For cocompactness, we need to find a compact set which maps surjectively to the quotient in ; that is, a compact set with a representative of each equivalence class. (How familiar!) We can take actually the same open set as above but with the -norm restricted to instead of , non-strictly, since then we have a product of compact balls coordinate-wise which is hence compact by Tychonoff’s theorem. This amounts to saying that there is an element of which matches all the valuations fairly well, which is a consequence of the well-known weak approximation theorem for Dedekind domains. See here for an exposition of this theorem which mixes a sorta-pre-adelic viewpoint with a classical perspective.
There are many other properties of adeles (self-duality with character group, realization as a solenoid, strong approximation, etc.) which are important in the theory, but we will not cover them here. Consult Pete Clark’s notes for a sample.
Now we pass to the idele group. Element-wise, it’s just the unit group , but the topology is not the subspace topology, since, again, inversion is not continuous. The standard way to remedy this is give it the finer induced topology as a subspace of , identified with ordered pairs with .
This seems rather arbitrary, but actually it’s just a case of poor exposition – this is actually the natural topology of the ideles when identified with .
embeds into in a very understandable way.
Theorem. (Product formula) Let the adelic (or idelic) norm on be given as , and let be the subgroup of given by elements of norm . Then the natural embedding of into (coordinatewise, since there are of course natural embeddings ) lands in .
(Note that this makes sense for global fields, since by construction there are only countably many places, and eventually all the norms are at most .)
(Note two: the absolute value on -adic completions is familiar for number fields, being on , and being the normalized version of this (extension of norm with “denominators cleared”) in general. For function fields, it’s similarly defined as some constant , but the constant is uniform across all primes, and basically arbitrary. It is usually taken as the size of the finite field we are working over – I’m not sure if there’s any time this choice is actually significant.)
Proof. This is of course just a fancy way of saying that (notice this is actually always essentially a finite product) for all , where the product is over all places. A moment’s thought on the case of will give an idea of “why” this is true – the -adic valuations will switch the powers of between the numerator and the denominator, so together they will cancel out with the infinite place.
There are two common ways to prove this: the elementary method is to use the theory of norms of field extensions to reduce the problem to simply the cases of and , which are then obvious by explicit reasoning as above. There is subtlety involved in the calulations; recall the note above on the correct normalizations of the absolute values involved.
The other method is using something called the Haar measure, which you may have encountered before if you have done any study of locally compact topological groups. It is simply a measure (in the sense of measure theory) adapted to groups in the most natural way. This is the last piece of set-up we need.
Definition. A Haar measure on a topological group is a measure on the Borel algebra of its open subsets which is invariant under translation, i.e. for all open . (Notice : we’re dealing with an abelian group under addition, which makes our life a bit easier, since right vs. left translates aren’t a thing.)
The key thing that one needs to know about Haar measure is Haar’s theorem, which states that for locally compact , there is a unique (up to multiplication) nontrivial Haar measure satisfying some nice properties – inner and outer regularity and finiteness on compact subsets. The only one really relevant to us is the last one. There are more thorough treatments of the (in my opinion, tedious) theory behind Haar measure readily available; I like this more algebraic treatment by Terry Tao more than some of the others, but you can look around if you’re interested in technical tedium.
The point is, there is a Haar measure with these nice properties on , and it is an extremely important part of adelic theory. We’re not going to really do too much with it, but the ability to integrate over the adeles allows one to do quite a bit of impressive (cf. “beautiful” – Jack) analysis in the unified adelic context, which is the the basis of Tate’s famous thesis.
Denote by the Haar measure on , scaled (since uniqueness is only up to a constant) so that the induced measure on the compact quotient (“fundamental domain”) is , so that the measure “agrees with the counting measure on ” in a nice way. (Think in analogy with a measure on with the typical lattice points with fundamental domain the unit square, if it helps.)
The following lemma is the last piece of “niceness” we need to know about adelic constructs to proceed to the main proof:
Lemma. For any , .
Proof. This almost follows from the analogous statement, of scaling by , on the natural Haar measure (think -adic metric topology in the non-archimedean case, think Euclidean topology in the archimedean case) of each factor, which is easy to prove directly – you should work this out yourself if this doesn’t seem natural to you. This is, intuitively, breaking the problem into local cases at each place. (“Local” in the same sense as “local field”!) If were a true product space so that the Haar measure could be taken as the product of the individual Haar measures, we would be done – however, recall it’s actually a restricted product, so there is subtlety involved.
Instead of naively taking the product of the measures associated to our familiar -adic and Euclidean topologies all at once, we have to build it up through finite approximations, by using our construction from earlier, each of which is a genuine product space of locally compact topological groups, where the factors simply are simply given the restricted Haar measure, where they have volume . Hence we have natural Haar measures on each of them which are genuine product measures. Then it is a theorem (which is not actually difficult to prove, given uniqueness of Haar measure!) that the pullback of the measure by the inclusion restricts it to . More conceptually, this is saying is that we can construct the Haar measure through the direct limit, because the category of measured locally compact topological spaces has all limits.
In particular, for any particular , simply consider some “big enough” so that all the places where has nonzero valuation are included – possible by definition of the adeles. In particular, we can choose so that . Then the scaling effect of in is clearly (because ), and since and is an open subgroup of the whole adele ring, this coincides with the general scaling effect.
The product formula is immediately a trivial consequence of this lemma. (This is the other, more conceptual way to prove it.)
But more importantly, with the topological and metric machinery all set up, we’re ready for the main course.
IV. Compactness, and two finiteness theorems
The ultimate result will be this:
Theorem. The following statements are equivalent, for any nonempty finite set of places containing all the archimedean ones:
1) is compact.
2) is finite and the rank of is .
This begs the question: what exactly is the topology we’re considering ? Is it inherited from the ideles or the adeles? It turns out that the subspace topologies inherited from the ideles and the adeles coincide, and this is important. But more on this later.
Let’s work backwards and put the finiteness of class number and Dirichlet’s unit theorem into adelic terms.
Let be a nonempty finite set of places, containing all the archimedean ones. (By automorphism, we can actually assume that it contains the infinite place of a function field.) To get a handle on , we identify the mythical “-adic lattice” we discussed so much earlier: it is nothing more than ! Indeed, we need a group in which each element is identified with a certain valuation on every place not in . In , the places in are indeed quotiented out, since the -adeles have in the product for . On the other hand, the places not in only have a factor in the -adeles, which becomes just the -units upon passing to the unit group. Hence the quotient on those coordinates can be identified simply by giving the valuation of the element. Finally, finiteness is assured by the definition of the adeles.
But then immediately, from our earlier discussion, we obtain the isomorphism . (Exercise: put our informal discussion rigorously by giving the explicit isomorphism.) We thus need this group to be compact and discrete.
It will help to write the group a different way. It is in fact isomorphic to ! (Here, we work a priori with the inherited topology from the ideles, since we don’t know that the induced topologies are the same yet.) Indeed, we need only prove that modulo , we can always find a idelic-norm- representative. This is obvious for number fields, since we can alter the archimedean places however we want to achieve overall norm . It is only slightly less obvious for function fields. Since the absolute values in the function field case are all just exponentiated valuations with the same base, all we really need is to have the valuations sum to zero, which is of course possible: since is nonempty, alter any given representative of a class to have whatever valuation you want at a place of by multiplying by an adele in with the appropriate valuation there, and units everywhere else.
So now compactness is easy to deal with: is obviously a quotient group of . So we immediately have half of one way of our implication: the latter’s compactness implies the the finiteness of class number.
One last thing on class number: can we relate this to our ad hoc Minkowski argument for number fields? Sort of; the surjection from a bounded subset of the Minkowski lattice is a bit like our isomorphism with the adelic-norm- version. Of course, the latter doesn’t actually bound the norms of the archimedean places, since the non-archimedean ones still can have arbitrarily small contribution, which is why there’s still work to do.
Before tackling Dirichlet’s unit theorem, we are finally forced to prove the technical lemma regarding ‘s inherited topology.
Theorem. inherits the same topology as a closed subgroup (resp. subspace) of the ideles and the adeles.
Proof. First we check that is a closed subgroup of the adeles – the topology of the ideles is strictly finer, so this will suffice for both closedness statements. Let . Take a finite set of places so . In particular, contains all the places of where has norm greater than in that place.
If the adelic norm of is less than , then take open balls in every place where with radius as close to the respective norm of in that place as possible. By definition of adelic norm, if we take larger and larger finite subsets of the remainder of the places where has norm less than , . The product of all these open balls with the unit balls in the remaining places (just all the rings of integers so it’s a genuine open subset of the adeles) is by construction an open neighborhood of disjoint from the unit ideles.
If the adelic norm of is greater than , it’s a little trickier. We use the convergence of the product to see that we can take a sufficiently large (with, minimally, the same stipulations as earlier) so that for any outside of this set, the exponent of the valuation (that is, the such that ) is greater than : this is clear because of the increasing exponents of number fields, and the fact that function fields only actually have finitely many places to begin with. We can similarly make large enough so that (defined in the obvious way) is in . Once again by taking sufficiently small neighborhoods in the places of of and allowing elsewhere, a simple computation shows that if any place in this neighborhood outside of has norm , the whole idele has norm less than , and otherwise of course the idele has norm greater than . So we again have an open bounding away from the unit ideles. Hence between our two cases, we have the desired closedness.
(There’s some philosophizing to be done about the dichotomy of the approaches in this last paragraph between the function field/number field case once again, but I’ll leave you to think about it, since I don’t have any particularly fresh points to make.)
Since we know that the idelic subspace topology on is a priori at least as fine as the adelic subspace topology, it remains to show. So let be an open subset of the unit ideles in the idelic topology; we need to show that it contains an open subset in the adelic topology. We can assume WLOG that contains by multiplicative translation (which is continuous even in the adelic topology), and by contraction that is a product of neighborhoods for for some finite set of places , with in every other coordinate.
is an open set in the adelic topology. If we intersect with , we don’t necessarily get something in since the coordinates outside of might not be units. But we can ensure that they are if we make the -coordinates have sufficiently small norm, so that the non--coordinates must have exactly norm (rather than just , as is a priori the case) to ensure it lies in the unit adeles. But this can be done by just shrinking the s suitably. The details of the computation are left for if you’re into that kind of thing.
Now Dirichlet’s unit theorem falls out easily. In place of the log embedding of just multiplicative Minkowski space, we have an “-log embedding” in general: , given by taking . We can then take the composite , where the first map is the obvious map in to the -places.
Obviously, the image of the first arrow lies in , which maps to the hyperplane with coordinates summing to zero. Then as before, we need to make a few claims to show this does what it’s supposed to. We only sketch the proofs, since they’re all straightforward:
1) The first arrow is a discrete embedding, and the composite image is discrete as well.
That it is an embedding is clear enough, since it’s an embedding in each coordinate. Hence it suffices to establish discreteness. By the previous theorem, it suffices to prove that the “additive version” is discrete (check out the subspace topologies yourself). In other words, we need a finite neighborhood of which contains finitely many elements of . It is easy to explicitly construct such a neighborhood, but also note that it follows from discreteness of in by passing to open subrings and then dropping the other factors. (Actually we also easily find that the analogous statement about cocompactness of in is true as well.)
To prove the composite image is discrete, we note that the map is proper: take a basic compact set; the product of bounded closed intervals bounded each above and below. The result is simply an annulus in (a compact closed ball minus an open ball), so the result follows. Then the image of a discrete group under a proper map of locally compact topological groups is discrete (easy result; prove this! it’s not true for general spaces), so we’re done.
2) The kernel is finite and torsion.
We saw in the number field case that it was precisely the torsion elements; the roots of unity in , which are finite in number. The kernel for the function field is the (multiplicative group of) functions in (which, as you should’ve intuited, are functions generically regular, with their only possible poles at points corresponding to places of ) which are also regular and nonzero on the places of . But then these functions can have no poles anywhere, hence no zeros by the product formula, and hence are nothing more than constants in the coefficient field . So again: finite, and torsion.
3) The quotient by the composite is compact.
This is really the crux of it, since with this, we obtain that the lattice is full rank in the hyperplane, so we finally get that the image of the unit group, hence the unit group, has rank . Denote by the hyperplane in . Then it’s not hard to see we can pass to the restricted quotient map .
Dirichlet’s unit theorem is now that the target is compact. We want to prove that this is equivalent to the source being compact, to get closer to our desired equivalence into adelic language. It’s not hard to check that , like the map it’s descended from, is proper, so one direction is quick. In the other, the image of the target is compact by general topology, hence a closed subgroup in the Hausdorff target. It is a classic fact (and a good exercise) that if we have an exact sequence of locally compact topological groups, compactness is “additive in exact sequences”: what this means in this case is that is compact if and only if and the quotient
is compact. Now we really just need to get our hands dirty and show that contains linearly independent vectors. This is a bit of straightforward greasework, reminiscent of the classical proof, which I will leave to you.
Hence this last point (3) is equivalent to the statement “ is compact.” We take it just one more step and note there is an obvious quotient map with kernel the product of all those other unit groups not in , which is compact by Tychonoff’s. So we are reduced from Dirichlet’s unit theorem to compactness of .
Proof of equivalence.
V. Adelic Minkowski
Let’s take a big-picture view of what we’ve accomplished.
The class group is seen to be precisely a quotient of the (discrete) -adic lattice, which has a natural adelic description as . We are able to find norm- representatives of every equivalence class, so the quotiented -adic lattice is also . Hence finiteness of class number is equivalent to compactness of this.
Geometrically, it is obvious that the unit group (once you remove torsion) embeds nicely as a lattice in a hyperplane of dimension , so the Dirichlet unit theorem is equivalent to the quotient of the hyperplane by the lattice – which can be pulled back to the quotient of the abelian variety . (Indeed, as in the classical case, everything can be done here, on the quotient of the “hypersurface,” with a little more care and theory, but the embedding provides a nice way to get rid of the torsion and put it in a linear algebraic context.) This is the “fundamental domain” of the adelic-norm-1 hypersurface under the lattice given by the unit group. Tacking on the (compact) product of the unit balls of all the places not in allows us to replace this with the more adelic (a “fattened fundamental domain”), and so we are reduced from Dirichlet to the compactness of this last group.
We are then able to glue these two groups together (in the sense of short exact sequence, -style gluing) so that their individual compactness was equivalent to the compactness of their gluing. On a technical level, it’s clear that we have the short exact sequence where the glued object is . But intuitively, why do the “fattened fundamental domain” and the “quotiented -adic lattice” fit together nicely like this? Well, the latter’s lattice structure is precisely on the places not in ; one can imagine it as a finite torsion grid-like structure along those coordinates. The former has the “fattening” – more or less extraneous product of unit balls – in the non- coordinates, to fill in the gaps of the grid, and then a simple fundamental domain along the dimensions/coordinates corresponding to the -places. It also as hypersurface of sorts in the full idelic space, quotiented by the lattice . The first arrow in the exact sequence is then just the immersion of a fundamental polygon which is extant along some coordinates (the places of ) but not along others (the complement).
At long last, it’s time to actually prove that any of these things are actually compact. And naturally, we will need a Minkowski lemma of sorts.
Theorem. (Adelic Minkowski) For a fixed element , consider the set of adeles with at every place . Then there exists a constant depending only on the global field so that for any with , contains a nonzero element.
Proof. This is basically an exercise in manipulating Haar measure, but the idea of the proof is very geometric (as one would expect, since it’s basically the same as the proof of classical Minkowski). It’s not essential to understand the technical details, but the main thread should be easy to follow.
Let be the nicely scaled Haar measure we had from earlier. Let be the product of the closed unit discs in the non-archimedean places, with the unit disc of radius (diameter ) in the archimedean places: the key is that any two elements in can’t differ by more than in valuation at any place. is compact and contains an open neighborhood, so is finite and nonzero.
Take , and with . It is fairly clear then that to prove our desired statement, it suffices to prove that contains two points with the same equivalence class modulo .
Indeed, we have that (by the lemma about scaling effect of multiplying by constants on the Haar measure from way back), and if we take the projection map , we can proceed with a simple volume argument:
where we implicitly exchange a sum with the integral, and abuse notation to let denote both the Haar measure on both the adeles and the induced one on the fundamental domain. Hence if all the are , ; contradiction.
Take a moment to note how the above proof is pretty much exactly like the proof of classical Minkowski. Really, all we’re doing is changing the lattice, if we just broaden our understanding of “lattice” to “discrete cocompact subgroup of a locally compact topological abelian group with a nice norm associated to its Haar measure”. Indeed, it is possible to generalize the statement to this context, which then includes all versions of Minkowski.
Let’s wrap things up.
Theorem. For a global field , is compact.
Proof. Recall that the unit ideles inherit the topology from the adeles. So we just need a compact set of which projects surjectively onto . But just choose to be the set of adeles bounded at each place by the norm at that place of , where as in the adelic Minkowski lemma. Then for any unit idele , there is some nonzero so that by the lemma, so projects onto .
Dirichlet’s unit theorem and the finiteness of class number are immediate consequences.
Let’s conclude with a sort of bird’s-eye view of what this all means. It will be helpful to have read the asides to understand this.
So hopefully we have answered Sameer’s question adequately: the importance of Minkowski’s theorem and lattice geometry is not an accident; a general notion of “lattice” is extremely important because this idea manifests itself in algebraic/arithmetic groups suited to analyzing global fields, like the adeles/ideles. The classical “geometry of numbers” and Minkowski’s theorem arise because of the special phenomenon of archimedean places of number fields, whose corresponding completions give us copies of and . When analyzing , which is the ring of integers corresponding to just the archimedean places, Minkowski space then naturally becomes an important object of study. and have special structure that can be exploited to obtain results in this manner.
On the other hand, the presence of these places is a difficulty in some ways, since unlike the function field case, these infinite places can’t be thought of “projective completion” of the spectrum of a number field, and behave very differently, which is why a lot of results are much easier for function fields than number fields. (I mean, the Riemann hypothesis for one.) The main working approach to this is the same attitude which inspired the geometry of numbers: to work in the archimedean places, take them as they are, and use their familiar analytic structure in conjunction with the nicer non-archimedean places to make progress. This is the foundation of Arakelov theory, a modern approach to number theory. We can define Arakelov divisors, which are like elements of our “-adic lattice” with archimedean real/complex components tacked on, and even the Arakelov class group, a kind of “fattened class group,” which very much resembles in spirit our “fattened fundamental domain” from the adelic discussion of Dirichlet’s unit theorem. (Remember “obviously not, stupid?” Sorry, that was a lie; that’s precisely what this is.) We can obtain analogues of a lot of algebraic geometry this way, including Riemann-Roch, sheaves, and intersection theory.
Relatedly, but with almost the opposite attitude there is a view that there should be a field with one element, a mythical object over which would be a curve, whose projective completion would somehow bypass, or perhaps reveal hidden depths of, the archimedean obstacle. The field with one element is a fascinating aspect of mathematical folklore which has many, many more interesting hypothetical connections and properties than the ones arising here; see the Wikipedia page and MathOverflow for more. It should be noted that quite a few pretenders exist, but none are fully satisfying.
Some of the terminology used here was nonstandard; to further get into adelic applications in class field theory and Arakelov theory, some of this should be clarified. An “-class group” is more typically described as a ray class group – though the latter concept is slightly more general. A set of places is a kind of modulus, which figures in Artin reciprocity, a fundamental result of global class field theory. Moduli can count places with multiplicity, however.
Huge credit to Brian Conrad’s notes, from which the bulk of this material was taken. Indeed, this post is basically a more fleshed out version of those notes, recast as a general philosophical overview/introduction to adeles.