Related papers: Higher differentiation via higher formal groupoids
We consider two different constructions of higher brackets. First, based on a Grassmann-odd, nilpotent \Delta operator, we define a non-commutative generalization of the higher Koszul brackets, which are used in a generalized…
Let $(\mathcal{M}, Q)$ be a dg manifold. The space of vector fields with shifted degrees $(\mathcal{X}(\mathcal{M})[-1], L_Q)$ is a Lie algebra object in the homology category $\mathrm{H}((C^{\infty}_{\mathcal{M}},Q)\mathrm{-}\mathbf{mod})$…
The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…
The Shapovalov determinant for a class of pointed Hopf algebras is calculated, including quantized enveloping algebras, Lusztig's small quantum groups, and quantized Lie superalgebras. Our main tools are root systems, Weyl groupoids, and…
The purpose of this article is to analyze several Lie algebras associated to "orbit configuration spaces" obtained from a group G acting freely, and properly discontinuously on the upper 1/2-plane H^2. The Lie algebra obtained from the…
Higher structures - infinity algebras and other objects up to homotopy, categorified algebras, `oidified' concepts, operads, higher categories, higher Lie theory, higher gauge theory... - are currently intensively investigated in…
In order to solve two problems in deformation theory, we establish natural structures of homotopy Lie algebras and of homotopy associative algebras on tensor products of algebras of different types and on mapping spaces between coalgebras…
Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…
We introduce a cohomology theory that classifies differential objects that arise from Picard-Vessiot theory, using the differential Hopf-Galois descent. To do this, we provide an explicit description of Picard-Vessiot theory in terms of…
Ehresmann's introduction of differentiable groupoids in the 1950s may be seen as a starting point for two diverging lines of research, many-object Lie theory (the study of Lie algebroids and Lie groupoids) and sketch theory. This thesis…
These notes are based on a series of three lectures given (online) by the first named author at the workshop "Higher Structures and Operadic Calculus" at CRM Barcelona in June 2021. The aim is to give a concise introduction to rational…
The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits…
In this paper, we study finitary 1-truncated higher inductive types (HITs) in homotopy type theory. We start by showing that all these types can be constructed from the groupoid quotient. We define an internal notion of signatures for HITs,…
We present a new notion of non-positively curved groups: the collection of discrete countable groups acting (AU-)acylindrically on finite products of $\delta$-hyperbolic spaces with general type factors. Inspired by the classical theory of…
This paper exhibits fundamental structure underlying Lie algebra homology with coefficients in tensor products of the adjoint representation, mostly focusing upon the case of free Lie algebras. The main result yields a DG category that is…
We address the general classification problem of all stable associative product structures in the complex cobordism theory. We show how to reduce this problem to the algebraic one in terms of the Hopf algebra $S$ (the Landweber-Novikov…
We define a new differential geometric structure, called Lie rackoid. It relates to Leibniz algebroids exactly as Lie groupoids relate to Lie algebroids. Its main ingredient is a selfdistributive product on the manifold of bisections of a…
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…
The paper presents the complete classification of Automorphic Lie Algebras based on $\mathfrak{sl}_n (\mathbb{C})$, where the symmetry group $G$ is finite and the orbit is any of the exceptional $G$-orbits in $\overline{\mathbb{C}}$. A key…
We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…