[論文レビュー] Finitude g\'eom\'etrique en g\'eom\'etrie de Hilbert + an erratum/addendum

Blayac, Pierre-Louis, Crampon, Micka\"el+1 more|arXiv (Cornell University)|Feb 24, 2012

Mathematics and Applications参考文献 36被引用数 26

ひとこと要約

この論文は、C¹境界を持つ厳密に凸な領域上に定義されたヒルベルト幾何学において、グロモフ・ハイパーオリック空間における幾何的有限性の標準的定義が不十分であることを示している。著者らは明示的な反例を構成することで、商オビフォールドの幾何的性質と同等であるためには、定義を強化する必要があることを示し、ボウディッチのハイパーオリック幾何学の結果をヒルベルト幾何学へと拡張している。誤植訂正では、射影変換とホロボールに関する収束議論に起因する重大な欠陥が是正されている。

ABSTRACT

The paper is divided in 2 parts. The first part is the original paper of the second and third authors arXiv:1202.5442v2. The second part is an erratum/addendum written in english and concatenated at the end of the former paper. In the erratum/addentum, we amend Theorems 1.3 and 1.11 of arXiv:1202.5442v2: Finitude g\'eom\'etrique en g\'eom\'etrie de Hilbert. We seize the opportunity to show that in round Hilbert geometry, geometrical finiteness (gf) is equivalent to cusp-uniform action and to fill some small gaps that appear in two other proofs of arXiv:1202.5442v2.

研究の動機と目的

• ヒルベルト幾何学における商オビフォールド幾何学との期待される同等性と、標準的グロモフ・ハイパーオリック定義との間の不一致を解消すること。
• 古典的定義がヒルベルト幾何学で失敗する理由を、群作用が標準的境界条件を満たしているにもかかわらず幾何的有限でない明示的な反例を構成することで特定すること。
• 商のトポロジー、体積、力学的性質と同等であるように保証するための、幾何的有限性の修正・強化定義を提供すること。
• 主定理の元々の証明における誤り、特に射影変換の下での凸集合の列の収束に関する誤りを是正すること。
• SL₂(R) から SL₅(R) へのある種の表現が、RP⁴ 内の円形凸領域上で、群作用が凸核上で共コンパクトであっても幾何的有限でない作用を生じることを示すこと。

提案手法

• SL₂(R) の非コンパクト格子 Γ ⊂ SL₂(R) 及びその非可約表現 ρ: SL₂(R) → SL₅(R) を用いて、RP⁴ 内の円形凸領域 Ω ⊂ RP⁴ を保存する反例を構成する。
• ρ(Γ) の凸核 C(ΛΓ) における作用を分析し、C がグロモフ・ハイパーオリック的かつ商が有限体積である一方で、最大の放物的部分群が O₄,₁(R) に共役でないため、群は幾何的有限でないことを示す。
• 射影幾何学およびバセマン関数の理論を用いて、ヒルベルト距離におけるホロボールおよび錐的極限点を研究する。
• ベンワールのコンパクトネス補題（[Ben03, Lem. 2.8]）を適用し、gₙ(Ω) → Ω∞ となる射影変換の列 (gₙ) を抽出し、Ω∞ ∩ S が楕円体であることを示す。
• 部分空間 S および境界点 u ∈ ∂Ω を不変にする双曲的自己同型の1パラメータ部分群 (γₜ) を用いて幾何を再中心化し、放物的固定点付近の挙動を分析する。
• 元々の収束議論の欠陥を是正するため、ベンワールの補題から得られる適切に選ばれた (gₙ) を (γₖₙ) に代えることで、凸核の像が S に含まれる集合に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 なぜ標準的グロモフ・ハイパーオリック定義の幾何的有限性は、ヒルベルト幾何学において正しく幾何的構造を捉えていないのか？
• RQ2 群が凸核上で共コンパクトに作用し、商が有限体積であっても、ヒルベルト設定下では幾何的有限でないことはあり得るか？
• RQ3 放物的部分群が標準的放物的部分群 O₄,₁(R) に共役でない場合に、ヒルベルト幾何学における群作用が幾何的有限であるための条件は何か？
• RQ4 射影変換の下で (γₖₙ(Ω) ∩ Eₑₓₜ) が Eₑₓₜ に収束しない場合、幾何的有限性と凸核の有限体積の同等性を証明する元々の証明はどのように是正できるか？
• RQ5 RP⁴ 内の凸領域を保存する SL₂(R) から SL₅(R) への表現のうち、像群が凸核上で共コンパクトに作用するが幾何的有限でないものは存在するか？

主な発見

• 境界群作用に基づく標準的幾何的有限性定義は、ヒルベルト幾何学では不十分であり、商オビフォールドのトポロジー的および体積的性質と同等であるためには、強化された条件が必要である。
• ρ(Γ) が凸核上で共コンパクトに作用し、商が有限体積であるが、最大の放物的部分群が O₄,₁(R) に共役ではないため、幾何的有限でない反例が存在する。
• 元々の証明で主張された (γₖₙ(Ω) ∩ Eₑₓₜ) → Eₑₓₜ の収束は誤りである。特に錐 Co に制限した場合、収束は失敗し、列は内部が空の凸集合に収束する可能性がある。
• 修正された証明では、ベンワールの補題を用いて gₙ(Ω) → Ω∞ かつ Ω∞ ∩ S が楕円体であるような列 (gₙ) を抽出し、凸核の像が S の部分集合に収束することを示している。
• 修正された議論により、点列が三角形の辺からのヒルベルト距離が無限大に発散する場合、極限点は S に属しなければならず、S に属さない限り仮定に矛盾する。
• 誤植訂正では、(VF)₁ ⇒ (GF) および ((gf)&(Hyp)) ⇒ (GF) が一般には成り立たないことが示され、非可約表現 SL₂(R) → SL₅(R) が RP⁴ 内の円形凸領域を保存する例から反例が生じる。