[論文レビュー] Circle patterns with obtuse exterior intersection angles

Ze Zhou|arXiv (Cornell University)|Mar 6, 2017

Mathematical Dynamics and Fractals参考文献 46被引用数 11

ひとこと要約

本稿は、位相的次数理論、変分原理、およびタイヒミュラー理論を用いて、トーラスの円型配置定理を鈍角外部交差角へ拡張する。双曲的円型配置が鈍角を有する場合の存在および一意性条件を確立し、古典的結果を非鈎角の場合を超えて一般化し、曲線回りの角和に関する特定の幾何学的および位相的制約のもとで、このような配置が存在することを証明する。

ABSTRACT

Thurston's Circle Pattern Theorem studies existence and rigidity of circle patterns of a given combinatorial type and the given non-obtuse exterior intersection angles. Using topological degree theory, variational principle, Teichmuller theory, and Sard's Theorem, this paper generalizes Circle Pattern Theorem to the case of obtuse exterior intersection angles.

研究の動機と目的

• 非鈎角の場合に限らない、鈍角外部交差角を含む場合へのシュルストンの円型配置定理の拡張を目的とする。これは、特殊ケースにおける進展にもかかわらず、未解決のままであった。
• 双曲的面上の $τ$-型円型配置が鈍角を有する場合の存在および一意性条件を確立すること。
• 古典的な非鈎角条件を、鈍角を含むより広い角配置のクラスへ一般化すること。
• 古典的円型パッキング理論における鋭角／鈍角の二分法を超えた、円型配置を分析するための位相的および幾何学的枠組みを提供すること。

提案手法

• 一般化された角制約の下で、円型配置問題の解の存在を解析するために位相的次数理論を用いる。
• エネルギー関数を構成するための変分原理を適用し、その臨界点が有効な円型配置に対応することを保証する。
• 双曲的計量を、 genus $g>1$ の曲面上でパラメータ化し、それらを円型配置構成と関連付けるためにタイヒミュラー理論を用いる。
• 正則値がパラメータ空間に存在することを保証するためにサードの定理を用い、次数理論を適用して存在性を証明する。
• 偽ジョルダン曲線および囲繞頂点集合を導入し、鈍角の文脈におけるノンホモトープ曲線の概念を一般化する。
• 三角形および偽ジョルダン曲線回りの角和に、条件 (C1) および (C2) を課し、幾何学的実現可能性を保証する。

実験結果

リサーチクエスチョン

• RQ1 円型配置定理は、鈍角外部交差角を含むように拡張可能であろうか？
• RQ2 角関数にどのような幾何学的および位相的制約を課すと、双曲的面上に $τ$-型円型配置が存在するであろうか？
• RQ3 条件 (C1) および (C2) は、シュルストンの元来の非鈎角条件をどのように一般化するであろうか？
• RQ4 どのような条件下で、円型配置および計量のペアは等長変換を除いて一意的であろうか？
• RQ5 鋭角／鈍角の境界を越えて、接触グラフと三角形分割はどのように関係するであろうか？接触グラフは $\mathcal{T}$ の1次スケルトンと同型のままであろうか？

主な発見

• 本稿は、条件 (C1) および (C2) が満たされている限り、閉じた genus $g>1$ の曲面上に、与えられた外部交差角 $\Theta:E\to[0,\pi)$ を持つ $\mathcal{T}$-型円型配置を支持する双曲的計量 $\mu$ の存在を証明する。
• 条件 (C1) は、任意の三角形について、角の和が $\pi$ を超える場合、余弦値に基づく球面三角形不等式を満たす必要があることを保証する。
• 条件 (C2) は、長さ $s$ の非空な偽ジョルダン曲線について、角の和が $(s-2)\pi$ より小さいことを要求し、非鈎角の場合を一般化する。
• 条件 (R1) が (C1) の代わりに満たされる場合、解ペア $(\mu, \mathcal{P})$ は等長変換を除いて一意的である。これは、球面三角法に関連するより強い条件である。
• 結果は、シュレンカーの超理想円型配置定理を一般化し、円型配置理論の適用範囲を鈍角へ拡張する。
• 本稿は、次数理論およびサードの定理を用いて、実現可能な角関数の集合が与えられた制約のもとで空でなく、かつ開であることを確立する。