Können wir in der Quantenmechanik (QM) einen höherdimensionalen „Spin“-Drehimpuls definieren, der anders ist als der gewöhnliche 3D-Drehimpuls?

Inspiriert von meiner vorherigen Frage Fragen zum Drehimpuls und zum dreidimensionalen (3D) Raum? und eine weitere relevante Frage: Wie definiert man den Bahndrehimpuls in anderen als drei Dimensionen? , jetzt stellt sich mir noch eine frage:

In der klassischen Mechanik ( CM ), für a N -dimensionalen Raum ist der Bahndrehimpuls (ein antisymmetrischer Tensor) definiert als L ich J = X ich P J X J P ich , Wo ich , J = 1 , 2 , . . . , N . In QM nach kanonischer Quantisierung der Bahndrehimpuls L ich J einige hermitesche Operatoren werden und die folgenden Kommutierungsbeziehungen erfüllen,

(1) [ L ich J , L k l ] = ich δ J k L l ich + ich δ l ich L k J + ich δ J l L ich k + ich δ ich k L J l .

Und wie wir wissen, in QM ein 3D-Drehimpuls S = ( S X , S j , S z ) wird nur dann als Spin bezeichnet, wenn S X 2 + S j 2 + S z 2 = S ( S + 1 ) ich , Wo ich ist der Identitätsoperator.

Können wir also im QM allgemeiner a definieren N -dimensionaler "Dreh" S ich J ( ich , J = 1 , 2 , . . . , N ) , Wo S ich J ein antisymmetrischer Tensor ist und hermitesche Operatoren sind, die Gl ( 1 ) , Außerdem S ich J 2 = reelle Zahl × ich ?

Übrigens: Weitere Fragen zur Definition von Rotationsgruppen für den Drehimpuls finden sich hier , wer Interesse hat, darf mal reinschauen, danke.

Antworten (2)

Ich glaube, Sie können das, wenn Sie versuchen, dem Weg zu folgen, Repräsentationen des zu finden S Ö ( N ) Gruppe über einem gegebenen Hilbert-Raum.

Ich habe die Berechnung wirklich nicht durchgeführt, aber wenn es dasselbe ist, hätten Sie so etwas:

H = L 2 ( R N , C ) wäre der Hilbert-Raum, der Teilchen mit Spin 0 entsprechen würde, und die Darstellung der S Ö ( N ) Gruppe wäre gegeben durch:

Φ : S Ö ( N ) × H H , mit ( Φ ( G ) ψ ) ( X ) = ψ ( G 1 X )

Die Generatoren dieser Symmetriegruppe würden den Drehimpulsoperatoren entsprechen. Da es in diesem Fall keine „innere Struktur“ gibt, wäre dies nur der Bahndrehimpuls.

Wie für Teilchen mit Spin:

Die Idee ist die gleiche, mit einem entscheidenden Unterschied, der Hilbert Space, an dem Sie arbeiten. Du würdest dich ändern H = L 2 ( R N , C ) um zusätzliche Freiheitsgrade einzubeziehen, und der direkteste Weg ist es, das Tensorprodukt mit einem anderen Hilbert-Raum zu nehmen. Ich weiß nicht, wegen wem, aber die folgende Wahl führt schließlich zur berühmten "Pauli-Gleichung" (Schrödinger-Gleichung mit Spin 1/2): H = L 2 ( R N , C 2 ) = L 2 ( R N , C ) × L 2 ( R N , C )

Im Prinzip wissen Sie nicht, ob es möglich ist, eine gute Darstellung der SO(n)-Gruppe im oben erwähnten Hilbert-Raum zu finden, also versuchen Sie es, um arbeiten zu können H = L 2 ( R N , C k )

Wenn Sie also wieder nach Darstellungen der Simetriegruppe suchen, würden Sie am Ende die folgende Möglichkeit erhalten:

Φ : H × S Ö ( N ) H gegeben von ( Φ ( G ) ψ ) ( X ) = π k ( G ) ψ ( G 1 X )

war π k : S Ö ( N ) × C k C k ist eine Darstellung der S Ö ( N ) Gruppe über der endlichen Dimension C k . Mindestens ein k funktioniert garantiert, das heißt k = N , bei den anderen bin ich mir nicht sicher S Ö ( 3 ) , haben Sie eine Darstellung für jedes ungerade k (ganzzahliger Spin) , aber es ist möglich, eine Darstellung der bedeckenden Gruppe zu finden S U ( 2 ) für alle k.

Ich finde dieses Thema sehr interessant, auch wenn ich nicht die Zeit hatte, die Berechnungen zu üben. Leider endet hier mein Wissen über das Thema, also muss Ihnen jemand anderes bei den eigentlichen Berechnungen helfen.

Wenn Sie zur Hand haben, können Sie Ballentines Diskussion über den Drehimpuls lesen. Ich glaube, es war sehr aufschlussreich, als ich es las, da es diesen Aspekt der Notwendigkeit eines internen Simmetrieraums (der C k oben) und arbeitet auch explizit die Fälle von Spin 1/2 und 1 aus, wobei nebenbei auch der Fall von Spin 3/2 diskutiert wird.

Bearbeiten:

Eine Sache, die ich vergessen habe zu erwähnen, betrifft die Algebra (Generatoren) der S Ö ( N ) Gruppe, S Ö ( N ) von N × N antisymmetrische reelle Matrizen. Also die Idee, die Generatoren mit zu kennzeichnen Σ ich J mit einem antisymmetrischen Index wie oben wahrscheinlich der richtige Weg.

Auch die Vertauschungsrelationen wären durch die gegeben S Ö ( N ) Vertauschungsbeziehungen, die ich nicht auswendig kenne, und ich bin mir nicht sicher, ob es genau das ist, was Sie oben geschrieben haben. Hier etwas, das ich im Internet auf der gefunden habe S Ö ( N ) Algebren .

Fortsetzung:

Wie Peter Kravchuk betonte, ist die physikalische Idee hinter all dieser Argumentation die Idee des Transformationsgesetzes. In der Physik wird die Idee der Transformation also durch die Idee der Gruppe erfasst, die eine Menge mit einer Art Kompositionsoperation ist, die die Diskussion von Dingen wie „Durchführen einer Transformation nach der anderen“ oder „Durchführen der inversen Transformation“ ermöglicht.

Meistens möchten Sie nicht nur eine Vorstellung von Komposition und Umkehrung von Transformationen haben, sondern auch ein gewisses Gefühl für Kontinuität und / oder Glätte haben. Die glatten, also „differenzierbaren“ Gruppen werden Lie-Gruppen genannt

Meistens interessieren Sie sich nicht für die Gruppen selbst, sondern für die „Wirkung“, die sie haben, wenn sie auf irgendein physisches Objekt einwirken. Wenn Sie eine Reihe von physischen Objekten haben X , was Sie tun möchten, ist, eine Art Funktion zu finden, die diese Objekte ändert, aber dennoch gültige physische Objekte derselben Art, dh eine Funktion, erstellt F : G × X X . Diese Idee ist das Konzept der Gruppenaktion .

Oft werden Objekte von physikalischem Interesse als Vektoren modelliert , mit anderen Worten, Dinge, die sinnvoll sind, die man „addiert“ und „mit einem Skalar multipliziert“. Sie können über Positionen, Geschwindigkeiten und/oder Impulse von Teilchen nachdenken.

Außerdem gibt es auch Objekte, die Sie Punkt-zu-Punkt in Ihrem Raum definieren, Dinge wie Gravitationspotential, elektrische Felder und Wellenfunktionen! All diese Objekte werden durch Felder beschrieben, also gewissermaßen durch Funktionen E X , Wo E ist Ihr „physischer Raum“, dh Ihre Raumzeit, die im Allgemeinen entweder euklidisch oder minkowskisch ist.

Schließlich besteht die Idee der (linearen) Darstellung von Gruppen darin, Transformationsgesetze für Objekte zu suchen, die selbst Vektoren sind. Beginnen wir also mit einem Beispiel. Sie haben den euklidischen 3D-Raum, E = R 3 , und Sie Rotationen untersuchen möchten, dh Transformationen, die die übliche 3D-Metrik beibehalten: < X , j >= X 1 j 1 + X 2 j 2 + X 3 j 3

Mit anderen Worten, Sie wollen Funktionen A : R 3 R 3 so dass < A X , A j >=< X , j > für alle X , j R 3 . Sie können beweisen, dass alle Funktionen dieser Art lineare Funktionen sind , und auch, dass sie eine Gruppe (und auch eine Lügengruppe!) im oben genannten Sinne bilden. Es heißt Orthogonale Gruppe Ö ( 3 ) . Meistens wollen wir uns auch die Orientierung bewahren , also verlangen wir auch, dass sie zufrieden stellen det ( A ) = 1 . Diese Teilmenge bildet auch eine Gruppe, die genau die ist S Ö ( 3 ) , die (richtigen) Drehungen im 3D-euklidischen Raum.

Wenn Sie eine Gruppenaktion haben, die lineare Operationen respektiert, Φ ( A ) ( a X + j ) = a ( Φ ( A ) X ) + ( Φ ( A ) j ) für alle X , j X , A G Und a F (denken Sie an reelle und komplexe Zahlen) Sie nennen diese Aktion eine Repräsentation . Es ist möglich, Objekte mit „gemischten Transformationsgesetzen“ zu haben, und normalerweise möchten Sie nicht, dass dies geschieht, also suchen Sie normalerweise nach Objekten mit einem „bestimmten Transformationsgesetz“, und dies ist dasselbe, als würde man von irreduziblen Repräsentationen von Ihnen sprechen Gruppe. Von nun an verwende ich den Begriff Repräsentation als Synonym für irreduzible Repräsentation, sofern nicht anders angegeben.

Eine andere Möglichkeit, die Darstellungen zu betrachten, ist zu denken Φ : G G L ( X ) , Wo G L ( X ) ist die Gruppe aller invertierbaren linearen Transformationen (Matrizen) über X. Auf diese Weise suchen Sie nach etwas, das respektiert Φ ( G 1 G 2 ) = Φ ( G 1 ) Φ ( G 2 ) . Auf diese Weise können Sie darüber nachdenken, nach 'Kopien' der ursprünglichen Gruppe über der Gruppe der invertierbaren Operatoren auf dem interessierenden Raum zu suchen.

Jetzt fangen wir an, Spaß zu haben. Wenn Sie diese Symmetriegruppe im Positionsraum haben, möchten Sie fragen, was mit dem Impuls passiert, wenn Sie die Positionen drehen. Da ist auch der Satz von Impulsen (Geschwindigkeiten, wenn Sie möchten). R 3 , Sie haben kein Problem zu setzen P ' = A P .

Also, um genau zu sagen, was wir tun: Wir haben den physischen Positionsraum: E = R 3 , und wir haben eine Gruppe G = S Ö ( 3 ) das wirkt auf E , dh, Φ : G × E E durch die 'triviale Aktion' Φ ( A ) X = A X

Jetzt haben wir den Impulsraum (Menge aller möglichen Impulse) P was auch gleich ist R 3 , also haben wir kein Problem damit, die gleichen 'Transformationsgesetze' wie die ursprünglichen Positionen zu haben, dh die Darstellung einzustellen Φ P : G × P P gleich dem trivialen oben. Dies ist gleichbedeutend mit sagen P ' = Φ P ( A ) P = A P .

Nun können wir fragen, was passiert, wenn Sie Felder im physischen Raum definiert haben, dh "glatte" (oder fast) Funktionen irgendeiner Art: F = { F | F : E X } . Wie auch immer, Sie können sich fragen, wie sich diese Felder transformieren, wenn Sie eine durch die Aktion verursachte „Koordinatenänderung“ haben S Ö ( 3 ) auf den physischen Raum. Was normalerweise passiert, ist, dass Sie festlegen Φ F : G × F F durch setzen ( Φ F ( A ) F ) ( X ) = Φ X ( A ) F ( A 1 X ) Wo Φ X ist eine Aktion von G über X. Wenn X ein Vektorraum ist, können Sie auch versuchen, zu finden Φ X als Repräsentation.

Die Idee ist also, dass Sie zuerst die Koordinaten ändern und dann auf das Objekt einwirken, das sich daraus ergibt. Die Umkehrung des Arguments ist die Idee der aktiven x passiven Rotation: Sie können entweder denken, dass Sie das gesamte Universum aktiv in eine Richtung drehen, oder Ihre Koordinaten in die andere Richtung drehen. Letztendlich verwenden Sie nicht die triviale Darstellung von S Ö ( 3 ) innerhalb der Koordinaten, aber die inverse Darstellung.

Wenn Sie ein Skalarfeld haben, zum Beispiel ein elektrisches Potential (das eine Funktion ist ϕ : R 3 R ), erwarten Sie nicht, dass es seinen "Wert" ändert, wenn Sie Ihre Koordinaten drehen, aber Sie erwarten, dass es sein Argument ändert. Aufgrund dieser physikalischen Überlegungen können Sie das also erwarten ϕ ändert sich als 'skalares Feld', d.h. ϕ ' ( X ) = ϕ ( A 1 X ) .

Stellen Sie sich nun vor, Sie hätten ein (statisches) elektrisches Feld E : R 3 R 3 . Nun erwarten wir, dass sich beim Drehen nicht nur Ihre Argumente ändern, sondern Sie auch eine „direkte Wirkung“ auf das „Vektorfeld selbst“ haben. Seit E ( X ) R 3 , können Sie dieselben „Transformationsgesetze“ (Darstellungen) verwenden, die Sie entweder für die Positionen oder die Argumente von Funktionen verwenden, um auf das elektrische Feld einzuwirken. Am Ende kommt man auf das 'Transformationsgesetz für Vektorfelder': ( Φ v ( A ) E ) ( X ) = A ( E ( A 1 X ) )

Sie lesen die obige Gleichung so: „Um ein elektrisches Feld unter einer Drehung umzuwandeln, erhalten Sie zuerst Ihre Position, transformieren sie umgekehrt, damit Sie das richtige Argument berechnen können, werten dann das elektrische Feld an diesem Punkt aus und drehen danach das elektrische Feld auf die gleiche Weise, wie Sie normale Positionen (Vektoren) drehen würden"

Jetzt haben Sie fast alle notwendigen Informationen, die Sie benötigen. Denken Sie nun daran, dass Wellenfunktionen komplexe Skalarfelder sind, die über Ihren physischen Raum definiert sind, mit der zusätzlichen Angemessenheit, dass sie „quadratisch integrierbar“ sind (sie haben eine endliche Norm). Sie drücken das aus, indem Sie sagen, dass Wellenfunktionen Mitglieder einer Menge sind { ψ : R 3 C | R 3 ψ ( X ) ψ ( X ) D 3 X < } was mit bezeichnet wird L 2 ( R 3 , C ) von (Lebesgue) quadratintegrierbaren komplexen Funktionen.

Nun wollen Sie fragen, was die möglichen Transformationen von Wellenfunktionen wären. Da es sich um Skalarfunktionen handelt, erwarten Sie, dass sie sich in Skalarfelder umwandeln: ( Φ ( A ) ψ ) ( X ) = ψ ( A 1 X )

Richtig interessant wird es nun, wenn Sie versuchen, eine „Mehrkomponenten-Wellenfunktion“ zu konstruieren, die die „inneren Freiheitsgrade“ Ihrer Teilchen darstellen würde. Um das zu erreichen, wechseln Sie ab L 2 ( R 3 , C ) Zu L 2 ( R 3 , C k ) um einen "inneren Raum" zu haben C k

Also gehst du wieder zurück und fragst: „Wie transformiert sich dieses Ding“, oder anders gedacht: „Was sind die möglichen Wege, um dieses Ding zu transformieren?“, da du nicht gezwungen bist, es festzulegen k = 3 , und wenn du genau nachdenkst, lebst du weiter C k nicht R k !

Da Sie bereits die „Koordinatenänderung“ gehandhabt haben (dh Sie haben das, was zum „Orbitalteil“ des Drehimpulses wird), müssen Sie fragen, was mit dem Innenraum passiert.

Sie möchten also alle 'Transformationsgesetze' (dh Repräsentationen) von Objekten finden C k . Mit anderen Worten, Sie möchten alle Darstellungen von finden S Ö ( 3 ) An C k . Dies ist normalerweise eine (sehr) schwierige Aufgabe, also gehen Sie es normalerweise nicht direkt so an, aber am Ende stellen Sie fest, dass Sie nur (ehrliche) Darstellungen dafür haben würden k = 2 l + 1 , mit l Z , was Sie als 'Ganzzahl-Spin-Darstellung' interpretieren würden (obwohl wir das Wort Spin bis jetzt noch nicht gesprochen haben!).

Wie finden wir also Repräsentationen der S Ö ( 3 ) Gruppe? Die Standardmethode besteht darin, die "infinitesimalen Transformationen" der Gruppe in der Nähe des Ursprungs (genauer gesagt des Tangentenraums an der Identität der Gruppe) zu betrachten. Diese infinitesimalen Transformationen bilden selbst einen Vektorraum mit einer zusätzlichen Operation namens (Lügen-)Klammer, die gewissermaßen ein „Produkt“ ist. Da mit Produkten bestückte Vektorräume Algebren genannt werden, nennt man diese Strukturen Lüge-Algebren .

Eine Lie-Klammer wirkt genau wie ein Kommutator (dies kann präzisiert werden ), und im Fall von Matrizen-Lie-Algebren (wie die Lie-Algebra von S Ö ( 3 ) ), es ist genau der Kommutator des üblichen Matrixprodukts. Auf diese Weise kann man von 'Vertauschungsbeziehungen' der Elemente der Lie-Algebra sprechen.

Genauso wie bei Lie-Gruppen kann man von Repräsentationen von Lie-Algebren sprechen sprechen , nur dass anstelle der Beibehaltung der Gruppenkompositionsoperation die Lie-Bracket-Operation beibehalten wird.

Normalerweise ist es einfacher, Repräsentationen der Lie-Algebra zu finden, als Repräsentationen für die ursprüngliche Lie-Gruppe zu finden, da man in der ersteren „nur“ Operatoren finden muss, die als Generatoren für das Bild der Repräsentation dienen können, und wenn sie haben die gleichen 'Vertauschungsbeziehungen' als Basis für die ursprüngliche Lügenalgebra, alles, was Sie tun müssen, ist, die Korrespondenz zu definieren und um Linearität zu erweitern.

Wie können wir also die Informationen über die ursprüngliche Gruppe basierend auf ihrer Lügenalgebra wiederherstellen?

Die Idee ist, dass man (unter bestimmten Bedingungen) Repräsentationen für die Lie-Gruppe basierend auf den Repräsentationen der Lie-Algebra konstruieren kann. Dies geschieht durch „Potenzieren“ (diese Idee des Puttens U ( θ ) = e ich θ J ) die Elemente der Lügenalgebra, um ein Element der Gruppe zu bilden. Bei einer allgemeinen Einstellung gilt dies nur lokal.

Wenn Sie versuchen, nach Darstellungen der Lügengruppe von zu suchen S Ö ( 3 ) (bezeichnet S Ö ( 3 ) ), was genau die Algebra von ist 3 × 3 antisymmetrischen Matrizen finden Sie, dass es in allen Darstellungen gibt C k .

Leider (oder auch nicht) stellen Sie auch fest, dass Sie eine ähnliche Darstellung für nicht wiederherstellen können S Ö ( 3 ) für gerade k. Dies hängt mit der 'Doppelwertigkeit' der Darstellungen für gerades k zusammen. Dies ist der 'Extra-1-Faktor', den halbzahlige Spins mit einem vollen gewinnen 2 π Drehung, und auch die „Notwendigkeit“ für a 4 π Drehung, um vollständig zum Ursprung (Identität) zurückzukehren.

Was Sie am Ende tun, um nach den Darstellungen der Gruppe zu suchen, die tatsächlich durch Potenzieren der Lügen-Algebra erzeugt wird, was im Fall von S Ö ( 3 ) Ist S U ( 2 ) . Da die beiden lokal "im Wesentlichen gleich" sind und für jedes Element von S Ö ( 3 ) Es gibt 2 Elemente von S U ( 2 ) , letzteres wird als doppelte Abdeckung des ersteren bezeichnet. Für gerade k sind dies die 'spinorialen Darstellungen'

Schließlich beweisen Sie, dass es für alles eine Repräsentation gibt S U ( 2 ) über irgendwelche C k , sodass Sie sowohl ganzzahlige als auch halbzahlige Drehungen verwenden können S U ( 2 ) als Ihre 'acting rotation'-Gruppe. Sie können dies tun, weil Sie damit die Rotationen im euklidischen "physikalischen Raum" wiederherstellen können.

Um die Idee des Spins wiederzufinden, ist es notwendig, eine Möglichkeit zu haben, den Gesamtspin des betreffenden Teilchens zu „messen“, was über erfolgt S X 2 + S j 2 + S z 2 = S 2 . Also, wie interpretiert man dieses Objekt?

Die Idee ist, dass es sich um die so genannte Casimir-Invariante handelt “ der Gruppe ist, und Sie verwenden sie, um alle (nicht reduzierbaren) Darstellungen Ihrer Algebra und damit Ihrer ursprünglichen Gruppe zu klassifizieren. Auf diese Weise haben Sie so ziemlich die gesamte '3D-Spin-Theorie' hier aufgebaut.

Von hier aus können Sie also meinen ursprünglichen Vorschlag verstehen: Wenn Sie nach einem höherdimensionalen Spin suchen möchten, beginnen Sie mit einem höherdimensionalen Positionsraum E = R N , und wiederholen Sie dieselben Fragen, die ich hier entwickelt habe:

1) das übliche euklidische innere Produkt ist < X , j >= ich = 1 N X ich j ich , und so die Gruppen, die es bewahren, und auch die Orientierung der Bewahrer ( det A = 1 ) wird genannt S Ö ( N )

2) der Raum der k-Komponenten-Wellenfunktionen ist H = L 2 ( R N , C k ) und Sie versuchen, Darstellungen von zu suchen S Ö ( N ) über h.

3) die Deckgruppe von S Ö ( N ) heißt Spingruppe Spin(n)

Ich glaube, dass es möglich ist, irreduzible Darstellungen der Spin(n) für alle k zu finden, aber ich werde es später bestätigen. Wenn möglich, ermöglicht es eine ähnliche Interpretation wie beim üblichen 3D-Spin. Wie jemand hier oder in einem anderen Thema erwähnt hat, gibt es Cartans Buch als gute Referenz zu diesem Thema. Es bleibt auf meiner ursprünglichen Antwort.

@ user23873, deine Sprache erscheint mir etwas schwierig, ich werde versuchen zu verstehen, was du meinst. Trotzdem danke für deine ausführliche Antwort.
Soll ich versuchen, ein explizites Beispiel zu erarbeiten?
@ user23873 , Ich möchte nur in der Physik-Community wissen, ob es das Konzept des „Spins“ jenseits von 3D gibt, und wenn es existiert, wie man es definiert?
Ja, das gibt es, obwohl es im Vergleich zum üblichen 3D-Spin nicht so oft verwendet wird. Soweit ich suchen konnte (nachdem ich meine erste Antwort geschrieben hatte), ist die Theorie dafür im Wesentlichen das, was ich geschrieben habe, und ähnelt auch dem, was Sie am Ende Ihrer Frage geschrieben haben. Verstehen Sie, was ich meine, wenn ich von Repräsentationen spreche?
@ user23873, ok, danke. Nein, es tut mir leid, dass ich mit der Darstellungstheorie nicht vertraut bin.
@ K-Boy, Ok, ich bin jetzt ein bisschen beschäftigt, später heute werde ich die Antwort bearbeiten und versuchen, sie zu erweitern, damit sie klarer ist, und auch eine Erklärung der Darstellungstheorie hinzufügen.
@ user23873,Ich bin sehr dankbar für eine so brillante, nützliche und detaillierte Antwort. Ich profitiere sehr von Ihren Erklärungen und werde mich weiter mit der verwandten Mathematik befassen. Vielen Dank.

Zunächst möchte ich, zumindest im 3D-Fall, die Aussage kommentieren, die wir einigen Impuls-ähnlichen Pendeloperatoren auferlegen S ich die Beziehung S X 2 + S j 2 + S z 2 = S ( S + 1 ) ICH ist mehr oder weniger tautologisch, da im Allgemeinen aus den Vertauschungsbeziehungen folgt, dass die RHS (durch einen Basiswechsel) in eine blockdiagonale Form gebracht werden kann, wobei jeder Block genau die gewünschte Form hat.

Im 3D-Fall bedeutet Ihre Anforderung fast die Irreduzibilität der Darstellung von S Ö ( 3 ) wofür S ich sind die Generatoren (ich kann aber immer noch die reduzierbare Darstellung berücksichtigen 3 3 , Wo 2 ist die übliche 3-dimensionale Spin-1-Vektordarstellung, für die Ihre Gleichung mit der Summe der Quadrate immer noch gilt). In höheren Dimensionen glaube ich, dass es keine schöne mathematische Interpretation gibt. Es besagt, dass Sie den Wert des quadratischen Kasimirs festlegen, aber es gibt andere Kasimirs, also sieht es so aus, als könnten Sie sogar verschiedene irreduzible Darstellungen zu einer reduzierbaren mischen. Allerdings bin ich mir hier nicht sicher, so dass man mich vielleicht korrigieren möchte.

Trotzdem fragen Sie nach einer Reihe von Operatoren mit Kommutierungsbeziehungen S Ö ( N ) die eine bestimmte Gleichung zulassen. Diese Gleichung legt im Grunde den Wert des sogenannten quadratischen Kasimirs fest. Aufgrund der guten Eigenschaften von S Ö ( N ) (Einfachheit usw.), ich glaube, die Antwort lautet: Finden Sie alle irreduziblen Wiederholungen von S Ö ( N ) und wählen Sie eine direkte Summe von Wiederholungen mit demselben Wert des quadratischen Casimir .

Allerdings ging es hier mehr oder weniger um Ihre Gleichung S X 2 + S j 2 + S z 2 = S ( S + 1 ) ICH und seine Verallgemeinerungen. Tatsächlich weiß ich nicht, ob Ihre verallgemeinerte LHS mit allen Generatoren pendelt, aber dies ist wahrscheinlich (wenn dies nicht der Fall ist, macht dies keinen Sinn, und Sie müssen sich überlegen, was ist der Kasimir in Ihrer Basis).

Nun zum Kern der Frage – der physikalischen Vorstellung von Spin in höheren Dimensionen. Der Spin und allgemeiner der Gesamtdrehimpuls ist gewissermaßen die Regel, die Ihnen sagt, wie Sie die Wellenfunktion unter Drehungen umwandeln. Grundsätzlich entsteht es, weil Sie wissen müssen, wie die Wellenfunktion transformiert wird. Im Allgemeinen werden Sie also wieder zur Betrachtung irreduzibler Wiederholungen der Rotationsgruppe geführt S Ö ( N ) .

S Ö ( N ) hat viele Darstellungen, aber für die Spin- 1 / 2 Man nimmt normalerweise die Clifford-Algebra C l ( N ) und baut die Dirac-Darstellung auf (die gewissermaßen grundlegend für Spin(N) ist). C l ( N ) wird durch eine Reihe von Generatoren gegeben γ ich die der Beziehung gehorchen:

{ γ ich , γ J } = 2 δ ich J
dann sind die Rotationsgeneratoren (Sie sollten hinzufügen ich um die hermiteschen Spinoperatoren zu erhalten):
Σ ich J = [ γ ich , γ J ] 4
In 3D können Sie beispielsweise auswählen γ ich = σ ich die Pauli-Matrizen. In 4D sind die üblichen Dirac-Matrizen bekannt. Im Allgemeinen z N = 2 k + 1 Es gibt eine Darstellung von C l ( N ) von 2 k × 2 k Matrizen.

@ Peter Kravchuk, lieber Peter, deine Antwort ist so klar und schön, dass ich das Kernproblem dieser Frage sehe. Vielen Dank.
@ Peter Kravchuk, übrigens, in den letzten Zeilen über Clifford-Algebra in Ihrer Antwort, sind die Generatoren γ ich musste hermitianisch (echt) sein?
@K-Boy, gerne geschehen. Ja, wenn Sie eine einheitliche Darstellung wollen (und in der Physik möchte man normalerweise eine einheitliche Darstellung).