Searcharxiv⌕ Search

arXiv subjects

Sergei Merkulov

Publications and source records attributed to Sergei Merkulov.

23 records · Page 2Linked to original sources
arXiv2014

The Frobenius properad is Koszul

We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichmüller group $GRT_1$ on (completed versions of) the minimal models of the properads governing Lie bialgebras and involutive Lie bialgebras by automorphisms. As a corollary one obtains a large class of universal deformations of any (involutive) Lie bialgebra and any Frobenius algebra, parameterized by elements of the Grothendieck-Teichmüller Lie algebra. We also prove that, for any given homotopy involutive Lie bialgebra structure in a vector space, there is an associated homotopy Batalin-Vilkovisky algebra structure on the associated Chevalley-Eilenberg complex.

math.QA↗
arXiv2008

Deformation theory of representations of prop(erad)s

We study the deformation theory of morphisms of properads and props thereby extending to a non-linear framework Quillen's deformation theory for commutative rings. The associated chain complex is endowed with a Lie algebra up to homotopy structure. Its Maurer-Cartan elements correspond to deformed structures, which allows us to give a geometric interpretation of these results. To do so, we endow the category of prop(erad)s with a model category structure. We provide a complete study of models for prop(erad)s. A new effective method to make minimal models explicit, that extends Koszul duality theory, is introduced and the associated notion is called homotopy Koszul. As a corollary, we obtain the (co)homology theories of (al)gebras over a prop(erad) and of homotopy (al)gebras as well. Their underlying chain complex is endowed with a canonical Lie algebra up to homotopy structure in general and a Lie algebra structure only in the Koszul case. In particular, we explicit the deformation complex of morphisms from the properad of associative bialgebras. For any minimal model of this properad, the boundary map of this chain complex is shown to be the one defined by Gerstenhaber and Schack. As a corollary, this paper provides a complete proof of the existence of a Lie algebra up to homotopy structure on the Gerstenhaber-Schack bicomplex associated to the deformations of associative bialgebras.

math.QA↗
arXiv1999

Addendum to "Classification of irreducible holonomies of torsion-free affine connection"

The real form Spin(6,H) in End(R^{32}) of Spin(12,C) in End(C^{32}) is absolutely irreducible and thus satisfies the algebraic identities (40) and (41). Therefore, it also occurs as an exotic holonomy and the associated supermanifold M_g admits a SUSY-invariant polynomial. This real form has been erroneously omitted in our paper. Also, the two real four-dimensional exotic holonomies, whose occurrences were un known at the time of writing, have been shown to exist very recently by R. Bryant.

math.DG↗
arXiv1999

Classification of irreducible holonomies of torsion-free affine connections

The subgroups of GL(n,R) that act irreducibly on R^n and that can occur as the holonomy of a torsion-free affine connection on an n-manifold are classified, thus completing the work on this subject begun by M. Berger in the 1950s. The methods employed include representation theory, the theory of hermitian symmetric spaces, twistor theory, and Poisson geometry. The latter theory is especially important for the construction and classification of those torsion-free connections whose holonomy falls into one of the so-called `exotic' cases, i.e., those that were not included in Berger's original lists. Some remarks involving an interpretation of some of the examples in terms of supersymmetric constructions are also included.

math.DG↗