[論文レビュー] Properties of the connection associated with planar webs and applications

Olivier Ripoll|ArXiv.org|Feb 12, 2007

Computational Geometry and Mesh Generation参考文献 8被引用数 15

ひとこと要約

本稿は、$d$-ウェブに関連する接続$(E, \nabla)$を用いた、平面ウェブの新しい微分幾何的枠組みを導入する。これにより、ウェブのランクおよび線形化可能性の条件を明示的に計算可能にする。行列式バンドルのトレース公式を確立し、最大ランクの判定基準を証明するとともに、微分系を用いたポincareの定理の新たな証明を提示する。長年のウェブ幾何学の未解決問題を、明示的な代数的不変量および曲率に基づく基準を用いて解決する。

ABSTRACT

We give various results and applications using the connection $(E, abla)$ associated with a $d$-web. Precisely, we exhibit fundamental invariants of the web related to the differential equation of first order which presents the web. They cast some new lights on the connection and its construction, both conceptually and effectively. We describe 4 and 5-webs from this point of view and show for instance that the connection gives account for the linearizability conditions of the web. Moreover, we get characterization of maximal rank webs such as exceptional 5-webs, and 4-webs \emph{via} a new proof of the Poincaré theorem in terms of differential systems. We establish the trace formula related to the determinant bundle $(\det E, \det abla)$ and the extracted 3-webs. Furthermore, the theorem of determination of the rank is proved to give an explicit criterion for measuring the rank of a web.

研究の動機と目的

• ウェブを表す微分方程式に関連する標準的接続$(E, \nabla)$を用いて、平面ウェブを分析する概念的かつ効果的な枠組みを構築すること。
• $4$-ウェブおよび$5$-ウェブを含む$d$-ウェブのランクを、曲率行列$(k_{ml})$から導かれた明示的基準を用いて特徴付けること。
• ウェブの葉の線形化可能性問題を、接続の構造と不変量に結びつけること。
• $4$-ウェブにおけるポincareの定理の新たな証明を提示し、$5$-ウェブへの拡張の障害を特定すること。
• $\det E$の行列式バンドルのトレース公式を、抽出された$3$-ウェブおよび曲率データの観点から確立すること。

提案手法

• 本稿は、$d$-ウェブを表す一階微分方程式から、係数$a_i(x,y)$および$y'$-結果式を用いて接続$(E, \nabla)$を構成する。
• 特定の多項式および$1$-形式を用いて、$\mathcal{O}^*$-不変量を定義し、これによりウェブの幾何的・代数的性質を符号化する。
• $4$-ウェブおよび$5$-ウェブに対して、接続が完全に構成され、偏導関数および構造関数を用いて曲率行列$(k_{ml})$が明示的に計算される。
• トレース公式は、全ウェブの接続とその抽出された$3$-ウェブの接続との関係を、曲率および行列式バンドル構造を用いて導出する。
• ランクの決定定理は、局所的自由$\mathcal{O}$-加群としてのアーベル関係の局所的系が$E$に同型であることを示すことにより証明され、$(k_{ml})$の小行列式の消滅によってランクが決定される。
• 例として、$p^4 + y^2 p^2 - y p = 0$で定義される$4$-ウェブについて、接続行列$\gamma$、曲率$K$、行列$(k_{ml})$の明示的計算を行い、ランク$2$を確認する。

実験結果

リサーチクエスチョン

• RQ1 アーベル関係を直接求める必要なく、関連する接続の微分幾何的不変量を用いて、平面ウェブのランクをどのように特定できるか？
• RQ2 ポincareの定理が$5$-ウェブに成立しない正確な障害は何か？接続はこの障害をどのように明らかにするか？
• RQ3 ウェブの$\mathcal{O}^*$-不変量は、その葉の線形化可能性および完全なアーベル関係の存在とどのように関係するか？
• RQ4 $\det E$の行列式バンドルのトレース公式は、接続の曲率および抽出された$3$-ウェブの構造から導出可能か？
• RQ5 $4$-ウェブが最大ランクを有する明示的基準は何か？また、$k_1$および$(k_{ml})$の小行列式の消滅がこの性質をどのように示すか？

主な発見

• 接続$(E, \nabla)$は、アーベル関係を直接探索することなく、平面ウェブのランクを完全かつ効果的に計算するための手法を提供する。
• $4$-ウェブでは、曲率行列$(k_{ml})$のすべての$1$次および$2$次小行列式の消滅が最大ランクを意味し、線形$4$-ウェブはランク$2$を有し得ない。
• 本稿は、ポincareの定理が$4$-ウェブでは成立するが$5$-ウェブでは成立しないことを証明し、障害が曲率行列を用いて明示的に特定されている。
• $\det E$のトレース公式が確立され、行列式バンドルが曲率および抽出された$3$-ウェブの構造と関連付けられる。
• 例の$4$-ウェブの行列$(k_{ml})$は、すべての$2\times2$小行列式および行列式がゼロであり、ランクが$2$であることが確認され、ランクの決定定理と整合的である。
• 例のウェブ$p^4 + y^2 p^2 - y p = 0$は、曲率行列$K$の左上要素以外がすべてゼロであり、全$(k_{ml})$行列が小行列式の消滅によりランク$2$を確認する。