アインシュタイン・ヒルベルト作用

アインシュタイン・ヒルベルト作用（）、あるいはヒルベルト作用は、一般相対性理論において、最小作用の原理を通してアインシュタイン方程式を導く作用である。
この作用は、1915年にダフィット・ヒルベルトにより最初に提案された。
(- + + +) 計量符号を用いると、作用の重力場の部分は
で与えられる。
ここに formula_1 は計量テンソルの行列式、R はリッチスカラー曲率である。
比例係数 κ はアインシュタインの重力定数と呼ばれ、ニュートンの重力定数 G、真空の光速 c と κ=8πG/c4 で関係づけられる。積分は収束するならば、時空全体を渡ってとる。収束しないならば作用はもはやうまく定義することができないが、非常に大きな相対的にコンパクトな領域を渡る定義に置き換えると、アインシュタイン・ヒルベルト作用のオイラー＝ラグランジュ方程式として、アインシュタイン方程式を表すことができる。
議論.
作用から方程式を導出することにはいくつかの有用性がある。何よりもまず、同じように作用を用いて定式化することができるマクスウェルの電磁気理論のような他の古典場の理論と一般相対性理論との統一が容易となる。また、作用からの方程式の導出の過程で、計量と結合する物質場がソースの自然な候補として特定される。さらに、作用の対称性と関係するネーターの定理により保存量を見つけることが容易となる。
一般相対論において、作用は通常は計量と物質場の汎函数であると考え、接続はレヴィ・チヴィタ接続により与えられる。一般相対論の(Cartan formalism)（パラティーニの定式化(Palatini formulation)とも言う）は、計量と接続が独立であると考え、それぞれを独立に変化させることで、半整数のスピンをもつフェルミオンの場を取り込むことを可能としている。
物質が存在するときのアインシュタイン方程式は、アインシュタイン・ヒルベルト作用に物質場の作用を加えることにより得られる。
アインシュタイン方程式の導出.
理論の全作用を、アインシュタイン･ヒルベルト項に理論の中に現れる物質場を記述する項 formula_2 を加えることで与えられるとする。
すると、作用原理は計量の逆数に関してこの作用の変分がゼロであることを言っているので、
を得る。この方程式は任意の変分 formula_5 に対して成立するので、
は計量の場の運動方程式である。この式の右辺は（定義により）ストレス･エネルギーテンソルに比例し、
を意味する。式の左辺を計算するために、リッチスカラー R と計量の行列式の変分が必要である。これらの計算は下記に掲げた教科書にみられるような標準的な計算であり、 には具体的な計算が記載されている。
リーマンテンソル、リッチテンソル、リッチスカラーの変分.
リッチスカラーの変分を計算するために、まず、リーマン曲率テンソルの変分を計算し、次いで、リッチテンソルの変分を計算する。リーマン曲率テンソルは次のように定義される。
リーマン曲率テンソルはレビ・チビタ接続 formula_9 とは独立であるので、リーマン曲率テンソルの変分は次のように計算できる。
ここで、2つの接続の差異 formula_11 はテンソルであり、従って、この共変微分を次のように計算することができる。
ここで上のリーマン曲率テンソルの変分の表現は、2つの項の差
に等しいということが分かる。
リーマン曲率テンソルの変分は単純にリーマンテンソルの変分の 2つのインデックスを簡約することで求めることができ、次の(Palatini identity)を得る。 
リッチスカラーは、
として定義されるので、その逆計量 formula_16 についての変分は
により与えられる。二行目は、前に得たリッチ曲率の変分の結果と共変微分の計量との整合性 formula_18 を使った。
最後の項 formula_19 に formula_20 をかけると、全微分となる。なぜならば、
であり、ストークスの定理により、積分するときには境界項でのみ積分すればよい。従って、計量 formula_5 の変分が無限遠点でゼロとなるとき、この項は作用の変分に寄与しない。さらに、
を得る。
行列式の変分.
ヤコビの公式(Jacobi's formula)と呼ばれるは、次の式を導きだす。
そうでない場合は、formula_25 が対角的になるよう座標を変換して、その後に主対角上の要素の積を変分する規則を適用する。
このことを使うと、
が得られる。この最後の等式を示すことに、
を使用した。この式は、逆行列の変分の規則である
から得られる。
このようにして
を結論付けることができる。
運動方程式.
さて、必要な式の変形は全て整ったので、これらを計量場の運動方程式へ代入すると、
を得ることができる。この式はアインシュタインの場の方程式であり、
を選ぶと、非相対論的極限ではニュートンの万有引力の法則であることが分かる。ここに G は重力定数である（詳細はを参照）。
宇宙定数.
宇宙定数 Λ はラグランジアンであるので、新しい作用
が場の方程式
となる。