Welcome back to the odyssey of geometric algebra, where the math gets deep and the philosophy⌠well, it occasionally dives off the deep end. This post picks up from "The Spin Chronicles (Part 11)" and continues our foray into the natural bilinear forms that emerge within the Clifford algebra of our 3D space. Don't worry if youâre still wondering what that is; just keep in mind that it's an essential way to understand how space itself âbehaves.â And no, we wonât be referencing the cosmic dance between the stars and planetsâbut this will get philosophical enough to warrant a helmet.
Immanuel Kant, who preferred his mornings with a side of metaphysics, once said:
"Space is not something objective and real, nor a substance, nor an accident, nor a relation; instead, it is subjective and ideal, originating from the mindâs nature in accord with a stable law as a scheme, as it were, for coordinating everything sensed externally."
Which is to say, Kant thought of space not as some grand arena laid out by a divine hand, but as a sort of mental wallpaper, perfectly crafted to make sense of the world without needing to be ârealâ in the way rocks or trees are real. Then he doubles down:
"Space is not an empirical concept derived from outer experiences. In order for sensations to refer to something outside me, and for them to be represented as outside and alongside one another in different places, the concept of space must already exist within us."
Basically, Kant argues that space isnât something we pick up by wandering around the world and mapping it in our heads; rather, itâs a kind of mental scaffolding thatâs there from the get-go, allowing us to experience everything else in relation to it.
Now, whether or not you buy into Kantâs perspective here is a different story. Space, after all, feels pretty solid when you bump into a coffee table in the dark. We intuitively âknowâ space, and our DNA may even hold clues to why this intuitive knowledge works so well. Our spatial instincts arenât simply musings; they come from somewhere deeply ingrained, refined by eons of needing to dodge pointy sticks and hungry animals.
But just as we start to think space is on our side, the physicists arrive, white coats flapping, to tell us: âWell, space (and time) arenât absolute. Theyâre relative, dependent on the observerâs inertial frame of reference.â Einsteinâs Special Relativity was a real buzzkill for those who thought theyâd finally âfigured outâ space. Yet, as bold as these physics claims are, theyâre always at the mercy of the next scientific revolution. Mathematics, by contrast, is a steady old friendâunchanging, consistent, and reliably grounded in the Euclidean spaces weâre exploring here.
So, let's put the physics opinions aside for now and dive back into mathematics, where truths stay put and constants stay constant. Today, our quest involves understanding the natural bilinear forms within the geometric Clifford algebra of our classic 3D Euclidean space. Yes, weâre talking about the world where the Pythagorean theorem reigns supreme and the ratio of a circle's circumference to its diameter is that oh-so-familiar Ď â 3.1415926...
So, letâs roll up our sleeves and get back to numbers, forms, and figures that donât play hide-and-seek depending on whoâs looking at them.
We have already discussed the bilinear forms B0 and BĎ. Next in order is Bν(u,v) = tn(ν(u)v),
where
We are using a real basis EA (A=0,1,...,7) in Cl(V):
E0 = 1, E1 = e1, E2 = e2, E3 = e3, E4 = ie1, E5 = ie2, E6 = ie3, E7 =
i.
In this basis the matrix of the real and imaginary parts of Bν are given by:
Both are of neutral signature (++++----).
Finally BĎ, with Ď given by
Ď(u) = (p0,-p)*, where "*" stands for the complex conjugation:
The real part is symmetric, with eigenvalues (+1,-1,-1,-1,-1,-1,-1,+1). The imaginary part is anti-symmetric.
Since Cl(V) carries a natural complex structure, it is even more instructive to consider our bilinear forms as complex valued. For this it is convenient to use the matrix representation with Pauli matrices. Then the complex basis consists of matrices (I, Ď1, Ď2, Ď3), as discussed in The Spin Chronicles (Part 9): Matrix representation of Cl(V) and The Spin Chronicles (Part 10) - Dressing up the three involutions. In this basis we calculate the quadratic forms B0(u,u), BĎ(u,u), Bν(u,u) and BĎ(u,u), for u = (p0,p). Here p0 is a complex scalar, p is a complex vector. We can easily obtain:
B0(u,u) = (p0)2 + p2,
BĎ(u,u) = |p0|2 + |p|2,
Bν(u,u) = (p0)2 - p2,
BĎ(u,u) = |p0|2 - |p|2.
It is somewhat surprising that for Bν and BĎ(u,u)
we are getting a form resembling the 4D Minkowski metric of special
relativity, but that's what mathematics leads to, for its own strange
reasons. We will return to this issue in the future posts. Stay tuned...
E0 = I ->
ReplyDeleteE0 = I1
E7 = iI ->
E7 = i
Re(Bν) ->
Im(Bν)
E0=1 is clear enough. Thanks.
Delete"Both are of neutral signature (++++----)"
ReplyDeleteWhat am I to mean by it?
I see that Re(Bν) matrix has 4 ones and 4 minus ones - OK.
But Im(Bν) matrix has 2 ones and 6 minus ones
Im(Bν) is not a diagonal matrix. Its eigenvalues can not be directly seen from its form, they need to be calculated.
Deleteant-symmetric ->
Deleteanti-symmetric
complex basis consists ->
complex basis consists of
Fixed. Thanks.
Delete"It is somewhat surprising that for Bν and BĎ(u,u) we are getting a form resembling the 4D Minkowski metric of special relativity"
ReplyDeleteThis is not surprising if one notices that Cl(V) has been artificially defined so that such resembling occurs.
But Cl(V) has been defined by the same method than any Clifford algebra for a quadratic form is being defined. There is nothing "artificial" in its construction. The construction is natural and functorial. There is a functor Cliff: from (V,B) to Asoociative algebra with unit. We have applied this functor to 3D V with Euclidean quadratic form.
DeleteWhat IS artificial at the moment is our wish to identify the signature of the bilinear form with the signature of space-time of special relativity theory. Perhaps it is just a coincidence? Or perhaps not? Who knows?
DeleteIsn't the signature of metric in STR matter of convention?
DeleteĐĐ°ŃкОНŃкО Ń ĐżĐžĐ˝Đ¸ĐźĐ°Ń, ŃĐ°ĐşŃиŃĐľŃки аНгойŃĐ° йикваŃĐľŃниОнОв ОйŃодинŃĐľŃ Đ˛ Ńойо два 3D V Ń ĐżĐžĐťĐžĐśĐ¸ŃоНŃнОК и ĐžŃŃиŃĐ°ŃоНŃнОК квадŃĐ°ŃиŃнОК ŃĐžŃПОК, Đ° ĐľŃНи дОйавиŃŃ Đş ниП ŃНоПонŃŃ I, iI, квадŃĐ°Ń ĐşĐžŃĐžŃŃŃ Ńавон +1 и -1 ŃООŃвоŃŃŃвоннО, ŃĐž пОНŃŃиП ĐżŃОиСводонио двŃŃ ĐżŃĐžŃŃŃĐ°Đ˝ŃŃв ĐинкОвŃкОгО Ń ŃаСнОК ŃигнаŃŃŃОК (-,+ + +) и (+,- - -). ĐĐž ĐľŃНи аНгойŃĐ° ĐżŃĐžŃŃŃĐ°Đ˝ŃŃва-вŃоПони ŃŃĐž ĐżŃОдŃĐşŃ ŃĐžŃĐźŃ Đ´Đ˛Đ¸ĐśĐľĐ˝Đ¸Ń ĐźĐ°ŃĐľŃии, ŃĐž наП но ОйОКŃиŃŃ ĐąĐľĐˇ вокŃĐžŃнО-пОНовОгО ĐżŃодŃŃавНониŃ.
Delete@SaĹĄa Yes, to some extent it is a convention. I could have defined our bilinear forms with the minus sign, then we would get the signature -+++.
Delete@Igor Bayak
Delete"ĐĐž ĐľŃНи аНгойŃĐ° ĐżŃĐžŃŃŃĐ°Đ˝ŃŃва-вŃоПони ŃŃĐž ĐżŃОдŃĐşŃ ŃĐžŃĐźŃ Đ´Đ˛Đ¸ĐśĐľĐ˝Đ¸Ń ĐźĐ°ŃĐľŃии...". I would rather say that the concepts of "matter" and "motion" and also "algebra" are creations of an intelligence, of human mind. Different intelligence could have created different concepts. But I have nothing against "вокŃĐžŃнО-пОНовОгО ĐżŃодŃŃавНониŃ." Such a perspective can be also quite useful.
ĐŃОдŃĐşŃОП ŃаСŃПа ŃвНŃŃŃŃŃ Đ˛ŃĐľ аНгойŃŃ, Đ° кОнкŃĐľŃĐ˝Đ°Ń Đ°ĐťĐłĐľĐąŃĐ° Đ˛ĐžĐˇĐ˝Đ¸ĐşĐ°ĐľŃ ĐľŃŃ Đ¸ как ĐżŃОдŃĐşŃ ŃĐžŃĐźŃ Đ´Đ˛Đ¸ĐśĐľĐ˝Đ¸Ń ĐźĐ°ŃĐľŃии.
DeleteAdditionally the very concept of "matter" is also a product of the mind.
DeleteТОгда ПОМнО дОйавиŃŃ, ŃŃĐž ŃĐ°Đź ŃаСŃĐź ŃŃĐž ĐżŃОдŃĐşŃ ĐźĐ°ŃĐľŃии.
ReplyDeleteMatter can do all kind of things, but it can't create "concepts". In particular it can not create the concept of "matter".
DeleteIgor, do you understand that "matter" is itself only a concept? A "category". There are many kinds of philosophical systems possible. In one of them, usually called "materialism", matter is considered as a primitive concept. Some other philosophers take "process" as a fundamental concept. You seem to subscribe to one philosophy. Of course it is your free will, your choice. Fine. But realize that other philosophies exist and have their advantages. In India, for instance, a different philosophy is prevailing, and it is successful with its fruits. Ramanujan for instance, had his phenomenal ideas about numbers coming from a Goddess. And he was certainly not a materialist. Materialism does not necessarily helps. Sometimes it may help, some other tim it can be an obstacle to progress.
To quote from the paper
Deletehttps://www.academia.edu/124180319/_The_proof_of_the_pudding_is_in_the_eating_Reflections_and_notes_on_Marx_and_Engels_materialistic_interpretation_of_history
"In conclusion, the most useful advice for correctly understanding the concrete application of historical materialism and its implications was formulated by Karl
Korsch when he wrote:
Engels once quoted the English proverb: The proof of the pudding is in the eating. It is not a long theoretical discussion that can decide whether a scientiďŹc method is right or wrong;
the ultimate test is always only by âpracticallyâ putting the method itself to the test."
ĐŻ пОд ПаŃĐľŃиоК ĐżĐžĐ˝Đ¸ĐźĐ°Ń Đ˝Đľ ĐżŃĐžŃŃĐž кОнŃопŃиŃ, Đ° ŃоаНиСаŃĐ¸Ń (Đ°ĐşŃŃаНиСаŃиŃ) ŃŃОК кОнŃопŃии в ĐżŃиŃОдо, пОŃŃĐžĐźŃ ŃакОК ПаŃĐľŃиаНиСП ŃŃĐž но ĐżŃиПиŃĐ¸Đ˛Đ˝Đ°Ń ĐşĐžĐ˝ŃопŃиŃ, Đ° вŃŃ ŃаСнООйŃаСио ĐżŃиŃОдŃ, в ŃОП ŃиŃНо и огО вŃŃŃĐ°Ń ŃĐžŃПа - ŃаСŃĐź. Đ ĐžŃŃĐ°ĐťŃнОП Ń Ń Đ˛Đ°ĐźĐ¸ ŃОгНаŃон - ОпиŃŃваŃŃ ŃŃĐž ŃаСнООйŃаСио ПОМнО пО ŃаСнОПŃ.
DeleteIgor, Ń ĐżĐžĐ˝ŃĐť.
Delete