[Paper Review] Braided spaces with dilations and sub-riemannian symmetric spaces

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

Geometric and Algebraic Topology17 references16 citations

TL;DR

This paper introduces braided dilatation structures on sub-Riemannian symmetric spaces by extending emergent algebra theory, showing that such spaces admit a $× \mathbb{Z}_2$-invariant braided structure compatible with dilations and isometries. The key contribution is proving that sub-Riemannian symmetric spaces naturally carry a $G$-invariant braided $× \mathbb{Z}_2$-dilatation structure, generalizing the notion of emergent algebras to non-Loos symmetric spaces with non-trivial dilational symmetries.

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.

Motivation & Objective

• To extend the framework of emergent algebras to include braided structures in sub-Riemannian geometry.
• To show that sub-Riemannian symmetric spaces—distinct from Loos symmetric spaces—can be endowed with a braided dilatation structure.
• To establish the existence of a $G$-invariant, $\mathbb{R} \times \mathbb{Z}_2$-compatible dilatation structure on such spaces.
• To unify the concepts of dilatation structures, braided sets, and symmetric spaces in a non-differentiable, metric setting.

Proposed method

• The paper uses the framework of emergent algebras, defined as uniform idempotent right quasigroups, to generalize differentiable algebraic structures.
• It introduces a braided map $S(x,y) = (\sigma^x y, x)$, where $\sigma^x$ is an involution derived from the tangent cone structure at $x$, and shows that this map satisfies the braid relation.
• The construction relies on $G$-invariant adapted frames to define dilatations $\delta^x_\varepsilon$ on a regular sub-Riemannian manifold, ensuring $G$-invariance.
• The dilatation structure is extended to include the involution $\sigma^x$ via $\delta^x_\sigma$, which satisfies $\delta^x_\sigma \circ \delta^x_\sigma = \text{id}$ and commutes with $\delta^x_\varepsilon$.
• The key equation $\sigma^x \Delta^x(u,v) = \Delta^x(\sigma^x u, \sigma^x v)$ is derived in the limit $\varepsilon \to 0$, proving $\sigma^x$ is an automorphism of the conical group $T^x X$.
• The proof of $G$-invariance uses the fact that $\Psi^x$ is differentiable in the sense of dilatation structures and that $\sigma^x = T\Psi^x(x, \cdot)$, which commutes with dilatations due to $G$-invariance.

Experimental results

Research questions

• RQ1 Can sub-Riemannian symmetric spaces be described as braided dilatation structures, even when they are not Loos symmetric spaces?
• RQ2 How can the $\mathbb{R} \times \mathbb{Z}_2$-dilatation structure be constructed in a $G$-invariant way on such spaces?
• RQ3 What is the role of the involution $\sigma^x$ in preserving the conical group structure and the braid relation?
• RQ4 How does the emergent algebra framework extend beyond differentiable algebras to include non-smooth, sub-Riemannian symmetric spaces?
• RQ5 Is the braided map $S(x,y) = (\sigma^x y, x)$ well-defined and satisfying the braid relation in this geometric setting?

Key findings

• Sub-Riemannian symmetric spaces with admissible isometry group $G$ admit a $G$-invariant braided $\mathbb{R} \times \mathbb{Z}_2$-dilatation structure.
• The map $\sigma^x = \delta^x_\sigma$ is an isometry of the metric $d^x$ and an automorphism of the conical group $T^x X$, ensuring compatibility with the tangent structure.
• The operation $\Psi^x y = \sigma^x y$ satisfies the distributivity and $G$-equivariance properties required for emergent algebras.
• The braid relation is satisfied by the map $S(x,y) = (\sigma^x y, x)$, confirming that the structure is braided.
• The construction is consistent with the limit $\varepsilon \to 0$, where $\sigma^x$ preserves the conical group operation $\Delta^x(u,v)$, proving its algebraic compatibility.
• The dilatation structure is uniquely determined by the requirement that $G$-elements act as infinitesimal isometries, and the absolute $Abs(\Gamma)$ has two elements: $0$ and $0\sigma$, corresponding to $\varepsilon \to 0$ and $\varepsilon \to 0$ under $\sigma$.