[论文解读] 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）与拓扑斯理论的直觉主义框架。
• 研究引力场在不同拓扑斯阶段中的行为，特别是涉及无穷小量和额外维度的情形。
• 探讨当宇宙学常数和物质密度并非常数而是依赖于拓扑斯阶段时，其物理含义。
• 分析时空度规的符号如何基于拓扑斯的局部结构及无穷小场的行为而变化。
• 证明在四维时空看似微弱的引力场，在更高维或非阿基米德几何背景下可能表现为强烈引力场。

提出的方法

• 在光滑拓扑斯 $\mathbf{Set}^{\mathbf{L}^{\mathrm{op}}}$ 中形式化引力，其中 $\mathbf{L}$ 是有限生成 $C^\infty$-环的对偶范畴，从而实现无穷小推理。
• 应用 Kock-Lawvere 公理，定义包含无穷小量 $D = \{x \in \mathbf{R} \mid x^2 = 0\}$ 的环 $\mathbf{R}$ 上的可微函数，以直觉主义逻辑取代经典逻辑。
• 在 SDG 中推导具有非零能量-动量张量 $\frac{8\pi G}{c^2} d u_i u_k$ 的真空爱因斯坦方程，其中 $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 一个在四维时空看似微弱的引力场，是否可能在更高维或非阿基米德几何背景下表现为强烈引力场？
• 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$ 的线性项，导致在五维空间 $(t,r,\theta,\phi,a)$ 中出现非微弱的引力场，尽管其四维投影看似微弱。
• 在阶段 $\ell C^\infty(\mathbb{R}^2)/\{a_1 - a_2\}$ 中，条件 $\rho^2 \equiv 0 \mod I$ 强制 $\rho = 0$，$\Lambda = 0$，度规退化为闵氏形式。
• 在有界 $U$ 的阶段 $\ell C^\infty(U)$ 中，函数 $\rho$、$\Lambda$ 和 $C$ 可以很小，从而保持闵氏符号，并确保在四维极限下为弱场。
• 通过态射 $\psi: \ell B \to \ell A$ 实现阶段之间的转换，导致度规被变换，其中 $\rho$ 和 $\Lambda$ 被拉回，且无穷小性在模理想 $J$ 下得以保持。
• 在所有阶段中，条件 $2\Lambda\rho = \kappa c^2 \rho^2$ 模理想成立，确保在非零无穷小密度下仍与真空方程一致。