Refine
Has Fulltext
- no (2)
Year of publication
- 2022 (2) (remove)
Document Type
- Article (2) (remove)
Language
- English (2)
Is part of the Bibliography
- yes (2) (remove)
Keywords
- Cartan's development (1)
- PROP (1)
- Renormalization (1)
- Rough paths (1)
- Signatures (1)
- convolution (1)
- distribution kernel (1)
- graph (1)
- trace (1)
Institute
- Institut für Mathematik (2) (remove)
We introduce the class of "smooth rough paths" and study their main properties. Working in a smooth setting allows us to discard sewing arguments and focus on algebraic and geometric aspects. Specifically, a Maurer-Cartan perspective is the key to a purely algebraic form of Lyons' extension theorem, the renormalization of rough paths following up on [Bruned et al.: A rough path perspective on renormalization, J. Funct. Anal. 277(11), 2019], as well as a related notion of "sum of rough paths". We first develop our ideas in a geometric rough path setting, as this best resonates with recent works on signature varieties, as well as with the renormalization of geometric rough paths. We then explore extensions to the quasi-geometric and the more general Hopf algebraic setting.
We introduce the concept of TRAP (Traces and Permutations), which can roughly be viewed as a wheeled PROP (Products and Permutations) without unit. TRAPs are equipped with a horizontal concatenation and partial trace maps.
Continuous morphisms on an infinite-dimensional topological space and smooth kernels (respectively, smoothing operators) on a closed manifold form a TRAP but not a wheeled PROP.
We build the free objects in the category of TRAPs as TRAPs of graphs and show that a TRAP can be completed to a unitary TRAP (or wheeled PROP).
We further show that it can be equipped with a vertical concatenation, which on the TRAP of linear homomorphisms of a vector space, amounts to the usual composition. The vertical concatenation in the TRAP of smooth kernels gives rise to generalised convolutions.
Graphs whose vertices are decorated by smooth kernels (respectively, smoothing operators) on a closed manifold form a TRAP. From their universal properties we build smooth amplitudes associated with the graph.