Related papers: Higher Lie theory
For some exact monoidal categories, we describe explicitly a connection between topological and algebraic definitions of the Lie bracket on the extension algebra of the unit object. The topological definition, due to Schwede and Hermann,…
This book is mainly an exposition of the author's works and his joint works with his former students on explicit representations of finite-dimensional simple Lie algebras, related partial differential equations, linear orthogonal algebraic…
As left adjoint to the dual algebra functor, Sweedler's finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over…
This paper proves that the q-model structures of Moore flows and of multipointed $d$-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant…
We prove that for any reduced differential graded Lie algebra L, the classical Quillen geometrical realization $\langle L\rangle_Q$ is homotopy equivalent to the realization $\langle L\rangle= Hom_{\bf cdgl}(\mathfrak{L}_\bullet, L)$…
In this paper we study a cohomology theory of compatible Leibniz algebra. We construct a graded Lie algebra whose Maurer-Cartan elements characterize the structure of compatible Leibniz algebras. Using this, we study cohomology,…
In this paper we show how the rich algebraic formalism of Eliashberg-Givental-Hofer's symplectic field theory (SFT) can be used to define higher algebraic structures in Hamiltonian Floer theory. Using the SFT of Hamiltonian mapping tori we…
The notion of pre-Leibniz algebras was recently introduced in the study of Rota-Baxter operators on Leibniz algebras. In this paper, we first construct a graded Lie algebra whose Maurer-Cartan elements are pre-Leibniz algebras. Using this…
Absolute algebras are a new type of algebraic structures, endowed with a meaningful notion of infinite sums of operations without supposing any underlying topology. Opposite to the usual definition of operadic calculus, they are defined as…
In a previous work, we have associated a complete differential graded Lie algebra to any finite simplicial complex in a functorial way. Similarly, we have also a realization functor from the category of complete differential graded Lie…
We construct a new family of infinite-dimensional quasi-graded Lie algebras on hyperelliptic curves. We show that constructed algebras possess infinite number of invariant functions and admit a decomposition into the direct sum of two…
Let $h$ be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair $(X, H)$ consisting of a connected…
We adopt the viewpoint that topological And\'e-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on…
We calculate the higher homotopy groups of the Deligne-Getzler infinity-groupoid associated to a nilpotent L-infinity algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.
Using a left multiplication defined on a right quaternionic Hilbert space, linear self-adjoint momentum operators on a right quaternionic Hilbert space are defined in complete analogy with their complex counterpart. With the aid of the…
In this paper, first we revisit the formal integration of Lie algebras, which give rise to braces in some special cases. Then we establish the formal integration theory for complete Rota-Baxter Lie algebras, that is, we show that there is a…
In this paper we set up the foundations around the notions of formal differentiation and formal integration in the context of commutative Hopf algebroids and Lie-Rinehart algebras. Specifically, we construct a contravariant functor from the…
Simplicial type theory extends homotopy type theory and equips types with a notion of directed morphisms. A Segal type is defined to be a type in which these directed morphisms can be composed. We show that all higher coherences can be…
We show that several apparently unrelated formulas involving left or right Bousfield localizations in homotopy theory are induced by comparison maps associated with pairs of adjoint functors. Such comparison maps are used in the article to…
A compatible $L_\infty$-algebra is a graded vector space together with two compatible $L_\infty$-algebra structures on it. Given a graded vector space, we construct a graded Lie algebra whose Maurer-Cartan elements are precisely compatible…