[論文レビュー] On exterior calculus and curvature in piecewise-flat manifolds

Jonathan McDonald, Warner A. Miller+4 more|arXiv (Cornell University)|Dec 5, 2012

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

ひとこと要約

本稿は、部分的平坦な多様体のための体積に基づく離散外微分形式計算（DEC）フレームワークを提案する。ハイブリッドセルを幾何的最小単位として用い、離散微分形式および曲率作用素を定義する。特異な角錐的特異点（codimension-2のへり）における内在的曲率テンソルを導出し、リーマン曲率作用素がこれらのへりに直交する平面でのみ非自明に作用することを示す。これにより、連続極限を必要とせず、スカラー曲率およびリッチ曲率の直接的で離散的な特徴付けが可能になる。

ABSTRACT

Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on discrete exterior calculus methods using hybrid domains. We then analyze the geometric structure of curvature operators in a piecewise-flat lattice.

研究の動機と目的

• 連続近似に依存せずに幾何的構造を保持する、部分的平坦な多様体のための離散外微分形式の基礎を構築すること。
• 単体格子内のcodimension-2のへり（へり）の幾何から曲率作用素を直接定義すること。
• ハイブリッドセルを局所的サポートとして用いることで、体積に基づく離散微分形式の定式化を確立すること。
• 正規化された局所的曲率測度を通じて、離散曲率作用素と連続的断面曲率の直接比較を可能にすること。
• 単体的構造とへりの欠損量のみを用いて、スカラー曲率およびリッチ曲率の離散的かつ内在的な導出を実現すること。

提案手法

• コンパクトな台を持つ幾何的最小単位としてのハイブリッドセルを、離散微分形式を定義する基本的幾何的単位として用いる。
• 一般化されたおよび局所的なソルダ形式を定義し、単体格子と双対格子との間の写像を可能にし、ベクトル値形式の離散化を可能にする。
• ハイブリッドセル内の表面族に離散k-形式を割り当てることで、外微分（余微分）の計算を明快に実行可能にする。
• codimension-2のへりにおける欠損角εh = 2π − ∑θiを用いて曲率を計算し、平行移動のホロノミーと関連付ける。
• リーマン曲率作用素を、へりに局在化されたベクトル値2-形式として表現し、非自明な作用がへりに直交する平面でのみ発生することを示す。
• Rv = d(d−1)⟨εh⟩v / ⟨Ah∗⟩v の式により頂点におけるスカラー曲率を導出。ここで⟨εh⟩vは平均欠損角、⟨Ah∗⟩vは平均双対セル面積である。

実験結果

リサーチクエスチョン

• RQ1 部分的平坦な多様体上で、内在的幾何的領域を用いて離散微分形式を体系的に定義する方法は何か？
• RQ2 単体格子における曲率の正確な幾何的起源は何か？ また、連続極限を用いずにそれを捉える方法は？
• RQ3 部分的平坦な多様体における曲率作用素は、連続的対応物（特に断面曲率）とどのように関係しているか？
• RQ4 リッチ曲率は、単体的データのみを用いて双対格子上で一貫して表現可能か？
• RQ5 部分的平坦幾何における離散リーマン曲率作用素の固有値構造は何か？

主な発見

• 部分的平坦多様体におけるリーマン曲率作用素は、唯一の非自明な固有空間しか持たず、それは各codimension-2のへりに直交する平面に沿っている。
• 頂点におけるスカラー曲率は、Rv = d(d−1)⟨εh⟩v / ⟨Ah∗⟩v で与えられ、ここで⟨εh⟩vは平均欠損角、⟨Ah∗⟩vは平均双対セル面積である。
• 離散曲率作用素は一般位置の基底において一定断面曲率と類似した振る舞いを示し、連続曲率との直接的な比較を可能にする。
• リッチ曲率は単体的辺に沿った成分として表現されるのではなく、リーマン作用素の二重双対として表現され、離散的幾何的フローと整合的である。
• 本フレームワークにより、幾何の階層的視点が可能になる：離散的スケール（内在的格子）、粗視化スケール（連続的挙動に類似）、非離散的スケール（仮定された平坦性または一定曲率）。
• 体積に基づくDEC定式化により、ソルダ形式の離散化を通じて、スカラーおよびベクトル値微分形式の両方を一貫して取り扱える。