XNUMX 世紀後、新しい数学が一般相対性理論を滑らかにする | クアンタマガジン

アルバート・アインシュタインの一般相対性理論は、重力がどのように機能し、重力が宇宙の大規模構造をどのように形作るかを説明することに大成功を収めました。 それは物理学者ジョン・ウィーラーの言葉に要約されています。 物質は時空に曲がり方を教えてくれる。」 しかし、一般相対性理論の数学は、非常に直観に反するものでもあります。

その基本方程式は非常に複雑であるため、最も単純に聞こえるステートメントでさえ証明するのが困難です。 たとえば、数学者が一般相対性理論の主要定理の一部として、質量のない孤立した物理系または空間は平らでなければならないことを証明したのは 1980 年頃になってからでした。

このため、空間がほとんど真空であり、質量がほんのわずかしかない場合、その空間はどのように見えるかという問題が未解決のまま残されました。 必然的にほぼフラットになるのでしょうか？

質量が小さいほど曲率が小さくなるのは明らかだと思われるかもしれませんが、一般相対性理論に関しては、物事はそれほど単純ではありません。 この理論によれば、物質が高密度に集中すると、空間の一部が「歪み」、空間が大きく湾曲する可能性があります。 場合によっては、この曲率が極端になり、ブラック ホールの形成につながる可能性があります。 これは、物質が十分に強く集中している場合、少量の物質が存在する空間でも発生する可能性があります。

最近で 紙, ドン・コンハン、ストーニーブルック大学の大学院生、そして アントワーヌ・ソングカリフォルニア工科大学の助教授である彼は、質量がますます小さくなる一連の湾曲した空間が、最終的には曲率ゼロの平らな空間に収束することを証明しました。

この結果は、一般相対性理論の数学的探求における注目に値する進歩であり、この探求は、アインシュタインが理論を考案してから XNUMX 世紀以上にわたって利益をもたらし続けています。 ダン・リークイーンズ大学の数学者で一般相対性理論の数学を研究しているが、この研究には関与していない、ドン氏とソン氏の証明は曲率と質量がどのように相互作用するのかについての深い理解を反映していると述べた。

彼らが証明したこと

Dong と Song による証明は XNUMX 次元空間に関するものですが、説明のために最初に XNUMX 次元の例を考えてみましょう。 質量のない平らな空間を、普通の滑らかな紙のようなものとして想像してください。 この場合、質量が小さい空間は、遠くから見ると同じように見える可能性があります。つまり、ほとんどが平らです。 しかし、詳しく検査すると、物質のクラスター化の結果、あちこちで鋭いスパイクや泡が発生していることがわかるかもしれません。 これらのランダムな露出により、紙はよく手入れされた芝生のようになり、時折キノコや茎が表面から突き出ています。

ドンとソンは、 推測 2001 年に数学者によって定式化されました ゲルハルト・ホイスケン および トム・イルマネン。 この推測では、空間の質量がゼロに近づくと、その曲率もゼロに近づく必要があると述べられています。 しかし、Huisken と Ilmanen は、このシナリオはバブルとスパイク (数学的には互いに区別される) の存在によって複雑になることを認識しました。 彼らは、各切除によって空間の表面に残される境界領域が小さくなるような方法で、泡とスパイクを切除できるのではないかと仮説を立てました。 彼らは、これらの厄介な付属物が除去された後に残る空間はほぼ平らになるだろうと示唆したが、証明することはできなかった。 また、そのような削減をどのように行うべきかもわかりませんでした。

「これらの質問は難しく、ホイスケン・イルマネン予想の解決策が見つかるとは期待していませんでした」とリー氏は語った。

推測の中心となるのは曲率の測定です。 空間はさまざまな方法、さまざまな量、さまざまな方向に曲がります。たとえば、(XNUMX 次元の) 前後に進むと上に曲がり、左右に進むと下に曲がる鞍のようなものです。 ドン氏とソン氏はそうした詳細を無視している。 彼らは、スカラー曲率と呼ばれる概念を使用します。これは、全方向の完全な曲率を要約する単一の数値として曲率を表します。

ドンとソンの新作はこう言った。 ダニエル·スターン コーネル大学の論文は、「スカラー曲率が空間全体の幾何学をどのように制御するかを示す、これまでに得られた最も強力な結果の XNUMX つ」です。 彼らの論文は、「非負のスカラー曲率と小さな質量があれば、空間の構造を非常によく理解できる」ことを示しています。

の証拠

Huisken-Ilmanen 予想は、質量が着実に減少する空間の幾何学に関するものです。 これは、質量の小さい空間が平坦な空間にどれだけ近いかを示すための具体的な方法を規定しています。 その尺度は、数学者の名前にちなんでグロモフ・ハウスドルフ距離と呼ばれます。 ミカエル・グロモフ そしてフェリックス・ハウスドルフ。 グロモフ-ハウスドルフ距離の計算は XNUMX 段階のプロセスです。

最初のステップは、ハウスドルフ距離を見つけることです。 A と B という XNUMX つの円があるとします。A 上の任意の点から開始して、B 上の最も近い点までの距離を計算します。

A 上のすべての点に対してこれを繰り返します。見つかった最大距離は、円間のハウスドルフ距離です。

ハウスドルフ距離を取得したら、グロモフ-ハウスドルフ距離を計算できます。 これを行うには、オブジェクト間のハウスドルフ距離を最小限に抑えるために、オブジェクトをより広い空間に配置します。 XNUMX つの同一の円の場合、文字通り互いの上に置くことができるため、それらの間のグロモフ・ハウスドルフ距離はゼロになります。 このような幾何学的に同一のオブジェクトを「アイソメトリック」と呼びます。

もちろん、比較対象の物体や空間が似ていても同じではない場合、距離の測定はより困難になります。 グロモフ-ハウスドルフ距離は、最初は異なる空間にある XNUMX つのオブジェクトの形状間の類似点 (または相違点) を正確に測定します。 「グロモフ・ハウスドルフ距離は、XNUMX つの空間がほぼ等長であることを示す最良の方法の XNUMX つであり、その「ほぼ」を数値で示します」とスターン氏は言います。

ドン氏とソン氏は、質量の小さな空間と完全に平らな空間を比較する前に、やっかいな突起物、つまり物質が密集している狭いスパイクや、小さなブラックホールが潜んでいる可能性のあるさらに高密度の泡を切り取る必要がありました。 「（スライスが作られた）境界領域が小さくなるようにそれらを切りました。そして、質量が減少するにつれて領域が小さくなることを示しました。」とソン氏は述べた。

この戦術は騙しのように聞こえるかもしれないが、スターン氏は、質量が減少するにつれて面積がゼロに縮小する気泡やスパイクを切り出すことによって一種の前処理を行うことは、予想を証明する上では許容されると述べた。

質量の小さい空間の代用として、もう一度滑らかにした後も鋭い折り目や折り目が残っている、しわくちゃの紙を想像してみてはいかがでしょうか、と彼は提案しました。 穴パンチを使用して最も目立つ凹凸を除去すると、いくつかの穴が開いたわずかに凹凸のある紙が残ります。 穴のサイズが小さくなるにつれて、紙の地形の不均一さも小さくなります。 限界に達すると、穴はゼロに縮小し、山や隆起は消え、均一に滑らかな紙が残されるでしょう。これは、平らな空間の真の代用です。

それがDong氏とSong氏が証明しようとしたことだ。 次のステップは、粗い特徴を取り除いたこれらの裸の空間が、完全な平坦さの標準に対してどのように積み重なるかを確認することでした。 彼らが追求した戦略では、ある空間の点を別の空間の点と関連付けることによって XNUMX つの空間を比較する方法である、特殊な種類のマップが利用されました。 彼らが使用した地図は、 紙 スターンと XNUMX 人の同僚、ヒューバート ブレイ、デメトレ カザラス、マーカス クーリによって書かれました。 この手順により、XNUMX つのスペースがどれだけ近いかを正確に説明できます。

課題を単純化するために、Dong と Song は、Stern とその共著者による別の数学的トリックを採用しました。これは、ゆで卵が分割できるのと同じように、XNUMX 次元空間がレベル セットと呼ばれる無限の数の XNUMX 次元スライスに分割できることを示しました。エッグスライサーのピンと張ったワイヤーによって細いシートに分割されます。

レベル セットは、それが構成する XNUMX 次元空間の曲率を継承します。 Dong 氏と Song 氏は、より大きな XNUMX 次元空間ではなくレベル セットに注目することで、問題の次元を XNUMX 次元から XNUMX 次元に減らすことができました。 ソン氏は、「私たちは二次元の物体についてよく知っており、それを研究するためのツールをたくさん持っている」ため、これは非常に有益だと述べた。

各レベルセットが「ある意味平坦」であることをうまく示すことができれば、質量の少ない XNUMX 次元空間が平坦に近いことを示すという全体的な目標を達成できるだろうと Song 氏は述べています。 幸いなことに、この戦略はうまくいきました。

次のステップ

今後を見据えて、この分野の次の課題の XNUMX つは、気泡やスパイクを除去し、切り取られた領域をより適切に記述するための正確な手順を提示することで、証明をより明確にすることである、と Song 氏は述べました。 しかし今のところ、「それを達成するための明確な戦略はない」と同氏は認めた。

 もう一つの有望な道は、 別の推測 2011 年に Lee 氏と クリスティーナ・ソルマーニ、ニューヨーク市立大学の数学者。 Lee-Sormani 予想は、Huisken と Ilmanen が提起したものと同様の質問をしますが、形状間の違いを測定する異なる方法に依存しています。 グロモフ-ハウスドルフ距離のように XNUMX つの形状間の最大距離を考慮する代わりに、リー-ソルマーニ アプローチでは、 空間の体積 それらの間の。 そのボリュームが小さいほど、それらは近くなります。

一方、Song 氏は、物理学が動機ではないスカラー曲率に関する基本的な疑問を調査したいと考えています。 「一般相対性理論では、無限遠でほぼ平坦な非常に特殊な空間を扱いますが、幾何学ではあらゆる種類の空間を扱います。」と彼は言いました。

一般相対性理論とは関係なく、「これらの技術が他の環境でも価値があると期待されている」とスターン氏は語った。 「関連する問題は数多く存在しており、その解明が待たれている」と同氏は語った。

クアンタ では、視聴者により良いサービスを提供するために一連のアンケートを実施しています。 私たちのものを取ってください 数学読者アンケート そしてあなたは無料で当選するためにエントリーされます クアンタ マーチ。