TANT 10 - Inverse limits and examples of local fields

Hello there! These are notes for the ninth class of the course "Topics in algebra and number theory" held in Block 4 of the academic year 2017/18 at the University of Copenhagen.

In the previous lecture we have given a complete characterization of non-Archimedean fields which are locally compact. In particular, we have seen that they are all finite extensions of Qp or Fp((T)). Today we are going to study more these two fields, giving an alternative description of them which uses inverse limits.


Inverse limits

We recall here the definitions of inverse system and inverse limit, which will be crucial in the following weeks of the course.

 Definition 1  A (upward) directed set is a set I with an order relation such that for every i,jI there exists kI with ki and kj.

 Definition 2  An inverse system of groups (or rings, sets, topological spaces ... and in general in any category C ) consists of a collection {Xi}iI of groups (or rings, etc...) indexed on a directed set I and a collection of maps {fi,j:XjXi} for every ij such that fi,i is the identity map for all iI and fi,k=fi,jfj,k for all ijk.

It would be nice if we could encompass all the properties of this system in one single object which takes into account all the objects Xi and all the maps fi,j. So nice that this object deserves a name.

 Definition 3  Let ({Xi},{fi,j}) be an inverse system of groups (or rings, etc...). A cone for this inverse system is a group (or a ring, etc...) C with maps fi:CXi such that fi=fi,jfj for all ij. An inverse limit for this system is a cone X with maps πi:XXi such that for every other cone C with maps fi:CXi there exists a unique map f:CX such that fi=πif.

 Exercise 4  Let X and X be two inverse limits for the same inverse system ({Xi},{fi,j}). Prove that they are isomorphic. Thus we can speak of the inverse limit of a given inverse system (provided that it exists!) and we denote it by limiXi.

The key property of the categories of rings, sets, topological spaces (and many more...) is that we can always construct an inverse limit for a given inverse system! Indeed let ({Xi},{fi,j}) be an inverse system and consider the subset X of the product iXi given by all the sequences x=(xi)iiXi such that fi,j(xj)=xi for all ij. If the Xi's are groups (resp. rings, topological spaces...) then this is a subgroup (resp. a subring, a subspace...) of the product iXi, and we have the projection maps πi:XXi given by restricting the usual projection maps iXiXi. It is immediate to see that X with these projection maps is a cone for the inverse system ({Xi},{fi,j}). Moreover for every other cone C with maps fi:CXi we know already that there exists a map ˆf:CiXi simply given as the product of all the maps fi. Let now cC and observe that fi,j(fj(c))=fi(c), which implies that ˆc=(fi(c))iX. Thus we get a map f:CX such that fi=πif for every iI. This implies indeed that X is an inverse limit for the inverse system ({Xi},{fi,j}).

 Example 5  Let KL be a Galois extension of fields. Then the set of all subextensions KML such that KM is a finite extension is directed with respect to inclusion. Moreover for every (K)MN(L) we have a map Gal(N/K)Gal(M/K), and these all together form an inverse system. It is not difficult to prove that Gal(L/K) is an inverse limit for this system, with projection maps Gal(L/K)Gal(M/K) given by restriction.

Inverse limits and completeness

So, this notion of inverse limit seems very powerful and versatile, but... it is useful in this course? Indeed it is, and we have already encountered it many times!

Remember that in the first lecture we defined the ring Zp as the inverse limit limrZ/prZ without defining what an inverse limit is! Now that we know this, we can go back and try to understand what a p-adic number really is, as we will do in the next section.

Moreover, we can use inverse limits to give another description of the ring Aϕ associated to a non-Archimedean absolute value ϕ:KR0. In order to do so, we need to define a new way to put a topology on any ring.

 Definition 6  Let R be a ring, and IR be an ideal. The I-adic topology on R is the coarsest topology such that x+In is open for all xR and nN.

 Exercise 7  Let R be a ring, and IR be an ideal. Show that the maps
  R×RR(x,y)x+yandR×RR(x,y)xy are continuous with respect to the I-adic topology, i.e. R is a topological ring with respect to the I-adic topology.

We have already encountered many examples of I-adic topologies, as it is shown in the following exercise.

 Exercise 8  Let (K,ϕ) be a non-Archimedean, discretely valued field. Prove that the subspace topology induced on Aϕ coincides with the mϕ-adic topology.

The properties of completeness and separateness of the I-adic topology, which we recall in the following definition, can be detected by means of an inverse limit, as we see in the next proposition.

 Definition 9  Let X be a topological space. We say that:
  •  X is separated (or Hausdorff, or T2) if for every x,yX with xy there exist two open subsets U,VX with xU, yV and UV=;
  • a sequence {xn}X converges to xX if for every open neighborhood xUX there exists n0N such that for every nn0 we have that xnU.
 Definition 10  Let G be a topological group. We say that a sequence {gn}G is Cauchy if for every open neighborhood of the identity UG there exists n0N such that for all n,mNn0 we have that gng1mU. We say that the group G is complete if every Cauchy sequence converges.

Observe that every topological ring R is also a topological abelian group. Thus when we say that R is complete (or that a sequence is Cauchy in R ) we consider R as a topological abelian group.

 Proposition 11  Let R be a ring, and let IR be an ideal. Then R is separated with respect to the I-adic topology if and only if the map φ:RlimnR/Inx(xmodIn)n is injective, and it is complete if and only if φ is surjective.

 Proof  Observe that φ is injective if and only if for every x,yR with xy there exists nN such that xymodIn. This is equivalent to say that for every x,yR with xy there exists nN such that x+Iny+In=, i.e. that R is separated with respect to the I-adic topology.

Observe now that a sequence {xn}R is Cauchy if and only if for every NN there exists n0N such that for all n,mNn0 we have that xnxmIN.
Suppose now that R is complete with respect to the I-adic topology. Let now x=(xnmodIn)limnR/In and observe that the sequence {xn}R is Cauchy, because by definition of the inverse limit we have that xnxmIm for all nm. Thus let xR be the limit of {xn} and observe that xxnIn for all nN, i.e. that φ(x)=x and thus φ is surjective.

Vice versa if φ is surjective and {xn}R is a Cauchy sequence we can always find a subsequence {yk=xnk such that ykylIl for all kl. If we do so then y:=(ykmodIk)limkR/Ik and since φ is surjective we can find yR such that φ(y)=y. It is really easy to see now that {yk} converges to y, which implies that {xn} also converges to y because the sequence {xn} is Cauchy. Q.E.D.

 Corollary 12  Let (K,ϕ) be a non-Archimedean, discrete valued field, and let πK be a uniformizer. Then (K,ϕ) is complete if and only if the map
():AϕlimnAϕ/πnAϕx(xmodπn)n is an isomorphism.

 Proof  Using the previous proposition we see that () is an isomorphism if and only if Aϕ is complete with respect to the mϕ-adic topology. To conclude we simply need to observe that this topology coincides with the subspace topology induced by K (thanks to Exercise 8) and that K is complete if and only if Aϕ is complete because we can write K=iIxi+Aϕ for some {xi}K representing the quotient of abelian groups K/Aϕ. Q.E.D.

 Corollary 13  Let (K,ϕ) be a non-Archimedean, discretely valued field, and let (Kϕ,Φ) be its completion. Then we have that AΦlimnAϕ/πnAϕ where πK is any uniformizer.

Examples of local fields

Let K be a local field, i.e. a topological field which is locally compact and does not have the discrete topology. We will see that on every such field the topology comes from an absolute value ϕ that we can define using important concepts coming from harmonic analysis (namely, Haar's measure). We have also seen in the previous lecture that every such field is complete.

Suppose now that K is non-Archimedean. Then ϕ(K×) is discrete and we can describe the ring Aϕ as Aϕ={+k=0akπkakS} where SK is any set of representatives for the quotient Aϕ/mϕ which contains zero (this is Corollary 8 of the previous lecture) or as AϕlimnAϕ/πnAϕ using Corollary 12. In particular if K is the completion of a field FL then we can use Corollary 13 to write AϕlimnR/tnR, where R:=AϕF and tF is a uniformizer.

 Example 14  Let F be any field, and consider the absolute value ||T:F(T)R0 defined by |f(T)|T:=cordT(f(T)), where ordT(f(T)):=max{nN:Tnf(T)} and cR>1 is any constant. Observe that ||T is non-Archimedean and that |T|T=c1<1. Thus for every sequence {an}F we have that the sequence of partial sums {nj=0ajTj}nF(T) is a Cauchy sequence with respect to ||T.
Consider now the field of formal Laurent series F((T)) that we defined in Example 12 of the previous lecture. Then we have an embedding F(T)F((T)) given by extending the obvious inclusion of integral domains F[T]F[[T]] to their fields of fractions. Moreover the absolute value ||T extends to F((T)) by setting |+n=n0anTn|:=cn0wherean00 and it is not difficult to see that F((T)) is complete with respect to this absolute value. Indeed a sequence {k=kn0ankTk}nF((T)) is Cauchy if and only if the sequence {kn0}n has a minimum k0 and for every kZk0 there exists nkN such that for every lNk0 and for every n,mNnk we have that anl=aml. Thus we can define a new sequence ak:=ankk and it is easy to see that +k=k0akTk is the limit of the Cauchy sequence that we started from.
Finally if F(T)L is a morphism of valued fields we can use the fact that any sequence of partial sums {nj=0ajTj}n is Cauchy (if {aj}jF) to see immediately that this morphism extends (uniquely) to a map F((T))L. Thus we have proved that F((T)) is the completion of F(T) with respect to the absolute value ||T.
To do so in an effortless way we could observe that TF(T) is a uniformizer for the absolute value ||T and thus if (K,Φ) is any completion of (F(T),||T) we have that AΦ={+k=0akTkakF}F[[T]] which implies that KF((T)).

We can do something similar for the absolute value ||p on the field Q.

 Definition 15  The field of p-adic numbers Qp is the completion of the field Q with respect to the absolute value ||p. We denote its unit ball by Zp and we call it the ring of p-adic integers.

We can give two alternative descriptions of Qp as follows:
  1. using Corollary 8 of the previous lecture we can observe that Qp={+k=k0akpkak{0,1,,p1}, k0Z} because pQ is a uniformizer for ||p and A||p/m||p=Z(p)/pZ(p)Z/pZ;
  2. using Corollary 13 we get that ZplimrZ(p)/prZ(p)limrZ/prZand thusQpFrac(limrZ/prZ) which is how we defined Zp in the first lecture.

Conclusions and references

In this lecture we managed to:
  • define inverse limits and the I-adic topology on a ring R;
  • prove a relation between the completeness of the I-adic topology and inverse limits;
  • study in detail the examples of F((T)) and Qp.
References include:

Comments

Popular posts from this blog

A (not quite) perfect(oid) talk

TANT 1 - An introduction to p-adic numbers (and much more)

TANT 2 - Absolute values