Showing 1–4 of 4 results for author: Lotter, F

Computing Path Signature Varieties in Macaulay2

Authors: Carlos Améndola, Angelo El Saliby, Felix Lotter, Oriol Reig Fité

Abstract: The signature of a path is a non-commutative power series whose coefficients are given by certain iterated integrals over the path coordinates. This series almost uniquely characterizes the path up to translation and reparameterization. Taking only fixed degree parts of these series yields signature tensors. We introduce the Macaulay2 package $\texttt{PathSignatures}$ to simplify the study of thes… ▽ More The signature of a path is a non-commutative power series whose coefficients are given by certain iterated integrals over the path coordinates. This series almost uniquely characterizes the path up to translation and reparameterization. Taking only fixed degree parts of these series yields signature tensors. We introduce the Macaulay2 package $\texttt{PathSignatures}$ to simplify the study of these interesting objects for piecewise polynomial paths. It allows for the creation and manipulation of parametrized families of paths and provides methods for computing their signature tensors and their associated algebraic varieties. △ Less

Submitted 2 June, 2025; originally announced June 2025.

Comments: 12 pages, comments are welcome!

MSC Class: 60L10; 60L70; 14Q15; 15A69

Cyclic polytopes through the lens of iterated integrals

Authors: Felix Lotter, Rosa Preiß

Abstract: The volume of a cyclic polytope can be obtained by forming an iterated integral along a suitable piecewise linear path running through its edges. Different choices of such a path are related by the action of a subgroup of the combinatorial automorphisms of the polytope. Motivated by this observation, we look for other linear combinations of iterated integrals that are invariant under the subgroup… ▽ More The volume of a cyclic polytope can be obtained by forming an iterated integral along a suitable piecewise linear path running through its edges. Different choices of such a path are related by the action of a subgroup of the combinatorial automorphisms of the polytope. Motivated by this observation, we look for other linear combinations of iterated integrals that are invariant under the subgroup action. This yields interesting polynomial attributes of the cyclic polytope. We prove that there are infinitely many of these invariants which are algebraically independent in the shuffle algebra. △ Less

Submitted 30 May, 2025; v1 submitted 15 December, 2024; originally announced December 2024.

Comments: 20 pages, 1 Figure, comments are welcome!

MSC Class: 60L10; 13A50; 52B05

Journal ref: Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 365-385

Signature matrices of membranes

Authors: Felix Lotter, Leonard Schmitz

Abstract: We prove that, unlike in the case of paths, the signature matrix of a membrane does not satisfy any algebraic relations. We derive novel closed-form expressions for the signatures of polynomial membranes and piecewise bilinear interpolations for arbitrary $2$-parameter data in $d$-dimensional space. We show that these two families of membranes admit the same set of signature matrices and scrutiniz… ▽ More We prove that, unlike in the case of paths, the signature matrix of a membrane does not satisfy any algebraic relations. We derive novel closed-form expressions for the signatures of polynomial membranes and piecewise bilinear interpolations for arbitrary $2$-parameter data in $d$-dimensional space. We show that these two families of membranes admit the same set of signature matrices and scrutinize the corresponding affine variety. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 24 pages, comments are welcome!

MSC Class: 60L10; 14Q15; 13P25

Cohomologically smooth morphisms for étale $\mathbb F_p$-sheaves in characteristic $p$

Authors: Felix Lotter

Abstract: We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of étale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically étale morphisms are cohomologically smooth in this setting. This is complemented by a characterisation of cohomologically étale morphisms in arbitrary characteristic. In fact, we prove that… ▽ More We scrutinise the notions of cohomologically smooth morphisms and smooth objects for the six functor formalism of étale $\mathbb F_p$-sheaves on schemes in characteristic $p$. We show that only cohomologically étale morphisms are cohomologically smooth in this setting. This is complemented by a characterisation of cohomologically étale morphisms in arbitrary characteristic. In fact, we prove that such a morphism is already étale up to universal homeomorphism. △ Less

Submitted 17 March, 2024; originally announced March 2024.

Comments: 36 pages, comments are welcome!

MSC Class: 14F20