Related papers: An introduction to infinite-dimensional differenti…
Extended geometry provides a unified framework for double geometry, exceptional geometry, etc., i.e., for the geometrisations of the string theory and M-theory dualities. In this talk, we will explain the structure of gauge transformations…
We present some recently discovered infinite dimensional Lie algebras that can be understood as extensions of the algebra Map(M,g) of maps from a compact p-dimensional manifold to some finite dimensional Lie algebra g. In the first part of…
We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properties of differential equations on Banach spaces (the…
The Banach Poisson geometry of multi-diagonal Hamiltonian systems having infinitely many integrals in involution is studied. It is shown that these systems can be considered as generalizing the semi-infinite Toda lattice which is an example…
An algebraic formulation of Riemannian geometry on quantum spaces is presented, where Riemannian metric, distance, Laplacian, connection, and curvature have their counterparts. This description is also extended to complex manifolds.…
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…
In this paper, we use the language of noncommutative differential geometry to formalise discrete differential calculus. We begin with a brief review of inverse limit of posets as an approximation of topological spaces. We then show how to…
The geometrical theory of partial differential equations in the absolute sense, without any additional structures, is developed. In particular the symmetries need not preserve the hierarchy of independent and dependent variables. The order…
Embedding techniques allow the approximations of finite dimensional attractors and manifolds of infinite dimensional dynamical systems via subdivision and continuation methods. These approximations give a topological one-to-one image of the…
These are the proceedings of the workshop "Math in the Black Forest", which brought together researchers in shape analysis to discuss promising new directions. Shape analysis is an inter-disciplinary area of research with theoretical…
We outline the recent classification of differential structures for all main classes of quantum groups. We also outline the algebraic notion of `quantum manifold' and `quantum Riemannian manifold' based on quantum group principal bundles, a…
Often topological classes of one-dimensional dynamical systems are finite codimension smooth manifolds. We describe a method to prove this sort of statement that we believe can be applied in many settings. In this work we will implement it…
The spatial distribution has been widely used to develop various nonparametric procedures for finite dimensional multivariate data. In this paper, we investigate the concept of spatial distribution for data in infinite dimensional Banach…
In this thesis, we study extensions of the theory of Riemannian submanifolds in two directions. First, we will show how Riemannian geometry and submanifold theory in particular, can be generalized using the notion of 'Rinehart spaces', and…
This book explores geometries defined by left-invariant distance functions on Lie groups, with a particular focus on nilpotent groups and Carnot groups equipped with geodesic distances. Geodesic left-invariant metrics are either…
We study a few basic properties of Banach-Lie groupoids and algebroids, adapting some classical results on finite dimensional Lie groupoids. As an illustration of the general theory, we show that the notion of locally transitive Banach-Lie…
A theory of principal bundles possessing quantum structure groups and classical base manifolds is presented. Structural analysis of such quantum principal bundles is performed. A differential calculus is constructed, combining differential…
This study will explicitly demonstrate by example that an unrestricted infinite and forward recursive hierarchy of differential equations must be identified as an unclosed system of equations, despite the fact that to each unknown function…
This paper is devoted to the study of unbounded derivations on Banach quasi *-algebras with a particular emphasis to the case when they are infinitesimal generators of one parameter automorphisms groups. Both of them, derivations and…
It is known that some equations of differential geometry are derived from variational principle in form of Euler-Lagrange equations. The equations of geodesic flow in Riemannian geometry is an example. Conversely, having Lagrangian…