[論文レビュー] Mathematics for theoretical physics

Jean Claude Dutailly|arXiv (Cornell University)|Sep 25, 2012

Quantum Mechanics and Applications被引用数 3

ひとこと要約

この包括的な参考文献は、理論物理学に不可欠な高度な数学的道具の、自己完結的で正確かつ教育的構成の概要を提供する。関数解析までをカバーする基礎から出発し、ベクターバンドル上の分布、汎関数微分の厳密な定義、境界付き多様体の統一的取り扱いといった新規の定式化を導入する。技術的用語に依存するのではなく、明確さ、一般性、およびアクセスのしやすさを重視する。

ABSTRACT

This book intends to give the main definitions and theorems in mathematics which could be useful for workers in theoretical physics. It gives an extensive and precise coverage of the subjects which are addressed, in a consistent and intelligible manner.The first part addresses the Foundations (mathematical logic, set theory, categories), the second Algebra (algebraic strucutes, groups, vector spaces tensors, matrices, Clifford algebra). The third Analysis (general topology, measure theory, Banach Spaces, Spectral theory). The fourth Differential Geometry (derivatives, manifolds, tensorial bundle, pseudo-riemannian manifolds, symplectic manifolds). The fifth Lie Algebras, Lie Groups.and representation theory. The sixth Fiber bundles and jets. The last one Functional Analysis (differential operators, distributions, ODE, PDE, variational calculus). Several signficant new results are presented (distributions over vector bundles, functional derivative, spin bundle and manifolds with boundary).

研究の動機と目的

• 理論物理学者および数学者が、統一的で正確かつアクセスしやすい、高度な数学的概念の参考文献を提供すること。
• 理論物理学に特化した包括的で自己完結的な数学的リソースの不足を補うために、基礎的な論理と集合論から出発すること。
• ファイバー・バンドル、変分法、スペクトル論といった高度なトピックを、厳密な定義と外部リファレンスへの依存を最小限に抑えて提示すること。
• 変分複体を用いた汎関数微分の厳密な定義や、ベクターバンドル上の分布といった、新規または軽視されがちな結果を一貫した枠組み内で導入すること。
• 特殊な表記や仮定に過度に依存しない一般設定を強調することで、広範な適用可能性を確保すること。

提案手法

• 論理と集合論から出発し、リー群、ファイバー・バンドル、関数解析に至るまで、体系的な段階的進行。
• すべての主要な用語と記号を本文内で定義し、一貫性があり広く受け入れられた定義と表記を採用。
• 可能な限り短い、具体的な証明を挿入。長く技術的な証明は、書籍の表記と完全に整合するように参照。
• 変分複体と変分系列を用いて、ラグランジュ場理論と対称性を分析。
• 変分複体を介して汎関数微分を導入し、ヒューリスティックな扱いの代わりに厳密な代替案を提供。
• ラグランジアンをジャンプバンドルに引き戻し、水平微分 dH と垂直微分 dV を用いて保存則とノーザー型定理を導出。

実験結果

リサーチクエスチョン

• RQ1 理論物理学に特化した、統一的かつ自己完結的な数学的枠組みを、事前の専門知識を仮定せずに構築する方法は何か？
• RQ2 場の理論における汎関数微分の、厳密で一般的かつ実用的な定義は何か？
• RQ3 分布を自然にベクターバンドルへ拡張することは可能か？その場の理論への影響は何か？
• RQ4 境界付き多様体を単一の滑らかな関数を用いて一貫して定義できるか？微分幾何学におけるその結果は何か？
• RQ5 変分複体を用いて保存則を体系的に導出し、ラグランジュ系を特徴づけるにはどうすればよいか？

主な発見

• 本書は、変分複体を用いた厳密で自己完備な汎関数微分の定義を提供し、標準的な物理学的取り扱いにおける曖昧さを解消した。
• スカラー関数やテンソル値関数を超えた分布の理論を拡張する、ベクターバンドル上の分布に関する新規な定式化を導入した。
• 境界付き多様体がグローバルな定義関数を有することを示し、微分幾何学における境界条件の新しい一般的アプローチを提供した。
• 境界付き多様体上でのスピンバンドルの新しい一貫した取り扱いを提示し、クリフォード代数構造の適用範囲を拡張した。
• 変分複体の枠組みを用いて、第一変分公式を導出し、形式 µ が存在して ̟ = dHµ を満たす条件を明確にした。
• ラグランジアンをジャンプバンドルに引き戻すと水平形式 ̟ が得られ、dV ̟ = 0 ならば ̟ は局所的に dHµ として正確に表現可能であることが示され、対称性と保存則の関係が明確にされた。