この記事は東京大学理学部物理学科学生有志によるPhysics Lab. 2022 Advent Calendar 2021 21日目の記事です。
1221はひっくり返しても1221なので好きです。20211202には負けてしまいますが、20211221は素数なので引き分けです1。などと言っていれば21日を過ぎてしまいました。
はじめに
宇宙の相転移
水は温度によって気体、液体、固体と姿を変えます。水に限らず、物質は温度や圧力などの熱力学的な条件によって様々な状態(相)をとります。こうした状態の変化を相転移と言います。
宇宙はかつていくつもの相転移を経験してきたと考えられます。宇宙の相転移は、対称性が破れ、高いエネルギーの真空から低い真空へ移る現象です。高エネルギーでは1つだった力は、相転移によって重力、強い力、弱い力、電磁気力に分かれていきました。インフレーション理論は、真空のエネルギー密度の解放により指数関数的に宇宙が膨張していったという理論です。
この記事の内容
この記事では実スカラー場の自発的対称性の破れと温度による効果を大雑把な議論で見て、電弱相転移などの宇宙初期に起きた相転移についても軽く触れます。そして実スカラー場の自発的対称性の破れにより説明されるインフレーション理論について見ていきます。ゲージ理論と標準宇宙論もざっくり解説します。
学部3年生程度の知識を仮定して書きますが、そんなにややこしい式変形はないので読みにくくはないと思います。ややこしい式変形は(私が追えてないものも多いので)省略しました。
主にKolb,Turner "The Early Universe"[1]の7.1節と8.2節を中心に読んでこの記事を書きました。自発的対称性の破れについては坂本眞人「場の量子論」[2]を、標準宇宙モデルでは高原文郎「宇宙物理学」[3]を参考にしました。その他参考にした本は一番最後にまとめてあります。
計量は\(\hspace{0.2em}(+,-,-,-)\hspace{0.2em}\)とします。[1]と[2]が\(\hspace{0.2em}(+,-,-,-)\hspace{0.2em}\)で書いているからです(他の文献を確認するときに微妙な違いがあり混乱しました)。後半で参考にした[3]は\(\hspace{0.2em}(-,+,+,+)\hspace{0.2em}\)を使っていまが、この記事内では\(\hspace{0.2em}(+,-,-,-)\hspace{0.2em}\)に表記を統一するため書き直しています。
坂本QFTを読んだ人は2章と3章の前半は読み飛ばしても大丈夫です。新しいことは書いていません。また、Kolb,Turner等の宇宙論の本を読んでインフレーションを知っている人は……この記事は読むまでもないかもしれません。
注意
この内容は私にとってはかなり冒険した、欲張った内容になります(クリスマスなので(?)2)。これから述べていく概念をちゃんと理解しているとは言い切れず、間違ったことを言っている可能性も十分あります。こんなお話もあるんだ程度で流してください。
目次
対称性
準備: 質量次元
準備として、これから使う自然単位系と質量次元について説明します。自然単位系は
また、Boltzmann定数\(\hspace{0.2em}k_\mathrm{B}=1\hspace{0.2em}\)としてしまいます。すると温度は質量と同じ次元を持ちます。
不変性
宇宙の相転移は対称性の破れによって起こります。ここではその前に、場の理論において不変性(あるいは対称性)がいかに重要かについて書きます。私もまだ勉強中の身なので、この章には不正確な記述も多く含まれます。このあたりの分野が気になる人はまともな本を読んで勉強してください。
作用積分\(\hspace{0.2em}S\hspace{-0.2em}\hspace{0.2em}\) (あるいは単に作用とも)に最小作用の原理\(\hspace{0.2em}\delta S=0\hspace{0.2em}\)を課すと、様々な物理法則を表す方程式が出てきます(Newtonの運動方程式、Shr"{o}dinger方程式、Maxwell方程式 etc.)。これらの方程式は不変性を持っていることが多いです。例えばMaxwell方程式
では、この不変性を原理にしてしまうのはどうでしょう。物理法則が不変性を持つのではなく、不変性こそが物理法則を決めていると考えてみるのです。
作用積分に以下を要請します。
(1) いくつかの不変性
まずは相対論的不変性を要請します。ローレンツ変換と時空並進で不変という意味です。つまり作用がスカラーであればよいです。その他に大局的\(\hspace{0.2em}\mathrm{U}(1)\hspace{0.2em}\)不変性や\(\hspace{0.2em}\mathrm{Z}_2\hspace{0.2em}\)不変性などを必要に応じて要請します。これらは後で詳しく書きます。
(2) エルミート性
古典論でラグランジアン密度は実数でなければなりません。物理量が実数であるために必要です。量子論的にはエルミートであると言います。
(3) 局所性
\(\hspace{0.2em}A_\mu(x)A_\mu(x+a)\hspace{0.2em}\)などという項があると、点\(\hspace{0.2em}x\hspace{0.2em}\)から点\(\hspace{0.2em}x+a\hspace{0.2em}\)まで相互作用が一瞬で伝わってしまいます3。
というテイラー展開で書けてしまうからです。
(4) 真空の存在
ハミルトニアンの固有値(エネルギー)に下限が存在しなければいけません。ポテンシャルが下に凸であればよいです。エネルギーの最低固有状態を真空状態と言います。
(5) くりこみ可能性
くりこみという操作で意味のある値を得るために、ラグランジアン密度に含まれる項の質量次元は4以下でなければいけません。ここの詳細は私も勉強不足につきよく知りません。
(2)から(5)までの要請は、まあそうであって欲しいなという感じが伝わってきますが、重要なのは不変性です。過程は省略しますが、ゲージ変換による不変性と相対論的不変性、あとは(2)から(5)を要請すれば、
このような少ない要請から物理法則を記述できるというのは大変魅力的な話です。
実スカラー場のラグランジアン密度
実際に上の要請から、スカラー場\(\hspace{0.2em}\phi\hspace{0.2em}\)のラグランジアン密度を構成してみましょう。今回は\(\hspace{0.2em}\phi\to-\phi\hspace{0.2em}\)と変換してもラグランジアン密度が変化しないという \(\hspace{0.2em}\mathrm{Z}_2\hspace{0.2em}\)不変性 も要請します。(1)相対論的不変性と(5)くりこみ可能性から、
質量次元 | スカラー |
---|---|
\(\hspace{0.2em}1\hspace{0.2em}\) | \(\hspace{0.2em}\phi\hspace{0.2em}\) |
\(\hspace{0.2em}2\hspace{0.2em}\) | \(\hspace{0.2em}\phi^2\hspace{0.2em}\) |
\(\hspace{0.2em}3\hspace{0.2em}\) | \(\hspace{0.2em}\phi^3,\partial_\mu\partial^\mu\phi\hspace{0.2em}\) |
\(\hspace{0.2em}4\hspace{0.2em}\) | \(\hspace{0.2em}\phi^4,\partial_\mu\phi\partial^\mu\phi,\phi\partial_\mu\partial^\mu\phi,\partial_\mu\partial^\mu(\phi^2)\hspace{0.2em}\) |
といった項が含まれる可能性があります。ラグランジアンに全微分の項が含まれていても運動方程式の形は変わらないので、\(\partial_\mu\partial^\mu\phi\hspace{0.2em}\)と\(\hspace{0.2em}\partial_\mu\partial^\mu(\phi^2)\hspace{0.2em}\)はなくてもいいです。\(\partial_\mu\phi\partial^\mu\phi\hspace{0.2em}\)と\(\hspace{0.2em}\phi\partial_\mu\partial^\mu\phi\hspace{0.2em}\)の差も全微分の項なので、片方は必要ありません5。
後者は無視します。\(\mathrm{Z}_2\hspace{0.2em}\)不変性のために\(\hspace{0.2em}\phi\)、\(\phi^3\hspace{0.2em}\)は消去されます。残った項に適当な係数をつけて、実スカラー場のラグランジアン密度
を得ることができました。(2)エルミート性から\(\hspace{0.2em}m^2\)、\(\lambda\hspace{0.2em}\)は実数です。(4)真空の存在から、第1項の係数は正にとり、\(\lambda > 0\hspace{0.2em}\)です。(3)局所性も満たしています。\(m\hspace{0.2em}\)は質量と同じ次元を持つ量で、\(\lambda\hspace{0.2em}\)は無次元の量です。\(\lambda\hspace{0.2em}\)の係数が\(\hspace{0.2em}1/4!\hspace{0.2em}\)となっているのはFeynman規則での表式を簡単にするためですが、この記事の上では重要ではありません。
第1項は運動エネルギー、第2項は質量、第3項は相互作用を表す項です。最小作用の原理(あるいはEuler-Lagrange方程式)から、
実スカラー場のラグランジアン密度は後でまた出てきます。ポテンシャルの項
というように、真空状態\(\hspace{0.2em}\expval{\phi}=0\hspace{0.2em}\)でのポテンシャルの2階微分が質量の2乗になることを覚えておいてください。
ゲージ理論
自由Dirac場のラグランジアン密度は
で不変であるという大域的\(\hspace{0.2em}\mathrm{U}(1)\hspace{0.2em}\)不変性を課しています(\(e^{-i\theta}\hspace{0.2em}\)は1次のユニタリー群\(\hspace{0.2em}\mathrm{U}(1)\hspace{0.2em}\)の元です。\(\theta\hspace{0.2em}\)は位置によらないただのスカラーなので、全ての点において同じだけ位相をずらす変換になります)。
自由粒子のDirac方程式は
で与えられます。ここで局所的\(\hspace{0.2em}\mathrm{U}(1)\hspace{0.2em}\)変換
と余分な項が生じてしまいます。これを消すにはどうすればよいか?Dirac方程式を、\(\mathrm{U}(1)\hspace{0.2em}\)変換したら\(\hspace{0.2em}-q\gamma^\mu\partial_\mu\Lambda(x)\hspace{0.2em}\)が出てくるようにすればいいです。この項は見覚えがあります。ゲージ場\(\hspace{0.2em}A_\mu\hspace{0.2em}\)のゲージ変換
です。Dirac方程式に\(\hspace{0.2em}-\gamma^\mu qA_\mu\hspace{0.2em}\)の項を加えてみます。すると、
という形になります。(\ref{U1})式と(\ref{gauge})式の変換を同時に行ってもDirac方程式の形が変わらないことは容易に確かめられます。
これは電磁場中の荷電粒子のDirac方程式そのものです。要請したのは局所的な\(\hspace{0.2em}\mathrm{U}(1)\hspace{0.2em}\)変換とゲージ変換で運動方程式が不変であることのみ、なのに電磁場の相互作用が自然に現れてしまいました。
このように不変性(対称性)が場の理論で重要そうな役割を持っていることがわかりました。他にも、強い力は\(\hspace{0.2em}\mathrm{SU}(3)\hspace{0.2em}\)ゲージ理論によって記述され、量子色力学と呼ばれています。弱い力と電磁気力は\(\hspace{0.2em}\mathrm{SU}(2)\times\mathrm{U}(1)_\mathrm{Y}\hspace{0.2em}\)で記述され、電弱理論またはWeinberg-Salam理論と呼ばれています。これらを統一した\(\hspace{0.2em}\mathrm{SU}(3)\times\mathrm{SU}(2)\times\mathrm{U}(1)\hspace{0.2em}\)ゲージ理論は標準模型です。さらに大きな対称性を課すと大統一理論になります。
自発的対称性の破れ
真空状態
真空とは何かについて整理する必要があります。一般的には真空とは何もない空間を指します(気圧が何Pa以下を真空と呼ぶという定義もあります)が、量子力学では最もエネルギーの低い状態を指すのでした。
本来は秩序パラメータと呼ばれる演算子\(\hspace{0.2em}\delta_QA(x)\hspace{0.2em}\)を真空状態\(\hspace{0.2em}\ket{0}\hspace{0.2em}\)で挟んだ
自発的対称性の破れ
実スカラー場\(\hspace{0.2em}\phi\hspace{0.2em}\)を考えます。ラグランジアン
しかし、図2を見れば明らかなようにポテンシャルの底は\(\hspace{0.2em}\phi=0\hspace{0.2em}\)ではありません。真空の期待値は\(\hspace{0.2em}\expval{\phi}=\pm\sqrt{m^2/\lambda}\hspace{0.2em}\)になります。\(Z_2\hspace{0.2em}\)対称性が破れていることになります。ラグランジアンは対称性を持つのに、実現する状態は対称性を破っている、これが自発的対称性の破れです。
有限温度
\(\hspace{0.2em}\expval{\phi}=0\hspace{0.2em}\)は何がダメなのでしょう。\(\expval{\phi}=0\hspace{0.2em}\)のとき、スカラー場\(\hspace{0.2em}\phi\hspace{0.2em}\)の質量\(\hspace{0.2em}M\hspace{0.2em}\)は真空状態でのポテンシャルの2階微分で与えられたことを思い出すと、
これをなんとかしたいので温度の項を加えてみます。
これによりポテンシャルは
高温\(\hspace{0.2em}T > T_\mathrm{c}\hspace{0.2em}\)では\(\hspace{0.2em}\phi=0\hspace{0.2em}\)で安定ですが、転移温度\(\hspace{0.2em}T_\mathrm{c}=\sqrt{m^2/a\lambda}\hspace{0.2em}\)を下回ると不安定になり、真の真空に移ります。\(V^\prime(\phi)=0\hspace{0.2em}\)となる点を図に描けば以下のようになります(図4)。
2次元Ising模型の相転移と似ていることがわかります。2次の相転移です。このように簡単なモデルで真空の相転移を見ることができました。
温度の導入が流石に雑でした。しかし厳密にやるとややこしいし、まだ私も理解できていないので書きません。[2]の下巻などを参照してください。有限温度の場の理論によれば、1ループ有限温度補正をすると
となります。\(V(\phi_\mathrm{c})\hspace{0.2em}\)はゼロ温度の1ループ有効ポテンシャルで
電弱相転移
高温では電磁気力と弱い力が区別できません。光子とWボゾン、Zボゾンが質量を持たないためです。温度が下がると、電弱相転移が起こります。 これは\(\hspace{0.2em}\mathrm{SU}(2)\times\mathrm{U}(1)_\mathrm{Y}\to\mathrm{U}(1)_\mathrm{em}\hspace{0.2em}\)というゲージ対称性の破れによる相転移です。ゲージ対称性はWボゾンやZボゾンなどのゲージ場が質量を持つことを禁止しているのですが、対称性が敗れることで質量を持つようになります。ただし\(\hspace{0.2em}\mathrm{U}(1)_\mathrm{em}\hspace{0.2em}\)対称性は保たれているので、光子は質量を持たないままです。
こうして電磁気力と弱い力が区別できるようになり、力の分離が起こるのです。他の力に関しても似たような対称性の破れによって分化していったと考えられます。
宇宙の温度が下がっていき、強い力によってクォークの閉じ込めが起こるようになるクォーク・ハドロン相転移というものもあります。
トポロジカル欠陥
宇宙の相転移に伴ってトポロジカル欠陥も生じます。トポロジカル欠陥は対称性の破れが完全ではなく、偽の真空の領域が安定して残ってしまう構造です。2次元のものをドメインウォール、1次元のものを宇宙ひも、0次元のものをモノポールと呼びます。
このあたりは[1]の7.2以降に書いてありますが、まだ読めていないので詳しくは書けません。
標準宇宙モデル
膨張宇宙
インフレーション理論に入る前に、標準的な宇宙モデルについて説明しておきます。ざっくりとした説明になってしまいますが、本当はもっと奥が深いので気になる人は勉強してみてください。
一様等方な宇宙はRobertson-Walker計量
によって記述されます。\(a\hspace{0.2em}\)はスケール因子、\(k\hspace{0.2em}\)は曲率を表す量です。\(a=1\hspace{0.2em}\)で曲率のない(\(k=0\hspace{0.2em}\))場合は普通のMinkowski計量になることがわかります。\(a(t)\hspace{0.2em}\)が時間に伴って増加するのが宇宙膨張です。
Einstein方程式は
観測によれば宇宙はほぼ平坦だと分かっているので、以降は\(\hspace{0.2em}k=0\hspace{0.2em}\)とします。
宇宙モデル
Friedmann方程式だけでは宇宙の状態は決まりません。宇宙を占めている物質の状態方程式を与える必要があります。通常の宇宙では従う状態方程式が異なる複数の物質が混ざっていますが、単純に一種類の物質が宇宙を占めていると考えてみます。
宇宙項を無視(\(\Lambda=0\hspace{0.2em}\))し、\(p=0\hspace{0.2em}\)とすれば普通の物質が占める宇宙を表し、ダスト宇宙と言います。\(p=\rho/3\hspace{0.2em}\)とすれば光子などの相対論的な物質を表し、輻射宇宙と言います。
今回は宇宙項について考えてみます。普通の物質は無視(\(\rho=p=0\hspace{0.2em}\))し、
その他の宇宙モデルについては省略しますが、まとめると以下のようになります。
時期 | 宇宙モデル | 膨張の様子 |
---|---|---|
放射優勢期 | 輻射宇宙 | \(\hspace{0.2em}a\propto t^{1/2}\hspace{0.2em}\) |
物質優勢期 | ダスト宇宙 | \(\hspace{0.2em}a\propto t^{2/3}\hspace{0.2em}\) |
宇宙項優勢期 | de Sitter宇宙 | \(\hspace{0.2em}a\propto\exp(Ht)\hspace{0.2em}\) |
べき乗で膨張する他の宇宙モデルと比べてde Sitter宇宙は指数関数的に膨張にします。
インフレーション理論
インフレーションの概要
インフレーション理論は、ビックバンの前に指数関数的な膨張があったとする理論で、実スカラー場\(\hspace{0.2em}\phi\hspace{0.2em}\)の真空の相転移により説明されます。\(\phi\hspace{0.2em}\)に対応する粒子はインフラトンと言います。
実スカラー場\(\hspace{0.2em}\phi\hspace{0.2em}\)を考えます。ラグランジアンは
\(\hspace{0.2em}\phi=0\hspace{0.2em}\)の近くには多少のバリアがあってもいいものとします(その場合、トンネル効果や熱ゆらぎで移る1次の相転移になります)。また、その先には少し平坦な領域が広がっているものとします。宇宙の温度が下がっていくと真空の相転移が起こり、\(\phi\hspace{0.2em}\)は真の真空へとゆっくり転がり出します。このとき真空のエネルギーが解放され、宇宙は指数関数的に膨張します。
真空のエネルギーが解放されるとはどういうことか、もう少し詳しく考えてみます。エネルギー運動量テンソルは
このように真空の相転移により宇宙の指数関数的膨張が引き起こされることを見ることができました。
インフレーションのその後
\(\hspace{0.2em}\phi\hspace{0.2em}\)はやがてポテンシャルの底にたどり着き、他の粒子に崩壊しながらエネルギーを失うと考えられます。こうして宇宙が加熱される過程を再加熱と言います(が、「再」とあるのは名前だけで、実際は単なる加熱のようです)。
その後は輻射が優勢になり、\(a\propto t^{1/2}\hspace{0.2em}\)で膨張していくことになります。
おわりに
よもやま
今回の記事では、宇宙は火の玉から温度が下がっていくにつれて、いくつもの相転移を経験してきたと書きました。この相転移はある意味物理法則そのものの変化です。エネルギーが高くなれば高くなるほど、新しい(より広い枠組みの)物理法則が現れるのです。高エネルギー物理学は、今の理論がある上位の理論の低温状態に過ぎないのではないかという恐れを常に抱いています。また、高度に抽象化された理論に実験による検証が追いついていない現状があるかのように見えます。大統一理論や超弦理論はもう現在の加速器では作り出せないほど高エネルギーです。 宇宙が高温であった時期があるのなら、それを上手く捉えることで理論の検証ができそうです。光子では晴れ上がり以前を見通すことはできませんが、背景ニュートリノや原始重力波など高温時代の名残りを見つけられる可能性はまだまだ残されています。より過去を見ようとする試みは、より高エネルギーの物理を求めることと等価なのです。その先に究極の理論があるのか、宇宙の始まりを知ることができるのか……それは誰にも分かりません。
よく理解している訳でもない、これは私の与太話でした。
あとがき?
こういった記事は12理解した人が10を語るものだと思うのですが、今回は8しか理解していない(0かも)のに10を書いてしまっています。12理解している人からはこの記事は稚拙に見えているかもしれません。
この記事を書こうと思いたったのは、大学の「統計力学II」の講義で相転移を学んだときです。宇宙初期にクォーク・ハドロン相転移をはじめとするいくつもの相転移が起こっていた、ということは聞いたことがあったので、この機会に調べてみようと思いました。まだまだ場の理論の勉強が進んでいないので、この記事もかなり苦しいものになりました。有限温度での1ループ有効ポテンシャルやヒッグス機構、トポロジカル欠陥、インフレーションの種類、インフレーションが解決する問題、インフレーション中のゆらぎなど、今の私には扱えなかったトピックが無限に残されています。気力と体力と時間が許せばもっとちゃんと知りたいなと思っています(レポートがまだ残っているのにこの記事に時間をかけ過ぎたのは愚行でした)。
宇宙班について
最後に、私が班長を務める宇宙班についてコメントしておきたいと思います。
まずは班員が書いてくれた宇宙班の紹介と重力崩壊の自己相似的収縮についての記事があるのでぜひぜひ読んでみてください。
Physics Lab. 2022 の宇宙班の内容はまだ決まっていません。班員たちの興味がばらけている部分もあるので、色んなトピックを雑多に、分かりやすく紹介できればいいなと思っています。班長的には、班員たちが好きなように話したいことを発表できる場になればそれで満足です(リーダーシップの欠片もない発言)。お楽しみに!
この記事の宇宙論パートでは、ゼミで[3]の6章を読んだときに班員が作ってくれた資料がとても参考になりました。先週の進捗報告会では、この記事の雛形説明をみんなに聞いてもらいました。拙い発表になってしまいましたが、指摘を受けて修正したり考えを整理したりできました。記事を書く上で分からない部分があったときも、相談に乗ってくれました。この場で改めてお礼を言いたいと思います。ありがとうございました。
長くなりましたが、読んでくださりありがとうございました。
参考文献
Kolb, Turner "The Early Universe" ↩
坂本眞人 「場の量子論」「場の量子論 (II)」 ↩
高原文郎 「宇宙物理学-星銀河宇宙論-」 ↩
ワインバーグ著 小松英一郎訳 「ワインバーグの宇宙論 上
天文学辞典 https://astro-dic.jp
ひっぐすたん https://higgstan.com (イラストをお借りしました)
私が参考に読んだ本というより、これからしっかり読みたい本リストと言ったほうが正しいです。
脚注
-
しかも20211221は原始ピタゴラス数の斜辺です。\(20211221^2\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=2646740^2\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+20037171^2\hspace{0.2em}\) ↩
-
クリスマスはレポートと過ごす予定です。 ↩
-
微分の次数も無限でなければいけません。無限次を許すと非局所的な項が
\begin{equation}A_\mu(x)A_\mu(x+a)=A_\mu(x)\qty(A_\mu(x)+a^\nu\partial_\nu A_\mu+\frac{1}{2!}(a^\nu\partial_\nu)^2A_\mu(x)+\cdots) \end{equation}↩ -
正確には他の項も許されますが、運動方程式には寄与しません。 ↩
-
片方を部分積分すると\(\hspace{0.2em}\partial_\mu\phi\partial^\mu\phi\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}=-\phi\partial_\mu\partial^\mu\phi\hspace{-0.2em}\hspace{0.2em}\) \(\hspace{-0.2em}\hspace{0.2em}+\partial_\mu(\phi\partial^\mu\phi)\hspace{0.2em}\) ↩
-
[1]より。wikipediaや他の文献を見ると表記が若干違っています。本当は、他の表記やEinstein方程式で与えられるエネルギー運動量テンソルとコンシステントだという説明もすべきなのですが、私もよく分からないのでここではこれを認めてください ↩
-
(\ref{1-2})式の第1項から\(\hspace{0.2em}g_{\mu\nu}\hspace{0.2em}\)を引っ張りだすことはできないので、\(g_{\mu\nu}\hspace{0.2em}\)の1次の比較から\(\hspace{0.2em}p\hspace{0.2em}\)が求まります。\(\rho\hspace{0.2em}\)はスカラーであって欲しいので、ベクトルの部分は\(\hspace{0.2em}u_\mu\hspace{0.2em}\)に押し付けて、かつ\(\hspace{0.2em}u_\mu u^\mu=1\hspace{0.2em}\)が成り立つようにして\(\hspace{0.2em}\rho\hspace{0.2em}\)と\(\hspace{0.2em}u_\mu\hspace{0.2em}\)を得ます。ただし\(\hspace{0.2em}u_\mu\hspace{0.2em}\)の符号には不定性が残ります。 ↩