ビアンキ恒等式は、微分幾何学・リーマン幾何学・一般相対性理論において根本的な役割を果たす重要な恒等式です。
「ビアンキ恒等式ってどんな意味があるの？」「テンソルや曲率とどう関係するの？」という疑問を持つ方も多く、この恒等式を理解することは現代数学・物理学への深い洞察につながります。
ビアンキ恒等式とは、リーマン曲率テンソルの共変微分に関する恒等式であり、曲率の「微分的整合性条件」を表す重要な等式です。
本記事では、ビアンキ恒等式の基本的な概念・定義・数学的な証明・リーマン幾何学における意義・一般相対性理論への応用まで、できるだけわかりやすく解説していきます。
数学・幾何学・テンソル・曲率という視点から体系的に理解することで、ビアンキ恒等式の深い意味と現代科学における重要性が見えてくるでしょう。
ビアンキ恒等式の基本概念と数学的定義
それではまず、ビアンキ恒等式の基本的な概念と数学的な定義について解説していきます。
ビアンキ恒等式を理解するためには、リーマン曲率テンソル・共変微分・接続（クリストッフェル記号）など微分幾何学の基本概念の理解が前提となります。
リーマン曲率テンソルの基本
リーマン曲率テンソル Rᵢⱼₖₗ は、リーマン多様体（曲がった空間）における「曲がり具合」を定量的に表すテンソルです。
平坦なユークリッド空間ではリーマン曲率テンソルはゼロになりますが、球面・双曲面・一般相対性理論の時空間のような曲がった空間ではゼロではありません。
リーマン曲率テンソルは四つの添字（i・j・k・l）を持ち、各方向への微分（共変微分）によって定義されます。
この曲率テンソルはリーマン多様体の局所的な幾何学的性質を完全に特徴付けるテンソルであり、微分幾何学の中心的な対象です。
第一ビアンキ恒等式
第一ビアンキ恒等式（代数的ビアンキ恒等式）
Rᵢⱼₖₗ＋Rᵢₖₗⱼ＋Rᵢₗⱼₖ ＝ 0
または巡回和の記号を使って：
R[ijk]l ＝ 0（最初の三添字の巡回対称和がゼロ）
これは曲率テンソルの最初の三つの添字に関する代数的な恒等式です。
第一ビアンキ恒等式は「代数的ビアンキ恒等式」とも呼ばれ、曲率テンソルの添字に関する対称性を表す純粋に代数的な条件です。
第一ビアンキ恒等式はリーマン曲率テンソルが満たすべき代数的な整合性条件であり、すべてのリーマン多様体上で成り立つ恒等式です。
第二ビアンキ恒等式（微分ビアンキ恒等式）
第二ビアンキ恒等式（微分ビアンキ恒等式）
∇ₘRᵢⱼₖₗ＋∇ₖRᵢⱼₗₘ＋∇ₗRᵢⱼₘₖ ＝ 0
または：(∇[mRij]kl) ＝ 0
ここで ∇ₘ は共変微分演算子を表す。
これは曲率テンソルの共変微分に関する恒等式です。
第二ビアンキ恒等式（単に「ビアンキ恒等式」と呼ぶ場合は通常こちらを指す）は、曲率テンソルの共変微分の巡回和がゼロという、より深い内容を持つ恒等式です。
この恒等式はイタリアの数学者ルイジ・ビアンキ（Luigi Bianchi）にちなんで名付けられており、彼が1902年に発表した研究に基づいています。
ビアンキ恒等式の証明方法
続いては、ビアンキ恒等式の証明方法について確認していきます。
ビアンキ恒等式の証明は、局所座標系でのテンソル計算によって行うことができます。
第一ビアンキ恒等式の証明の概略
第一ビアンキ恒等式の証明は、曲率テンソルの定義（リーマン曲率テンソルの定義式）から出発して、添字の巡回置換の和がゼロになることを代数的に示します。
第一ビアンキ恒等式の証明の概略
リーマン曲率テンソルは接続（クリストッフェル記号 Γ）を用いて：
Rᵢⱼₖₗ ＝ ∂ₖΓᵢⱼₗ－∂ₗΓᵢⱼₖ＋ΓᵢₘₖΓᵐⱼₗ－ΓᵢₘₗΓᵐⱼₖ
と定義される（成分表示）。
j・k・l の三添字について巡回和を取ると：
Rᵢⱼₖₗ＋Rᵢₖₗⱼ＋Rᵢₗⱼₖ
各項を展開して整理すると、すべての項が互いに相殺されてゼロになる。
（詳細な計算では、偏微分の交換可能性とΓの対称性を使って各項がキャンセルされることを示す）
この証明は計算量が多いものの、各ステップは機械的な代数計算であり、リーマン曲率テンソルの定義から直接導出できます。
第二ビアンキ恒等式の証明の概略
第二ビアンキ恒等式の証明には、接続の二回共変微分のヤコビ恒等式的な性質を利用するアプローチや、正規座標系（測地座標系）を使った簡略化されたアプローチがあります。
正規座標系（ある点での測地線座標）では、その点においてクリストッフェル記号がゼロになり計算が大幅に簡略化されます。
正規座標での計算で恒等式を示した後、テンソル等式はすべての座標系で成り立つ（座標変換に対して不変）という性質から、一般の座標系でも成り立つことが結論されます。
外微分・微分形式を使った証明
より現代的な証明アプローチとして、外微分・微分形式・ファイバー束の理論を使った証明があります。
接続形式 ω と曲率形式 Ω の関係（構造方程式）から出発して、∇Ω＝0 という形でビアンキ恒等式を導出することができます。
この現代的なアプローチは計算が簡潔でエレガントであり、微分形式の言語を使いこなすことでビアンキ恒等式の深い数学的構造が見えやすくなります。
ビアンキ恒等式のリーマン幾何学における意義
続いては、ビアンキ恒等式がリーマン幾何学においてどのような意義を持つかについて確認していきます。
アインシュタインテンソルとの関係
第二ビアンキ恒等式の最も重要な応用のひとつが、アインシュタインテンソルの導出との関係です。
リーマン曲率テンソルからリッチテンソル Rᵢⱼ（曲率テンソルの縮約）とスカラー曲率 R（リッチテンソルのさらなる縮約）が定義されます。
第二ビアンキ恒等式を縮約（添字を縮める操作）することで：
ビアンキ恒等式からアインシュタインテンソルへの導出
第二ビアンキ恒等式：∇ₘRᵢⱼₖₗ＋∇ₖRᵢⱼₗₘ＋∇ₗRᵢⱼₘₖ ＝ 0
添字を縮約（i と k を縮約）すると：
∇ₘRⱼₗ－∇ₗRⱼₘ＋∇ᵢRᵢⱼₘₗ ＝ 0 （縮退ビアンキ恒等式）
さらに縮約すると：
∇ᵐRⱼₘ ＝ (1/2)∇ⱼR
これより：∇ᵐ(Rⱼₘ－(1/2)gⱼₘR) ＝ 0
Gⱼₘ ＝ Rⱼₘ－(1/2)gⱼₘR（アインシュタインテンソル）とすると：
∇ᵐGⱼₘ ＝ 0（アインシュタインテンソルの共変微分がゼロ）
「アインシュタインテンソルの共変微分はゼロ」という性質は一般相対性理論の場方程式の整合性にとって不可欠な条件であり、ビアンキ恒等式から数学的に自動的に導かれる重要な結果です。
曲率の「整合性条件」としての意義
ビアンキ恒等式は幾何学的には「曲率テンソルが満たすべき微分的整合性条件」として解釈されます。
これはちょうど、電磁気学において「電場・磁場が満たすべきマクスウェル方程式の整合性条件（∇・B＝0 など）」に対応する構造的な類似性を持ちます。
ビアンキ恒等式が満たされることは、リーマン曲率テンソルが「一貫した幾何学的構造」を持つための必要条件であり、この整合性が保証されることで多様体上の幾何学が矛盾なく構成できます。
一般相対性理論への応用
続いては、ビアンキ恒等式が一般相対性理論においてどのような役割を果たすかを確認していきます。
アインシュタイン方程式との関係
アインシュタインの一般相対性理論の場方程式は Gμν ＝ 8πGTμν（Gμν：アインシュタインテンソル・Tμν：エネルギー運動量テンソル・G：重力定数）で与えられます。
ビアンキ恒等式から導かれる ∇μGμν ＝ 0 という性質は、アインシュタイン方程式の右辺のエネルギー運動量テンソルにも ∇μTμν ＝ 0 という条件を要請します。
この ∇μTμν ＝ 0 という条件は、エネルギー・運動量の保存則に対応しており、一般相対性理論においてエネルギー・運動量が保存されることがビアンキ恒等式から数学的に保証されています。
つまりビアンキ恒等式は、一般相対性理論において「エネルギー保存則が自動的に保証される」という物理的に極めて重要な意味を持つ恒等式です。
ゲージ理論との類比
ビアンキ恒等式は、現代の素粒子物理学の基礎となるゲージ理論においても類似の構造が現れます。
電磁場のマクスウェル方程式のうちの均一方程式（∂μFνρ＋∂νFρμ＋∂ρFμν ＝ 0）は、電磁場の曲率テンソル（場の強さテンソル F）についてのビアンキ恒等式として理解できます。
ヤン・ミルズゲージ理論（強い力・弱い力の理論的基礎）においても、場の強さテンソルに対するビアンキ恒等式が重要な役割を果たしています。
このように、ビアンキ恒等式は重力理論だけでなく、現代物理学の基礎をなすゲージ理論全般において本質的な構造を提供しています。
ビアンキ恒等式の発展的話題
続いては、ビアンキ恒等式に関連する発展的な数学的話題について確認していきます。
主ファイバー束とビアンキ恒等式
現代数学では、ビアンキ恒等式は主ファイバー束上の接続と曲率の理論として最も一般的な形で定式化されます。
主ファイバー束 P（底空間・ファイバー・構造群からなる数学的対象）上の接続形式 A と曲率形式 F＝dA＋A∧A に対して、ビアンキ恒等式は dᴬF＝0 という形で表されます。
ここで dᴬ は接続 A に関する共変外微分演算子であり、「曲率形式の共変外微分がゼロ」というのがビアンキ恒等式の最も一般的な形式です。
数値相対論とビアンキ恒等式
現代のコンピュータによる数値相対論（数値計算によるアインシュタイン方程式の解法）においても、ビアンキ恒等式は重要な役割を果たします。
数値計算において、ビアンキ恒等式が満たされているかどうかを確認することが、数値計算の精度・整合性の指標として使用されます。
ビアンキ恒等式の数値的な違反は、計算における誤差や不整合の指標となるため、数値相対論の計算コードの品質管理において重要な役割を持ちます。
微分幾何学の発展への貢献
ビアンキ恒等式はリーマン幾何学の理論的基礎を支えるとともに、現代の微分幾何学・位相幾何学・数理物理学の発展にも根本的な寄与をしています。
ホッジ理論・ドラームコホモロジー・スペクトル系列など、現代数学の高度なテーマにおいても、ビアンキ恒等式に類似した「閉形式の整合性条件」が至る所に現れます。
ビアンキ恒等式を理解することは、現代数学・数理物理学の深い構造への扉を開く重要な一歩となるでしょう。
まとめ
ビアンキ恒等式は、リーマン曲率テンソルの代数的・微分的な整合性条件を表す微分幾何学の根本的な恒等式です。
第一ビアンキ恒等式は曲率テンソルの添字に関する代数的な対称性を、第二ビアンキ恒等式は曲率テンソルの共変微分の巡回和がゼロという微分的な条件を表します。
一般相対性理論においては、第二ビアンキ恒等式からアインシュタインテンソルの共変微分がゼロという結果が導かれ、エネルギー・運動量保存則が数学的に保証されます。
電磁場・ヤン・ミルズゲージ理論・ファイバー束理論など現代物理学・現代数学の広い分野でビアンキ恒等式に類似した構造が現れており、この恒等式の普遍的な重要性が確認できます。
数学・幾何学・テンソル・曲率という視点からビアンキ恒等式を深く理解することで、現代数学と理論物理学への理解が大きく深まるでしょう。
