[論文レビュー] Geometric Structures on the Cochains of a Manifold

Scott O. Wilson|arXiv (Cornell University)|May 11, 2005

Algebraic structures and combinatorial models参考文献 27被引用数 13

ひとこと要約

本稿では、三角形分割された多様体の単体的コホコロジーに、微分幾何的構造の組み合わせ的類似物——特にコチェーン積とホッジスター作用素——を導入する。ホイットニー型埋め込みと注意深く選ばれた内積を用いて、これらの離散的構造がメッシュサイズがゼロに近づくにつれて、元の滑らかな対応物（外積とホッジスター）に収束することを証明する。特に、曲面におけるホッジスターと周期行列に対して明示的な収束結果が得られる。

ABSTRACT

In this paper we develop several algebraic structures on the simplicial cochains of a triangulated manifold that are analogues of objects in differential geometry. We study a cochain product and prove several statements about its convergence to the wedge product on differential forms. Also, for cochains with an inner product, we define a combinatorial Hodge star operator, and describe some applications, including a combinatorial period matrix for surfaces. We show that for a particularly nice cochain inner product, these combinatorial structures converge to their continuum analogues as the mesh of a triangulation tends to zero.

研究の動機と目的

• 単体的コホコロジー上に、外積やホッジスターといった微分幾何的構造の離散的類似物——例えば、ホッジスター作用素——を構築すること。
• 三角形分割が細かくなるにつれて、離散的コチェーン作用素が滑らかな微分形式を近似することを示す、厳密な収束フレームワークを確立すること。
• コホコロジー上の非退化した内積とポincare双対性を用いて、組み合わせ的ホッジスター作用素を定義すること。
• リーマン面に対して組み合わせ的周期行列を構築し、それがコンフォーマル周期行列に収束することを証明すること。
• 離散的ホッジスター作用素が極限においてデルタ関数を近似することを示し、パス和の解釈やガウス型の挙動と関連付けること。

提案手法

• 単体的コホコロジーを微分形式にホイットニー型埋め込みすることで、離散的構造と滑らかな構造を比較する。
• アレクサンダー＝ホイットニーのカップ積を用いて可換なコチェーン積を定義し、微分形式上の外積に収束することを示す。
• コホコロジー上のリーマン計量（内積）とポincare双対性（可換な次数付き積として表現）を用いて、組み合わせ的ホッジスター作用素を導入する。
• Dodziuk (2005) が提示した内積を用いることで、離散的ホッジスターがメッシュの細分化に伴い滑らかなホッジスターに収束することを保証する。
• パス和の技法を用いて、円周上でのホッジスターを計算し、行列の成分を重み付きパスの数として解釈する。
• 行列のべき乗と二項係数を用いた明示的計算により、ホッジスター作用素の作用をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 三角形分割のメッシュサイズがゼロに近づくとき、組み合わせ的コチェーン積は滑らかな微分形式上の外積に収束するか？
• RQ2 計量とポincare双対性のみを用いて、単体的コホコロジー上に離散的ホッジスター作用素を定義できるか？また、その収束が滑らかなホッジスターに一致するか？
• RQ3 三角形分割されたリーマン面における組み合わせ的周期行列は、関連するリーマン面のコンフォーマル周期行列に収束するか？
• RQ4 円周上での離散的ホッジスター作用素の作用はどのように振る舞い、極限においてデルタ関数を近似するか？
• RQ5 離散的ホッジスター作用素の行列成分は、三角形分割内の重み付きパスの観点からどのように幾何学的に解釈できるか？

主な発見

• 三角形分割されたリーマン多様体の単体的コホコロジー上に定義された組み合わせ的ホッジスター作用素は、メッシュサイズがゼロに近づくにつれて、滑らかなホッジスター作用素に収束する。
• 三角形分割されたリーマン2次元多様体の組み合わせ的周期行列は、細分化が進む極限において、関連するリーマン面のコンフォーマル周期行列に収束する。
• 本稿で定義されたコチェーン積は、ホイットニー埋め込みと明示的な推定を用いて、微分形式上の外積に収束することが保証される。
• 円周上では、離散的ホッジスター作用素が基底1-コホモロジー $ e_{n/2} $ に作用するとき、その係数がガウス型のプロットを形成し、デルタ関数への収束を示唆する。
• 行列 $ rac{1}{4^k} D^k $ は、頂点 $ i $ から $ j $ への長さ $ k $ の重み付きパスの数に等しく、各パスの重みは $ \frac{1}{4} $ である。この構造がホッジスター計算の背後にある根拠となる。
• 円周上でのホッジスター作用素の逆作用素は、二項係数と符号の交互に現れる級数として表され、主要項はすべての整数 $ t $ に関する和を含み、これは普遍被覆の周期性を反映している。