[論文レビュー] A Laurent expansion for regularised integrals of holomorphic symbols

Sylvie Paycha, Simon Scott|ArXiv.org|Jun 10, 2005

Holomorphic and Operator Theory参考文献 7被引用数 5

ひとこと要約

本稿は、線形的に変化する次数を持つ正則な古典的擬微分作用素の族に対するコンツェビッチ＝ヴィシクの正則化トレースのローラン展開のすべての係数について、正確な公式を提供する。既知の残留トレース・極の同定を高次項へ一般化し、有限部トレースを標準的および残留トレース密度のグローバルに定義された組み合わせとして表現することで、スペクトル理論および指数理論における長年の問題を解決する。

ABSTRACT

For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.

研究の動機と目的

• 既知の残留トレースと正則化トレースの単純極との同定を、ローラン展開のすべての高次係数へ拡張すること。
• 作用素の微分が対数同次的同次的記号を生じる場合の有限部トレース式のグローバル不変性問題を解決すること。
• 正則化トレースの極における有限部が、標準的および残留トレース密度の組み合わせによってグローバルにwell-definedな不変量であることを確立すること。
• 線形的次数関数 α(z) = qz + b に対する正則化トレースのローラン展開のすべての係数について明示的な公式を提供すること。
• 線形でない次数関数に対しても、結果を一般化すること。

提案手法

• 線形次数 α(z) = qz + b を持つ正則族 A(z) の正則化トレース TR(A(z)) のローラン展開を導出する。
• 正則化トレースの有限部積分定義を用い、余接空間上での記号の積分の特異的挙動を分析する。
• 極 z₀ における TR(A(z)) の有限部を、A’(z₀) を含む特定の残留項を引くことで特定し、グローバル不変性を保証する。
• M 上の多様体上で、TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀)) がグローバルにwell-definedな密度を定義することを示す。
• 定数 q を α′(z₀) に置き換え、α′′(z₀)/α′(z₀)² を含む補正項を加えることで、任意の正則次数関数 α(z) への一般化を実行する。
• 球面上での同次関数に対する部分積分および同次性の議論を用いて、有限部式の座標不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 作用素族の次数が非整数であり、その微分が対数同次的同次的記号を生じる場合、有限部正則化トレースをどのようにグローバルに表現できるか？
• RQ2 正則化トレースのローラン展開係数の正確な構造は、単純極項を越えてどのように構成されるか？
• RQ3 個々の正則化トレースおよび残留トレースが高次微分に対してグローバル密度を定義できないのはなぜか？ その組み合わせが不変性を回復する仕組みは何か？
• RQ4 正則化トレースの有限部は、極における次数関数 α(z) の微分にどのように依存するか？
• RQ5 ローラン展開の定数項の公式を線形次数関数を超えて一般化できるか？

主な発見

• 極 z₀ における正則化トレースの有限部は、∫ₘ [TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀))] dx で与えられ、これはグローバル不変密度を定義する。
• 線形次数 α(z) = qz + b の場合、TR(A(z)) のローラン展開は明示的に TR(A(z)) = −res(A(z₀))/q ⋅ 1/(z−z₀) + Σₖ fp_z=z₀ TR(Aᵏ(z)) (z−z₀)ᵏ/k! で与えられる。
• α(z) が線形でない場合、定数項には追加の残留項 (α′′(z₀)/(2α′(z₀)²)) res(A(z₀)) が含まれる。
• TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀)) の組み合わせは、個々の項がグローバルに定義されないにもかかわらず、グローバルにwell-definedである。これは主要な技術的障害を解消する。
• 有限部式は局所座標に依存しない。これは、球面上の同次関数に対する部分積分により証明された。
• 古典的な残留トレース・極恒等式が、ローラン展開のすべての係数へ一般化され、正則化問題に対する完全な解決が得られた。