This post may be a bit technical for general audience (as if anybody is reading this!). Although, if you do and happen to have any popular interest in Pi, the mathematical constant π=3.141592…, since it’s the day of Pi, consider to scan it through and get to the end point, if I manage to make it!
From 20 to 18 years ago I attempted to build an algebraic axiomatic system to reformulate geometry. The goal was to generalize the theorems of Euclidean geometry to a version independent from the number of its dimensions.
I didn’t know how big the world is and that my work must be redundant. So I put the effort and called it “geometry beyond dimensions”. Soon after renamed to “multidimensional Euclidean geometry” (word by word translation from Persian).
My ambitions were beyond speculating about the “flatlanders” and generalizing their problem: Oh, poor flatlanders don’t know about us three dimensional beings, so we too must learn about four dimensions and higher.
No, the point was that there is a lot more to linking geometry and algebra. Still an unacomplished mission.
Anyhow, learning two and three dimensional geometry was mandatory at school and I extended it from N=2, 3 to any number. It was a mechanical and labor intensive work using the principles of induction and a minimal set of “bridging” axioms on top of the existing literature, our school books.
Not only the concept was beyond my intuitive perception, the formulation could also get weird quickly, but it was possible after all to get familiar and use tricks to grasp the concepts and proceed.
To see how it looked like before it escalates, here is an example axiom (a bulding block for more complicated structures and proofs that came later in the book):
There exists exactly one N-dimensional space passing through any N+1 points not lying on the same straight N-1-dimensional space.
A bit weird, huh? But you could put N=1 to get the following axiom in planar geometry, more intuitive:
There exists exactly one line passing through any two distinct points.
Or N=2:
There exists exactly one plane passing through any three points not lying on the same line.
It took some 80 theorems till it covered a satisfactory area and I wrapped it up. And although I was quite obsesssed with its mechanical accuracy, I remember it still had few holes and gaps.
Now let’s get closer to the Pi:
One of the wheels I reinvented in that work was calculating the volume of n-ball, or a multidimensional hypersphere. Of course I didn’t just write an integral to solve it; I proved dozens of theorems to justify that my integral is legit and comes only from the few axioms that were introduced at the start of the book, and assumes no more.
The final result was mysterious in terms of its connection with the Gamma function and Pi. And this is where it can take us beyond a dimension-agnostic theory of geometry: discovering the nature of Pi!
Now, I refer to the pages 45 to 56 in my book (Sorry it’s all in Persian!) But I will make a simpler point here. Let’s try to formulate:
0. Consider the volume of a 0-sphere: How many dots are in a dot? 1 (or 1.R0)
1. And the volume of a 1-sphere with radius R: What is the length of a line segment with radius R: 2 R1
2. The volume of a 2-sphere: What is the surface of a circle with radius R: 2π R2
3. How about the volume of a 3-sphere? 4/3π R3
4. And it turns out that the volume of a 4 dimensional sphere (all the points on a 4D space that are as far from one point in a 4D space) is: π2/2 R4
N. In general the volume of N-ball, an N-dimensional hypersphere with radius R turns out to be: πN/2 / Γ(N/2+1) RN
You can find the full proof in the book in Persian (pages 45 to 56), and perhaps somewhere on the net in English. Now, ignoring the trivial part of the formula (RN) we end up with a magical co-efficient as a function of N:
πN/2 / Γ(N/2+1)
Where Γ is the Gamma function. Now the value of this function for its integer arguments is straight ahead. It ends up equal to the famous factorial function, multiplication of all integers from 1 to that number [minus one]:
Γ(n) = (n-1)! = 1*2*3*…*(n-1)
Γ(n+1) = n* Γ(n) (n) = 1*2*3*…*n
For non-integers though it will take on funny values to interpolate the factorial results between two integers. For example for the half values right in the middle of two integers, it ends up a rational number (a number that can be written in a form of an integer devided by another one) multiplied by an irrational number which is Γ(½) and happens to be the square root of π, that is not only irrational but transendental:
Γ(n+½) = (n+½)*(n-½)*…*Γ(½)
Now the strange part is that the argument of the Gamma function in our formula is N/2+1. It gets one unit higher for every second added dimension! And that for odd dimensions it will not be an integer or a rational and will include the term Γ(½)=√π.
On the other hand the gamma function in our formula is multiplied by another term of πN/2 which also introduces a √π for every added dimension. Thus, for even number of dimensions none of the terms πN/2 and Γ(N/2+1) introduce a √π and we end up with a rational number multiplied by πN/2 where N/2 is an integer. For odd numbers both of these terms introduce a √π that divides and vanishes. So, there will not be a √π in any of the integer dimensions, even or odd.
Ignoring the rational part of our magical co-efficient, for every second added dimension there will be just one π introduced and the co-efficient for dimensions from 0, 1, 2, 3, … will be as the following:
0 -> 1
1 -> 2
2 -> 2π
3 -> 4/3.π
4 -> 1/2.π2
5 -> 8/15.π2
6 -> 1/6.π3
7 -> 16/105.π3
8 -> 1/24.π4
9 -> 32/945.π4
3 doesn’t get every property of 2, neither does a ball from a circle. To my previous wonder, a ball (3-sphere) did not inherit an additional π from a circle in the calculation of the volume, but 4-sphere did. Is it weird? No, 3-sphere introduces singularity too, two poles in the hairly ball theorem, that are the two ends of a segment (1-sphere), but 4-sphere doesn’t: A circle (2-Sphere) can go round on another full circle around a point and you get a 3-torus or a 4-Sphere that you can comb (no singularity) and they both happens to have π2 in the volume and surface formula. Now you try to rotate the circle, not like you just did on both dimensions of a full circle and around one point, but instead around a segment on its own disk space. And you get a ball (3-sphere) with two inevitable South and North poles (singularity) and this time it does not give you that extra π. So, 3-sphere is just a product of a circle and a line segment (thus singularity, thus no extra π). The product of two circles (3-torus or 4-sphere) gets that extra π and you can also comb it (no singularity)!
Is there an established field on the intersection of algebraic topology and number theory?