Abstract:Contrary to previous approaches bringing together algebraic geometry and signatures of paths, we introduce a Zariski topology on the space of paths itself, and study path varieties consisting of all paths whose iterated-integrals signature satisfies certain polynomial equations. Particular emphasis lies on the role of the non-associative halfshuffle, which makes it possible to describe varieties of paths that satisfy certain relations all along their trajectory. Specifically, we may understand the set of paths on a given classical algebraic variety in $\mathbb{R}^d$ starting from a fixed point as a path variety, e.g. paths on a sphere. While the characteristic geometric property of halfshuffle varieties is that they are stable under stopping paths at an earlier time, we furthermore study varieties which are stable under the natural (semi)group operation of concantenation of paths. We point out how the notion of dimension for path varieties crucially depends on the fact that they may be reducible into countably infinitely many subvarieties. Finally, we see that studying halfshuffle varieties naturally leads to a generalization of classical algebraic curves, surfaces and affine varieties in finite dimensional space. These generalized algebraic sets, an example being the graph of the exponential function, are now described through iterated-integral equations. Keywords: path variety; shuffle ideal; halfshuffle; deconcatenation coproduct; tensor algebra; Zariski topology; concatenation of paths; Chen's identity; subpath; tree-like equivalence; regular map; generalized variety

Average signature of geodesic paths in compact Lie groups

Circle Action and Some Vanishing Results on Manifolds

Geodesics, curvature, and conjugate points on Lie groups

Rank and symmetries of signature tensors

Ergodic Measures of Geodesic Flows on Compact Lie Groups

An algebraic geometry of paths via the iterated-integrals signature

Generalised Einstein metrics on Lie groups

Signature for flat unitary bundles over surfaces with boundary

Average signature and 4-genus of 2-bridge knots

Uniqueness for the signature of a path of bounded variation and the reduced path group

The canonical geometry of a Lie group

Conformal vector fields on Lie groups: The trans-Lorentzian signature

The minimal number of homogeneous geodesics depending on the signature of the Killing form

Pseudo-Riemannian Geodesic Orbit Nilmanifolds of Signature

Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups

A multiplicative surface signature through its Magnus expansion

Rationality of geometric signatures of complete 4-manifolds

Geodesics and shortest arcs of some sub-Riemannian metrics on the Lie groups $SU(1,1)\times\mathbb{R}$ and $SO_0(2,1)\times\mathbb{R}$ with three-dimensional generating distributions

Geodesics and Shortest Arcs of Some Sub-Riemannian Metrics on the Lie Groups and with Three-Dimensional Generating Distributions

Loops, Holonomy and Signature

Spheres in the curve complex