[論文レビュー] Braided spaces with dilations and sub-riemannian symmetric spaces

Marius Buliga|arXiv (Cornell University)|May 27, 2010

Geometric and Algebraic Topology参考文献 17被引用数 16

ひとこと要約

本稿は、発生代数理論を拡張することで、部分リーマン多様体の対称空間にからびった拡大構造を導入し、そのような空間が拡大と等長写像と両立する $× \mathbb{Z}_2$-不変なからびった構造を有することを示している。主な貢献は、部分リーマン多様体の対称空間が、非自明な拡大対称性を有するローズ対称空間でない非自明な場合においても、$G$-不変なからびった $× \mathbb{Z}_2$-拡大構造を自然に持つことを証明したことにある。

ABSTRACT

Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets, quandles; emergent algebras; dilatation structures (spaces with dilations); sub-riemannian symmetric spaces.

研究の動機と目的

• 発生代数の枠組みを、部分リーマン幾何におけるからびった構造を含めるように拡張すること。
• ローズ対称空間とは異なる部分リーマン多様体の対称空間が、からびった拡大構造を備えることができることを示すこと。
• そのような空間に $G$-不変かつ $\mathbb{R} \times \mathbb{Z}_2$-適合する拡大構造が存在することを確立すること。
• 微分不可能な測度的設定において、拡大構造、からびった集合、対称空間の概念を統合すること。

提案手法

• 本稿は、一様なべき等的右擬群として定義される発生代数の枠組みを用い、微分可能な代数的構造を一般化する。
• 写像 $S(x,y) = (\sigma^x y, x)$ を導入し、ここで $\sigma^x$ は $x$ における接錐構造から得られる対合である。この写像がブレッド関係を満たすことを示す。
• 正則な部分リーマン多様体上での拡大 $\delta^x_\varepsilon$ を定義するために、$G$-不変な適切なフレームを用い、$G$-不変性を保証する。
• 拡大構造を $\delta^x_\sigma$ を用いて拡張し、$\delta^x_\sigma \circ \delta^x_\sigma = \text{id}$ かつ $\delta^x_\varepsilon$ と可換であることを満たす。
• 極限 $\varepsilon \to 0$ において、方程式 $\sigma^x \Delta^x(u,v) = \Delta^x(\sigma^x u, \sigma^x v)$ が導かれ、$\sigma^x$ がコンイカル群 $T^x X$ の自己同型であることが証明される。
• $G$-不変性の証明には、$\Psi^x$ が拡大構造の意味で微分可能であり、$\sigma^x = T\Psi^x(x, \cdot)$ であるという事実を用い、$G$-不変性により拡大と可換であることを示す。

実験結果

リサーチクエスチョン

• RQ1 部分リーマン多様体の対称空間は、ローズ対称空間でない場合であっても、からびった拡大構造として記述可能だろうか？
• RQ2 $G$-不変な方法で、そのような空間に $\mathbb{R} \times \mathbb{Z}_2$-拡大構造をどのように構成できるか？
• RQ3 対合 $\sigma^x$ は、コンイカル群構造とブレッド関係を保つ役割を果たすか？
• RQ4 発生代数の枠組みは、微分可能でない部分リーマン多様体の対称空間にまで、どのように拡張可能だろうか？
• RQ5 写像 $S(x,y) = (\sigma^x y, x)$ は、この幾何的設定において適切に定義され、ブレッド関係を満たすだろうか？

主な発見

• 適切な等長写像群 $G$ を持つ部分リーマン多様体の対称空間は、$G$-不変なからびった $\mathbb{R} \times \mathbb{Z}_2$-拡大構造を有する。
• $\sigma^x = \delta^x_\sigma$ は、距離 $d^x$ の等長写像であり、コンイカル群 $T^x X$ の自己同型でもあり、接構造と両立する。
• $\Psi^x y = \sigma^x y$ という演算は、発生代数に必要な分配法則および $G$-可換性の性質を満たす。
• 写像 $S(x,y) = (\sigma^x y, x)$ はブレッド関係を満たし、構造がからびったものであることが確認される。
• 極限 $\varepsilon \to 0$ において、$\sigma^x$ はコンイカル群の演算 $\Delta^x(u,v)$ を保存する。これは代数的整合性を証明する。
• 拡大構造は、$G$-元が無限小等長写像として作用することを要請することで一意に定まる。絶対値 $Abs(\Gamma)$ は二つの要素 $0$ および $0\sigma$ を持ち、それぞれ $\varepsilon \to 0$ および $\sigma$ の下での $\varepsilon \to 0$ を表す。