[論文レビュー] On $CR$ mappings between algebraic Cauchy--Riemann manifolds and separate algebraicity for holomorphic functions

Руслан Шарипов, Alexander Sukhov|ArXiv.org|Dec 15, 1994

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

ひとこと要約

この論文は、代数的コーシー・リーマン多様体間の滑らかなCR写像の代数的性質を確立し、正則関数における分離代数的性質の一般化を証明する。複素解析および代数幾何学の技術を用いて、このような写像が必然的に有理型であり、実数上に定義されることを示し、古典的な代数的性質の結果をCR設定に拡張し、代数的CR多様体上の正則関数へのより広範な適用可能性を実現する。

ABSTRACT

We prove the algebraicity of smooth $CR$-mappings between algebraic Cauchy--Riemann manifolds. A generalization of separate algebraicity principle is established.

研究の動機と目的

• 滑らかなCR写像が代数的コーシー・リーマン多様体間で代数的であることを確立すること。
• 正則関数の分離代数的性質の原則を、より広いクラスのCR構造へ一般化すること。
• CR写像が代数的であることを示すことで、複素解析と代数幾何学を橋渡しすること。
• 複素多様体上の正則関数に関する既知の結果を、代数的構造を持つCR多様体の設定に拡張すること。
• 代数的幾何的設定におけるCR写像の剛性に関する基礎的結果を提供すること。

提案手法

• CR構造の理論および複素空間への埋め込みを用いて、写像の代数的性質を分析する。
• 正則関数が各変数ごとに代数的であるという分離代数的性質の概念を適用し、それをCR設定に拡張する。
• 特に実解析関数の零点集合に注目した、実および複素代数幾何学の技術を用いる。
• 滑らかなCR写像が、ある種の解析的および代数的制約を満たすことで、有理型であることが強制されることに依存する。
• 実解析的方程式によって定義される代数的CR多様体の構造を用いて、写像のグローバルな代数的性質を導出する。
• 解析的関数の連続性の原理および、代数的文脈における正則拡張の一意性を応用する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなCR写像が代数的コーシー・リーマン多様体間で必然的に代数的であるのは、どのような条件下か？
• RQ2 正則関数の分離代数的性質の原則は、代数的CR多様体上のCR写像へ一般化可能か？
• RQ3 代数的CR多様体間の写像にかかるCR条件から、どのような代数的制約が生じるか？
• RQ4 下位のCR多様体の代数的構造は、CR写像のグローバル性にどのように影響するか？
• RQ5 CR多様体上の実解析的条件が、CR写像の有理型性をどの程度強制するか？

主な発見

• すべての滑らかなCR写像は、代数的コーシー・リーマン多様体間で代数的であり、すなわち有理型写像の制限である。
• 一般化された分離代数的性質が成り立つ：正則関数が各変数ごとに代数的であれば、適切なCR条件下ではグローバルに代数的である。
• CR写像の代数的性質は、下位のCR多様体の実解析的および代数的構造に起因する。
• 結果として、複素解析からの古典的な代数的性質の定理が、CR設定に拡張され、CR写像の剛性に関する結果が得られる。
• 本論文は、CR多様体間のCR写像が、滑らかであっても、代数的でなければならず、CR幾何学と代数的制約の相互作用によって、超越的であることは不可能であることを確立する。
• 証明は、代数的集合上の実解析的CR構造が、正則およびCR写像をグローバルに有理型に強制することに依存する。