arXiv subjects

Martin Markl

Publications and source records attributed to Martin Markl.

67 records · Page 4Linked to original sources

arXiv1999

Loop Homotopy Algebras in Closed String Field Theory

Barton Zwiebach constructed the `string products' on the Hilbert space of combined conformal field theory of matter and ghosts. It is well-known that the `tree level' specialization of these products forms a strongly homotopy Lie algebra. A strongly homotopy Lie algebra is given by a square zero coderivation on the cofree cocommutative connected coalgebra, on the other hand, strongly homotopy Lie algebras are algebras over the cobar construction on the commutative algebras operad. The aim of our paper is to give two similar characterizations of the structure formed by the `string products' of arbitrary genera. Our first characterization will be based on the notion of a higher order coderivation, the second characterization will be based on the machinery of modular operads. We will also discuss possible generalizations to open string field theory.

hep-th↗

arXiv1999

Homotopy Algebras via Resolutions of Operads

The aim of this brief note is mainly to advocate our approach to homotopy algebras based on the minimal model of an operad. Our exposition is motivated by two examples which we discuss very explicitly - the example of strongly homotopy associative algebras and the example of strongly homotopy Lie algebras. We then indicate what must be proved in order to show that these homotopy algebraic structures are really `stable under a homotopy.' The paper is based on a talk given by the author on June 16, 1998, at University of Osnabrueck, Germany.

math.AT↗

arXiv1998

Differential Operator Endomorphisms of an Euler-Lagrange Complex

The main results of our paper deal with the lifting problem for multilinear differential operators between complexes of horizontal de Rham forms on the infinite jet bundle. We answer the question when does an n-multilinear differential operator from the space of (N,0)-forms (where N is the dimension of the base) to the space of (N-s,0)-forms allow an n-multilinear extension of degree (-s,0) defined on the whole horizontal de Rham complex. To study this problem we define a differential graded operad DEnd of multilinear differential endomorphisms, which we prove to be acyclic in positive degrees (negative mapping degrees) and describe the cohomology group in degree zero in terms of the characteristic. As a corollary, we solve the lifting problem. An important application to mathematical physics is the proof of existence of a strongly homotopy Lie algebra structure extending a Lie bracket on the space of functionals.

math.DG↗

arXiv1998

Cyclic operads and homology of graph complexes

We will consider P-graph complexes, where P is a cyclic operad. P-graph complexes are natural generalizations of Kontsevich's graph complexes -- for P = the operad for associative algebras it is the complex of ribbon graphs, for P = the operad for commutative associative algebras, the complex of all graphs. We construct a `universal class' in the cohomology of the graph complex with coefficients in a theory. The Kontsevich-type invariant is then an evaluation, on a concrete cyclic algebra, of this class. We also explain some results of M. Penkava and A. Schwarz on the construction of an invariant from a cyclic deformation of a cyclic algebra. Our constructions are illustrated by a `toy model' of tree complexes.

math.QA↗

arXiv1997

Simplex, associahedron, and cyclohedron

The aim of the paper is to give an `elementary' introduction to the theory of modules over operads and discuss three prominent examples of these objects - simplex, associahedron (= the Stasheff polyhedron) and cyclohedron (= the compactification of the space of configurations of points on the circle). Keywords: (right) module over an operad, module associated to a cyclic operad, Koszul module over an operad.

alg-geom↗

arXiv1996

A Compactification of the Real Configuration Space as an Operadic Completion

S. Axelrod and I.M. Singer constructed a compactification of the configuration space of distinct points in a Riemannian manifold V. A similar compactification for the moduli space of configurations of distinct points in the plane (mod the affine group action) was considered by E. Getzler and J.D.S. Jones. They observed that this compactification carries a natural structure of an operad. In the present note we show that (non-compactified) configuration spaces form a partial operad (or a partial module over a partial operad) and that the compactification can be described as an operadic (or modular) completion. This approach immediately gives the operad (or module) structure on the compactification. We also discuss the spectral sequence of the stratification and identify the second term of this spectral sequence to the bar resolution of an operadic module. Our results generalize the work of Getzler, Kimura, Jones, Stasheff, Voronov and others to the case of configurations in a general Riemannian manifold.

hep-th↗

arXiv1995

Cohomology of Drinfel'd algebras: A General Nonsense Approach

In our paper [Markl, Shnider: Drinfel'd Algebra Deformations and the Associahedra, IMRN 1994, no. 4, 169-176] we announced a construction of a cohomology controlling deformations of quasi-coassociative (or Drinfel'd) bialgebras. The full version of the paper will appear as [Markl, Shnider: Drinfel'd Algebra Deformations, Homotopy Comodules and the Associahedra] in Trans. Amer. Math. Soc. The construction in the paper was based on very explicit arguments using deep combinatorial properties of the associahedra. The present paper gives an alternative, general nonsense approach to the construction. So, we just prove the existence of such a cohomology without explicitly constructing it. This should be compared with the two approaches to the cohomology of associative algebras: we either describe explicitly the Hochschild complex and say "Behold! this is the cohomology" or we prove the existence of a projective resolution and define the cohomology as the derived functor.

q-alg↗

arXiv1994

Models for Operads

We study properties of differential graded (dg) operads modulo weak equivalences, that is, modulo the relation given by the existence of a chain of dg operad maps inducing a homology isomorphism. This approach, naturally arising in string theory, leads us to consider various versions of models. Besides of some applications in topology and homological algebra we show that our theory enables one to prove the existence of homotopy structures on physically relevant spaces. For example, we prove that a closed string-field theory induces a homotopy Lie algebra structure on the space of relative states, which is one of main results of T. Kimura, A. Voronov and J. Stasheff (see [16]). Our theory gives a systematic way to prove statements of this type. The paper is a corrected version of a preprint which began to circulate in March 1994, with some new examples added.

hep-th↗

arXiv1994

Distributive Laws and the Koszulness

We study algebras with a distributive law and the Koszulness of associated operads. As a corollary of our theory we prove that the homology operad of the little cubes operad is Koszul, the result which was originally proven by E. Getzler and J.D.S. Jones in their preprint "Operads, homotopy algebra, and iterated integrals for double loop spaces" using the combinatorics of the stratification of the Fulton-MacPherson compactification of the configuration space. Since the above mentioned result whose purely algebraic proof we give plays and important role in closed string field theory and especially the methods used in the original proof of Getzler and Jones are very relevant for this part of mathematical physics, we decided to put our paper here, though some 80% of its material belongs rather to universal and homological algebra.

hep-th↗

arXiv1994

Drinfel'd algebra deformations, homotopy comodules and the associahedra

The aim of this work is to construct a cohomology theory controlling the deformations of a general Drinfel'd algebra. The task is accomplished in three steps. The first step is the construction of a modified cobar complex adapted to a non-coassociative comultiplication. The following two steps each involve a new, highly non-trivial, construction. The first construction, essentially combinatorial, defines a differential graded Lie algebra structure on the simplicial chain complex of the associahedra. The second construction, of a more algebraic nature, is the definition of map of differential graded Lie algebras from the complex defined above to the algebra of derivations on the bar resolution. Using the existence of this map and the acyclicity of the associahedra we can define a so-called homotopy comodule structure on the bar resolution of a general Drinfeld algebra. This in turn allows us to define the desired cohomology theory in terms of a complex which consists, roughly speaking, of the bimodule and bicomodule maps from the bar resolution to the modified cobar resolution. The complex is bigraded but not a bicomplex as in the Gerstenhaber-Schack theory for bialgebra deformations. The new components of the coboundary operator are defined via the constructions mentioned above. As an application we show that the Drinfel'd deformation of the universal enveloping algebra of a simple Lie algebra is not a jump deformation. The results of the paper were announced in the paper "Drinfel'd algebra deformations and the associahedra" (IMRN, Duke Math. Journal, 4(1994), 169-176, appeared also as preprint hep-th/9312196).

hep-th↗

arXiv1994

Strongly homotopy Lie algebras

The present paper can be thought of as a continuation of the paper "Introduction to sh Lie algebras for physicists" by T. Lada and J. Stasheff (International Journal of Theoretical Physics Vol. 32, No. 7 (1993), 1087--1103, appeared also as preprint hep-th/9209099) which provided an exposition of the basic ingredients of the theory of strongly homotopy Lie algebras sufficient for the underpinnings of the physically relevant examples. We demonstrate the `strong homotopy' analog of the usual relation between Lie and associative algebras and investigate the universal enveloping algebra functor emerging as the left adjoint of the symmetrization functor. We show that the category of homotopy associative algebras carries a natural monoidal structure such that the universal enveloping algebra is a unital coassociative cocommutative coalgebra with respect to this monoidal structure. The last section is concerned with the relation between homotopy modules and weak homotopy maps. The present paper is complementary to what currently exists in the literature, both physical and mathematical.

hep-th↗

arXiv1993

Drinfel'd algebra deformations and the associahedra

We construct a cohomology theory controlling the deformations of a general Drinfel'd algebra. The picture presented here has two sides -- the combinatorial one related with the fact of the existence of a graded Lie algebra structure on the simplicial cochain complex of the associahedra, and the algebraic one related with the algebra of derivations on the bar construction.

hep-th↗

arXiv1993

Glueing operation for r-matrices, quantum groups and link-invariants of Hecke type

We introduce an associative glueing operation $\oplus_q$ on the space of solutions of the Quantum Yang-Baxter Equations of Hecke type. The corresponding glueing operations for the associated quantum groups and quantum vector spaces are also found. The former involves $2\times 2$ quantum matrices whose entries are themselves square or rectangular quantum matrices. The corresponding glueing operation for link-invariants is introduced and involves a state-sum model with Boltzmann weights determined by the link invariants to be glued. The standard $su(n)$ solution, its associated quantum matrix group, quantum space and link-invariant arise at once by repeated glueing of the one-dimensional case.

hep-th↗