[論文レビュー] Space-time foam dense singularities and de Rham cohomology

Anastasios Mallios, Elemér E Rosinger|ArXiv.org|Jun 27, 2004

Mathematical Analysis and Transform Methods参考文献 53被引用数 5

ひとこと要約

この論文は、特異点が任意の稠密な部分集合に存在する場合、特異点でない点が依然として稠密である限り、ユークリッド空間や多様体における特異点を扱えるように、抽象的微分幾何学を拡張する。層理論的手法と一般化関数を用いて、de Rhamコホモロジーを構成し、一般化微分形式の層が軟体的かつ細かさを示すことを証明する。これにより、非可算な濃度を持つ時空フォームに類する特異点に対しても、強固なコホモロジー的枠組みを構築できる。

ABSTRACT

In an earlier paper of the authors it was shown that the sheaf theoretically based recently developed abstract differential geometry of the first author can in an easy and natural manner incorporate singularities on arbitrary closed nowhere dense sets in Euclidean spaces, singularities which therefore can have arbitrary large positive Lebesgue measure. As also shown, one can construct in such a singular context a de Rham cohomology, as well as a short exponential sequence, both of which are fundamental in differential geometry. In this paper, these results are significantly strengthened, motivated by the so called space-time foam structures in general relativity, where singularities can be dense. In fact, this time one can deal with singularities on arbitrary sets, provided that their complementaries are dense, as well. In particular, the cardinal of the set of singularities can be larger than that of the nonsingular points.

研究の動機と目的

• 一般相対性理論における時空フォームの文脈で、位相空間の任意の稠密な部分集合に存在する特異点を扱える微分幾何学的枠組みを構築すること。
• 特異点が閉かつ無集積な集合に限定されない、より大きな濃度を持つ特異点集合を含む状況において、de Rham コホモロジーを一般化すること。
• 一般化微分形式の層が軟体的かつ細かさを示すことを確立し、特異的状況におけるコホモロジー的構成の基礎的性質を保証すること。
• 古典的微分幾何学の限界を乗り越え、特異点を例外ではなく、代わりに内挿的特徴として取り入れるため、代数の層と一般化関数を用いること。

提案手法

• Malliosの抽象的微分幾何学フレームワーク（任意の位相空間上での代数層に基づく）を用い、滑らかな関数の代わりに一般化関数を導入する。
• Rosingerの一般化関数の非線形代数的理論を応用し、稠密な特異点を持つ空間上での一般化微分形式の層を構成する。
• 特異性を捉えるために、一般化滑らか関数の層を理想 $ \fancyscript{J}_{L,\fancyscript{S}|_V}(V) $ で割った商層 $ B_{L,\fancyscript{S}|_V}(V) $ を定義する。
• 滑らかなバウンダリー関数 $ \beta_l $ を、滑らかなカットオフ関数 $ \eta $ を用いて構築することで、分割の単位性の性質を確立し、層が細かいことを証明する。
• 開集合 $ V' $ の境界 $ \Sigma' $ を満たす滑らかな関数 $ \sigma' \in C^\infty(V) $ による境界表現を用い、局所的拡張を定義する。
• cofinal net $ \Lambda $ とカットオフ関数 $ \beta_{l_\lambda} $ を用いて、任意の局所的セクション $ T' \in B_{L,\fancyscript{S}|_{V'}}(V') $ が、あるグローバルセクション $ T \in B_{L,\fancyscript{S}|_V}(V) $ に制限されることで、軟体性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特異点集合が連続体濃度を持つ場合でも、稠密な特異点が存在する状況で de Rham コホモロジーを一貫して定義できるか？
• RQ2 特異点が稠密で、その補集合が可算である場合に、一般化微分形式の層が軟体的かつ細かいかをどのように示せるか？
• RQ3 一般化微分形式の層 $ B_{L,\fancyscript{S}|_V}(V) $ が持つ構造的性質は、分割の単位性の存在と局所的セクションの拡張を保証するか？
• RQ4 抽象的微分幾何学が、境界上や無集積集合に限定されないが、定義域内で稠密な特異点をどの程度まで組み込むことができるか？
• RQ5 著者らが今後の課題として示唆するように、短い完全指数列の構成をこの枠組みが支援できるか？

主な発見

• 一般化微分形式の層 $ B_{L,\fancyscript{S}|_V}(V) $ が軟体的であることが証明され、局所的セクションがグローバルに拡張可能であることが保証される。
• 滑らかなカットオフ関数 $ \beta_l $ を用いて構築された分割の単位性のおかげで、層が細かいことが示され、コホモロジー的応用にとって不可欠である。
• 補集合が稠密である任意の部分集合に特異点を許容する枠組みが構築され、例えば $ \mathbb{R} $ 内の無理数のように非可算な稠密集合を含む。特異点でない点は可算かつ稠密である。
• 特異点集合の濃度が特異点でない点の濃度よりも大きい場合でも、コホモロジー理論が適切に定義されることを保証する。
• 軟体性の証明は、開部分集合の境界上で正確に消える滑らかな関数の存在に依存し、セクションの制御された拡張を可能にする。
• 商構成における代表元の選択に依存しないことの厳密な確立は、理想 $ \fancyscript{J}_{L,\Sigma \cap V}(V) $ を通じてなされ、層構造の整合性が保証される。