>>620
>アインシュタインが一般相対性理論を作るとき必要になった数学は
>リーマンが創始した多様体上の微分幾何(ガウスの曲面論の一般化)
>これを踏まえて書き上げられた方程式は
>現在も微分幾何学の重要な研究テーマである

へー
そうなのか
下記だね

（参考）
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A4%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E6%96%B9%E7%A8%8B%E5%BC%8F
一般相対性理論におけるアインシュタイン方程式（英: Einstein's equations, Einstein Field Equations）[注 1]は、万有引力・重力場を記述する場の方程式である。アルベルト・アインシュタインによって導入された。

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%82%A4%E3%83%B3%E3%82%B7%E3%83%A5%E3%82%BF%E3%82%A4%E3%83%B3%E5%A4%9A%E6%A7%98%E4%BD%93
微分幾何と数理物理において、アインシュタイン多様体(Einstein manifold)は、リッチテンソルが計量テンソルに比例するリーマン多様体もしくは、擬リーマン多様体である。通常、一般相対論で研究する 4次元のローレンツ多様体とは違い、この条件は、符合と同様に計量の次元も任意であることが可能であるにもかかわらず、この条件と計量が（宇宙定数を持つ）真空のアインシュタイン方程式の解であることとが同値であるとの理由から、アインシュタイン多様体はアルベルト・アインシュタイン(Albert Einstein)の名前に由来している。

アインシュタインの条件とアインシュタイン方程式
例
アインシュタイン多様体の例を挙げる。

応用
4次元リーマンアインシュタイン多様体は、重力の量子論の重力インスタントンとして数理物理学でも重要である。

つづく