[論文レビュー] Wave Equations on Lorentzian Manifolds and Quantization

Christian Baer, Nicolas Ginoux+1 more|ArXiv.org|Jun 5, 2008

Black Holes and Theoretical Physics参考文献 9被引用数 31

ひとこと要約

この論文は、現代の微分幾何学および分布論を用いて、ローレンツ多様体上での線形波動方程式のきめ細やかなグローバル理論を構築する。基本的解、グリーン作用素、および因果的初期値問題の解の存在と一意性を確立し、グローバルに因果的である時空において、C*-代数とCCR表現を用いた曲がった時空上での量子場理論の数学的基盤を構築する。

ABSTRACT

This book provides a detailed introduction to linear wave equations on Lorentzian manifolds (for vector-bundle valued fields). After a collection of preliminary material in the first chapter one finds in the second chapter the construction of local fundamental solutions together with their Hadamard expansion. The third chapter establishes the existence and uniqueness of global fundamental solutions on globally hyperbolic spacetimes and discusses Green's operators and well-posedness of the Cauchy problem. The last chapter is devoted to field quantization in the sense of algebraic quantum field theory. The necessary basics on C*-algebras and CCR-representations are developed in full detail. The text provides a self-contained introduction to these topics addressed to graduate students in mathematics and physics. At the same time it is intended as a reference for researchers in global analysis, general relativity, and quantum field theory.

研究の動機と目的

• ローレンツ多様体上での線形波動方程式の完全なグローバル理論を構築し、多様体全体に定義された解の存在と一意性に関する公式的な証明が欠落している点を補う。
• リレーとショケ・ブロワの研究にさかのぼる基礎的結果をたどりながら、正規的双曲的作用素の自己完結的で現代的な幾何的取り扱いを提供し、文献におけるギャップを埋める。
• 曲がった時空上での量子場理論の数学的枠組みを確立し、C*-代数と標準的交換関係（CCR）に焦点を当て、正規化や物理的応用に踏み込まずに、その枠組みを構築する。
• 反ド・ジラ・時空のようなグローバルに因果的でない時空を分析し、共形的技法を用いてグリーン作用素の存在（一意性は保証しない）を証明する。
• 基本的解の形式的ハダマール展開が真の解の漸近展開であることを示し、係数が曲率および作用素の不変量によって決定されることを明らかにする。これは熱核の漸近展開と類似している。

提案手法

• ミンコフスキー空間におけるリエス分布を用いた再帰的手続きにより形式的基礎的解を構成し、切断関数を用いて一般のローレンツ多様体へ拡張する。
• 誤差項を反復的解析によって補正することで、形式的解が真の基礎的解の漸近展開であることを証明する。これは短時間熱核の漸近展開に類似した手続きである。
• グローバルに因果的な多様体の因果的構造を活用してグローバル解を確立し、先行・遅行グリーン作用素の存在と一意性を保証する。
• アインシュタインの円筒と反ド・ジラ時空との間の共形同値性を用い、グローバルに因果的でないにもかかわらず、後者の上でのグリーン作用素の構成を可能にする。
• 量子場理論への応用としてC*-代数とCCR表現を構成し、局所的量子場理論のハーグ＝カステラー公理を満たすことを検証する。
• 分布論、ローレンツ幾何学、関数解析の道具を用い、すべての必要な背景知識を付録にまとめ、自己完結的な枠組みを実現する。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ多様体にどのような幾何的条件が満たされると、線形波動方程式が一意なグローバル解を持つのか？
• RQ2 グローバルに因果的な時空上での正規的双曲的作用素に対して、基本的解とグリーン作用素をどのように構成できるか？
• RQ3 反ド・ジラ時空のようなグローバルに因果的でない時空上でも、グリーン作用素を構成できるか。もし可能であれば、どのような条件下で可能になるか？
• RQ4 基本的解の漸近展開の係数が、曲率および作用素の不変量において、熱核の展開とどの程度一致するか？
• RQ5 C*-代数とCCR表現の数学的枠組みをどのように用いて、曲がった時空上での局所的量子場理論を構築できるか？

主な発見

• 基本的解の形式的ハダマール展開は、真の基礎的解の漸近展開であり、係数は曲率不変量および作用素係数によって決定される。
• グローバルに因果的な多様体上では、一意な先行・遅行グリーン作用素が存在し、線形波動方程式の初期値問題の適切な定式化が保証される。
• グローバルに因果的でない反ド・ジラ時空では、アインシュタインの円筒の部分集合との共形同値性により、ヤマベ作用素の先行・遅行グリーン作用素が存在する。
• 反ド・ジラ時空上での正規的双曲的作用素の基礎的解は一意でない。これは、有限時間で分離しない時間的関係関数と台の議論によって示される。
• C*-代数的表現の構成は、局所的量子場理論のハーグ＝カステラー公理を満たし、曲がった時空上での量子化のきめ細やかな数学的基盤を提供する。
• 理論は自己完結的であり、楕円型偏微分方程式論の先行知識を一切必要としない。超曲面方程式に関するすべての必要な結果が、最初から構築されている。