Saturday, February 4, 2023

Adventure with G-structures


 Once in a while we have to learn something new. Once in a while we have to learn again what we have already forgotten. I need to learn again about G-structures. They are as exciting as G-spots, or even more. So, here is the piece from Kobyashi-Nomizu Vol. 1, p. 288

3. Chern [3] defined the notion of a G-structure on a differentiable manifold M, where G is a certain Lie subgroup of GL(n; R) with n = dim M. In our terminologies, a G-structure on M is a reduction of the bundle of linear frames L(M) to the subgroup G. For G = O(n), a G-structure is nothing but a Riemannian metric given on M (see Example 5.7 of Chapter I). For a general theory of G-structures, see Chern [3], Bernard [1] and Fujimoto [1]. We mention some other special cases. Weyl [3] and E. Cartan [3] proved the following. For a closed subgroup G of GL(n; R), n>=3, the following two conditions are equivalent:

(1) G is the group ofall matrices which preserve a certain non-degenerate quadratic form of any signature:

(2) For every n-dimensional manifold M andfor every reduced subbundle

P of L (M) with group G, there is a unique torsion-free connection in P.

The implication (1) -> (2) is clear from Theorem 2.2 of Chapter IV (in which g can be an indefinite Riemannian metric); in fact, if G is such a group, any G-structure on M corresponds to an indefinite Riemannian metric on M in a similar way to Example 5.7 of Chapter I. The implication (2) -> (1) is nontrivial. See also Klingenberg [1].

Let G be the subgroup of GL(n; R) consisting of all matrices which leave the r-dimensional subspace Rr of Rn invariant. A G-structure on an n-dimensional manifold M is nothing but an r-dimensional distribution. Walker [3] proved that an r-dimensional distribution is parallel with respect to a certain torsion-free linear connection if and only if the distribution is integrable. See also Willmore [1, 2].

Let G be GL(n; C) regarded as a subgroup of GL(2n; R) in a natural manner. A G-structure on a 2n-dimensional manifold M is nothing but an almost complex structure on M. This structure will be treated in Volume II.

We will have to talk a little bit about Lie groups ("Lie" for Sophus Lie, Norwegian mathematician, pronounced /l/ LEE)) and Lie algebras

This way I will recall for myself, as well as for any interested Reader,  the necessary definitions.

Not every smooth manifold can carry a group structure. For instance the two-dimensional sphere. It can be acted upon by a group (for instance the 3D rotation group), but it cannot be a group itself. A good reason for it is that any n-parameter Lie group has n nowhere vanishing, nonsingular,  vector fields. Such vector fields exist on the 3D sphere (that is impossible to imagine, because it needs four dimensions), but not on a two-dimensional spherical surface. The fact of life.  Or "The hairy ball theorem of algebraic topology (sometimes called the hedgehog theorem in Europe)"

The theorem was first proved by Henri Poincaré for the 2-sphere in 1885,[4] and extended to higher even dimensions in 1912 by Luitzen Egbertus Jan Brouwer.


"Hairy ball". Any vector field on the 2D sphere must have at least one singular point. The graphics represents one of the two polarization vector fields of a photon, as seen by an observer moving with the speed of light, drawn on the unit sphere in the momentum space. Thanks are due to JS and AMS for their interest, help, and cooperation with this unfinished project.

Wikipedia has a smoother and prettier illustration of a one-pole vector field on the 2-sphere:


What we will need is a fundamental one-form on a Lie group. But to discuss this form we will need vector fields, the notion of left-invariance, and the construction of the Lie algebra of a Lie group


Not to be continued.... 

1. Good news this morning. After four years of work and several serious revisions (like fixing a false proof of a false theorem!) my paper "On the Bundle of Clifford Algebras Over the Space of Quadratic Forms" has finally been published today, 06/02/23. I started writing it as  summary of all hat I know about Clifford algebras, but then it developed all by itself into an original publication. Its first original title was "Summa Cliffordiana".  End of this saga.

Antisymmetric bilinear forms define there morphisms of Clifford algebras within Grassmann algebra. They may have something to do with the action of consciousness which does not act using what we call "force", like other forces of nature. Matter fields do not necessarily care which "gauge" we are using. Consciousness, on the other hand, does care. Thus "All is hidden in plain sight". But that is for the future.

2. 06-02-23 16:20 I decided to change my mind. I will not write about trivial matters. Makes no sense. This blog is more like a personal journal. Writing thoughts down helps in making them more clear to oneself. I have a lot of fuzzy thoughts, often contradictory, and not in an evident way. Writing these thoughts down enforces clarity and shows explicitly hidden contradictions.

3. Concerning Lie group, Lie algebras, and invariant metrics I have just discovered very nice posts from the past on another blog
http://arkadiusz-jadczyk.eu/blog/2017/05/riemannian-metrics-left-bi-invariant/
http://arkadiusz-jadczyk.eu/blog/2017/05/killing-vectors-geodesics-noethers-theorem/
http://arkadiusz-jadczyk.eu/blog/2017/05/geodesics-left-invariant-metrics-matrix-lie-groups-part-1/
http://arkadiusz-jadczyk.eu/blog/2017/05/geodesics-left-invariant-metrics-matrix-lie-groups-part-2-conservation-laws/

Studying them now with a true interest, even though I do not necessarily agree with the way it is written there. I do not understand everything there; as it is written, it is not sufficiently clear .

4. 07-02-23 7:30 :

  "In life never do as others do.”  

“Either do nothing—just go to school—or do something nobody else does."


Right now I am going to school. To teach myself about geodesics of left invariant metrics on Lie groups. I thought there was a time when I understood this subject pretty well, but now I am not so sure.

Whenever you meet an obstacle - use it to your advantage, as an opportunity to become stronger and to grow.
A.J.

5. 07-02-23 10:35 Reading now:
Katsumi Nomizu, Invariant Affine Connections on Homogeneous Spaces
American Journal of Mathematics, 
Vol. 76, No. 1 (Jan., 1954), pp. 33-65


Happy they look - these great mathematicians. 

In the Photo:

Location: Oberwolfach

Author: Ferus, Dirk (photos provided by Ferus, Dirk)

Source: Dirk Ferus, Berlin

Year: 1974

Copyright: Dirk Ferus, Berlin

6. 11:35: Discipline, discipline, discipline


7. 12:00 Paying attention to reality left and right:
Steady decline (of the readership of this blog)

8. 12:30 Freedom and free will. It is true that we can't do everything. But the theory that we do no have free will is only a theory. We are free to accept it or not. Even if we can't do everything, a every moment, there is infinitely many different choices that we are free to make. We can use this freedom or not. It is our free will. Choices that we do not make are being made, randomly or not,  by "fate", these are our lost opportunities.

9. 08-02-23 7:45: I am reading Manjit Kumar, "Quantum: Einstein, Bohr, and the Great Debate about the Nature of Reality". Very well written. Everyone interested in the history of physics, in particular history of thermodynamics, should read this book. I am on the side of Albert Einstein. There IS an objective reality (though not necessarily a purely material one), contrary to what the recent fashion is telling us.

10. 09-02-23 9:30 Fighting with the meaning of U(2) and its double cover I reminded myself about a very good resource that everybody should have: John Baez, "Introduction to Algebraic and Constructive Quantum Field Theory". It has a chapter on Clifford systems and also sections about group representations and renormalization. See also this by the same author (
His uncle Albert Baez was a physicist, a co-inventor of the X-ray microscope, and father of singer and progressive activist Joan Baez. Albert interested him in physics as a child.).

18 comments:

  1. Bjab -> Ark
    Obserwator nie może poruszać się z szybkością światła. (Tym bardziej nie może kosić z taką szybkością)

    ReplyDelete
    Replies
    1. Observer can't move with light velocity? I think that non-material observers not only CAN do it, but actually they DO IT, and without special problems.

      Delete
    2. Bjab -> Ark
      Nieistniejące byty mogą wszystko, mogą doskonale kosić nieistniejącą trawę ("observer mowing")

      A dlaczego nie istnieją niematerialni obserwatorzy? Otóż fraza: "non-material observer" ma w googlu mniej niż 150 znalezisk - więc nie istnieją.

      Delete
  2. It is moving now. Thank you.
    Non-material observers exist. Watch the Steven Spielberg's movie "Just like heaven (2005)", or read the book by Marc Levy "Et Si C'était Vrai" ( Polish translation: "Jak w niebie" lub "A gdybyby to była prawda".

    The movie is based on the book, not that deep, but perhaps more entertaining.

    Google is biased. Shows different things to different people. We watched the movie last night. It's true! Ghosts should be helped rather than just dismissed as non-existent.

    ReplyDelete
    Replies
    1. I checked. It is not, in fact, Stephen Spielberg's film. He has just obtained rights. My mistake.

      https://en.wikipedia.org/wiki/Just_like_Heaven_(film)

      Delete
  3. "There IS an objective reality (though not necessarily a purely material one), contrary to what the recent fashion is telling us.".

    The question that immediately arises: How do you define objective reality?

    ReplyDelete
  4. https://corporatecoachgroup.com/blog/the-difference-between-objective-and-subjective-reality

    This definition is quite primitive and shallow. Some very important issues are not covered. It seems a bit like naive realism.

    But it is good. I will soon write about objective reality from the perspective of the philosophy of Plotinus and Hegel.

    ReplyDelete
  5. https://www.youtube.com/watch?v=YYgOT2DZ-J8&ab_channel=TheAtlasSociety%2CLtd

    I already like this video better than the previous link, but it's still being told from the perspective of an objective realist.

    First of all, I don't agree with the statement that mysticism is a cognitive dead-end.

    For my part, I recommend a different perspective on similar issues: https://en.wikipedia.org/wiki/Enneads

    I am fascinated by some aspects of his philosophy.

    ReplyDelete
  6. And look here:

    https://www.researchgate.net/publication/289972304_Time_and_eternity_from_plotinus_and_boethius_to_einstein

    And there:

    "This article seeks to show that the views on time and eternity of Plotinus and Boethius are analogous to those implied by the block-time perspective in contemporary philosophy of time, as implied by the mathematical physics of Einstein and Minkowski. Both Einstein and Boethius utilized their theories of time and eternity with the practical goal of providing consolation to persons in distress; this practice of consolatio is compared to Pierre Hadot's studies of the "Look from Above", of the importance of concentrating on the present moment, and his emphasis on ancient philosophy as providing therapy for the soul, instead of mere abstract speculation for its own sake. In the first part of the article, Einstein's views are compared with those of Plotinus, and with the elucidation of Plotinus' views provided in the Arabic Theology of Aristotle.".

    ReplyDelete
  7. And maybe this:

    https://www.geniuses.club/genius/plotinus

    ReplyDelete
  8. I have a short portion of questions. But first some hypothetical facts.

    1) From the results so far, it appears that under certain assumptions, new models of relativistic quantum mechanics can be obtained. They boil down to finding a self-adjoint representation of a certain quadratic algebra with 10-generators in the inner p. Hilbert space of the described system, called HRA (Hamiltonian relativistic algebra). The assumption that this space is finite dimensional reproduces the well-known Dirac theory for particles with spin 1/2.

    2) Photons do not have a "good", or exactly universally accepted, quantum mechanical description (except perhaps the BB approach). The standard model is a kind of quantum field theory, whose results (which work perfectly well at the LHC!) are obtained perturbatively without a clear mathematical structure...

    3) We also managed to find a certain class of HRA representations related to irreducible representations of Lie algebras of the Poincare group with fixed mass and spin, which lead to new, previously unconsidered models of relativistic quantum mechanics.

    Q1) Also, can representations with zero mass and set helicity (e.g., photon representations) be used to generate new representations?

    Q2) Can such a free "Dirac" equation be solved? How to deal with the problem of spectrum outside the Hilbert space?

    Q3) The renormalization problem. Mathematically, many things are very wrong with it. And this is a serious problem. Very serious...

    ReplyDelete
  9. in the inner Hilbert space* (little groups etc.).

    ReplyDelete
  10. For quantum mechanics interpretations, objective is kind of Objective Collapse interpretations vs. Copenhagen's you can't say what is actually happening. Objective collapse does seem better. I first came across Plotinus when reading Augustine's book. That block B-series of time "nothing changes" philosophy seems correct in the sense of all possible states pre-existing eternally but then you need an A-series of time "everything changes" philosophy for continuously going from one pre-existing state to another. Besides Plotinus, it's also a Parmenides vs. Heraclitus thing.

    Probably need definitions for material vs. immaterial too. All information/consciousness at the highest unbroken symmetry level would seem immaterial at least in the sense of anything known but would massless particles fall under immaterial or not? I don't even know how to use normal adjectives for things like a degenerate metric or conformal inversion.

    ReplyDelete
    Replies
    1. @John G

      Like Plotinus, Parmenides taught that as soon as one ceases to think about all the illusory objects that dazzle the senses, one's thoughts immediately merge with that which truly exists - the perfect, one and only true being.

      However, I prefer Plotinus' philosophy. It is more sublime, and reminds me of mathematical category theory, only that it is unformalized. In addition, I see mystical insights in his writings.

      Besides, I also see some similarities between Plotinus' philosophy and EEQT, this time, these changes.... They are like phase transitions. Between ways of "being". It's a bit like time itself, not just its manifestations, it brings it closer to the nature of time, to the noumena behind the manifestations called time.

      Delete
  11. Plotinus, however, continues to be beautiful. So is Dirac's equation implying the existence of antimatter (Getting to know the mind within yourself). Only, there is still a problem - renormalization.

    And now the question: how to apply Plotinus' peculiar philosophy to the concept of renormalization? Well. Going down the ladder of entities, something must be given up. Physical theories would like to be perfect on every scale. But scale is isomorphic to the hierarchy of entities. This will not be possible. An approach from the other side is needed, because mathematically it just doesn't work out....

    Just how to explain it to others....

    It is necessary to sacrifice the Hetman... General Relativity has to be sacrificed. The question is: how? But it is rather this direction that physics is unfortunately about. "Unfortunately", because General Relativity is beautiful. And one more thing puzzles me... Space and anti-space. The manifold dense...

    But first... Mackey's theorem...

    Unitary representations of compact groups as the direct sum of irreducible representations. And the same happens in topological structures. Now it is necessary to put this together. How? This is already fairly straightforward. Category theory.

    This is beautiful. This regularity seems to occur at every possible level!!! However, writing about it requires further analysis.

    ReplyDelete
  12. Does anyone know of any literature where I could find answers to the questions from yesterday's comment at 7:15 PM?

    I have looked for them in Varadarajan's book, but the answers are not there.

    ReplyDelete
  13. "G is a certain Lie subgroup of GL(n; R) with n = dim M.".

    A representation of a group G on a vector space V over a field K is a group homomorphism from G to GL(V), the general linear group on V and dimension of V is called the dimension of the representation.

    In the case where V is of finite dimension n it is common to choose a basis for V and identify GL(V) with GL(n, K), the group of n-by-n invertible matrices on the field K. In our case K=R and V=M.

    Can it be understood in this way?

    ReplyDelete
  14. Can we write like this?:

    \rho: G -> GL(n,R)

    And then the kernel of a representation \rho of a group G is the normal subgroup of G whose image under \rho is the identity transformation, i.e.

    ker(\rho): {g \in G, \rho(g) = I}.

    ReplyDelete

Thank you for your comment..

The Spin Chronicles (Part 9): Matrix representation of Cl(V)

 This post is a continuation of the last post in the series: The Spin Chronicles (Part 8): Clifford Algebra Universal Property Embedded in ...