[論文レビュー] Sato hyperfunctions via relative Dolbeault cohomology

Naofumi Honda, Takeshi IZAWA+1 more|arXiv (Cornell University)|Jul 5, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用数 3

ひとこと要約

この論文は、相対ドーバルコhomologyを用いて佐藤超関数を確立し、抽象的な局所コホモロジーを滑らかな微分形式に置き換える、明示的かつ計算可能な枠組みを提供する。これにより超関数の明示的表現が得られ、積分や双対性などの演算が簡略化され、シュワーツ超関数の空間への明示的埋め込みが、自然な準同型を介して構成される。

ABSTRACT

The relative Dolbeault cohomology which naturally comes up in the theory of Cech-Dolbeault cohomology turns out to be canonically isomorphic with the local (relative) cohomology of A. Grothendieck and M. Sato so that it provides a handy way of representing the latter. In this paper we use this cohomology to give simple explicit expressions of Sato hyperfunctions, some fundamental operations on them and related local duality theorems. This approach also yields a new insight into the theory of hyperfunctions and leads to a number of further results and applications. As one of such, we give an explicit embedding morphism of Schwartz distributions into the space of hyperfunctions.

研究の動機と目的

• Stein被覆やチェチュコホモロジーに依存しないように、相対ドーバルコホモロジーを用いて佐藤超関数を再定式化すること。
• 実多様体の近傍およびその補集合における滑らかな微分形式を用いて、超関数の明示的かつ計算可能な表現を提供すること。
• 超関数論における基本的演算、例えば積分、双対性、境界値準同型の簡略化。
• シュワーツ超関数の空間への明示的埋め込みを構成すること。
• ラプラス超関数や擬微分作用素の理論を含む、代数解析分野におけるさらなる発展の基盤を築くこと。

提案手法

• 局所コホモロジーの標準的モデルとして相対ドーバルコホモロジーを用い、層論的構成を滑らかな微分形式に置き換える。
• 超関数を、Mの近傍におけるC∞ (0,n)-形式τ₁と、補集合上のC∞ (0,n−1)-形式τ₀₁のペア(τ₁, τ₀₁)として表現し、コサイクル条件を満たすようにする。
• 分区関数と細かい分解を用いて、Stein被覆を必要としないグローバル構成を扱う。
• トム類と無限小の楔積分を用いて、境界値準同型を明示的に構成する。
• 層の複体とチェチュ＝ドーバルコホモロジー分解の間の準同型を用いて、コホモロジー類と超関数との関係を確立する。
• RHom関手を用いて、層の導来圏と超関数コホモロジーとの関係を記述し、準同型の明示的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 相対ドーバルコホモロジーは、従来の局所コホモロジーに比べて、佐藤超関数のより明示的かつ計算可能な表現を提供できるか？
• RQ2 この枠組みにおいて、境界値準同型と超関数の積分をどのように明示的に記述できるか？
• RQ3 このコホモロジー的モデルを用いて、シュワーツ超関数の空間を超関数の空間に明示的に埋め込むことができるか？
• RQ4 このアプローチは、ラプラス超関数や擬微分作用素の理論にどのような影響を及えるか？
• RQ5 この方法は、余次元の純粋性や超関数層のフラッピネスといった基本的性質の証明を簡略化するか？

主な発見

• 相対ドーバルコホモロジーは、グロテンディーク＝サトの局所コホモロジーと自然に同型であり、超関数の明示的モデルを提供する。
• 超関数は、滑らかな微分形式のペア(τ₁, τ₀₁)として明示的代表元を有し、直接的な計算やコンパクトな台を持つ表現が可能になる。
• 相対ドーバル複体における滑らかな微分形式のペアリングを用いて、超関数の積分が明示的に計算可能である。
• 境界値準同型bΩがD加群の準同型であることが示され、微分作用素と整合することが確認された。
• コホモロジー的残差写像を介して、シュワーツ超関数の空間への明示的埋め込み準同型が構成された。
• この枠組みにより、代数解析分野における新規な結果が得られ、ラプラス超関数や擬微分作用素の記号論への応用が可能になった。