Sunday, November 17, 2024

The Spin Chronicles (Part 14): The Universe and Clifford group actions

 I can't refrain myself from starting this post with a quote from the Introduction to the paper "Conformal Mappings, Hyperanalyticity and Field Dynamics" by V.V. Kassandrov (1993): Here it goes:

"1. Introduction

It seems impossible to imagine that the primary Void, which contains the divine diversity of forms, determines the dynamics of the World. However, we have to believe and try to understand it, else we are destined to stay on the primitive level of ‘geographical’ phenomenology.
Maybe it is wise to give up, for a while, all the principles and laws established by our great predecessors, even such ‘fundamental’ laws as Lorentz invariance, gauge symmetry or the minimal action principle. We should not flatter ourselves with their apparent beauty – they are neither basic nor primary, since they themselves are to be explained and grounded. It is also valid for most remarkable empirical facts, such as the invariance of light velocity, the quantization of electric charge, the universality of the inverse square law.
We may regard these facts as axioms and then proceed as far as possible in constructing a fruitful physical theory. This is just the way Einstein created his special theory of relativity (STR).
It seems more attractive to find a new interpretation of well-known physical phenomena, where the existence of the correspondent correlation becomes self-evident (as the equality of gravitational and inert masses after a geometric treatment of gravitation in general theory of relativity (GTR)). There still exists another way of thought, the most thankless one but promising. This is the way bequeathed by Pythagoras, Hamilton, Eddington and other Grands, the way chosen by Einstein in the last half of his life. Here we suppose the existence of exceptional relational structures of a purely mathematical nature and intend to discover them and formulate a unique abstract principle on their basis. The characteristic differential equations, algebro-geometrical properties and other relations should then follow from this principle only. Here it is necessary to bring in conformity all the mathematical categories and solutions with the
quantities describing real objects. If and only if the complete correspondence is achieved, we should consider the Universe as a ‘reflection’, a ‘realization’ of this abstract Principle! 
 

The Universe as a ‘reflection’, a ‘realization’ of this abstract Principle! 

One has to understand that such ideology contradicts the widespread treatment of mathematics as a merely subjective formalism. On the contrary, one has to assume that there do exist completely objective laws in its very structure (see [1]), which have to be discovered and identified with physical laws. In this article we try to show that the afore-stated approach is not so fabulous as it seems at the first sight. Naturally, at once it is impossible to establish that very Principle whose structure carries the main part of physical phenomenology.
Nevertheless, even within the frame work of Hamilton’s and his followers’ well-known ideas, it becomes possible to reveal the wonderful correlations between the properties of an exceptional mathematical structure – the algebra of quaternion-like type – and the physics and geometry of space-time.[...]"


This is exactly the philosophy I am trying to follow in this series. In The Spin Chronicles (Part 13) we have introduced the group G:

G = {g∈Cl(V): ∆(u) = 1},

where ∆(u) = Bν(u,u) = (p0)2 - p2.

In fact we do not even need ∆(u) in this definition - we need only the Clifford conjugation ν itself, since the element ν(u)u automatically belongs to the center of Cl(V), and we have, as can be verified from the form of the product, and the form of  ν(u) (Part 11):

uv = (p0q0 + p·q,  p0q + q0p + i pq),

ν(u) = (p0,-p).

Therefore

ν(u)u = uν(u) =  ((p0)2 - p2)1.

Exercise 1. Verify the last formula.

Once we have a group, we analyze its natural actions. By definition we say that a group G acts on a set S if there is a map G ⨯ S ⟶S, denoted (g,s) ⟼ g·s, such that, for all s we have e·s = s, where e is the identity of the group, and for  all g,h in G and all s in S we have g·(h·s) = (gh)·s. In our case for the construction of natural actions we have at our disposal the automorphism π, and two anti-automorphisms ν, and τ. The following four actions are natural:

1). g·u = g u τ(g),

2). g·u = g u ν(g),

3). g·u = π(g) u τ(g),

4). g·u  = π(g) u ν(g).

Exercise 2. Verify that all four cases are indeed group actions.

We will consider them one by one.

Case 1. We recall the form of τ:

τ(u) = (p0,p)*,

where "*" denotes the complex conjugation. Every element of Cl(V) can be decomposed as

u = (u+τ(u))/2 + (u-τ(u))/2.

We can write it as u = uR + uI. Then  τ(uR) = uRτ(uI) = - uI. In other words we split Cl(V) into a direct sum of two eigensubspaces of τ. It can be easily checked that these eigenspaces are invariant under the action 1).

Exercise 3. Verify the last statement.

In order to analyze the group action we will consider its one-parameter subgroup of the form g(t)=exp(t X), where X is in Cl(V), t is real parameter. To have ν(g(t))g(t)=1, since

ν(exp( t X)) = exp(t ν(X)),

we must have ν(X)=-X. Therefore X must be of the form (0,v+iω), where v and ω are real vectors.

Exercise 4. Prove the last statement.

We will continue our analysis in the next post.

29 comments:

  1. "In fact we do even need ∆(u) " ->
    "In fact we do NOT even need ∆(u) " ?

    ReplyDelete
  2. What's with AI generated images and faces/heads of people there? As soon they get out of the main image focus they become monster-looking, all discombobulated and messed up! Those cheerleaders in Part 5 and footballers in Part 13 were really creepy! And here a man or a lady on the left is even missing his head completely.

    ReplyDelete
    Replies
    1. That's classics. See https://en.wikipedia.org/wiki/Pieter_Bruegel_the_Elder

      Delete
    2. Or this: https://www.guggenheim.org/artwork/3542

      Delete
    3. OK, I see what you mean, although AI outdid itself with those cheerleaders and footballers, some of their faces really do not resemble human. O.o

      Delete
    4. It's my fault/style. Sometimes I want to have it "realistic", but mostly I do not. I am happy with surrealism. The world around us is quite often surreal.

      Delete
  3. "In other words we split Cl(V) into two eigensubspaces of τ."

    What is the designate of the word "split"?

    ReplyDelete
    Replies
    1. We write Cl(V) as a direct sum of two subspaces.

      Delete
    2. Splitting reminds me of dividing into parts, the (mere) sum of which makes a whole.

      Should your "splitting" be equipped with the adjective "direct"?

      Anyway adjective direct in "direct sum" is somewhat silly, isn't it?

      Delete
    3. OK. I updated the post adding "direct sum" and a link to a definition. Thank you.

      Delete
    4. I don't know what I am doing but anyway:
      Ex. 2.1
      h·u = h u τ(h)
      so
      g·(h·u) = g h u τ(h) τ(g)
      on the other hand
      (g h)·u = g h u τ(g h)

      but τ is anti-automorphism so
      τ(h) τ(g) = τ(g h)

      Does that have any sense?




      Delete
    5. And that is all that is needed! Congratulations!

      Delete
    6. Ex. 2.3
      h·u = π(h) u τ(h)
      so
      g·(h·u) = π(g) π(h) u τ(h) τ(g)
      on the other hand
      (g h)·u =π(g h) u τ(g h)

      It remains to be determined if
      π(g) π(h) =π(g h)
      or if
      g* h* = (gh)*

      Delete
    7. π is an automorphism of the algebra, so π(uv) =π(u)π(v) for any two elements of the algebra. Of course this can be verified in a number of ways. But probably the simplest way is from the definition: π changes the sign of odd elements, leave even unchanged. and the products odd odd = even, even even even, even odd = odd, odd even = odd.

      Delete
    8. I don't know how to do Ex. 3

      Delete
    9. Perhaps it is false? I have to check....

      Delete
    10. Hint: use the fact that τ is an anti-automorphism and that its square is identity. Check that if τ(u)= u, then τ (guτ(g) )=guτ(g).

      Delete
    11. I see.
      Analogously:
      if τ(u)= -u
      then
      τ(guτ(g)) =τ(τ(g))τ(gu) = gτ(gu) = gτ(u)τ(g) = -guτ(g)
      Do I see well?

      Delete
    12. But what about the case if τ(u)= --u?

      Delete
    13. "But what about the case if τ(u)= --u?"

      ?!
      --u = u

      Delete
    14. "Sorry! τ(u) = -u"

      I just did that at 1:21 PM

      Delete
    15. Where are my eyes? Tha'ts probably because yesterday I installed anti-blue-light filters on my screens!

      Delete
  4. This math game is great, but what does it have to do with physics (with spin)?

    ReplyDelete
    Replies
    1. I am asking myself the same question! But we are getting there. Tomorrow it will start awaking from sleep.

      Delete

Thank you for your comment..

Spin Chronicles Part 27: Back to the roots

  We have to devote some space to Exercise 1 of the previous post .  Back to the roots The problems was: Prove that <ba,c> = <b,ca...