[論文レビュー] Discrete differential geometry. Consistency as integrability

Alexander I. Bobenko, Yuri B. Suris|arXiv (Cornell University)|Apr 18, 2005

Advanced Numerical Analysis Techniques参考文献 71被引用数 48

ひとこと要約

本稿は、離散的可積分系における3次元整合性が可積分性を示すことによって、離散微分幾何学における基礎的枠組みを確立する。これは、古典的曲面論と可積分系を統合するものであり、可積分な円型格子の接空間から自然に離散的正則関数が生じることを示している。主な結果として、離散的正則性が、四角形グリッド上での微分および積分を介して離散コーシー・リーマン方程式と結びつく。

ABSTRACT

A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra), the discrete differential geometry aims at the development of discrete equivalents of notions and methods of smooth surface theory. Current interest in this field derives not only from its importance in pure mathematics but also from its relevance for other fields like computer graphics. Recent progress in discrete differential geometry has lead, somewhat unexpectedly, to a better understanding of some fundamental structures lying in the basis of the classical differential geometry and of the theory of integrable systems. The goal of this book is to give a systematic presentation of current achievements in this field.

研究の動機と目的

• 離散幾何学を通じて、古典的微分幾何学と可積分系の間の概念的ブリッジを確立すること。
• 長年の曖昧さを解消するため、3次元整合性を統一的原則として特定することで、可積分性の定義を明確にすること。
• 可積分な円型格子の接空間から自然に離散的正則関数が生じることを示すこと。
• 古典的コーシー・リーマン方程式の離散的類似を提示し、それらをヒロタ系および交比系に関連付けること。
• 離散的正則関数を用いた可積分な円型格子の線形化を示し、対数関数およびべき関数を含むこと。

提案手法

• 3次元整合性を幾何的原理として用い、ゼロ曲率表現およびバックリンク・ダーボー変換を導出する。
• 特にM変換および離散指数関数・対数関数を用いて、四角形グリッド上での離散複素解析を適用する。
• 四角形グリッドの頂点集合上で定義された離散コーシー・リーマン方程式 (5.16) を用いて、離散的正則関数を導入する。
• 可積分な円型格子をモデル化するため、交比系 (6.9) およびヒロタ系 (6.11) を用いる。
• 1パラメータ族の解の微分により、解空間への接ベクトルを導出し、$ g = dz/d heta $ および $ f = w^{-1}dw/d heta $ を結びつける。
• ヒロタ系および交比系の解の間の離散微分／積分対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 離散系における3次元整合性は、離散微分幾何学における可積分性の統一的原則としてどのように機能するか？
• RQ2 可積分な円型格子の文脈において、離散的正則関数の幾何学的および代数的役割は何か？
• RQ3 離散的正則関数は、可積分な交比系の解空間の接空間からどのように生じるか？
• RQ4 四角形グリッド上での離散的正則関数と離散コーシー・リーマン方程式の関係は何か？
• RQ5 可積分な円型格子（例：$ z^{a} $, $ \log z $）の線形化は、離散的正則性からどのように生じるか？

主な発見

• 可積分な交比系の解空間の、菱形埋め込みにおける接空間は、対応する四角形グリッド上での離散的正則関数である。
• 離散的正則関数 $ f $ および $ g $ は、離散微分関係式 $ g(y) - g(x) = (f(x) + f(y))(p(y) - p(x)) $ によって関連づけられ、両者が離散コーシー・リーマン方程式を満たすことを保証する。
• 離散対数関数 $ \ell $ は、$ a = 1/2 $ における $ w^{2a-1} $ 円型格子の微分として得られ、可積分パターンの空間における接ベクトルとしての役割を裏付ける。
• ヒロタ系および交比系の解は、離散積分および微分によって関連づけられ、$ f $ および $ g $ の離散的正則性がこの対応関係で保存される。
• 等半径円型格子では、接空間は白頂点上で実数値、黒頂点上で純虚数値をとる離散的正則関数からなる。
• 等モノドロミー円型格子（例：$ z^{2a} $）の線形化は、離散的正則関数を用いて達成され、離散対数関数は $ a = 1/2 $ における微分として現れる。