[論文レビュー] The local and global parts of the basic zeta coefficient for pseudodifferential boundary operators

Gerd Grubb|arXiv (Cornell University)|Nov 28, 2006

Holomorphic and Operator Theory参考文献 9被引用数 2

ひとこと要約

この論文は、境界を持つ多様体へのペイチャとスコットの基本ゼータ係数の分解を一般化し、境界作用素上のグローバルなハダマール有限部積分と、楕円型微分作用素の実現の対数を含む局所的残留項に分解されることを示している。主な貢献は、ボーテ・ドゥ・モンヴェル計算に自然に適合しない複素指数の実現を扱うために、新たなリゾルベントに基づく手法を開発したことである。これにより、境界が消えない場合の完全な分解が可能になった。

ABSTRACT

Abstract. For operators on a compact manifold X with boundary ∂X, the basic zeta coefficient is the regular value at s = 0 of the zeta function Tr(BP −s 1,T), where B = P+ + G is a pseudodifferential boundary operator (in the Boutet de Monvel calculus), and P1,T is a realization of an elliptic differential operator P1, having a ray free of eigenvalues. In the case ∂X = ∅, Paycha and Scott showed how the basic zeta coefficient is the sum of a global Hadamard finite-part integral defined from B and a local residue-like term (à la Wodzicki’s noncommutative residue) defined from B log P1. We here establish a generalization to the case ∂X ̸ = ∅, with similar global and local elements, involving new residue definitions for boundary operators; here the logarithm of P1,T plays an important role. For this we develop resolvent methods, since complex powers of realizations do not fit naturally into the Boutet de Monvel calculus. Introduction. The value of the zeta function at s = 0 plays an important role in the analysis of geometric invariants of operators on manifolds. For the zeta function ζ(P1, s) = TrP −s

研究の動機と目的

• 閉多様体からコンパクトな境界付き多様体へのペイチャとスコットのゼータ係数分解を拡張すること。
• 複素指数の実現がボーテ・ドゥ・モンヴェル計算に自然に適合しないという課題に対処すること。
• ゼータ係数の局所的寄与を捉えるために、境界作用素のための新しい残留型不変量を定義すること。
• 境界が存在する状況における基本ゼータ係数のグローバル・ローカル分解を確立すること。
• ゼータ関数の文脈で、実現の対数を意味的に使用できるようにするリゾルベント技術を開発すること。

提案手法

• ボーテ・ドゥ・モンヴェル計算における楕円型作用素の実現の複素指数を定義するリゾルベントに基づくアプローチを構築する。
• ゼータ係数分解における局所的寄与を捉えるために、新しい境界残留定義を導入する。
• 局所項の主要因として、実現 $ P_{1,T} $ の対数を用いる。これは、ウォズィックィ型残留の一般化である。
• ハダマール有限部積分を用いて、境界作用素 $ B $ からのゼータ係数のグローバル部分を定義する。
• スカラー $ s=0 $ における $ \mathrm{Tr}(B P^{-s}_{1,T}) $ の分解を、グローバルな有限部積分と局所的残留項の和として確立する。
• 解析接続とスペクトル論を用いて、$ s=0 $ におけるゼータ関数の正則値を扱う。

実験結果

リサーチクエスチョン

• RQ1 ゼータ係数分解を閉多様体から境界付き多様体にどのように拡張できるか。
• RQ2 ゼータ係数における局所的寄与を捉えるために、境界作用素に必要な新しい残留定義は何か。
• RQ3 実現 $ P_{1,T} $ の対数を、ゼータ関数フレームワークにどのように意味的に組み込むことができるか。
• RQ4 ボーテ・ドゥ・モンヴェル計算がそれ自体で複素指数を自然に扱えない場合、リゾルベントはどのようにして複素指数を定義するか。
• RQ5 境界が存在する状況でも、閉じた場合と同様に、ゼータ係数のグローバル部とローカル部を分離できるか。

主な発見

• 境界付きコンパクト多様体上の基本ゼータ係数は、境界作用素 $ B $ におけるグローバルなハダマール有限部積分と、$ B \log P_{1,T} $ を含む局所的残留項に分解される。
• 局所項は、境界作用素のための新しい残留構成により定義され、ウォズィックィの非可換残留の一般化である。
• 実現 $ P_{1,T} $ がボーテ・ドゥ・モンヴェル計算に属さないにもかかわらず、その対数が局所的寄与を定義する上で中心的な役割を果たす。
• リゾルベント法により、複素指数の実現がボーテ・ドゥ・モンヴェル計算に自然に適合しないという障害を効果的に克服した。
• 境界が消えない場合（$ \partial X \neq \emptyset $）においても、ペイチャとスコットの結果を一般化し、グローバル・ローカル構造を保った分解が得られた。
• これらの新技術により、$ s=0 $ におけるゼータ関数の正則値が適切に定義され、分解可能であることが示された。