[論文レビュー] Brody's theorem for Deligne-Mumford analytic stacks

Simone Borghesi, Giuseppe Tomassini|arXiv (Cornell University)|Jan 12, 2012

Geometry and complex manifolds参考文献 6被引用数 1

ひとこと要約

本稿は、Deligne-Mumford 代数的スタックに対して、Brody の古典的定理の双曲性への拡張を、このようなスタックにおけるKobayashiおよびBrodyの双曲性概念を導入し、コンパクト性の下でそれらの同値性を証明することによって行っている。この研究は、複素平面からの非定数の正則写像の存在が無いこととKobayashi双曲性との古典的同値性を、解析的および幾何学的技法を用いてスタック的設定へ一般化している。

ABSTRACT

The classical Brody's theorem asserts the equivalence between two notions of hyperbolicity for compact complex spaces, one named after Kobayashi and one expressed in terms of lack of non constant holomorphic entire functions (compactness is only used to prove the harder implication). We extend this theorem to Deligne-Mumford analytic stacks, by first providing definitions of what we think of Kobayashi and Brody hyperbolicity for such objects and then proving the equivalence of these concepts under an assumption of compactness.

研究の動機と目的

• Deligne-Mumford解析的スタックにおけるKobayashiおよびBrodyの双曲性を定義すること。
• コンパクトなDeligne-Mumford解析的スタックの文脈において、これらの二つの双曲性概念の同値性を確立すること。
• 複素空間からの古典的Brody定理をスタック的設定へ一般化すること。
• モジュライ的およびオーロリッド型幾何的文脈における双曲性の基礎的枠組みを提供すること。

提案手法

• スタックの内在的距離構造を用いて、古典的なKobayashi双曲性の定義をDeligne-Mumford解析的スタックへ適応する。
• 複素平面からの非定数の正則写像の非存在を用いて、スタックにおけるBrody双曲性を定義する。
• コンパクト性を用いて正則写像の挙動を制御し、Brody双曲性からKobayashi双曲性への含意を確立する。
• 局所的チャートと群作用を用いて、有限群作用を伴う複素空間の局所的ケースへ問題を還元する。
• スタック的構造を活用して、オーロリッド型チャート間を横断してメトリクスと正則写像を上げたり比較したりする。
• 普遍被覆およびオーロリッド商への複素幾何の解析的技法を適用し、同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Kobayashi双曲性は、Deligne-Mumford解析的スタックに対してどのように意味的に定義できるか？
• RQ2 Brody双曲性はスタック設定へどのように拡張すべきか？
• RQ3 スタックに対して、Brody双曲性がKobayashi双曲性を示すためにどのような条件下に成立するか？
• RQ4 有限群作用を伴うスタックへ、古典的Brody定理はどの程度一般化可能か？
• RQ5 コンパクト性は、スタック的文脈における双曲性概念の同値性を保証するために果たす役割は何か？

主な発見

• 本稿は、スタック上の内在的擬距離を用いて、Deligne-Mumford解析的スタックにおけるKobayashi双曲性を成功裏に定義した。
• 複素平面からの非定数の正則写像の非存在を用いて、スタック的バージョンのBrody双曲性を導入した。
• 主な結果として、コンパクトなDeligne-Mumford解析的スタックに対して、Brody双曲性がKobayashi双曲性を示すことを確立した。
• コンパクト性の仮定の下で、二つの双曲性概念の同値性が成立し、古典的Brody定理が一般化された。
• 証明は、正則写像を普遍被覆へ上げて、有限群作用の下での挙動を解析することに依存している。
• この枠組みは、モジュライ問題およびオーロリッド幾何における双曲性の研究の基盤を提供する。