[論文レビュー] The minimum principle from a Hamiltonian point of view

Peter Heinzner|ArXiv.org|Dec 28, 1997

Geometry and complex manifolds被引用数 6

ひとこと要約

本稿は、複素幾何における最小原理を証明するためのハミルトニアン枠組みを確立する。G_R-不変の厳密な正スブハーモニックなエクhaustion関数が、G_R-安定な全純関数領域 X に存在するならば、その G-軌道 G.X もまた全純関数領域であることを示している。主な貢献は、拡張された未来チューブ予想の証明であり、R^4 における正の光円錐の上に作られたチューブ領域の N 重積上での、複素ローレンツ群の対角的作用が全純関数領域をもたらすことを確認している。

ABSTRACT

Let G be a complex Lie group, G_R a real form of G and X a G_R-stable domain of holomorphy in a complex G-manifold. If there is a G_R-invariant strictly plurisubharmonic function on X which has certain exhaustion properties, then we show that the extended domain G.X is also a domain of holomorphy. As an application we give a proof of the extended future tube conjecture. This is the assertion that G.X is a domain of holomorphy in the case where X is the N-fold product of the tube domain in C^4 over the positive light cone in R^4 and G is the connected complex Lorentz group acting diagonally.

研究の動機と目的

• 複素幾何における最小原理に向けたハミルトニアン的アプローチを確立すること。
• G_R-安定な全純関数領域の G-軌道が、ある条件下で全然の全純関数領域のままであることを証明すること。
• 複素ローレンツ群の作用の文脈において、拡張された未来チューブ予想を解決すること。
• 複素 G-多様体上の領域において、G_R-不変の厳密な正スブハーモニックなエクhaustion関数の存在を示すこと。

提案手法

• 複素リー群 G 及びその実形式 G_R が複素 G-多様体上で作用することを用いる。
• 全純関数領域の解析に、エクhaustion性を持つ厳密な正スブハーモニック関数の理論を適用する。
• ハミルトニアン技法を用いて、複素多様体上の群作用の力学を研究する。
• G_R-安定な領域 X の G-軌道 G.X を分析する。
• G_R-不変の厳密な正スブハーモニックなエクhaustion関数の存在を用いて、拡張された領域の全純関数性を導出する。
• 特定のケース、すなわち R^4 における正の光円錐の上に作られたチューブ領域の N 重積への枠組みの適用。

実験結果

リサーチクエスチョン

• RQ1 G_R-安定な全純関数領域の G-軌道が、どのような条件下で全然の全純関数領域であるか。
• RQ2 ハミルトニアン法を用いて、複素幾何における最小原理を証明できるか。
• RQ3 複素ローレンツ群の対角的作用が、チューブ領域の N 重積に対して、拡張された未来チューブ予想を満たすか。
• RQ4 G_R-不変の厳密な正スブハーモニックなエクhaustion関数は、全純関数領域の拡張においてどのような役割を果たすか。
• RQ5 X が R^4 における正の光円錐の上に作られたチューブ領域の N 重積であるとき、G.X は全純関数的か。

主な発見

• X が適切な性質を持つ G_R-不変の厳密な正スブハーモニックなエクhaustion関数を備えているならば、拡張された領域 G.X は全然の全純関数領域である。
• 証明により、R^4 における正の光円錐の上に作られた C^4 内のチューブ領域の N 重積上での、連結な複素ローレンツ群の対角的作用に対して、拡張された未来チューブ予想が正当であることが確認された。
• ハミルトニアン枠組みは、複素幾何における群論的設定への最小原理の一般化に成功した。
• G_R-不変の厳密な正スブハーモニックなエクhaustion関数の存在により、G.X が全然の全純関数領域のままであることが保証される。
• この結果により、群作用、正スブハーモニック関数、および複素多様体における全純関数性との深い関係が確立された。
• この手法は、複素微分幾何における群作用下での全純関数領域を研究するための新しい解析的ツールを提供する。