Researcher profile

Martin Markl

Martin Markl contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
10topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2021arXiv

Calculus of multilinear differential operators, operator $L_\infty$-algebras and ${\it IBL}_\infty$-algebras

We propose an operadic framework suitable for describing algebraic structures with operations being multilinear differential operators of varying orders or, more generally, formal series of such operators. The framework is built upon the notion of a multifiltration of a linear operad generalizing the concept of a filtration of an associative algebra. We describe a particular way of constructing and analyzing multifiltrations based on a presentation of a linear operad in terms of generators and relations. In particular, that allows us to observe a special role played in this context by Lie, Lie-admissible and L-infinity structures. As a main application, and the original motivation for the present work, we show how a certain generalization of the well-known big bracket construction of Lecomte\textendash Roger and Kosmann-Schwarzbach encompassing the case of homotopy involutive Lie bialgebras can be obtained.

preprint2020arXiv

Permutads via operadic categories, and the hidden associahedron

The present article exploits the fact that permutads (aka shuffle algebras) are algebras over a terminal operad in a certain operadic category Per. In the first, classical part we formulate and prove a claim envisaged by Loday and Ronco that the cellular chains of the permutohedra form the minimal model of the terminal permutad which is moreover, in the sense we define, self-dual and Koszul. In the second part we study Koszulity of Per-operads. Among other things we prove that the terminal Per-operad is Koszul self-dual. We then describe strongly homotopy permutads as algebras of its minimal model. Our paper shall advertise analogous future results valid in general operadic categories, and the prominent role of operadic (op)fibrations in the related theory.

preprint2016arXiv

Odd structures are odd

By an odd structure we mean an algebraic structure in the category of graded vector spaces whose structure operations have odd degrees. Particularly important are odd modular operads which appear as Feynman transforms of modular operads and, as such, describe some structures of string field theory. We will explain how odd structures are affected by the choice of the monoidal structure of the underlying category. We will then present two `natural' and `canonical' constructions of an odd modular endomorphism operad leading to different results, only one being correct. This contradicts the generally accepted belief that the systematic use of the Koszul sign convention leads to correct signs.

preprint2015arXiv

Modular envelopes, OSFT and nonsymmetric (non-$Σ$) modular operads

Our aim is to introduce and advocate non-$Σ$ (non-symmetric) modular operads. While ordinary modular operads were inspired by the structure of the moduli space of stable complex curves, non-$Σ$ modular operads model surfaces with open strings outputs. An immediate application of our theory is a short proof that the modular envelope of the associative operad is the linearization of the terminal operad in the category of non-$Σ$ modular operads. This gives a succinct description of this object that plays an important role in open string field theory. We also sketch further perspectives of the presented approach.

preprint2015arXiv

Operadic categories and Duoidal Deligne's conjecture

The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous results to prove that multiplicative 1-operads in duoidal categories admit, under some mild conditions on the underlying monoidal category, natural actions of contractible 2-operads. The result of D. Tamarkin on the structure of dg-categories, as well as the classical Deligne conjecture for the Hochschild cohomology, is a particular case of this statement.

preprint2014arXiv

Higher braces via formal (non)commutative geometry

We translate the main result of author's arXiv:1309.7744 to the language of formal geometry. In this new setting we prove directly that the Koszul resp. Borjeson braces are pullbacks of linear vector fields over the formal automorphism exp(a) -1 in the Koszul, resp. a/(1-a) in the Borjeson case. We then argue that both braces are versions of the same object, once materialized in the world of formal commutative geometry, once in the non-commutative one.

preprint2013arXiv

On the origin of higher braces and higher-order derivations

In Part I we show that the classical Koszul braces, as well as their non-commutative counterparts constructed recently by Borjeson, are the twistings of the trivial L-infinity- (resp. A-infinity-) algebra by a specific automorphism. This gives an astonishingly simple proof of their properties. Using the twisting, we construct other surprising examples of braces. We finish Part 1 by discussing C-infinity-braces related to Lie algebras. In Part 2 we prove that in fact all natural braces are the twistings by unique automorphisms. We also show that there is precisely one hierarchy of braces that leads to a sensible notion of higher-order derivations. Thus, the notion of higher-order derivations is independent of human choices. The results of the second part follow from the acyclicity of a certain space of natural operations.

preprint2012arXiv

Crossed interval groups and operations on the Hochschild cohomology

We prove that the operad B of natural operations on the Hochschild cohomology has the homotopy type of the operad of singular chains on the little disks operad. To achieve this goal, we introduce crossed interval groups and show that B is a certain crossed interval extension of an operad T whose homotopy type is known. This completes the investigation of the algebraic structure on the Hochschild cochain complex that has lasted for several decades.

preprint2011arXiv

(Non-)Koszulness of operads for n-ary algebras, galgalim and other curiosities

We investigate operads for various n-ary algebras. As a useful tool we introduce galgalim - analogs of the Lie-hedra for n-ary algebras. We then focus to algebras with one anti-associative operation. We describe the relevant part of the deformation cohomology for this type of algebras using the minimal model for the anti-associative operad. We also discuss free partially associative algebras and formulate some open problems.

preprint2011arXiv

Combinatorial differential geometry and ideal Bianchi-Ricci identities II - the torsion case

This paper is a continuation of arXiv:0809.1158, dealing with a general, not-necessarily torsion-free, connection. It characterizes all possible systems of generators for vector-field valued operators that depend naturally on a set of vector fields and a linear connection, describes the size of the space of such operators and proves the existence of an `ideal' basis consisting of operators with given leading terms which satisfy the (generalized) Bianchi-Ricci identities without corrections.

preprint2011arXiv

Operads for n-ary algebras - calculations and conjectures

In our earlier work we studied Koszulity of a family of operads depending on a natural number n and on the degree d of the generating operation. While we proved that, for n < 8, this operad is Koszul if and only if d is even, and while it follows from a work of Hoffbeck that it is Koszul for d even and arbitrary n, its (non)Koszulity for d odd and n > 7 remains an open problem. In this note, we describe some related numerical experiments, and formulate a conjecture suggested by the results of these computations.

preprint2010arXiv

An E-infty-extension of the associahedra and the Tamarkin cell mystery

We study a cofibrant E-infty operad generated by the Fox-Neuwirth cells of the configuration space of points in the Euclidean space. We show that, below the `critical dimensions&#39; in which `bad cells&#39; exist, this operad is modeled by the geometry of the Fulton-MacPherson compactification of this configuration space. We analyze the Tamarkin bad cell and calculate the differential of the corresponding generator. We also describe a simpler, four-dimensional bad cell. We finish the paper by proving an auxiliary result giving a characterization, over integers, of free Lie algebras.

preprint2010arXiv

Intrinsic brackets and the $L_\infty$-deformation theory of bialgebras

We show that there exists a Lie a bracket on the cohomology of any type of (bi)algebras over an operad or a PROP, induced by a strongly homotopy Lie structure on the defining cochain complex, such that the associated &#34;quantum&#34; master equation captures deformations. This in particular implies the existence of a Lie bracket on the Gerstenhaber-Schack cohomology of a bialgebra that extends the classical intrinsic bracket on the Hochschild cohomology, giving an affirmative answer to an old question about the existence of such a bracket.

preprint2003arXiv

Associahedra, cellular W-construction and products of $A_\infty$-algebras

Our aim is to construct a functorial tensor product of $A_\infty$-algebras or, equivalently, an explicit diagonal for the operad of cellular chains, over the integers, of the Stasheff associahedron. These construction were in fact already indicated by R. Umble and S. Saneblidze in [9]; we will try to give a more satisfactory presentation. We also prove that there does not exist an associative tensor product of $A_\infty$-algebras.

preprint1998arXiv

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&#39;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&#39; 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&#39; of tree complexes.