[論文レビュー] Rigidity of a family of spherical conical metrics

Xuwen Zhu|arXiv (Cornell University)|Feb 6, 2019

Geometric Analysis and Curvature Flows参考文献 25被引用数 4

ひとこと要約

本稿は、4つの尖点を持つ2次元球面上の球面的特異計量の族について、そのうち1つの角が$4\theta$で、残りが$\alpha$、$\beta$、$\alpha+\beta$である場合に、局所的な幾何的剛性を確立する。ここで$\alpha, \beta, \alpha+\beta \notin 2\pi\mathbb{Z}$である。組み合わせ幾何学と球面三角形の解析を用いて、このような計量の小さな摂動が、常に同じ1パラメータ族に属する別の計量に等長写像であることを証明する。これにより、尖点の角度が固定されているとき、尖点の位置が剛性を示すことが示される。

ABSTRACT

We study the deformation of spherical conical metrics with at least some of the cone angles larger than $2π$. We show in this note via synthetic geometry that for one family of such metrics, there is local rigidity in the choice of cone positions if angles are fixed. This gives an evidence of the analytic obstruction considered in recent works of Mazzeo and author.

研究の動機と目的

• 尖点角のうち少なくとも1つが$2\pi$を超える球面的特異計量の変形空間を調査すること。
• 尖点角が固定された状態で、小さな摂動によって尖点の位置が変化するかどうかを特定すること。
• Mazzeoらの先行研究が示唆するように、このような計量のモジュライ空間における解析的障害について、幾何的証拠を提供すること。
• 角度$(\alpha, \beta, \alpha+\beta, 4\pi)$を持つ特定の計量族に対して、近傍にある計量は、2つの球面的フットボールを貼り合わせることで得られる1パラメータ族に限られることを確立すること。
• 球面三角不等式と極値角和解析を用いて、小さな摂動下で唯一許容される構成は対称的貼り合わせ構成であることを示すこと。

提案手法

• 3本の測地線に沿った特定のカットアンドグルー分解を用いて、球面的表面を4つの測地線三角形に分割する。
• 同じ測地線分解を持つ計量を「三角形分割計量」と定義し、計量空間の長さに基づくパrametrizationを導入する。
• 特にNapierの類似式を用いて、固定された辺長とその対角を持つ球面三角形の角和を解析する。
• 補題3を用いて、固定された対辺と対角を持つ球面三角形において、2つの角の和が極値（最小または最大）をとるのは、三角形が二等辺三角形である場合に限ることを示す。
• 角$4\pi$の尖点の周囲の総角和を、三角形対が二等辺か非二等辺かの2通りの配置で比較することで分析する。
• 対称性と極値解析を用いて、唯一$4\pi$の角和を達成するのは、2つのフットボールを対称的に貼り合わせた構成に限られることを示し、非対称な摂動を除外する。

実験結果

リサーチクエスチョン

• RQ1 尖点角が$(\alpha, \beta, \alpha+\beta, 4\pi)$で、$\alpha, \beta, \alpha+\beta \notin 2\pi\mathbb{Z}$である球面的特異計量の小さな摂動が、角を保ったまま別の尖点配置を生じうるか。
• RQ2 尖点角が固定された状態で、このような計量の実現は、2つの球面的フットボールを貼り合わせる幾何的構成に限られるか。
• RQ3 $\chi(M, \vec{\beta}) = 1$かつMondello-Panovの不等式で等号が成立する場合、尖点位置に剛性が生じるか。
• RQ4 球面三角不等式と極値角和の挙動が、近傍計量の可能な構成にどのような制約を課えるか。
• RQ5 組み合わせ幾何学的手法のみで、大きな尖点角をもつ球面的特異計量のモジュライ空間における剛性を確立できるか。

主な発見

• 固定された$\vec{\beta} = (\alpha, \beta, \alpha+\beta, 4\pi)$で、$\alpha, \beta, \alpha+\beta \notin 2\pi\mathbb{Z}$である限り、近傍にある三角形分割計量は、すべてある$ s $に対し$g_s$に等長写像である。
• 角$4\pi$の尖点における総角和が正確に$4\pi$に達するのは、角度$\alpha$と$\beta$の球面的フットボールを対称的に貼り合わせた構成に限られる。
• 尖点角が固定されており、$\alpha \neq \beta$である場合、計量構造を保つ唯一の摂動は、貼り合わせスリットの長さを変化させることで得られる1パラメータ族である。
• 対称的構成からの逸脱（例：$\ell_3 \neq \ell_4$）は、角和が$4\pi$より厳密に大きいか小さくなることをもたらし、尖点角条件を破る。
• 固定された対辺と対角を持つ球面三角形において、角和が極値をとるのは二等辺三角形の場合に限られ、これが計量の変形の可能性を制限する。