Related papers: Superposition rules, Lie theorem and partial diffe…
Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite system of…
If one takes seriously the postulate of quantum mechanics in which physical states are rays in the standard Hilbert space of the theory, one is naturally lead to a geometric formulation of the theory. Within this formulation of quantum…
The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…
We introduce a new theory of generalised solutions which applies to fully nonlinear PDE systems of any order and allows for merely measurable maps as solutions. This approach bypasses the standard problems arising by the application of…
Motivated by the theory of unitary representations of finite dimensional Lie supergroups, we describe those Lie superalgebras which have a faithful finite dimensional unitary representation. We call these Lie superalgebras unitary. This is…
Two Lie algebroids are presented that are linked to the construction of the linearizing output of an affine in the input nonlinear system. The algorithmic construction of the linearizing output proceeds inductively, and each stage has two…
We prove that if the normal distribution of a singular riemannian foliation is integrable, then each leaf of this normal distribution can be extended to be a complete immersed totally geodesic submanifold (called section) which meets every…
There are two natural analogues of algebraic foliations in derived algebraic geometry, called partition Lie algebroids and infinitesimal derived foliations, and both make sense in general characteristics. We construct an equivalence between…
In this paper, we further consider the symmetry-based method for seeking nonlocally related systems for partial differential equations. In particular, we show that the symmetry-based method for partial differential equations is the natural…
We discuss the basic properties of Lie groupoids, Lie algebroids and Lie pseudo-groups in view of applying these techniques to the analysis of Jordan-H\"older resolutions and, subsequently, to the integration of partial differential…
An important result for regular foliations is their formal semi-local triviality near simply connected leaves. We extend this result to singular foliations for all 2-connected leaves and a wide class of 1- connected leaves by proving a…
Solutions to the Einstein equation that represent the superposition of static isolated bodies with axially symmetry are presented. The equations nonlinearity yields singular structures (strut and membranes) to equilibrate the bodies. The…
In this paper, we study superbiderivations on Lie superalgebras from structural and geometric perspectives. Motivated by the classical fact that the bracket of a Lie algebra is itself a biderivation, we propose a new definition of…
We investigate the existence and uniqueness of solutions for second-order semi-linear partial differential equations defined on a Riemannian manifold $M$. By combining differential geometry and analysis techniques, we establish the…
In this paper we develop a differential Galois theory for algebraic Lie-Vessiot systems in algebraic homogeneous spaces. Lie-Vessiot systems are non autonomous vector fields that are linear combinations with time-dependent coefficients of…
In this paper we extend the Lie theory of integration in two different ways. First we consider a finite dimensional Lie algebra of vector fields and discuss the most general conditions under which the integral curves of one of the fields…
We give a short and self-contained proof of Levi's Extension Lemma for pseudoline arrangements.
We establish a version of the first Noether Theorem, according to which the (equivalence classes of) conserved quantities of given Euler-Lagrange equations in several independent variables are in one-to-one correspondence with the…
We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…
In this work, we present a result on the local existence and uniqueness of solutions to nonlinear Partial Differential-Algebraic Equations (PDAEs). By applying established theoretical results, we identify the conditions that guarantee the…