[論文レビュー] Contractible groups and linear dilatation structures

Marius Buliga|ArXiv.org|May 10, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 5

ひとこと要約

この論文は、線形拡大構造を用いて、特にノルム付き錐的群である可縮群の特徴付けを確立している。可縮群は自然に線形拡大構造を導き出し、逆に線形かつ強い拡大構造はノルム付き可縮群の拡大構造から生じることを示している。主な貢献は双対性である：任意の線形かつ強い拡大構造は、ノルム付き可縮群の拡大構造から生じる。これは、部分リーマン幾何学および計量接空間の概念を一般化するものである。

ABSTRACT

A dilatation structure on a metric space, arXiv:math/0608536v4, is a notion in between a group and a differential structure, accounting for the approximate self-similarity of the metric space. The basic objects of a dilatation structure are dilatations (or contractions). The axioms of a dilatation structure set the rules of interaction between different dilatations. Linearity is also a property which can be explained with the help of a dilatation structure. In this paper we show that we can speak about two kinds of linearity: the linearity of a function between two dilatation structures and the linearity of the dilatation structure itself. Our main result here is a characterization of contractible groups in terms of dilatation structures. To a normed conical group (normed contractible group) we can naturally associate a linear dilatation structure. Conversely, any linear and strong dilatation structure comes from the dilatation structure of a normed contractible group.

研究の動機と目的

• 拡大構造の文脈において線形性を形式化し、ベクトル空間を超えて一般化すること。
• 特にノルム付き錐的群を用いた拡大構造の枠組みにおいて、可縮群を特徴付けること。
• 線形かつ強い拡大構造とノルム付き可縮群の拡大構造との間の双対性を確立すること。
• 拡大構造の公理を用いて、部分リーマン幾何学における計量接空間に関する既知の結果を一般化すること。

提案手法

• 拡大の相互作用を規定する公理に基づき、群および微分構造の一般化として拡大構造を導入する。
• 関数間の線形性と構造自体の線形性という2つの線形性の概念を定義する。
• 拡大の合成の無限小極限を用いて、加法、逆元、差などの代数的演算を回復する。
• A4公理（強い収束）を適用して、拡大の合成が接空間の演算に収束することを保証する。
• 点における接空間を錐的群として構成し、強い拡大構造のもとで計量接空間がカルノー群となることを示す。
• 強い構造仮定のもとで、拡大の線形性が関連変換Δˣₑ(u,·)の線形性を意味し、逆にその逆も成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 加法やスカラー乗法を参照せずに、ベクトル空間における線形性を完全に拡大のみで表現できるか？
• RQ2 強い拡大構造における計量接空間の正確な代数的構造は何か？
• RQ3 線形かつ強い拡大構造が、必ずノルム付き可縮群から生じる条件は何か？
• RQ4 拡大構造は、部分リーマン幾何学における微分可能性および接バンドルの概念をどのように一般化するか？
• RQ5 拡大構造が線形であるとされる条件は何か？そしてそれは基礎となる群構造とどのように関係するか？

主な発見

• ノルム付き錐的群は自然に線形拡大構造を誘導する。これは代数から幾何に至る前向きの構成である。
• 逆に、任意の線形かつ強い拡大構造は、ノルム付き可縮群の拡大構造から生じる。これは逆方向の構成を示している。
• 強い拡大構造の任意の点における計量接空間は錐的群であり、追加の条件下ではカルノー群である。
• 無限小的には構造は線形である：ε → 0 のとき、Lin関数の極限は消える。これは接近似における線形性を確認する。
• 拡大の線形性は、変換Δˣₑ(u,·)が線形であることを意味し、この性質は基礎となる錐的群構造を完全に特徴付ける。
• 錐的群の拡大構造は本質的に線形であり、この性質は強い拡大構造がそのような群によって誘導されるために必要かつ十分である。