Related papers: A Synthetic Version of Lie's Second Theorem
It is shown that the correct mathematical implementation of symmetry in the geometric formulation of classical field theory leads naturally beyond the concept of Lie groups and their actions on manifolds, out into the realm of Lie group…
The characterization of systems of differential equations admitting a superposition function allowing us to write the general solution in terms of any fundamental set of particular solutions is discussed. These systems are shown to be…
Lie theory for the integration of Lie algebroids to Lie groupoids, on the one hand, and of Poisson manifolds to symplectic groupoids, on the other, has undergone tremendous developements in the last decade, thanks to the work of…
We present Hausdorff versions for Lie Integration Theorems 1 and 2 and apply them to study Hausdorff symplectic groupoids arising from Poisson manifolds. To prepare for these results we include a discussion on Lie equivalences and propose…
A rigorous geometric proof of the Lie's Theorem on nonlinear superposition rules for solutions of non-autonomous ordinary differential equations is given filling in all the gaps present in the existing literature. The proof is based on an…
Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
We develop a theory of Lie algebroids over differentiable stacks that extends the standard theory of Lie algebroids over manifolds. In particular we show that Lie algebroids satisfy descent for submersions, define the category of Lie…
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…
Expansion of the categorical point of view on many areas of the mathematics and mathematical physics will cause to deeper understanding of genuine features of these problems. New applications of categorical methods are connected with new…
This paper is dedicated to the differential Galois theory in the complex analytic context for Lie-Vessiot systems. Those are the natural generaliza- tion of linear systems, and the more general class of differential equations adimitting…
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…
The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in arXiv:2404.15896, with the aim of better understanding the differences between them. We focus on homological…
Electromagnetism can be generalized to Yang-Mills theory by replacing the group U(1)$ by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of "higher-dimensional…
Previous work (Pradines, 1966, Aof and Brown, 1992) has given a setting for a holonomy Lie groupoid of a locally Lie groupoid. Here we develop analogous 2-dimensional notions starting from a locally Lie crossed module of groupoids. This…
We introduce a variant of the much-studied $Lie$ representation of the symmetric group $S_n$, which we denote by $Lie_n^{(2)}.$ Our variant gives rise to a decomposition of the regular representation as a sum of {exterior} powers of modules…
General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…
W. Goldman and V. Turaev defined a Lie bialgebra structure on the $\mathbb Z$-module generated by free homotopy classes of loops of an oriented surface (i.e. the conjugacy classes of its fundamental group). We develop a generalization of…
This article tackles categorical coherence within a two-dimensional generalization of Lawvere's functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded,…
We consider a problem whether a given Lie group can be realized as the group of all biholomorphic automorphisms of a bounded domain in the affine complex space. In an earlier paper of 1990, we proved the result for connected linear Lie…