arXiv subjects
Publications and source records attributed to David Khudaverdyan.
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 Mathematics and Physics. The present thesis deals with abstractions and flexibilizations of algebraic structures, and more precisely, with algebraic operads, homotopification and categorification.
We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra. In the nilpotent case, this nerve is known to be a Kan complex \cite{Get09}. We argue that there is a quasi-category of $\infty$-algebras and show that for truncated $\infty$-algebras, i.e. categorified algebras, this $\infty$-categorical structure projects to a strict 2-categorical one. The paper contains a shortcut to $(\infty,1)$-categories, as well as a review of Getzler's proof of the Kan property. We make the latter concrete by applying it to the 2-term $\infty$-algebra case, thus recovering the concept of homotopy of \cite{BC04}, as well as the corresponding composition rule \cite{SS07}. We also answer a question of \cite{BS07} about composition of $\infty$-homotopies of $\infty$-algebras.
A new concept of Loday algebroid (and its pure algebraic version - Loday pseudoalgebra) is proposed and discussed in comparison with other similar structures present in the literature. The structure of a Loday pseudoalgebra and its natural reduction to a Lie pseudoalgebra is studied. Further, Loday algebroids are interpreted as homological vector fields on a `supercommutative manifold' associated with a shuffle product and the corresponding Cartan calculus is introduced. Several examples, including Courant algebroids, Grassmann-Dorfman and twisted Courant-Dorfman brackets, as well as algebroids induced by Nambu-Poisson structures, are given.
We define Lie 3-algebras and prove that these are in 1-to-1 correspondence with the 3-term Lie infinity algebras whose bilinear and trilinear maps vanish in degree (1,1) and in total degree 1, respectively. Further, we give an answer to a question of [Roy07] pertaining to the use of the nerve and normalization functors in the study of the relationship between categorified algebras and truncated sh algebras.