## Adèlic groups and principal bundles

Today we will establish a result which, in some form, goes back to Weil: the “uniformization” by the idèles of the Picard group of a curve. More generally, the moduli of -bundles on a curve can be uniformized by the adèlic points of (here is a connected smooth affine algebraic group satisfying some additional hypotheses which which hold, for instance, if the ground field is or ), so taking the multiplicative group we recover the previous sentence. This fact is remarkable because it connects the geometry of principal bundles on our curve with the arithmetic of its ring of adèles. There is even a “stacky” version of the theorem, which we will not treat here, but can be found in a slightly altered form as Theorem 5.1.1 in Sorger’s Lectures on moduli of principal -bundles over algebraic curves.

First let us define the geometric objects appearing in the theorem, which are of basic interest in algebraic geometry and representation theory. Fix a ground field , let be a -scheme, and an affine algebraic group over , meaning an affine group scheme of finite type over .

**Definition** A *(principal)* *-bundle* on is a scheme over equipped with a right action of which, locally in the étale topology, is isomorphic to the *trivial bundle* .

Morphisms of principal bundles are simply -equivariant -morphisms, which are automatically isomorphisms by local triviality.

There are two basic constructions we perform with -bundles. If is a morphism, then we can form the pullback bundle , which becomes a -bundle when equipped with the obvious right action. Less obviously, for any scheme with a left action of , there is an associated bundle , where has the diagonal action

.

One observes is a scheme over which is isomorphic to locally in the étale topology.

The latter construction allows us to produce a vector bundle on from a linear representation of . It is a basic fact that, when applied to the standard representation of , this establishes an equivalence between -bundles and rank vector bundles. When , which is the case we are interested in for the purposes of class field theory, the inverse is easy to describe: just remove the image of the zero section from a line bundle to obtain a -bundle.

If is an -point of , then by a *trivialization* of at we mean an isomorphism of with the trivial -bundle on , or equivalently a section of the projection . It is not hard to see that the group of automorphisms of the trivial -bundle on is , and in particular acts simply transitively on the set of trivializations of at , provided that this set is nonempty.

Next, we explain the construction of the adèles. For this let be a smooth connected curve over , and denote its field of rational functions by . For each closed point , write for the completed local ring of at (we will not use the non-completed local rings) with maximal ideal , residue field , and fraction field . Alternatively, can be viewed as the completion of with respect to the -adic absolute value. Recall that if we choose a local coordinate (a number theorist would say “uniformizer” or “prime element”) we get an isomorphism and hence .

**Definition** For any finite set of closed points, the *-adèles* are the topological ring

.

The full ring of *adèles* is the union over all finite , endowed with the colimit topology. The *integral adèles* are just .

Although the topology on is important for many purposes, especially when is finite, we will not need it in what follows.

Now we begin to interpret these arithmetic constructions geometrically. Write and , which we view as the disk and punctured disk centered at , respectively. If is an affine algebraic group over as before, then is analoguous to a topological loop group, and sometimes this terminology is still employed in algebraic geometry. In our global situation, the group of adèlic points packages together all the loop groups as varies through the closed points of . It contains and as subgroups, which in particular act on by translations. We declare that by convention acts on the left and acts on the right.

**Definition** Let be a -bundle on and a closed point. A *(full) level structure* on at is a trivialization of at the canonical morphism .

The reason for the parenthetical terminology “full” is that if is a finite subscheme (for example, an -order neighborhood of , of which is the colimit as varies) then a trivialization of at is called a *structure of level* . We will not need the latter notion in this post.

Finally we come to the promised result. The proof is actually quite instructive, which is one reason we chose to state it in this generality. Recall our standing assumption that is a smooth connected curve over .

**Theorem** (Uniformization) Let be a smooth affine algebraic group over . Then there is a canonical bijection from to the set of isomorphism classes of -bundles on equipped with a generic trivialization (i.e. a trivialization at the generic point ) and full level structures at all closed points . Moreover, this bijection is equivariant for and , which act on generic trivializations and full level structures respectively.

*Proof.* If we are given a -bundle equipped with a generic level structure and full level structures at all closed points of , we can construct an adèlic point of as follows. First observe that the given generic trivialization “spreads out” to a trivialization over a nonempty open set (this is where we use the hypothesis that is of finite type over ). Now the desired adèlic point is a Cech cocycle representative for with respect to the fpqc cover of consisting of all the formal disks together with . More precisely, restricting the full level structures and the generic trivialization gives two trivializations of on every punctured disk , and the difference of these two trivializations is an automorphism of the trivial -bundle on , or equivalently a point of the loop group (we should really be careful about the order we take this difference, but let’s avoid writing lots of formulas). Notice that for all , so as varies the give a well-defined element of .

Conversely, given an adèlic point , we continue to think of it as a Cech cocycle and construct the desired -bundle by “gluing,” or rather fpqc descent. Let be the finite set of closed points such that and write , so that and the for form an fpqc cover of . Then the for can be viewed as transition maps along which we glue the trivial bundles on the to the trivial bundle on . The resulting -bundle is *a priori* only locally trivial in the fpqc topology, but then the étale local triviality follows by smoothness of . Of course comes equipped with a trivialization over , hence a generic trivialization, as well as full level structures at each . Now restricting the trivialization of over to for each gives a full level structure there, but the level structure we really want is obtained by composing this one with , thought of as an automorphism of the trivial bundle on .

One can inspect the constructions to see that they are mutually inverse and equivariant for and .

Our final result, which is the punchline of this post, is an immediate consequence of the theorem.

**Corollary** If every -bundle on admits a generic trivialization, then the bijection from the theorem descends to a -equivariant bijection from to the set of isomorphism classes of -bundles on equipped with full level structures at every closed point . If, in addition, every -bundle on admits a trivialization at for each closed point , then we obtain a bijection from to the set of isomorphism classes of -bundles on .

*Proof.* The only part that is not obvious is that if a -bundle on trivializes over , then it trivializes over . But a trivialization is the same as a section, so by smoothness of this follows from Hensel’s lemma.

We conclude by pointing out when is the multiplicative group, both sides of the final bijection have a group structure, and we actually obtain an isomorphism of groups . The only additional content in this assertion is that tensoring line bundles corresponds to multiplying representative -valued Cech cocycles.

Next time, we’ll get into some specifics of the situation where is finite, and in particular explain how the hypotheses of the corollary then hold quite often. We will probably not use the results in this post very much moving forward, but they are important for establishing the connection between our approach and harmonic analysis on adèlic groups.

Thanks so much for your blog! I needed this!