English
Related papers

Related papers: The operad Lie is free

200 papers

We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy…

K-Theory and Homology · Mathematics 2021-04-02 Vladimir Dotsenko , Anton Khoroshkin

We prove explicit asymptotic formulae for some functions used in sieve methods and show that there exists no odd multiperfect number of abundancy four whose squared part is cubefree.

Number Theory · Mathematics 2024-08-13 Tomohiro Yamada

For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…

Algebraic Topology · Mathematics 2021-05-20 Geoffrey Powell

Let $(u_n)_{n \geq 0}$ be a nondegenerate linear recurrence of integers, and let $\mathcal{A}$ be the set of positive integers $n$ such that $u_n$ and $n$ are relatively prime. We prove that $\mathcal{A}$ has an asymptotic density, and that…

Number Theory · Mathematics 2020-12-15 Carlo Sanna

The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families…

Rings and Algebras · Mathematics 2007-05-23 Ralf Holtkamp

An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…

Rings and Algebras · Mathematics 2014-03-20 James Griffin

First, we give a functorial construction of a group associated to a symmetric operad. Applied to the endomorphism operad it gives the group of formal diffeomorphisms. Second, we associate a symmetric operad to any family of decorated graphs…

Mathematical Physics · Physics 2012-02-07 Jean-Louis Loday , Nikolay M. Nikolov

Using methods of computer algebra, especially Gr\"obner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous)…

Quantum Algebra · Mathematics 2020-10-15 Murray Bremner , Vladimir Dotsenko

This article aims at a detailed analysis of the PreLie operad. We obtain a more concrete description of the relationship between the anticyclic structure of PreLie and the generators of PreLie as a Lie-module, which was known before only at…

Quantum Algebra · Mathematics 2010-10-18 Frédéric Chapoton

Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same…

Combinatorics · Mathematics 2021-09-02 Andrey T. Cherkasov , Dmitri Piontkovski

We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical…

Number Theory · Mathematics 2012-11-19 Par Kurlberg , Jeffrey C. Lagarias , Carl Pomerance

We derive an asymptotic formula for operator product expansion coefficients of heavy operators in two dimensional conformal field theory. This follows from modular invariance of the genus two partition function, and generalises the…

High Energy Physics - Theory · Physics 2017-11-22 John Cardy , Alexander Maloney , Henry Maxfield

An Eggert-operad is a variant of Mac Lane's notion of a PROP, for which not only bijective maps, but all maps between standard finite sets, are part of the structure. We construct the free Eggert-operad and prove the universal property it…

K-Theory and Homology · Mathematics 2023-08-14 Roman Haak

We study the asymptotic behavior of the sequence $\{\Omega(n) \}_{ n \in \mathbb{N} }$ from a dynamical point of view, where $\Omega(n)$ denotes the number of prime factors of $n$ counted with multiplicity. First, we show that for any…

Dynamical Systems · Mathematics 2021-09-21 Kaitlyn Loyd

We show that a certain symmetry exists in the stable irreducible decomposition of the Lie algebra consisting of symplectic derivations of the free Lie algebra generated by the first homology group of compact oriented surfaces.

Algebraic Topology · Mathematics 2018-09-28 Shigeyuki Morita , Takuya Sakasai , Masaaki Suzuki

For $k \geq 2$, we consider the number $A_k(Z)$ of positive integers $n \leq Z$ such that both $n$ and $n+1$ are $k$-free. We prove an asymptotic formula $A_k(Z) = c_k Z + O(Z^{14/(9k)+\epsilon})$, where the error term improves upon…

Number Theory · Mathematics 2014-11-03 Rainer Dietmann , Oscar Marmon

We study a natural Lie algebra structure on the free vector space generated by all rooted planar trees as the associated Lie algebra of the nonsymmetric operad (non-$\Sigma$ operad, preoperad) of rooted planar trees. We determine whether…

Representation Theory · Mathematics 2011-09-21 Tomohiko Ishida , Nariya Kawazumi

We examine the exponential generating function for the number of symmetric involutions (A000898 in OEIS) and point out that Robinson's asymptotic formula for its coefficients is incorrect. We further supply the correct formula.

Combinatorics · Mathematics 2013-10-04 Yen-chi R. Lin

This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation theorem for each operad of wiring…

Category Theory · Mathematics 2018-06-19 Donald Yau

We obtained the probabilities for the values of the M\"obius function for arbitrary numbers and found that the asymptotic densities of the squarefree integers among the odd and even numbers are $8/\pi^2$ and $4/\pi^2$, respectively. It is…

General Mathematics · Mathematics 2010-02-09 R. M. Abrarov , S. M. Abrarov