[論文レビュー] Blowups and blowdowns of geodesics in Carnot groups

Eero Hakavuori, Enrico Le Donne|arXiv (Cornell University)|Jun 25, 2018

Advanced Differential Geometry Research被引用数 6

ひとこと要約

この論文は、サブリーマンフォード・カルノー群における測地線の反復接線（ブローモン）が、群の冪零ステップ s に対して s 回反復すると直線に収束することを確立している。さらに、測地線のブローダウン（漸近的極限）が低いランクの部分群に含まれることを示し、ノルム群モデルにおける無限小解析によって測地線の部分的正則性を証明している。

ABSTRACT

This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents of Carnot geodesics are geodesics in some groups of lower nilpotency step. Namely, every blowup curve of every geodesic in every Carnot group is still a geodesic in the group modulo its last layer. Then as a consequence we get that in every sub-Riemannian manifold any $s$ times iterated tangent of any geodesic is a line, where $s$ is the step of the sub-Riemannian manifold in question. With a similar approach, we also show that blowdown curves of geodesics in sub-Riemannian Carnot groups are contained in subgroups of lower rank. This latter result is also extended to rough geodesics.

研究の動機と目的

• サブリーマンフォードおよびサブ・フィンスラー多様体における測地線の部分的正則性を、その無限小的および漸近的挙動を分析することによって確立すること。
• 任意のサブ・フィンスラー計量を備えたカルノー群における測地線の接線錐（ブローモン）および漸近的錐（ブローダウン）の構造を調査すること。
• サブリーマンフォード多様体のステップ s における任意の測地線について、s 回反復した接線が直線であることを証明し、長さ最小化子の正則性問題を前進させること。
• サブリーマンフォード・カルノー群における測地線のブローダウン曲線が、低いランクの部分群に含まれることを示し、粗い測地線へと拡張すること。
• エンゲル群に無限に伸びる非直線的測地線を構成することで、主結果の鋭さを示すこと。この測地線はいかなる直線に対しても有限のハウスドルフ距離にない。

提案手法

• カルノー群における拡大 δ₁/h を用いた非アーベル差分商によってブローモン曲線を定義し、1 リプシッツ連続曲線がコンパクト集合上で一様収束することを示す。
• アスコリ＝アルツェラの定理を適用して、ブローモン曲線の収束部分列を抽出し、その極限として Tang(γ, t̄) を定義する。
• エンゲル群（ステップ 4）における明示的な座標表現を用いて、測地線成分の漸近的挙動を分析し、特に水平成分と垂直成分に注目する。
• 主要成分（例：w(t)）の微分を解析することで、摂動の指数的減衰を示し、ノルム群極限におけるブローモン曲線の有界性を証明する。
• 左不変フレームの構造と Campbell-Baker-Hausdorff 公式を活用して、ステップ 4 カルノー群における測地線成分の明示的表現を導出する。
• ハウスドルフ距離と共役不変性を用いた背理法を適用し、特定の測地線がいかなる直線に対しても有限近傍に含まれないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 サブリーマンフォード・カルノー群における測地線の反復接線錐の構造は何か？
• RQ2 カルノー群における測地線のブローダウン（漸近的極限）は幾何的に特徴付けられるか？
• RQ3 カルノー群における測地線が有限のハウスドルフ距離で直線に近いかどうかは可能か？もしそうでなければ、正則性にどのような含意があるか？
• RQ4 測地線のブローモンおよびブローダウン極限は、群の冪零ステップおよび層構造とどのように関係するか？
• RQ5 測地線の s 回反復接線が直線であるという結果の鋭さは何か？

主な発見

• ステップ s のサブリーマンフォード多様体における測地線の s 回反復接線は、すべて直線である。これは無限小極限における強い正則性性質を確認する。
• 任意のカルノー群における測地線のブローモン曲線は、その最後の層を除いた商群における測地線である。これにより、接線錐に再帰的構造が成立する。
• サブリーマンフォード・カルノー群における測地線のブローダウン曲線は、低いランクの部分群に含まれる。これは粗い測地線へと一般化される。
• エンゲル群（ステップ 4）に、有限のハウスドルフ距離でいかなる直線に対しても近いことのない無限に伸びる非直線的測地線が存在する。これは主定理における商への射影の必要性を示している。
• 構成された測地線の水平成分は指数的に減衰し、垂直成分はブローモンにおいて有界のまま保たれる。これにより、非線形的かつ近似不能な測地線の存在が確認される。
• ブローモン曲線と基準直線の積が有界であるのは、直線が漸近的方向と整合している場合に限る。複数の方向が必要な場合、このような整合性は矛盾を引き起こす。これにより、近似不能性が証明される。