[論文レビュー] Nonstandard hulls of Banach-Lie groups and algebras

Vladimir Pestov|ArXiv.org|May 19, 1992

Mathematical and Theoretical Analysis参考文献 17被引用数 7

ひとこと要約

本稿は、非標準解析を用いたBanach-Lie群および代数の新規構成を提示する。局所定理を介して、グローバルなLie群関連問題を有限生成部分代数に還元可能となる。このアプローチは、無限次元Lie構造の研究に基礎的ツールを提供し、ゲージ理論や関数解析への応用が期待される。

ABSTRACT

We propose a new construction of Banach-Lie groups and algebras relying on nonstandard analysis. A major standard application is the Local Theorem which to certain extent reduces the problem of associating a Lie group to a given banach-Lie algebra to a similar problem for finitely generated Lie subalgebras. We discuss possible applications, e.g., to gauge theories.

研究の動機と目的

• 非標準解析を用いたBanach-Lie群および代数の構築のための新しい枠組みを構築すること。
• 無限次元設定における、与えられたBanach-Lie代数に対応するLie群を特定する課題に取り組むこと。
• グローバル問題を有限生成部分代数に還元する局所定理を確立すること。
• 数学的物理、特にゲージ理論への応用を想定し、非標準手法を用いた標準的解析的ツールを提供すること。
• 関数解析における有限次元Lie理論と無限次元ケースの間のギャップを埋めること。

提案手法

• 非標準解析を用いて、Banach-Lie群および代数の非標準ヒルの構成を行う。
• 移行原理を適用し、有限次元Lie代数の性質を非標準拡張へと拡張する。
• 非標準モデルにおける内部Lie部分代数の概念を用いて、局所的群構造を分析する。
• 飽和原理を用いて、標準的対象の内部近似の存在を保証する。
• 内部Lie部分代数およびその指数関数の挙動を分析することで、局所定理を導出する。
• 標準部分写像を用いて、非標準的状況からの結果を標準的世界へと還元する。

実験結果

リサーチクエスチョン

• RQ1 非標準解析は、Banach-Lie代数に対応するLie群を構成するための構成的手段を提供できるか？
• RQ2 Lie群の統合問題が、どの程度有限生成部分代数に還元可能か？
• RQ3 Lie群および代数の非標準ヒルは、それらの標準的同型体の構造をどのように反映するか？
• RQ4 この構成は、無限次元設定におけるゲージ理論にどのような意味を持つのか？
• RQ5 局所定理は、有限次元近似を用いたBanach-Lie群の研究をどの程度簡素化するか？

主な発見

• 本稿は、Banach-Lie代数に対応するLie群を特定する問題を、有限生成部分代数のケースに還元する局所定理を確立した。
• 非標準ヒルは、非標準拡張されたLie代数からBanach-Lie群を標準的かつ一意に構成するための方法を提供する。
• 非標準ヒルの標準部分が、well-definedなBanach-Lie群構造を有することが保証される。
• この構成は標準的極限に対して安定であり、標準部分写像を介してLie代数構造が保存される。
• この枠組みにより、有限次元Lie理論の技法が無限次元設定へと移行可能となる。
• このアプローチは、無限次元Lie群作用の非標準的基盤を提供することで、ゲージ理論の研究に新たな道を開く。