[論文レビュー] The tangential Cauchy-Riemann complex on the Heisenberg group Via Conformal Invariance

Chin-Yu Hsiao, Po‐Lam Yung|arXiv (Cornell University)|Mar 26, 2013

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

ひとこと要約

この論文は、ヘイゼンベルク群 𝕳¹ における接続コーシー・リーマン方程式を、CR球面 𝕊³∖{p} とのコンフォーマル同値性を用いて解き、既知の 𝕊³ 上の結果を活用して、L⁴ および L² 空間における解の存在性と正則性を導出する。主な貢献は、L²-随伴問題における障害を克服するための新規な手法であり、重み関数 h を用いてコンフォーマル変換を定義し、直交性条件の下での可解性を確立することにある。

ABSTRACT

The Heisenberg group $\mathbb{H}^1$ is known to be conformally equivalent to the CR sphere $\mathbb{S}^3$ minus a point. We use this fact, together with the knowledge of the tangential Cauchy-Riemann operator on the compact CR manifold $\mathbb{S}^3$, to solve the corresponding operator on $\mathbb{H}^1$.

研究の動機と目的

• ヘイゼンベルク群 𝕳¹ における接続コーシー・リーマン作用素の L⁴ および L² 空間における可解性を確立すること。
• ヘイゼンベルク群 𝕳¹ における L²-随伴問題の非コンパクト性および非自明な核の欠如を、コンフォーマル幾何学を用いて克服すること。
• ステレオグラフィック射影およびコンフォーマルスケーリングを用いて、問題をコンパクトなCR多様体 𝕊³∖{p} に移すこと。
• ∂̄_b u = f および ∂̄_b* u = f が、核に直交する条件下で 𝕳¹ 上に解を有することを証明すること。
• ∂̄_b 作用素の構造を保ちつつ、𝕊³ から 𝕳¹ への解の持ち上げを可能にするコンフォーマル重み関数 h を開発すること。

提案手法

• ステレオグラフィック射影を用いて、ヘイゼンベルク群 𝕳¹ と CR球面 𝕊³∖{p} 間のコンフォーマル同値性を用いる。コンフォーマル要因は G = 1/|1 + ζ₂| である。
• θ = G²ĥθ により、ℍ¹ 上の標準的接触形式 θ を 𝕊³∖{p} に引き戻し、コンフォーマル変換下でもCR構造が保存されることを保証する。
• コンフォーマル要因 G を用いて、両多様体上での重み付き L² および L⁴ ノルムを定義し、恒等式 ‖f‖_{L^p(ℍ¹)} = ‖G^{4/p}f‖_{L^p(𝕊³)} を得る。
• 𝕊³∖{p} 上に切断関数 h を導入し、ĥZ̄h = 0 となるようにする。これにより、引き戻しにおいて ∂̄_b 構造が保たれる。
• ℍ¹ 上の式を h を乗じることで 𝕊³ 上の同値な式に変換する。これにより、∂̄_b u = f は ĥZ̄(hu) = hGf に変換される。
• 既知の 𝕊³ 上の可解性結果（補題12および13）を、核に直交する条件を用いて変換された方程式に適用する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトなヘイゼンベルク群 𝕳¹ 上の接続コーシー・リーマン作用素は、コンパクトなCR幾何学の手法を用いて L⁴ および L² 空間で解けるか。
• RQ2 𝕊³∖{p} および 𝕳¹ 上のCR構造のコンフォーマル不変性は、両多様体間での解理論の移行をどのように促進するか。
• RQ3 コンフォーマル重み関数 h は、ヘイゼンベルク群 𝕳¹ 上の L²-随伴問題における可解性の障害をどのように解消するか。
• RQ4 f が ∂̄_b* の核に直交するとき、ℍ¹ 上で方程式 ∂̄_b u = f がどのような条件下で可解か。
• RQ5 コンパクトなCR多様体 𝕊³ 上の解理論を、コンフォーマル変換および重み付きノルムを用いて、非コンパクトな設定 𝕳¹ にどのように適応できるか。

主な発見

• f ∈ L²(ℍ¹) が L²(ℍ¹) 内の ∂̄_b* の核に直交する限り、ℍ¹ 上で方程式 ∂̄_b u = f は L⁴(ℍ¹) で可解である。
• 解 u は L⁴(ℍ¹) に属し、L⁴ ノルムにおいてコンパクト台付き滑らか関数の列で近似可能である。
• f ∈ L²(ℍ¹) が L²(ℍ¹) 内の ∂̄_b の核に直交する限り、ℍ¹ 上で方程式 ∂̄_b* u = f は L⁴(ℍ¹) で可解である。
• 𝕊³ 上の変換データ hGf の L² ノルムは、ℍ¹ 上の f の L² ノルムに等しく、コンフォーマル変換下でも可積分性が保存される。
• コンフォーマル重み h により、𝕊³∖{p} 上で ĥZ̄h = 0 が成り立ち、変換された方程式が ∂̄_b 構造を保ち、解の持ち上げが可能になる。
• ℍ¹ 上の解 u は、û ∈ L⁴(𝕊³) の引き戻し u = h⁻¹û として得られ、u_j → u in L⁴(ℍ¹) かつ ∂̄_b u_j → f in L²(ℍ¹) が成り立つ。