a4125
| 25 |
|---|
Μη-τετριμμένη επέκταση της ομάδας του Galileo.
Η ομάδα του Bargmann (1960)
Οι παρακάτω πίνακες (βλ. τα μου σημειώσεις για ομάδες)
(338)
αποτελούν μια ομάδα, ανακαλυφθείσα από τον Bargmann το 1960. Εδώ πάλι, ασκείται σε ένα χώρο πέντε διαστάσεων. Η διάστασή της είναι 11, λόγω της παρουσίας του αριθμού f. Πρόκειται για μια μη-τετριμμένη επέκταση της ομάδας του Galileo.
(339)
Αν υπολογιστεί η συζυγής δράση της ομάδας στο ορμή, παίρνουμε:
(340)
...Βλέπουμε ότι αυτή η συζυγής δράση είναι πιο λεπτομερής, και η μάζα αλληλεπιδρά με τα άλλα στοιχεία της ορμής. Αναλύσαμε αυτό παραπάνω και δείξαμε πώς αυτό δίνει φυσική σημασία στα στοιχεία της ορμής.
...Μια ορμή είναι ένα κίνημα μιας συγκεκριμένης σωματιδίου. Η ομάδα του Bargmann περιγράφει τα μη σχετικιστικά κινήματα. Μπορούμε να θεωρήσουμε ένα σωματίδιο σε ηρεμία, χωρίς ενέργεια, χωρίς ορμή, χωρίς σπιν. Απλά μια μη μηδενική μάζα:
m
**p **= 0
E = 0
**f **= 0
**l **= 0
Χρησιμοποιούμε το ακόλουθο στοιχείο της ομάδας του Bargmann:
(341)
Οι συνιστώσες της ορμής γίνονται:
(342)
...Σε ένα σύστημα συντεταγμένων που συνδέεται με το σωματίδιο, το πέρασμα **f **παραμένει μηδενικό. Έχουμε δείξει ότι ο πίνακας του σπιν ταυτίζεται με την κινητική ορμή.
...Εδώ, το σημαντικό είναι να εξετάσουμε την τετριμμένη επέκταση της ομάδας του Galileo (γιατί «ειδική»; αυτό θα εξηγηθεί παρακάτω). Όταν εκτελεστεί αυτή η τετριμμένη επέκταση, προστίθεται απλά ένας πρόσθετος αριθμός στην ορμή.
Εξετάστε τώρα την επέκταση της ομάδας του Poincaré:
Κεντρική επέκταση της ομάδας του Poincaré. (343)
«ep» σημαίνει «επεκταμένη ομάδα Poincaré». Lo είναι το στοιχείο του υποομάδας ορθοχρόνου Lo της πλήρους ομάδας Lorentz L. Έτσι, μπορούμε να θεωρήσουμε το παραπάνω στοιχείο ως την υποομάδα ορθοχρόνου Gepo μιας πλήρους επεκταμένης ομάδας Poincaré, του οποίου το στοιχείο είναι:
(344)
Και τα δύο ασκούνται σε ένα χώρο πέντε διαστάσεων:
(345) ( t , x , y , z , z ).
Μπορεί να αποδειχθεί ότι αυτή η επέκταση δεν μπορεί να υποστηρίξει μη μηδενικούς όρους στην πρώτη γραμμή, αντί για 0 = ( 0 0 0 ), μεταξύ 1 και f.
...Όπως έδειξε ο J.M. Souriau, η μέθοδος της γεωμετρικής ποσοτικοποίησης (μέθοδος Kostant-Kirillov-Souriau) επιτρέπει την απόκτηση της εξίσωσης του Schrödinger από την ομάδα του Bargmann και της εξίσωσης Klein-Gordon από την επεκταμένη ομάδα Poincaré ( Structure des Systèmes Dynamiques, Dunod Éd. 1972). Επιπλέον, αυτή η κεντρική επέκταση της ομάδας προσθέτει έναν πρόσθετο αριθμό στην ορμή (όπως στην τετριμμένη επέκταση της ομάδας του Bargmann):
(346)
Jep= { c , M , P } = { c , Jp }
Jp αντιπροσωπεύει την κλασική ορμή της ομάδας Poincaré. Τότε η συζυγής δράση της ορμής γίνεται απλά:
(347)
Ο υπολογισμός δεν είναι δύσκολος και είναι παρόμοιος με αυτό που παρουσιάστηκε παραπάνω. Υπολογίζουμε την αντίδραση:
(348)
Στη συνέχεια, η δυικότητα εκφράζεται μέσω της σταθερότητας του ακόλουθου αριθμού:
(349)
...Έτσι παίρνουμε έναν πρόσθετο αριθμό c, ο οποίος απλά διατηρείται από τη συζυγή δράση. Από τότε, αυτός ο αριθμός δεν είχε λάβει φυσική ερμηνεία. Θα το διευκρινίσουμε όλο αυτό στη συνέχεια. Φυσικά, μπορούμε να επεκτείνουμε την ομάδα όσες φορές θέλουμε:
(350)
Κάθε φορά, προσθέτουμε έναν πρόσθετο αριθμό
(351) Jpe = { c 1 , c 2 , c 3 ....., M , P } Jpe = { c 1 , c 2 , c 3 ....., Jp } και η συζυγής δράση γίνεται:
(352)
Ο αναγνώστης θα πει: «Καλά, γιατί να μην προσθέσουμε 57 νέους αριθμούς;»
Απλά προσθέστε έξι και ταυτοποιήστε αυτούς τους νέους αριθμούς με
(353)
c 1 = q (ηλεκτρικό φορτίο)
c 2 = cB (φορτίο βαρυονίου)
c 3 = cL (φορτίο λεπτονίου)
c 4 = cm (φορτίο μιονίου)
c 5 = ct (φορτίο ταυονίου)
c 6 = v (συντελεστής γυρομαγνητικός)
Η ομάδα δρα στον ακόλουθο χώρο δέκα διαστάσεων:
(354) ( x , y , z , t , z 1 , z 2 , z 3 , z 4 , z 5 , z 6 )
δηλαδή: χωροχρόνος πλέον έξι πρόσθετες διαστάσεις.
(355)
Θυμηθείτε ότι αυτή η ομάδα κατασκευάζεται από την υποομάδα ορθοχρόνου
Lo = Ln (ουδέτερο τμήμα) U Ls (που αντιστοιχεί στη χωρική αντιστροφή)
της πλήρους ομάδας Lorentz L.
Η ορμή γίνεται:
(356)
Jpe = { q , cB , cL , cm , ct , v , Jp }
Jp είναι το τμήμα της ορμής που αντιστοιχεί στην ομάδα Poincaré Gop (υποομάδα ορθοχρόνου).
Ποια είναι η φυσική σημασία;
...Η ορμή ανήκει σε ένα χώρο, ο οποίος είναι μια n-πολυεπιφάνεια. Η ομάδα Poincaré έχει δέκα διαστάσεις, οπότε η ορμή της ομάδας Poincaré αποτελείται από δέκα ποσότητες.
Στη συνέχεια, προσθέτουμε έξι πρόσθετες διαστάσεις στην ομάδα, που αντιστοιχούν στις πρόσθετες φάσεις:
(357)
f1 ,f2 ,f3 ,f3 ,f5 ,f5
Η ορμή γίνεται:
(358) Jpe = { J1, J2 J3, J4, J5, J6, J7, J8, J9, J10, J11, J12, J13, J14, J15, J16 }
Αποφασίζουμε ότι ανάμεσα στο σύνολο των αριθμών
(359) Jp = { J7, J8, J9, J10, J11, J12, J13, J14, J15, J16 }
ταυτοποιούμε την ενέργεια E, την ορμή p, το πέρασμα f, τον αντισυμμετρικό πίνακα του σπιν l.
...E και p μπορούν να πάρουν όλες τις δυνατές τιμές, αλλά τα κβαντικά επιχειρήματα απαιτούν τη σταθερότητα του μέτρου s του διανύσματος του σπιν (σε ένα σύστημα συντεταγμένων που συνδέεται με το σωματίδιο), το οποίο δεν είναι δικαιολογημένο εδώ και αντιστοιχεί στο έργο του Souriau.
Έχουμε έξι πρόσθετους αριθμούς:
(360) J1, J2 J3, J4, J5, J6
...Αποφασίζουμε ότι, ανάμεσα σε ένα άπειρο αριθμό δυνατών επιλογών, ορισμένες διακριτές επιλογές αντιστοιχούν σε πραγματικά σωματίδια (και αντισωματίδια). Έτσι, στη 16-πολυεπιφάνεια που αντιστοιχεί στο χώρο της ορμής επιλέγουμε κινήσεις διακριτές που αντιστοιχούν σε σωματίδια, με ορισμένους κβαντικούς αριθμούς
(361) { q , cB , cL , cm , ct , v }
...Για τη στιγμή, η συζυγής δράση της ομάδας εξασφαλίζει απλά τη διατήρηση αυτών των ποσοτήτων, κατά τη διάρκεια των δοθέντων κινήσεων. Υπάρχουν «δραστικοί κβαντικοί αριθμοί» καθώς και η μάζα εμφανίζεται ως μια δραστική ποσότητα, όταν προέρχεται από την τετριμμένη επέκταση της ομάδας του Galileo.
Δείτε τη θεωρία των ομάδων δυναμικών
Πρωτότυπη έκδοση (αγγλικά)
a4125
| 25 |
|---|
Non-trivial extension of the Special Galileo's group.
**The Bargmann's group **( 1960 )
The following matrixes ( see my lectures on groups )
(338)
form a group, discovered by Bargmann in 1960. Here again, it acts on a five-dimensional space. Its dimension is 11, due to the presence of the scalar f . It's a non-trivial extension of the Special Galileo's group.
(339)
If one compute the coadjoint action of the group on its momentum, one gets :
(340)
...We see that this coadjoint action is more refined and that the mass interacts with the other components of the moment. We have analyzed that above and shown how it brings the physical meaning of the momentum's components.
...A momentum is a movement of a given particle. The Bargmann's group describes non-relativist movements. We may consider a particle at rest, with no energy, no impulsion, no spin. Just a non-zero mass :
m
**p **= 0
E = 0
**f **= 0
**l **= 0
We use the following element of the Bargmann's group :
(341)
The components of the momentum become :
(342)
...In a system of coordinates linked to the particle the passage **f **is still zero. We have show than the spin matrix identifies to kinetic momentum.
...Here, what is important is to look at the trivial extension of the Special Galileo's group (why "special" ? This will be explained further). When one performs this trivial extension, it just brings an additional scalar to the momentum.
Let us extend the Poincaré's group :
Central extension of the Poincaré's group. (343)
"ep" means "extended Poincaré's group". Lo is the element of the orthochron sub-group Lo of the complete Lorentz group L. So that we may consider the above element as the orthochron sub-group Gepo of a complete extended Poincaré's group, whose element is :
(344)
The two act of five dimensional space :
(345) ( t , x , y , z , z ).
On can show that this extension cannot stand non zero terms on the first line, instead 0 = ( 0 0 0) , between 1 and f .
...As shown by J.M.Souriau, the geometric quantification method (Kostant-Kirilov-Souriau method) brings the Schrödinger equation from the Bargmann's group and the Klein Gordon equation from the extended Poincaré's group ( Structure des Systèmes Dynamiques, Dunod Ed. 1972 ). In addition this central extension of the group adds an extra scalar to the momentum (as in the trivial extension of the Bargmann's group) :
(346)
Jep= { c , M , P } = { c , Jp }
Jp represents the calssical Poincaré's momentum. Then the coadjoint action of the momentum simply becomes :
(347)
The calculation is not complicated and is similar to the one presented above. One computes the anti-action :
(348)
Then the duality is expressed through the constancy of the following scalar :
(349)
...So that we get an additional scalar c , which is just conserved through the coadjoint action. Since now this scalar had received no physical interpretation. We are going to clear up all that in the following. Obviously we can extend the group as many time we want :
(350)
Each time, it adds an additional scalar
(351) Jpe = { c 1 , c 2 , c 3 ....., M , P } Jpe = { c 1 , c 2 , c 3 ....., Jp } and the coadjoint action becomes :
(352)
The reader will say "well, why don't we add 57 new scalars ? "
Just add six and identify these new scalars to
(353)
c 1 = q (electric charge)
c 2 = cB (baryonic charge)
c 3 = cL (leptonic charge)
c 4 = cm (muonic charge)
c 5 = ct (tauonic charge)
c 6 = v (gyromagnetic coefficient)
The group acts on the following ten dimensional space :
(354) ( x , y , z , t , z 1 , z 2 , z 3 , z 4 , z 5 , z 6 )
i.e : space-time plus six additional dimensions.
(355)
Recall that this group is built with the orthochron sub-group
Lo = Ln (neutral component) U Ls (achieving space-inversion)
of the complete Lorentz group L.
The momentum becomes :
(356)
Jpe = { q , cB , cL , cm , ct , v , Jp }
Jp being the part of the moment corresponding to the Poincaré's group Gop (orthochron sub-group).
What is the physical meaning ?
...A momentum belongs to a space, which is a n-manifold. The Poincaré's group owns ten dimensions, so that the Poincaré's group momentum is composed by ten quantities.
Then we add six more dimensions to the group, corresponding to the additional phasis :
(357)
f1 ,f2 ,f3 ,f3 ,f5 ,f5
The momentum becomes :
(358) Jpe = { J1, J2 J3, J4, J5, J6, J7, J8, J9, J10, J11, J12, J13, J14, J15, J16 }
We decide that amon te set of scalars
(359) Jp = { J7, J8, J9, J10, J11, J12, J13, J14, J15, J16 }
we identify the energy E, the momentum p, the passage **f **, the spin antisymmetric matrix l .
...E and** p** may take all possible values, but quantum arguments impose the constancy of the modulus s of the spin vector (in a system of coordonates linked to the particle), which is not justified here and corresponds to Souriau's work.
We have six more scalars :
(360) J1, J2 J3, J4, J5, J6
...We decide that, among an infinity of possible choices, some discrete choices correspond to real particles (and anti-particles). Then, in the 16-manifold corresponding to the momentum space we select discrete movements corresponding to particules, with defined quantum numbers
(361) { q , cB , cL , cm , ct , v }
...For the moment the coadjoint action of the group just ensures the conservation of these quantities, along given movements. There are "passive quantum numbers" as well as the mass appeared as a passive quantity, when arising from the trivial extension of the Special Galileo's group.