{"id":"arxiv/2601.15402","url":"https://arxiv.org/abs/2601.15402","tags":["math.CA","math.PR"],"score":0,"title":"The Geometry of Rough Path Space","domain":"math.CA","source":"arxiv","authors":["Martin Geller","Terry Lyons"],"reviews":0,"subject":"math.CA","summary":"We describe $H^p(V)$, a subset of $p$-rough path space $Ω_p(V)$ which is a vector space under an addition operation $\\boxplus$ and a scalar multiplication $\\odot$. We show that the domain of $\\boxplus$ can be extended to $Ω_p(V)\\times H^p(V)$, allowing any $p$-rough path $X$ to be additively perturbed by an $H\\in H^p(V)$. We prove associativity $(X\\boxplus H)\\boxplus \\tilde H = X\\boxplus (H\\boxplus \\tilde H)$ and trivial kernel $X\\boxplus H = X \\Leftrightarrow H = 1$, where $1$ is the additive zero in $(H^p(V),\\boxplus,\\odot)$. Finally, we show that enlarging $H^p(V)$ to almost rough paths…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-21","reactions":{}}