Related papers: r$_\infty$-Matrices, triangular L$_\infty$-bialgeb…
We implement in the formal language of homotopy type theory a new set of axioms called cohesion. Then we indicate how the resulting cohesive homotopy type theory naturally serves as a formal foundation for central concepts in quantum gauge…
We introduce the notion of balanced pair of additive subcategories in an abelian category. We give sufficient conditions under which the balanced pair of subcategories gives rise to equivalent homotopy categories of complexes. As an…
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
The notion of a quantum family of maps has been introduced in the framework of C*-algebras. As in the classical case, one may consider a quantum family of maps preserving additional structures (e.g. quantum family of maps preserving a…
In this paper, first we give the controlling algebra of Lie triple systems. In particular, the cohomology of Lie triple systems can be characterized by the controlling algebra. Then using controlling algebras, we introduce the notions of…
We classify all 2-term $L_\infty$-algebras up to isomorphism. We show that such $L_\infty$-algebras are classified by a Lie algebra, a vector space, a representation (all up to isomorphism) and a cohomology class of the corresponding Lie…
We generalize to the homotopy case a result of K. Mackenzie and P. Xu on relation between Lie bialgebroids and Poisson geometry. For a homotopy Poisson structure on a supermanifold $M$, we show that $(TM, T^*M)$ has a canonical structure of…
The main objective consists in endowing the elementary particles with an algebraic space-time structure in the perspective of unifying quantum field theory and general relativity: this is realized in the frame of the Langlands global…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
In the paper "The Second cohomology of nilpotent orbits in classical Lie algebras, Kyoto J. Math. 60 (2020), no. 2, 717-799" by I. Biswas, P. Chatterjee and C. Maity homotopy types of nilpotent orbits are explicitly described in the case of…
We consider various $A_{\infty}$-algebras of differential (super)forms, which are related to gauge theories and demonstrate explicitly how certain reformulations of gauge theories lead to the transfer of the corresponding…
The (universal) $\imath$quantum groups are as a vast generalization of (Drinfeld double) quantum groups. We establish an algebra homomorphism from universal $\imath$quantum group of split type to a certain quantum torus, which can be viewed…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting…
In this paper we continue to study Belavin-Drinfeld cohomology introduced in arXiv:1303.4046 [math.QA] and related to the classification of quantum groups whose quasi-classical limit is a given simple complex Lie algebra. Here we compute…
We report some observations concerning two well-known approaches to construction of quantum groups. Thus, starting from a bialgebra of inhomogeneous type and imposing quadratic, cubic or quartic commutation relations on a subset of its…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…
We develop vertex and factorisation algebra analogues of the theory of quasitriangular bialgebras. Analogously to the classical theory, we prove their categories of representations are controlled by spectral R-matrices. In the vertex…
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…