Today I’m going to be studying this paper by Theodor Christian Herwig to learn about -adic analysis.
An absolute value on a field is a map which satisfies the usual absolute value conditions; namely and ; , and . An absolute value which is non-archimedian also satisfies the following additional property: .
Why’re we doing all this? Why are we trying to define a function, that serves the purpose of a norm in most settings, on an algebraic object that might not have any such structure? This is because we want to do topology on such algebraic objects. We want to be able to study a particular object from as many angles and perspectives as we want. An analogy would be representation theory: trying to study groups using properties from Linear Algebra.
Why “non-archimedian” though? Where does this term even come from? Archimedian means that for any , we can construct an such that . In other words, we can construct arbitrarily large integers. When we have a non-Archimediam valuation, what we’re saying is that we cannot build arbitrarily large integers. For example, let and be positive integers. Then we should have . However, this is not the case. Numbers seem to behave “funny” here. This is all that non-Archimedian implies.
A -adic valuation is defined in the following way: is the largest power of prime that divides . This map can be extended to in the natural way: .
We can see that has the following two properties: and . Clearly, these properties are not suggestive of the kind of non-archimedian absolute value properties we’re looking for. We shall rectify that now.
Let . Hence, if , where is the highest power of that divides , then we map . Is this the non-archimedian absolute value that we were looking for? Yes. Just checking for the non-archimedian property, we see that when at least one of and is a multiple of , and is less than if neither are multiples of but their sum is.
Let us now solve an exercise that illustrates how this absolute value metric works really well. Find a sequence of real numbers that converges to , -adically. Answer- Consider the sequence . This is clearly a divergent sequence under the Euclidean metric- a metric that we’re most used to. However, here we see that . Clearly, . Hence, we see that this sequence does indeed converge to under the -adic norm.
Wait. Norm? How do we know that the -adic absolute value function is a norm? We’ll check for triangle inequality. Clearly . Hence, as both and are positive numbers, it follows that . Hence, the -adic absolute value function is indeed a norm.
From this point on, will be the -adic norm on , and not the Euclidean norm. Now we shall prove that if , then . There are two major steps in this proof. The first is to prove that . How do we see that? If then too. Hence, . Therefore, .
The second “trick” in this proof is the following: let . Now . As , we must have . Now remember that by the non-archimedian property of this norm, we have (note that ). We’re therefore done.
A corollary from the above theorem says that in such a -adic space, every triangle is isoceles. What does this mean? Say we have three points and . Why do at least two of and have to be the same? Assume that there are two sides that are not the same. Take the third side; which is the sum of the two. Now use the theorem proved above. In fact, we can conclude something stronger: the sides of the isoceles triangle that are of the same length are of a length greater than or equal to the third side.
Now we will begin a study of some non-trivial properties of the -adic metric space.
- If , then . This goes completely against any intuition that the Euclidean metric may have given us. We will now prove this non-intuitive fact. Let . Then . Let us now calculate . We know that . Hence, we have . Similarly, we can prove that , which would then imply that .
- Any open set (ball) is closed. How do we see that? Take any boundary point of . Then for any , we have . Now let . Then . We can make . Hence, we have , which would prove that .
- If , and for we have , then or . In fact, even the converse is true. How do we see this? For any , we have and . If , then , which implies . Similarly, if , we have . What if ? Then we have . The converse is obvious. If one set is a subset of another, then their intersection is trivially non-emptyset, assuming the sets are non-empty too.
We will discuss the completion of to in the next post.