# Signature Map From $p$-Geometric Rough Paths to $T(\mathbb{R})$

Let $$f:[0,T]\rightarrow \mathbb{R}^d$$ be a p-geometric rough path and let $$\mathcal{G}_p^d$$ be the collection of all such paths. Does the Lyons signature map define a continuous bijection between $$\mathcal{G}_p^d$$ and $$T(\mathbb{R}^d)$$?

The signature is continuous on the space of $$p$$-geometric rough paths, but it is not injective since it is parametrisation-independent and invariant under concatenation with "tree-like" pieces. Boedihardjo, Geng, Lyons and Yang showed in this article that these are the only constraints, so that the signature can be inverted if we consider reduced paths modulo reparametrisation. However, even if we identify paths in this way, one does not expect the inverse map to be continuous in the topology of $$T(\mathbb{R}^d)$$.
• Would there be an intuition for the final topology on $T(\mathbb{R}^d)$ induced by the (quotient of) the signature map (defined by the identification you mentioned)? This would guarantee that the signature map is continuous... – AnnieLeKatsu Feb 4 at 12:44
• Then could we not define a new topology on $T(\mathbb{R}^d)$ by pushing-forward the topology on the (quotient/identified) space of $p$-geometric rough paths via the (now bijective) "signature" map? – AIM_BLB Feb 9 at 17:18