[論文レビュー] Effective Termination of Kohn's Algorithm for Subelliptic Multipliers

Yum-Tong Siu|ArXiv.org|Jun 27, 2007

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

ひとこと要約

本稿は、フロベニウスの定理とヤコビアン行列式を用いて、有限型の弱擬凸領域におけるサブエリプティック乗数子に対するコーンのアルゴリズムの有効的終了性について、幾何的・代数的幾何的証明を提供する。系統的な選択ルール（根の抽出とヤコビアン構成のバランス）が終了を保証することを示し、スコーダの理想生成定理と正則微分形式への直接像技術を用いて主要な結果が得られる。

ABSTRACT

This note discusses the problem of the effective termination of Kohn's algorithm for subelliptic multipliers for bounded smooth weakly pseudoconvex domains of finite type. We give a complete proof for the case of special domains of finite type and indicate briefly how this method is to be extended to the case of general bounded smooth weakly pseudoconvex domains of finite type.

研究の動機と目的

• 有界で滑らかな弱擬凸領域で有限型であるような領域における、サブエリプティック乗数子に対するコーンのアルゴリズムの有効的終了性の完全な証明を確立すること。
• ジェットで定義される分布の積分部分多様体に着目したフロベニウスの定理を用いた幾何的視点を提示し、コーンのアルゴリズム的手続きを幾何的構造から自然に生じることを明確にすること。
• 実解析的性質が終了性を可能にする役割を示し、べき級数と明示的な微分の追跡を可能にすること、および一般の滑らかさの設定への一般化を妨げる根本的障害を特定すること。
• 複素Neumann問題を超える一般の偏微分方程式への代数的幾何的技法の適用を透明かつ簡潔な枠組みで提供すること。
• 特に多重度推定において、乗数子生成のためのヤコビアン構成における微分回数の正しい数え方を保証するように、以前の定式化を是正・精錬すること。

提案手法

• ジェットで定義される推移的分布の積分部分多様体として、コーンのアルゴリズムをフロベニウスの定理を用いて幾何的に解釈する。
• 定義関数によって定義される分岐被覆の下で、高次の正則微分形式の直接像技術を適用する。
• スコーダの理想生成定理を用いて、特にヤコビアン行列式と微分を通じて、乗数子の消失順序を制御する。
• 原点で消失する形式の和に等しくない非消失形式が存在することを示す矛盾を構成し、ヤコビアン行列式が高次の理想に属し得ないことを証明する。
• 局所座標と適切な写像を用いて、形式の積分可能性および$L^2$有界性を、分岐被覆上の有限体積条件に還元する。
• 多重度に基づく修正された微分ルールをヤコビアン行列式の構成に導入し、適切な消失順序の制御を保証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな弱擬凸領域で有限型であるような領域において、系統的な選択ルールを用いて、サブエリプティック乗数子に対するコーンのアルゴリズムを有効的に終了させることができるか？
• RQ2 特にフロベニウスの定理を用いたジェット分布の幾何的構造は、なぜコーンのアルゴリズム的手続きを自然に生じさせるのか？
• RQ3 実解析的性質が、コーンのアルゴリズムの無効的終了性を可能にする役割は何か？一般の滑らかさの設定への直接的拡張を妨げる具体的な障害は何か？
• RQ4 ヤコビアン行列式の構成における微分回数が、正しく乗数子を生成するためになぜ重要なのか？また、消失順序推定にどのように影響を与えるか？
• RQ5 スコーダの理想生成定理は、一般の偏微分方程式に対するコーン型アルゴリズムにおける乗数理想を制御するために、どの程度適応可能か？

主な発見

• コーンのアルゴリズムの有効的終了は、乗数理想の根の部分の抽出と、事前乗数子からなるヤコビアン行列式の構成を交互に選択するバランスの取れた選択ルールによって達成される。
• 原点で定義関数のヤコビアン行列式が高次の理想に属すると仮定すると矛盾が生じ、このような行列式が過度に高い位数で消失することは不可能であることが証明される。
• 修正された多重度に基づく微分ルールにより、構成された乗数子の消失順序が適切に制御され、文献における以前の見落としを是正する。
• 有限次分岐被覆の下で正則$n$-形式の直接像は$L^2$有界な形式をもたらし、原点でヤコビアン行列式が過度に消失する場合に矛盾を引き起こす。
• 係数$J$が$dh_1 \wedge \cdots \wedge dh_n = J\,dz_1 \wedge \cdots \wedge dz_n$を満たすとき、$ \mathfrak{m}_0^p \subset \sum \mathcal{O}_0 h_j$ならば$J$は$ \mathfrak{m}_0^p$に属し得ないことが示され、$J$の消失順序に対する下界が得られる。
• リーマン球面上の反例により、スコーダの定理における指数の鋭さが確認され、指数を下げると$H^0(\mathbb{P}^1, H + K)$における不可能な理想属性が生じることを示している。