超ミンコフスキー空間

数学および物理学において、超ミンコフスキー空間(またはミンコフスキー超空間)は、ミンコフスキー空間の超対称拡張であり、超体の基本多様体(あるいは超多様体)として用いられることもある。超ポアンカレ代数が作用する 。

工事

抽象構築

抽象的に言えば、超ミンコフスキー空間はローレンツ群超ポアンカレ群内の(右)剰余類の空間であり、すなわち、

超ミンコフスキー空間超ポアンカレ群ローレンツ群{\displaystyle {\text{超ミンコフスキー空間}}\cong {\frac {\text{超ポアンカレ群}}{\text{ローレンツ群}}}}

これは、通常のミンコフスキー時空がローレンツ群のポアンカレ群内の(右)剰余類と同一視される方法と類似している。つまり、

ミンコフスキー空間ポアンカレ群ローレンツ群{\displaystyle {\text{ミンコフスキー空間}}\cong {\frac {\text{ポアンカレ群}}{\text{ローレンツ群}}}}

剰余空間は自然にアフィンであり、フェルミオン方向のべき零かつ反可換な動作は、ローレンツ群に関連付けられた クリフォード代数から自然に生じます。

直和構築

このセクションでは、検討中のミンコフスキー空間の次元は です。 d4{\displaystyle d=4}

超ミンコフスキー空間は、具体的には、座標 を持つミンコフスキー空間と「スピン空間」の直和として実現できます。「スピン空間」の次元は、対象の超ミンコフスキー空間に関連付けられた超ポアンカレ代数におけるスーパーチャージの数に依存します。最も単純なケース では、「スピン空間」は の「スピン座標」を持ち、各成分はグラスマン数です。合計で4つのスピン座標が形成されます。 ×μ{\displaystyle x^{\mu}}{\displaystyle {\mathcal {N}}}1{\displaystyle {\mathcal {N}}=1}θαθ¯α˙{\displaystyle (\theta _{\alpha },{\bar {\theta }}^{\dot {\alpha }})}αα˙12{\displaystyle \alpha,{\dot {\alpha}}=1,2}

超ミンコフスキー空間の表記は となる。 1{\displaystyle {\mathcal {N}}=1}R4|4{\displaystyle \mathbb {R} ^{4|4}}

超電荷を許容する理論が存在する。そのような場合、拡張された超対称性を持つ。そのような理論では、超ミンコフスキー空間は と表記され、座標は となる。 {\displaystyle {\mathcal {N}}}R4|4{\displaystyle \mathbb {R} ^{4|4{\mathcal {N}}}}θαθ¯Jα˙{\displaystyle (\theta _{\alpha }^{I},{\bar {\theta }}^{J{\dot {\alpha }}})}J1{\displaystyle I,J=1,\cdots ,{\mathcal {N}}}

意味

超ミンコフスキー空間の基礎となる超多様体は、 d次元(多くの場合4次元とされる)の通常のミンコフスキー時空とローレンツ代数の実スピノル表現の直和で与えられる超ベクトル空間と同型である。(2つの異なる実スピン表現が存在するため、この表現がやや曖昧な場合は、整数のペアに置き換える必要があるが、一部の著者は異なる慣例を用いて両方のスピン表現のコピーを取る。) {\displaystyle {\mathcal {N}}}d2モッド4{\displaystyle d\equiv 2\mod 4}{\displaystyle {\mathcal {N}}}12{\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}{\displaystyle {\mathcal {N}}}

しかし、この構成は、2 つの理由から誤解を招きます。第 1 に、超ミンコフスキー空間は、実際にはグループではなくグループ上のアフィン空間です。つまり、明確な「原点」がありません。第 2 に、基礎となる並進のスーパーグループは、スーパーベクトル空間ではなく、冪零長さ 2 の冪零スーパーグループです。

この超群には次のリー超代数が存在する。 がミンコフスキー空間(次元)であり、 が-次元ミンコフスキー空間の既約実スピノル表現の有限和であるとする。 M{\displaystyle M}d{\displaystyle d}S{\displaystyle S}d{\displaystyle d}

すると、不変対称双線型写像 が存在する。これは、任意の に対して、元がの閉正錐に含まれ、かつならば となるという意味で正定値写像である。この双線型写像は、同型写像を除いて一意である。 []:S×SM{\displaystyle [\cdot ,\cdot ]:S\times S\rightarrow M}s{\displaystyle s}[ss]{\displaystyle [s,s]}M{\displaystyle M}[ss]0{\displaystyle [s,s]\neq 0}s0{\displaystyle s\neq 0}

リー超代数は偶数部 と奇数部(フェルミオン) を持つ。不変双線型写像は超代数全体に拡張され、(次数付き)リー括弧 を定義する。ここで、 の任意の項と任意の項のリー括弧はゼロである。 グラムグラム0グラム1MS{\displaystyle {\mathfrak {g}}={\mathfrak {g_{0}}}\oplus {\mathfrak {g_{1}}}=M\oplus S}M{\displaystyle M}S{\displaystyle S}[]{\displaystyle [\cdot ,\cdot ]}[]:グラム×グラムグラム{\displaystyle [\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\rightarrow {\mathfrak {g}}}M{\displaystyle M}

時空の様々な次元dに対する既約実スピノル表現の次元を下の表に示す。この表には、スピノル表現の実在構造の種類と、スピノル表現上の 不変双線型形式の種類も示されている。

時空次元、dスピノル表現の実次元構造双線形形式
11本物対称的
21、1本物2つの二重表現
32本物交互
44複素数(次元2)交互
58四元数(次元2)対称的
68、8四元数(次元2, 2)2つの二重表現
716四元数(次元4)交互
816複合体(次元8)対称的
916本物対称的
1016, 16本物2つの二重表現
1132本物交互
1264複合体(次元32)交互

表は次元が 8 増加するたびに繰り返されますが、スピン表現の次元は 16 倍になります。

表記

物理学の文献では、超ミンコフスキー時空は、偶数ボソン部の次元(時空の次元)と、奇数フェルミオン部における各既約スピノル表現の出現回数によって規定されることが多い。これは、超ミンコフスキー空間に関連する超ポアンカレ代数におけるスーパーチャージの数である。 d{\displaystyle d}{\displaystyle {\mathcal {N}}}{\displaystyle {\mathcal {N}}}

数学において、ミンコフスキー時空はM m | nという形式で記述されることがあります。ここで、 mは偶数部の次元、n は奇数部の次元です。これは-次数付きベクトル空間に用いられる表記法です。この表記法は、基礎となる時空の符号を含むように拡張することができ、多くの場合、 の場合にそれが当てはまります。 Rメートル|n{\displaystyle \mathbb {R} ^{m|n}}Z2{\displaystyle \mathbb {Z} _{2}}R1d1|n{\displaystyle \mathbb {R} ^{1,d-1|n}}メートルd{\displaystyle m=d}

関係は以下のとおりです。物理表記の整数は数学表記の整数であり、数学表記の整数は物理表記の整数の倍です。ここでは(いずれかの)既約実スピノル表現の次元です。例えば、ミンコフスキー時空は です。一般的な表現は です 。 d{\displaystyle d}メートル{\displaystyle m}n{\displaystyle n}D{\displaystyle D}{\displaystyle {\mathcal {N}}}D{\displaystyle D}d41{\displaystyle d=4,{\mathcal {N}}=1}R4|4{\displaystyle \mathbb {R} ^{4|4}}Rpq|D{\displaystyle \mathbb {R} ^{p,q|D{\mathcal {N}}}}

のとき、2つの異なる既約実スピノル表現が存在し、著者は様々な異なる表記法を用いています。以前の表記法を用いると、一方の表現ともう一方の表現のコピーが存在する場合、 を定義すると、以前の式が成立します。 d2モッド4{\displaystyle d\equiv 2\mod 4}1{\displaystyle {\mathcal {N}}_{1}}2{\displaystyle {\mathcal {N}}_{2}}1+2{\displaystyle {\mathcal {N}}={\mathcal {N}}_{1}+{\mathcal {N}}_{2}}

物理学において、文字P はリー超代数の偶ボゾン部分の基底に用いられ、文字Qは奇フェルミオン部分の複素化の基底に用いられることが多いため、特にリー超代数の構造定数は実数ではなく複素数となる場合がある。基底元Qは複素共役対となることが多いため、実部分空間は複素共役の不動点として復元できる。

署名(p,q)

因子またはに関連付けられた実次元は、次元と任意の符号 を持つ一般化ミンコフスキー空間に対して求められます。の場合の前述の微妙な点は、 の場合の微妙な点になります。このセクションの残りの部分では、符号は差 を指します。 N{\displaystyle {\mathcal {N}}}(N1,N2){\displaystyle ({\mathcal {N}}_{1},{\mathcal {N_{2}}})}n{\displaystyle n}(p,q){\displaystyle (p,q)}d2mod4{\displaystyle d\equiv 2\mod 4}pq0mod4{\displaystyle p-q\equiv 0\mod 4}pq{\displaystyle p-q}

次元はスピン表現上の現実構造に依存する。これは、表で示される8を法とするシグネチャ に依存する。pq{\displaystyle p-q}

pq を8 で割ったもの 0 1 2 3 4 5 6 7
構造 R+R{\displaystyle \mathbb {R} +\mathbb {R} }R{\displaystyle \mathbb {R} }C{\displaystyle \mathbb {C} }H{\displaystyle \mathbb {H} }H+H{\displaystyle \mathbb {H} +\mathbb {H} }H{\displaystyle \mathbb {H} }C{\displaystyle \mathbb {C} }R{\displaystyle \mathbb {R} }

次元は にも依存します。は または と書くことができ、ここで です。スピン表現は、ここでと記述されているように、あるベクトル空間の外積代数を使用して構築された表現であると定義します。の複素次元は です。シグネチャが偶数の場合、これは 次元の と の2つの既約なハーフスピン表現に分割されますが、シグネチャが奇数の場合、自体は既約ではありません。シグネチャが偶数の場合、シグネチャが4の倍数の場合はこれらのハーフスピン表現が同値ではなく、そうでない場合は同値であるという、さらに微妙な違いがあります。 n{\displaystyle n}n{\displaystyle n}2m{\displaystyle 2m}2m+1{\displaystyle 2m+1}m:=n/2{\displaystyle m:=\lfloor n/2\rfloor }S{\displaystyle S}S{\displaystyle S}2m{\displaystyle 2^{m}}S+{\displaystyle S_{+}}S{\displaystyle S_{-}}2m1{\displaystyle 2^{m-1}}S{\displaystyle S}

署名が奇数の場合、スピン表現のコピー数を数えます。署名が偶数で4の倍数でない場合は、ハーフスピン表現のコピー数を数えます。署名が4の倍数の場合は、各ハーフスピン表現のコピー数を数えます。 N{\displaystyle {\mathcal {N}}}S{\displaystyle S}N{\displaystyle {\mathcal {N}}}(N1,N2){\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}

そして、現実構造が実数であれば、複素次元は実数次元になります。一方、現実構造が四元数または複素数(エルミート)であれば、実数次元は複素次元の2倍になります。

またはに関連付けられた実際のディメンションは、次の表にまとめられています。 N{\displaystyle {\mathcal {N}}}(N1,N2){\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}

pq を8 で割ったもの 0 1 2 3 4 5 6 7
実次元D{\displaystyle D}2m1,2m1{\displaystyle 2^{m-1},2^{m-1}}2m{\displaystyle 2^{m}}2m{\displaystyle 2^{m}}2m+1{\displaystyle 2^{m+1}}2m,2m{\displaystyle 2^{m},2^{m}}2m+1{\displaystyle 2^{m+1}}2m{\displaystyle 2^{m}}2m{\displaystyle 2^{m}}

これにより、スーパーチャージを持つ基礎時空を持つ超空間の次元、または署名が 4 の倍数である場合はスーパーチャージを持つ超空間の次元を計算できます。関連するスーパーベクトル空間は、適切な場合にとともにあります。 Rp,q{\displaystyle \mathbb {R} ^{p,q}}N{\displaystyle {\mathcal {N}}}(N1,N2){\displaystyle ({\mathcal {N}}_{1},{\mathcal {N_{2}}})}Rp,q|ND{\displaystyle \mathbb {R} ^{p,q|{\mathcal {N}}D}}N=N1+N2{\displaystyle {\mathcal {N}}={\mathcal {N}}_{1}+{\mathcal {N}}_{2}}

寸法と過給に関する制限

高次スピン理論

には上限があります(適切な場合は に等しい)。より直接的に言えば、スピン空間の次元には上限があります。ここで は、符号が奇数の場合のスピン表現の次元、符号が偶数の場合の半スピン表現の次元です。上限は です。 N{\displaystyle {\mathcal {N}}}N1+N2{\displaystyle {\mathcal {N}}_{1}+{\mathcal {N}}_{2}}N=ND{\displaystyle N={\mathcal {N}}D}D{\displaystyle D}N=32{\displaystyle N=32}

この制限は、超電荷数を超える理論は、スピン(絶対値)が2を超える場を自動的に持つことから生じます。より数学的に言えば、超代数の表現には、スピンが2を超える場が含まれます。このような場を考慮する理論は、高スピン理論として知られています。ミンコフスキー空間では、そのような理論が興味深いものになることを妨げる禁制定理が存在します。 N=32{\displaystyle N=32}

そのような理論を考慮したくない場合は、これは の次元と の上限を与えます。ロレンツ空間(符号)の場合、次元の極限は です。任意の符号 の一般化ミンコフスキー空間の場合、上次元は の符号に敏感に依存します。これは前のセクションで詳述されています。 N{\displaystyle {\mathcal {N}}}(,+,,+){\displaystyle (-,+,\cdots ,+)}d<12{\displaystyle d<12}

超重力

多数の超電荷は局所超対称性も意味します。超対称性が理論のゲージ対称性である場合、超電荷を用いて並進運動を生成できるため、無限小並進運動は理論のゲージ対称性であることを意味します。しかし、これらは局所微分同相写像を生成します。これは重力理論の特徴です。したがって、局所超対称性を持つ理論は必ず超重力理論になります。 N{\displaystyle N}

質量のない表現に課せられる制限は、最高のスピン フィールドが持つ必要のあるスピンであり、これにより、超重力のない理論に対してスーパーチャージの制限が課せられます。 |h|1{\displaystyle |h|\leq 1}N=16{\displaystyle N=16}

超対称ヤン=ミルズ理論

これらはゲージ超場とスピノル超場を組み合わせた理論である。これには自由度の一致が必要となる。この議論を-次元ローレンツ空間に限定すると、ゲージ場の自由度は であるのに対し、スピノルの自由度は2のべき乗であり、これは本稿の他の箇所で説明されている情報から求めることができる。これは、超対称ヤン=ミルズ理論を支持できる超ミンコフスキー空間に制約を課す。例えば、 の場合、またはのみがヤン=ミルズ理論を支持する。[ 1 ]d{\displaystyle d}d2{\displaystyle d-2}N=1{\displaystyle {\mathcal {N}}=1}d=3,4,6{\displaystyle d=3,4,6}10{\displaystyle 10}

参照

参考文献

  1. ^ Figueroa-O'Farrill, JM (2001). 「Busstepp Lectures on Supersymmetry」. arXiv : hep-th/0109172 .