[論文レビュー] Interpretation of intuitionistic solution of the vacuum Einstein equations in smooth topos

А.К. Гуц, Artem A. Zvyagintsev|ArXiv.org|Jan 24, 2000

Relativity and Gravitational Theory参考文献 9被引用数 3

ひとこと要約

本稿は、滑らかなトポス枠組み内での合成微分幾何学（SDG）を用いて、直感主義的アプローチによる重力理論を展開し、真空状態のアインシュタイン方程式の解が、トポスの段階に応じて非古典的挙動を示す可能性を示している。具体的には、強い無限小重力場や可変な宇宙定数といった非古典的特性が現れる。主な貢献は、宇宙定数と物質密度が無限小である非古典的シュバルツシルト型解であり、その計量の符号は隠れた次元や非アルキメデス的構造に依存する。

ABSTRACT

The topos theory is a theory which is used for deciding a number of problems of theory of relativity, gravitation and quantum physics. In the article spherically symmetric solution of the vacuum Einstein equations in the Intuitionistic theory of Gravitation at different stages of smooth topos ${\bf Set}^{\bf L_{op}}$ is considered. Infinitesimal "weak" gravitational field can be strong at some stagies, for which we have the additional dimensions. For example, the cosmological constant is not constant with respect to additional dimensions. Signature of space-time metric can depend of density of vacuum and cosmological constant.

研究の動機と目的

• 古典的真空アインシュタイン方程式を、合成微分幾何学（SDG）とトポス理論を用いて直感主義的枠組みへと拡張すること。
• 特に無限小量と追加次元を含む状況において、重力場が異なるトポス段階でどのように振る舞うかを調査すること。
• 宇宙定数と物質密度が定数ではなく、トポス段階に依存する非古典的解の物理的意味を探索すること。
• 計量の符号がトポスの局所的構造および無限小場の挙動にどのように依存するかを分析すること。
• 4次元時空において弱い重力場に見えるものが、高次元的または非アルキメデス的幾何的文脈では強い場として現れる可能性を示すこと。

提案手法

• 滑らかなトポス $\mathbf{Set}^{\mathbf{L}^{\mathrm{op}}}$ において重力を形式化し、$\mathbf{L}$ を有限生成 $C^\infty$-環の反対圏とする。これにより無限小の推論が可能になる。
• Kock-Lawvere公理を用いて、無限小 $D = \{x \in \mathbf{R} \mid x^2 = 0\}$ を含む環 $\mathbf{R}$ 上の微分可能関数を定義し、古典的論理を直感主義論理に置き換える。
• エネルギー運動量テンソル $\frac{8\pi G}{c^2} d u_i u_k$ を持つSDGにおける真空アインシュタイン方程式を導出する。ここで $d \in D$ は無限小密度である。
• 無限小条件下での球対称解を、$\ell C^\infty(\mathbb{R})/\{a^2\}$、$\ell C^\infty(\mathbb{R}^n)/I$、$\ell C^\infty(U)$ などの異なるトポス段階で分析し、計量の挙動を検討する。
• 一般化された要素と段階間の準同型（例：$\ell B \to \ell A$）を用いて段階間の遷移をモデル化し、引き戻しを用いて段階依存の計量を導出する。
• 非古典的状況下で、非ゼロの無限小密度を保つために、$2\Lambda\rho = \kappa c^2 \rho^2$ の条件を適用する。

実験結果

リサーチクエスチョン

• RQ1 直感主義的枠組みにおいて、無限小物質密度を伴う真空アインシュタイン方程式の解は、どのように振る舞うか？
• RQ2 宇宙定数 $\Lambda$ が定数ではなくトポス段階に応じて変化する場合、どのような物理的結果が生じるか？
• RQ3 4次元時空において弱い重力場に見えるものが、高次元的または非アルキメデス的幾何的文脈では強い場として現れる可能性はあるか？
• RQ4 時空計量の符号は、トポス段階および $\Lambda$、$\rho$、$C$ の形にどのように依存するか？
• RQ5 隠れたパラメータ $a \in \mathbb{R}^n$ はトポスモデルにおいて果たす役割は何か？また、追加次元や非古典的場の挙動とどのように関係するか？

主な発見

• 宇宙定数 $\Lambda$ と物質密度 $\rho$ が無限小である非古典的シュバルツシルト型解が導出され、計量は $ds^2 = \left(1 + \frac{(\kappa c^2\rho - 2\Lambda)r^2}{6} + \frac{C}{r}\right)dt^2 - \cdots$ の形を取り、$C$ が無限小である段階で有効である。
• $\ell C^\infty(\mathbb{R})/\{a^2\}$ の段階では、計量成分が $a$ の線形項に依存し、5次元時空 $(t,r,\theta,\phi,a)$ においても弱い重力場ではない場が生じるが、4次元射影では弱く見える。
• $\ell C^\infty(\mathbb{R}^2)/\{a_1 - a_2\}$ の段階では、$\rho^2 \equiv 0 \mod I$ の条件により $\rho = 0$、$\Lambda = 0$ となり、計量はミンコフスキー形式に簡略化される。
• $\ell C^\infty(U)$ の段階（$U$ が有界）では、関数 $\rho$、$\Lambda$、$C$ が小さくなるため、ミンコフスキー符号が保たれ、4次元極限で弱い場が維持される。
• 段階間の準同型 $\psi: \ell B \to \ell A$ を通じた遷移により、$\rho$ と $\Lambda$ が引き戻され、理想 $J$ を法として無限小性が保存される変換された計量が得られる。
• $2\Lambda\rho = \kappa c^2 \rho^2$ の条件は、すべての段階で理想を法として成り立ち、非ゼロの無限小密度があるにもかかわらず、真空方程式と整合的であることが保証される。